DOĞRUDAN İNDİRGEMELER ÜZERİNE İKİ DEĞERLİ MANTIK AÇISINDAN BİR İNCELEME –I: BASİT ÖNERMELERLE BİLEŞİK ÖNERMELERİN BİRBİRİNE İNDİRGENMESİ


Özet Görüntüleme: 22 / PDF İndirme: 0

Yazarlar

  • Fikret OSMAN

DOI:

https://doi.org/10.35826/ijoess.4552

Anahtar Kelimeler:

Basit önerme- bileşik önerme- önerme eklemi- indirgeme- doğruluk tablosu

Özet

Bu çalışmada, basit ve bileşik önermeler ele alınmaktadır. Bileşik önermeler olarak; tümel evetleme önermesine, tikel evetleme önermesine, koşul önermesine, karşılıklı koşul önermesine, bağdaşmazlık önermesine, birlikte değilleme önermesine ve tekil evetleme önermesine yer verilmektedir. Bu bileşik önermelerden hangilerinin kendilerini oluşturan basit önermelerine doğrudan indirgenebildikleri ve hangilerinin kendilerini oluşturan basit önermelerine doğrudan indirgenemedikleri incelenmektedir. Bu doğrultuda iki değerli mantıktan hareket edilmekte ve doğruluk tablosu yönteminden yararlanılmaktadır. Bu yöntemle birbirine eşdeğer olan ve birbirine eşdeğer olmayan basit ve bileşik önermeler belirlenip hangi bileşik önermelerin kendilerini oluşturan basit önermelerine indirgenebildikleri ve hangi bileşik önermelerin kendilerini oluşturan basit önermelerine indirgenemedikleri gösterilmeye çalışılmaktadır. Bu bağlamda, olumlu basit önermelerin; iki bileşeni de olumlu olan evetlenmiş tümel evetleme, iki bileşeni de olumlu olan evetlenmiş tikel evetleme, ön bileşeni olumsuz art bileşeni olumlu olan evetlenmiş koşul, iki bileşeni de olumsuz olan evetlenmiş bağdaşmazlık, iki bileşeni de olumsuz olan evetlenmiş birlikte değilleme, iki bileşeni de olumlu olan değillenmiş bağdaşmazlık, iki bileşeni de olumlu olan değillenmiş birlikte değilleme, ön bileşeni olumlu art bileşeni olumsuz olan değillenmiş koşul, iki bileşeni de olumsuz olan değillenmiş tümel evetleme ve iki bileşeni de olumsuz olan değillenmiş tikel evetleme önermelerine indirgenebildikleri, olumsuz basit önermelerin ise iki bileşeni de olumlu olan evetlenmiş bağdaşmazlık, iki bileşeni de olumlu olan evetlenmiş birlikte değilleme, ön bileşeni olumlu art bileşeni olumsuz olan evetlenmiş koşul, iki bileşeni de olumsuz olan evetlenmiş tümel evetleme, iki bileşeni de olumsuz olan evetlenmiş tikel evetleme, iki bileşeni de olumlu olan değillenmiş tümel evetleme, iki bileşeni de olumlu olan değillenmiş tikel evetleme, ön bileşeni olumsuz art bileşeni olumlu olan değillenmiş koşul, iki bileşeni de olumsuz olan değillenmiş bağdaşmazlık ve iki bileşeni de olumsuz olan değillenmiş birlikte değilleme önermelerine indirgenebildikleri ortaya koyulmaktadır.

İndir

Yayınlanmış

2024-12-01

Nasıl Atıf Yapılır

Fikret OSMAN. (2024). DOĞRUDAN İNDİRGEMELER ÜZERİNE İKİ DEĞERLİ MANTIK AÇISINDAN BİR İNCELEME –I: BASİT ÖNERMELERLE BİLEŞİK ÖNERMELERİN BİRBİRİNE İNDİRGENMESİ. Uluslararası Avrasya Sosyal Bilimler Dergisi, 15(58), 1581–1602. https://doi.org/10.35826/ijoess.4552

Sayı

Bölüm

Makaleler