Apa itu prinsip teorema ledakan?
Prinsip ledakan hanya mengatakan bahwa jika suatu teori mengandung ketidakkonsistenan tunggal, teori seperti itu sepele - yaitu, ia dapat membuktikan segalanya. Oleh karena itu, menurut prinsip ledakan, hanya ada satu teori yang tidak konsisten: teori sepele yang memiliki setiap kalimat sebagai teorema.
Apa itu prinsip ex falso quodlibet?
Ex Falso Quodlibet adalah bahasa Latin untuk "dari kepalsuan, apapun". Itu juga disebut prinsip ledakan. Dalam logika itu mengacu pada prinsip bahwa ketika suatu kontradiksi dapat diturunkan dalam suatu sistem, maka setiap proposisi mengikuti. Dalam teori tipe itu adalah aturan eliminasi dari tipe kosong.
Apa itu logika eksplosif?
Hubungan konsekuensi logis adalah eksplosif jika menurutnya kesimpulan sewenang -wenang \ (b \) disyaratkan oleh kontradiksi sewenang -wenang \ (a \), \ (\ neg A \) (ex kontradiksi quodlibet (ecq))). Logika klasik, dan sebagian besar logika 'non-klasik' standar juga seperti logika intuisionis, bersifat eksplosif.