Soalan yang Ditanya dengan Empat Cara Berbeza

Tanya seorang Athenian abad keempat tentang apa yang menjadikan satu hujah itu baik dan anda akan mendapat jawapan tentang <em>bentuk</em>: adakah kesimpulan itu mengikuti premis, tanpa mengira apa yang mereka tentang. Tanya seorang ahli falsafah Nyāya dan anda akan mendapat jawapan tentang <em>pengetahuan</em>: melalui proses apa satu kognisi dianggap sebagai diketahui. Tanya seorang Mohis dan anda akan mendapat jawapan tentang <em>penamaan</em>: adakah istilah ini sesuai dengan perkara ini, dan persamaan mana yang menyatakannya. Tanya seorang ahli undang-undang di Samarkand abad keempat belas dan anda akan mendapat jawapan tentang <em>prosedur dan tingkah laku</em>: siapa yang berhak, apa yang boleh dibantah, apa yang telah diakui, dan sama ada anda berkelakuan seperti seseorang yang mencari kebenaran atau seseorang yang mencari kemenangan.

Four answers, none of them wrong, almost no overlap. That is the finding this series is built on, and it is more useful than the usual story about who invented logic first.

Kerana jika anda pernah duduk dalam mesyuarat yang berjalan dengan teruk, anda sudah tahu diagnosisnya jarang formal. Tiada siapa yang mengesahkan kesimpulan. Apa yang berlaku adalah premis yang diterima oleh semua orang tidak pernah diperiksa, atau analogi kepada suku tahun lepas tidak relevan, atau dua orang menggunakan perkataan yang sama untuk perkara yang berbeza, atau hujah itu tidak pernah berakhir — tiada konsep bersama tentang apa yang dimaksudkan dengan seseorang telah dijawab. Tiga daripada empat mod kegagalan itu tidak dapat dilihat oleh alat Greek, dan setiap satu daripada mereka telah dinamakan, dianalisis dan diajarkan di tempat lain.

Artikel ini adalah pusat bagi siri Roots of Reasoning. Ia menggambarkan empat tradisi besar dan apa yang disumbangkan oleh setiap satu. Pos-pos pendamping menyelami dengan mendalam: logik India, logik Mohis, logik Aristotle, dialektik Islam, dan analisis perbandingan bagi lima struktur hujah.

Apa yang Sebenarnya Disistematikkan oleh Setiap Tradisi

India: Penalaran sebagai Perolehan Pengetahuan dan Pertandingan yang Diperatur

Tradisi India mungkin merupakan padanan bebas berskala besar yang paling jelas kepada logik Yunani — dan yang paling tidak dikenali oleh pembaca Barat. Perdebatan yang ditaja oleh awam dan mahkamah telah wujud jauh sebelum manual yang masih ada; pada abad ketiga dan kedua SM, para bhikkhu dan Brahmin dijangka mempunyai latihan perdebatan.

Soalan permulaan bukanlah "adakah ini mengikuti?" tetapi melalui proses apa suatu kognisi dianggap sebagai pengetahuan? Nyāya mengiktiraf empat pramāṇas — persepsi, inferens, perbandingan, dan kesaksian dari seorang pembicara yang kompeten. Sekolah-sekolah lain menyesuaikan senarai tersebut. Akibatnya, logik terletak di dalam epistemologi: inferens bukanlah susunan ayat tetapi proses di mana seseorang bergerak dari apa yang mereka tahu kepada apa yang mereka tidak tahu.

Bentuk hujah yang diajarkan secara meluas mempunyai lima anggota: tesis (ada api di atas bukit), sebab (kerana ada asap), contoh atau peraturan umum (di mana ada asap, di situ ada api — seperti di dapur), aplikasi (bukit itu mempunyai asap jenis itu), kesimpulan (oleh itu, ada api). Salah satu kenyataan awal yang masih ada adalah dalam Caraka-saṃhitā, sebuah teks perubatan — latihan debat adalah sebahagian daripada pendidikan seorang doktor.

Ia bukan silogisme yang tidak perlu panjang. Anggota tambahan melakukan kerja dialog: mengumumkan tuntutan yang dipertikaikan, memberikan alasan, menyediakan kes yang dipersetujui, menghubungkannya dengan subjek, menyatakan semula apa yang telah ditetapkan. Bentuknya pada awalnya sangat analogi; penulis kemudian menjadikan hubungan universal semakin jelas dan ketat.

