Objek Abstrak
Objek abstrak adalah entitas seperti angka, himpunan, properti, dan proposisi yang, jika ada, bersifat non-spasial, non-temporal, dan inert secara kausal. Topik ini mengkaji apakah objek semacam itu ada dan bagaimana kita dapat mengetahuinya.
Definition
Objek abstrak adalah entitas yang tidak memiliki lokasi spasial dan kekuatan kausal, berlawanan dengan objek konkret yang terletak dalam ruang dan waktu.
Scope
Mencakup perbedaan abstrak-konkret, platonisme versus nominalisme, argumen keharusan untuk objek matematika, program nominalis Field, dan masalah epistemologis akses ke entitas yang inert secara kausal.
Core questions
- Apakah objek abstrak seperti angka dan properti itu ada?
- Bagaimana seharusnya perbedaan abstrak-konkret ditarik?
- Jika abstrak bersifat inert secara kausal, bagaimana kita bisa mengetahuinya?
- Bisakah matematika dilakukan tanpa mengkuantifikasi objek abstrak?
Key concepts
- Perbedaan abstrak-konkret
- Platonisme
- Nominalisme
- Inertness kausal
- Argumen keharusan
Key theories
- Platonisme tentang abstrak
- Angka, himpunan, dan abstrak lainnya ada sebagai entitas yang independen dari pikiran, non-spatiotemporal; pernyataan matematika secara harfiah benar dan merujuk padanya.
- Nominalisme
- Tidak ada objek abstrak; rujukan yang tampak kepada mereka harus diparafrasekan atau diperlakukan secara instrumental, seperti dalam program Field untuk melakukan sains tanpa angka.
History
Bentuk-bentuk Plato adalah objek abstrak leluhur. Frege mempertahankan angka sebagai entitas objektif, non-fisik. Argumen keharusan Quine-Putnam mengaitkan platonisme matematika dengan realisme ilmiah, sementara Benacerraf mempertajam tantangan epistemologis dan Field mengembangkan nominalisme sistematis sebagai tanggapan.
Debates
- Masalah akses epistemologis
- Benacerraf berpendapat bahwa jika abstrak terisolasi secara kausal, teori pengetahuan terbaik tidak dapat menjelaskan bagaimana kita mengetahui kebenaran matematika; platonis dan nominalis menanggapi dengan cara yang berlawanan.
Key figures
- Gottlob Frege
- Willard Van Orman Quine
- Paul Benacerraf
- Hartry Field
- Gideon Rosen
Related topics
Seminal works
- frege1884
- field1980
- benacerraf1973
Frequently asked questions
- Apa yang membuat suatu objek abstrak daripada konkret?
- Kriteria yang paling umum adalah bahwa objek abstrak tidak memiliki lokasi spasial dan temporal serta tidak memiliki hubungan kausal, tidak seperti objek konkret seperti meja atau elektron. Kriteria yang tepat itu sendiri masih diperdebatkan.