Thread by @aqilazme

Sejujurnya, tak ingat langsung apa buku falsafah pertama yang saya baca, tapi buku di bawah ini merupakan buku falsafah pertama yang mendorong saya ke arah bidang pengajian saya sekarang.

Benda paling penting yang saya dapat: philosophy of logic tak sama dengan logic.

https://twitter.com/pelitadhihin/status/1461220435551346690

Logik juga mempunyai banyak “mazhab” dan semuanya ada kelebihan dan kelemahan sendiri.

Bagi sesiapa yang pernah mengaji teks manṭiq klasik seperti Īsāghūjī, al-Sulam al-Munawraq, etc, itu hanya merupakan satu approach kepada logik iaitu “Aristotelian logic”/“Syllogistic logic”.

Mungkin kita pernah ternampak tulisan yang menggunakan simbol seperti:
1. ∀x(Hx ⊃ Mx)
2. Hs
3. ∴Ms
Ini merupakan approach kepada logik kontemporari yang paling popular sekarang: “classical logic”/“standard logic” yang bermula dengan ciptaan “first-order logic” oleh Frege.

Tapi selain dari classical logic, wujud juga sistem-sistem lain (“alternative logic”) yang ada “tatabahasa” yang berbeza.

Antaranya ialah mazhab “intuitionistic logic” yang dicipta oleh Brouwer, dan dalam intuitionistic logic pon ada banyak tafsiran yang berbeza.

Perbezaan yang

paling ketara dengan standard logic ialah mereka menolak “Law of excluded middle” yang mengatakan bagi setiap proposition P, ia hanya boleh jadi true or false sahaja (P ∨ ¬P is true for every statement P).

Tapi intuitionists kata “mathematical truth is provability”, jadi…

selagi kita tak boleh prove satu kenyataan, tak ada sebab untuk kita terima konsep “bivalence”, iaitu sesuatu perkara hanya boleh menjadi true or false sahaja.

Jadi, mereka argue tentang apakah maksud “true” bila sebut tentang logical truths, dan ia jadi perbincangan metafizik.

Ada pendapat yang kata standard logic merupakan sistem logik yang terbaik untuk guide cara kita berfikir (bacaan lanjut: Quine dan konsep “ontological commitment” dalam perbincangan meta-ontology).

Ada pendapat yang membawa fahaman “logical pluralism”, iaitu ada banyak jenis…

yang betul (or at least, ada lebih dari satu teori logik yang pure).

Tapi apakah maksud “betul” di sini? Perbincangan ini pon ada khilāf. Ada pendapat yang kata kalau satu sistem logik itu “materially adequate”(iaitu dia ada semua ciri-ciri yang kita biasa guna dalam pertuturan

dan cara berfikir dalam kehidupan harian). Ini pendapat ahli logik seperi Tarsky.

Tapi pandangan lain (cthnya pakar logik seperti Carnap) lebih liberal/terbuka. Carnap ada “Principle of Tolerance” yang mengatakan tak ada sesiapa ada kuasa untuk menghalang orang lain untuk bina..

sistem logiknya sendiri, sebab yang penting kita hanya nak sampai kepada kesimpulan. Jadi, selagi mana seseorang itu nyatakan dengan jelas metodologinya dan “tatabahasa” sistemnya, tak ada masalah.

Tu hanya serba sedikit perbincangan yang berlaku dalam bidang philosophy of logic haha.

Point saya ialah, philosophy of logic ni lebih daripada logic yang kita selalu belajar(macam mana nak buat argumen, nak decide validity argumen etc). Very exciting stuff 😆

Wallāhu aʾlam.