Logika Bebas dan Presuposisi

Logika klasik mengasumsikan setiap istilah tunggal merujuk; logika bebas melonggarkan asumsi ini untuk menangani nama-nama kosong seperti 'Pegasus' dan deskripsi definitif yang gagal merujuk.

Definition

Logika bebas adalah sistem kuantifikasi yang istilah-istilah tunggalnya tidak harus merujuk pada objek yang ada, sehingga inferensi seperti bergerak dari 'a adalah F' ke 'sesuatu adalah F' hanya berlaku pada premis tambahan bahwa a ada.

Scope

Topik ini mencakup logika bebas — logika yang bebas dari asumsi keberadaan untuk istilah-istilah tunggalnya — dan fenomena kegagalan presuposisi yang terkait erat. Ini membahas bagaimana logika bebas memodifikasi aturan klasik instansiasi universal dan generalisasi eksistensial untuk istilah-istensi yang tidak merujuk, varian positif, negatif, dan netral (supervaluasional), serta latar belakang filosofis dalam perselisihan Russell-Strawson mengenai bagaimana kalimat yang mengandung deskripsi non-referensial mendapatkan nilai kebenaran.

Core questions

• Bagaimana seharusnya logika memperlakukan kalimat yang mengandung nama kosong atau deskripsi yang gagal?
• Apakah kalimat semacam itu tidak memiliki nilai kebenaran (kegagalan presuposisi) atau menjadi salah?
• Aturan inferensi klasik mana yang harus dibatasi ketika istilah mungkin tidak merujuk?
• Apakah keberadaan adalah predikat, dan bagaimana kuantor harus berhubungan dengan keberadaan?

Key concepts

• istilah tunggal yang tidak merujuk
• instansiasi universal dan generalisasi eksistensial
• logika bebas positif, negatif, dan netral
• kegagalan presuposisi
• celah nilai kebenaran
• keberadaan sebagai predikat

Key theories

Logika bebas

Lambert mensistematisasi logika di mana istilah-istilah tunggal mungkin kosong; instansiasi universal dan generalisasi eksistensial dikualifikasi oleh asumsi keberadaan, dan varian-varian berbeda pada nilai kebenaran kalimat atomik dengan istilah-istilah yang tidak merujuk.

Presuposisi dan celah nilai kebenaran

Strawson berpendapat bahwa kalimat yang menggunakan deskripsi non-referensial ('Raja Prancis saat ini' menurut Russell) mengasumsikan daripada menegaskan keberadaan dan karenanya tidak benar maupun salah; van Fraassen memodelkan ini dengan supervaluasi.

History

Teori deskripsi Russell tahun 1905 menangani istilah-istilah kosong melalui analisis daripada revisi logis; tanggapan Strawson tahun 1950 memperkenalkan presuposisi dan celah nilai kebenaran. Sejak tahun 1960-an Lambert menciptakan dan mengembangkan logika bebas sebagai alternatif sistematis, dan van Fraassen menyediakan semantik supervaluasional untuk celah-celah yang dihasilkan.

Debates

Salah atau tidak bernilai kebenaran?

Apakah kalimat dengan istilah non-referensial hanya salah, seperti yang diimplikasikan oleh teori deskripsi Russell, atau mengalami kegagalan presuposisi dan tidak memiliki nilai kebenaran, seperti yang dipegang oleh Strawson dan ahli logika bebas supervaluasional.

Key figures

• Karel Lambert
• P. F. Strawson
• Bas van Fraassen
• Bertrand Russell
• Hugues Leblanc

Seminal works

• strawson1950
• lambert2003

Frequently asked questions

Mengapa logika klasik tidak dapat menangani nama kosong?

Logika klasik mengizinkan inferensi 'sesuatu adalah F' dari 'a adalah F' untuk setiap istilah a, yang gagal jika a tidak merujuk pada apa pun — misalnya menyimpulkan bahwa sesuatu adalah kuda bersayap dari 'Pegasus adalah kuda bersayap'. Logika bebas membatasi inferensi semacam itu sehingga memerlukan premis tambahan bahwa objek yang dinamai itu ada.