Önermeler Mantığı
Tanım
Önermeler mantığı, önermelerin doğruluk değerleri ve bağlaçlar arasındaki ilişkileri inceleyen mantık dalıdır.
Cümle
“Önermeler mantığı, biçimi içeriğinden ayırır.”
Eş / Yakın Anlam
-Zıt Anlam
-İlişkili Kavramlar
Biçimsel Mantık, Çelişki, Çelişmezlik, Formel Mantık, Mantıksal Zorunluluk, ÖnermeBağlam
- Biçimsel mantığın temel alanlarından biridir.
- Doğruluk tabloları ile çalışır.
Kapsam ve Sınırlar
- Önermelerin içeriğini dikkate almaz.
- Nicelik ve nesne ilişkilerini kapsamaz.
Kullanım Örnekleri
- p ve q önermeleri arasındaki bağlaçlar
Yanlış Kullanımlar
- Önermeler mantığını tüm mantık olarak görmek
Anlam Dönüşümü
- Modern sembolik mantıkla birlikte gelişmiştir.
Kavram Kökeni
- Türkçe: önerme
- Yargı bildiren ifade anlamı
Disiplinlere Göre Kullanım
Önermeler mantığı, doğruluk değerleri ve mantıksal bağlaçlar üzerinden çıkarımları inceler.
Sembolik gösterim ve doğruluk tablolarıyla mantıksal ilişkileri biçimselleştirir.
Filozoflar Arası Kullanım Farkı
Önermeler mantığını modern sembolik mantığın temeline yerleştirir.
Önermesel yapıları analitik felsefenin temel aracı olarak kullanır.
Önermeleri, dünyanın mantıksal resimleri olarak yorumlar.