Kemudian bahagian yang tiada padanan Yunani. Nyāya mengklasifikasikan perdebatan mengikut tujuan — vāda (mencari kebenaran secara kerjasama), jalpa (kompetitif), vitaṇḍā (menyerang tanpa mempertahankan tesis sendiri) — dan mengkatalogkan bukan sahaja alasan palsu tetapi juga nigraha-sthānas, alasan kekalahan. Nyāya-sūtra menyenaraikan 22, mencampurkan kesilapan logik dengan pelanggaran prosedur: mengubah tesis anda, pengulangan semata-mata, diam, mengelak, mengakui satu titik dan berdebat tanpa menghiraukan. Kekalahan adalah satu peristiwa yang ditakrifkan dan boleh diperhatikan.

Pengarang Buddha memperhalusi sisi bukti. Dignāga memisahkan inferens untuk diri sendiri daripada hujah untuk orang lain, dan memerlukan alasan yang sah untuk hadir dalam subjek, hadir dalam kes yang serupa, dan tidak hadir dalam semua yang tidak serupa — kemudian menyusun kemungkinan dalam matriks sembilan sel di mana hanya dua menghasilkan inferens yang sah. Prasaṅga Buddha mendedahkan akibat yang tidak boleh diterima dari pandangan lawan, dan catuṣkoṭi mengkaji satu tuntutan di bawah empat alternatif — ada, tidak ada, kedua-duanya, tidak satu pun — sebagai teknik dialektik yang tafsiran logiknya yang tepat masih dipertikaikan. Falsafah Jain menambah anekāntavāda, pelbagai sisi, dan syādvāda tujuh kali: nyatakan aspek di mana tuntutan anda berlaku, jadi penerangan separa tidak boleh dianggap sebagai penerangan yang menyeluruh. Cerita penuh: Logik India: Tradisi 2,500 Tahun dari Nyāya ke Perdebatan Buddha.

China: Hujah sebagai Perbezaan, Kesesuaian Semantik, dan Perluasan Analogik

Argumentasi awal Cina lebih kurang seiring dengan Aristotle dan muncul secara bebas. Semasa zaman Perang Negara, Mohis, Confucian, Daois dan para pemikir yang kemudiannya dikelompokkan di bawah Sekolah Nama terlibat dalam <strong>biàn</strong> — perdebatan, tetapi lebih secara harfiah <em>membezakan</em>.

Soalan utama secara karakteristik bukanlah "adakah kesimpulan ini mengikuti?" tetapi: adakah nama, kategori atau preskripsi ini sesuai dengan objek atau situasi ini? Satu pihak memanggilnya "lembu", pihak yang lain "bukan lembu"; mereka tidak boleh kedua-duanya sesuai, jadi salah satu tidak.

Pemikir Mohis berfikir berdasarkan fǎ — model, piawaian, contoh. Anda mengenal pasti seekor lembu, tindakan yang adil atau dasar yang bermanfaat dengan membandingkan kes tersebut dengan model yang boleh dipercayai dan menentukan kesamaan mana yang relevan. Hujah awal Mohis merujuk kepada tiga piawaian: preseden yang ditetapkan oleh pemerintah contoh, bukti dari pengalaman biasa, dan akibat untuk manfaat sosial.

Pemilihan Kecil menyenaraikan empat teknik berargumentasi, dan ia sering disalah tafsir, jadi berikut adalah dengan betul:

• Pì — analogi: memperkenalkan kes lain untuk menjelaskan kes yang ada sekarang
• Móu — paralel: letakkan ungkapan yang mempunyai struktur yang sama bersebelahan
• Yuán — menarik: sebutkan sesuatu yang sudah diterima oleh lawan dan tanya mengapa kes semasa harus diperlakukan secara berbeza
• Tuī — mendorong: meluaskan penghakiman yang diterima kepada kes yang relevan dan serupa

Menarik secara efektif mengalihkan beban kepada lawan untuk mengenal pasti disanalogi yang relevan; menolak bergantung pada konsistensi dengan komitmen mereka yang terdahulu. Mereka adalah repertoir, bukan urutan tetap. Mohis menggabungkannya dengan prinsip keadilan yang dinyatakan — apa yang kita terima dalam kes kita sendiri tidak kita tolak dalam kes lawan — dan dengan amaran yang diperoleh dengan susah payah: persamaan antara ungkapan hanya betul sehingga satu tahap.

Mereka juga mengakui prinsip yang menyerupai non-contradiction dan excluded middle, tetapi merumuskan secara semantik — "lembu" dan "bukan lembu" tidak boleh kedua-duanya sesuai dengan objek yang sama dalam pertikaian yang sama — mengekalkan fokus pada istilah dan pengelasan dan bukannya kalkulus proposisi yang abstrak. Dan mereka menggambarkan pertimbangan sebagai menimbang manfaat dan mudarat: di mana semua pilihan melibatkan mudarat, pilih yang paling sedikit. Perincian penuh: Logik Mohist: Seni Cina Membezakan.

