KLASİK OLMAYAN MANTIK 

Klasik olmayan mantık, biçimsel sistemler önemli ölçüde farklılık klasik gibi mantık sistemleri önermeler mantığı ve yüklem mantığı oluşur. Bunun birkaç yolu vardır – ör. B. Klasik mantığın belirli temel yasalarını değiştirerek veya değiştirerek veya genişleterek. Tüm bu sapmaların amacı, farklı mantıksal çıkarım ve mantıksal gerçeklik olasılıklarını göstermek ve klasik sistemler içinde kabul edilmiş ve taşınmaz kabul edilen ilkeleri değiştirmektir.

ÖRNEKLER  

Tutarsız mantık biçimsel sistemlerdir,

“[…] mantıksal ilkenin ex contradictione sequitur quodlibet (Latince’bir çelişkiyi takip eden’ anlamına gelir) geçerli olmadığı, bu nedenle iki çelişkili ifadeden A, ¬A veya a herhangi bir ifade türetmek için çelişki A∧¬ A.

– Tutarsız mantık

Sezgicilik Klasik Mantık daha gerçeğin farklı bir konsept dayanmaktadır:

Klasik mantıkta ifade  gerçek-işlevsel (bkz. doğruluk değeri ) ‘A geçerlidir veya B geçerlidir’ olarak yorumlanır, sezgisel mantıkta aynı ifade ‘A için bir kanıt vardır veya B için bir kanıt vardır’ şeklinde yorumlanır.

Bu farklı yorumlanması bağlaçlar (bağ) gösterileri klasik mantığın bazı teoremleri intuitionistic geçerli olmadığını. Bir örnek, hariç tutulan üçüncü tarafın cümlesidir, . Klasik yorum “A geçerlidir veya A geçerli değildir” şeklindedir ve geçerli olarak kolayca tanınabilir. Sezgisel yorum, ‘A kanıtlanmıştır veya A reddedilmiştir’ şeklindedir. Bu yoruma göre, dışarıda bırakılan üçüncü şahıs ilkesi açık bir şekilde geçerli değildir, çünkü bir yandan ne kanıtlanmış ne de çürütülmemiş ifadeler vardır, diğer yandan da ne kanıtlanabilir ne de çürütülebilir ifadeler vardır. “

– Sezgisel mantık

KLASİK MANTIĞIN UZANTILARI  

Klasik olmayan özel bir mantık türü, klasik mantığın uzantısıdır. Klasik olmayan bir uzantıda, ek mantıksal operatörler eklenir, örn. B. ” “In modal mantık ; bu yeni sembol “Bu gerekli…” anlamına gelir. – Aşağıdakiler klasik mantığın uzantıları için geçerlidir: [1]

  • İyi formüle edilmiş formüller (ifadeler) kümesi, klasik mantık tarafından üretilen ifade kümesinin gerçek bir üst kümesidir.
  • İspatlanabilir teoremler seti, klasik mantıkta geçerli olan teoremler setinin gerçek bir üst kümesidir ve ancak yalnızca genişletilmiş mantığın “yeni” teoremlerinin yeni ifadelerin oluşumuna dayandığı anlamında.

KAYNAKÇA

  1. Susan Haack : Sapkın Mantık, Bulanık Mantık: Biçimciliğin Ötesinde  Cambridge University Press, 1975, ISBN 0-521-20500-X

KAYNAKLAR

    • Dov M. Gabbay: Klasik ve klasik olmayan mantık. In: DM Gabbay, CJ Hogger, JA Robinson (Ed.): Handbook of Logic in Artificial Intelligence and Logic Programming. Cilt 2. Oxford University Press, 1994, böl. 2.6.
    • Ders. / F. Günthner (Ed.): Handbook of Philosophical Logic. Cilt 3: Klasik mantığa Alternatif (= sentez kitaplığı, 166). Kluwer Publishing Group, 1986.
    • Wolfgang Rautenberg : Klasik ve klasik olmayan önermesel mantık. Vieweg, Wiesbaden 1979, ISBN 3-528-08385-9
Reklam (#YSR)