FİKRET OSMAN’IN GELENEKSEL/KLASİK MANTIĞIN MODERN/SEMBOLİK YORUMU. “İKİ DEĞERLİ KİPLİKLİ OLMAYAN MANTIK AÇISINDAN BİR DEĞERLENDİRME” ADLI KİTABINI TANITMA

PDF OKU

Öz 

Mantık; eski mantık, diğer adıyla geleneksel/klasik mantık ve yeni mantık, diğer adıyla modern/sembolik olmak üzere iki ana başlık altında incelenir. Geleneksel/klasik mantık gündelik dile dayalıdır ve bu yönüyle kısmen semboliktir. Modern/sembolik mantık tamamen semboliktir çünkü daha kesin, açık ve formel bir sistem kurmayı amaçlar. Geleneksel/klasik mantık ile modern/sembolik mantığın birbirini dışlamadığını aksine modern/sembolik mantığın geleneksel/klasik mantığın devamı ve geliştirilmiş biçimi olduğunu, geleneksel/klasik mantıktaki farklı önerme ve çıkarımların modern/sembolik mantık açısından nasıl yorumlanabileceğini gösteren bir çalışmadır. Söz konusu kitap, birbirini tamamlayan iki farklı yaklaşım olduğunu ortaya koymayı amaçlamaktadır. Bu yönüyle çalışma, iki mantık anlayışı arasında köprü kuran bir yaklaşım sunmaktadır. 

Önerme ve çıkarımların tüm türlerini  ele alan ilk çalışmadır. Önerme ve çıkarımların tutarlılık, eşdeğerlilik ve geçerlilik bakımından nasıl denetlenebileceğini sergileyen bir kitaptır.  

Kitap, geleneksel/klasik mantığın hem Batı düşünce geleneğinde hem de Türk-İslâm felsefi geleneğinde nasıl ele alındığını göz önüne alarak bu mantığı modern/sembolik mantık açısından yeniden yorumluyor. Geleneksel mantığın klasik önermeci mantık anlayışı ile modern mantığın sözdizimsel/sembolik araçlarını birleştiriyor.

Kitabın içeriği betimleyici yöntem çerçevesinde anlatılmıştır.

Anahtar Kelimeler: Mantık, Geleneksel/klasik mantık, Modern/sembolik mantık, Önermeler, Çıkarımlar. 

Abstract

Logic is generally examined under two main headings: old logic, also known as traditional/classical logic, and new logic, also known as modern/symbolic logic. Traditional/classical logic is based on everyday language and, in this respect, is partially symbolic. In contrast, modern/symbolic logic is entirely symbolic, as it aims to establish a more precise, clear, and formal system.

Traditional/classical logic and modern/symbolic logic are not mutually exclusive; on the contrary, modern/symbolic logic can be seen as a continuation and a developed form of traditional/classical logic. In this context, the work demonstrates how different propositions and inferences found in traditional/classical logic can be interpreted from the perspective of modern/symbolic logic. The book aims to show that these are two complementary approaches. In this respect, the study presents an approach that builds a bridge between the two understandings of logic.

It is the first study to address all types of propositions and inferences comprehensively. The book also demonstrates how propositions and inferences can be tested in terms of consistency, equivalence, and validity.

Taking into account how traditional/classical logic has been treated both in the Western intellectual tradition and in the Turkish-Islamic philosophical tradition, the book reinterprets this logic from the perspective of modern/symbolic logic. It combines the classical propositional structure of traditional logic with the syntactic and symbolic tools of modern logic.

Keywords: Logic, Traditional/classical logic, Modern/symbolic logic, Propositions, İnferences.