Yunani: Logik sebagai Kesahan Formal

Tradisi Yunani adalah yang paling dikenali oleh kebanyakan pembaca, jadi ia boleh dijelaskan dengan ringkas. Ia berkembang daripada demokrasi Athen antara 508 dan 322 SM, di mana perhimpunan, boule dan mahkamah semua menyelesaikan perkara melalui perdebatan dan undian — menjadikan ucapan yang meyakinkan sangat berharga, dan mencipta pasaran yang dilayani oleh Sophists dengan mengajarnya dengan bayaran.

Plato mempromosikan dialektik sebaliknya: soalan dan jawapan yang terstruktur, dengan penanya mengeluarkan tesis dan cuba memaksa kontradiksinya, dan tugas tunggal penjawab adalah untuk kekal tidak dibantah dalam masa yang tetap. Topik dan Penolakan Sofistik oleh Aristotle adalah sistematisasi pertama amalan itu — buku peraturan bertulis pertama untuk sukan berargumentasi.

Aristotle (384–322 SM) kemudian membina sesuatu yang tidak dibina oleh orang lain. Organon merangkumi kategori, proposisi, silogisme, demonstrasi, dialektik dan kesilapan, dan inovasi terasnya adalah silogisme kategorikal: kesahan sebagai sifat struktur, bebas daripada kandungan. Gantikan mana-mana istilah ke dalam bentuk yang sah dan ia tetap sah. Abstraksi itu benar-benar unik, dan menyatakannya dengan jelas adalah apa yang menjadikan perbandingan ini jujur dan bukan defensif.

Retorik menambah tiga rayuan — etos, pathos, logos — dan enthymeme, silogisme dengan premis yang ditinggalkan untuk disediakan oleh penonton. Topik menyenaraikan corak hujah untuk dialektik, nenek moyang langsung bagi skim hujah moden. Selepas Aristoteles, Stoik mengembangkan logik proposisi, menyatakan modus ponens dengan angka untuk keseluruhan proposisi; ia lebih dekat dengan asas logik simbolik moden dan disampaikan dengan buruk, jadi silogistik memegang kurikulum sehingga Frege. Butiran: Logik Aristoteles: Asas Mediterranean bagi Hujah Barat.

Dunia Islamik: Tiga Tradisi yang Bersilang

Kes ini perlu dibahagikan dengan teliti, dan satu konsesi datang terlebih dahulu: logik formal Arab tidak bebas daripada Aristotle. Mantiq bermula dengan terjemahan karya logik Yunani dari abad kelapan dan seterusnya. Al-Fārābī membaca logik sebagai satu set instrumen yang berperingkat untuk demonstrasi, dialektik, retorik dan puisi; Ibn Sīnā kemudian membina semula tradisi yang diwarisi dengan begitu meluas sehingga logik Arab kemudian lebih Avicennan daripada Aristotelian, dengan inovasi utama dalam modaliti, proposisi hipotesis dan disjunktif, serta demonstrasi. Itu adalah penerimaan ditambah dengan pembinaan semula radikal — bukan ciptaan yang bebas.

Tetapi dua tradisi lain di sini adalah secara substansial berasal dari dalam negara. Kalām, teologi rasional, menghasilkan amalan dialektik yang dipanggil jadal yang bentuk sistematik terawal berkembang dalam kontroversi teologi sekitar peralihan abad kesembilan ke kesepuluh, pada awalnya terpisah dari logik yang berasal dari Yunani oleh para ahli falsafah. Karya-karya mereka menetapkan pihak mana yang bertanya dan pihak mana yang menjawab, bagaimana suatu tuntutan dinyatakan, apa yang dianggap sebagai bantahan yang relevan, bagaimana percanggahan dan pengakuan berfungsi, peraturan tingkah laku, dan tanda-tanda bahawa seorang peserta telah dikalahkan. Para jurist kemudian menyesuaikan mekanisme untuk perselisihan undang-undang.

Uṣūl al-fiqh, teori undang-undang, sistematisasi qiyās dengan empat elemen yang dinamakan: aṣl atau kes akar, farʿ atau kes cabang, ʿilla atau sebab yang beroperasi secara undang-undang yang dikongsi oleh kedua-duanya, dan ḥukm atau keputusan yang dipindahkan dari akar ke cabang. Larangan terhadap satu bahan memabukkan meluas kepada yang lain kerana mabuk dikenalpasti sebagai sebab yang beroperasi. Ini lebih terstruktur daripada persamaan yang longgar: langkah yang sukar adalah bukan untuk menyedari persamaan tetapi untuk membenarkan mengapa persamaan ini beroperasi secara undang-undang sementara yang lain tidak — dan mempertahankannya terhadap contoh-contoh bertentangan dan teks-teks yang bercanggah.

Sejak akhir abad ketiga belas, ādāb al-baḥth wa-l-munāẓara menjadi satu disiplin yang tersendiri — peraturan dan adab penyelidikan dan perdebatan. Peranan adalah tidak simetri: seorang penuntut menyatakan dan menyokong tesis; seorang responden menguji tesis, buktinya, dan hubungan antara keduanya. Matlamat yang dinyatakan adalah untuk memperlihatkan kebenaran, bukan kemenangan, dan disiplin ini mengawal watak peserta serta langkah-langkah mereka — relevansi, keadilan, mengelakkan pertikaian, kesediaan untuk mengkritik, kesediaan untuk mengakui. Ia diajarkan di madrasah bersama dengan logik dan sains linguistik. Kisah penuh: Dialektik Islam: Dari Perdebatan Teologi ke Sains Perdebatan.

Apa yang Dilihat (dan Terlepas) oleh Setiap Tradisi

Diletakkan bersebelahan, perbezaan tersebut adalah mendidik:

Tiada tradisi yang lengkap, dan jurang-jurangnya tidak simetri. Logik India mengikat inferens dengan ketat kepada epistemologi — satu kekuatan apabila anda mengambil berat <em>mengapa</em> premis-premis itu boleh dipercayai, satu kos apabila anda hanya perlu memeriksa bentuknya. Logik Yunani mengabstrak daripada kandungan — menentukan untuk bukti formal, senyap apabila premis-premis itu sendiri yang dipertikaikan. Logik Cina mengendalikan analogi dan penamaan dengan perhatian yang banyak diabaikan oleh Barat, dan tidak pernah membina mesin untuk merantai deduksi. Teori pertikaian Islamik menambah prosedur dan etika, dan mengandaikan peralatan formal Yunani.

Perbandingan struktur demi struktur — bentuk Nyāya lima anggota, silogisme tiga anggota, teknik Mohist, qiyās, dan tetralemma — terdapat dalam Lima Silogisme: Membandingkan Struktur Argumen Antara Peradaban.

Mengapa Ini Penting Sekarang

Teori argumentasi moden, argumentasi komputasi dan penaakulan AI menarik — sering kali tanpa disedari — daripada semua ini.

Skema hujah (Walton, Reed, Macagno) menyenaraikan corak berulang seperti hujah dari pendapat pakar, dari analogi, dari sebab kepada kesan, masing-masing dengan soalan kritikal untuk mengujinya. Itu adalah Topik Aristotle bertemu dengan analisis analogi Mohis, dengan lapisan kesedaran prosedural jadal.

Kerangka argumentasi abstrak (Dung, 1995) mewakili argumen sebagai nod dengan hubungan serangan dan mengira set mana yang boleh diterima secara rasional bersama. Soalan asas — argumen mana yang bertahan? — adalah soalan jadal, yang diformalkan dalam teori graf.

Pemetaan hujah dan model Toulmin menjadikan struktur jelas: tuntutan, alasan, jaminan, sokongan, sanggahan, kelayakan. Toulmin berada dalam perbualan langsung dengan enthymeme Aristotle; penekanan pada sokongan yang jelas menggemakan Nyāya udāharaṇa; dan kelayakan adalah "dari segi tertentu" syādvāda dalam penampilan moden.

Dan program penyelidikan kecerdasan kolektif — dari teorem juri Condorcet hingga kajian c-factor — terus mengesahkan apa yang sudah diketahui oleh tradisi perdebatan: struktur menentukan sama ada kumpulan menjadi lebih bijak. Input yang bebas, pengagregatan yang jelas, keadilan prosedural, rekod pemikiran. Itulah syarat-syaratnya, dan itulah yang dibina oleh Argumentree ke dalam proses keputusan.

Pelajaran perbandingan yang terbesar adalah yang menjadi asas kepada keseluruhan siri ini: "logik" hanyalah satu bahagian daripada hujah yang terstruktur. Lama sebelum teori hujahan moden, tradisi-tradisi ini memperlakukan penaakulan secara serentak sebagai proses kognitif, persembahan linguistik, interaksi sosial, disiplin etika dan amalan institusi. Mereka bukan membina keingintahuan. Mereka sedang membina mesin persetujuan yang beralasan — alternatif kepada paksaan, tradisi, dan kebetulan. Dua puluh lima abad kemudian, projek ini diteruskan.

Siri Akar Penalaran

Artikel ini adalah pusatnya. Jari-jari pergi jauh ke dalam: