Önermeler Mantığı — Geçerliliği yalnız önerme eklemlerine dayanan çıkarımları konu edinen mantık sistemi.
Felsefe, Psikoloji, Sosyoloji, Mantık Terimleri Sözlüğü
Felsefe, Psikoloji, Sosyoloji, Mantık alanında en çok kullanılan kavramlar, teknik terimler ve anlamları. Şu an sistemde bu alana ait 1084 terim açıklaması bulunmaktadır.
Önerme Eklemi — "ve", "veya", "ise", "ancak ve ancak", "değil" gibi, bir ya da daha çok sayıda önermeden yeni bir önerme kurmaya yarayan bağ.
Öncül — Çıkarımda sonucun doğruluğunu ispatlamada kanıt işlevi gören önerme.
Orta Terim — Bir kıyasta yalnızca öncüllerde yer alıp sonuçta bulunmayan terim.
Nitelik — Özellik, bir şeyin nasıl olduğunu belirten durum. Bir önermenin olumlu ya da olumsuz oluşu.
Mantık Doğrusu — Düşünme bakımından zorunlu olan, çelişmezlik ilkesi gereği çelişiği düşünülemeyen doğruluk.
Küçük Terim — Bir kıyasta sonucun öznesi olan terim.
Küçük Önerme — Bir kıyasta küçük terimi taşıyan önerme.
Mantık Değişmezi — Önermelerin tutarlı, çıkarımların da geçerli olup olmadığını belirleyen, bütün yorumlarında aynı olağan yorumu koruyan değişmez.
Karşıt Önerme — Özne ve yüklemleri aynı olan iki önermenin niceliklerinin aynı, niteliklerinin farklı olması durumu.
Kaplam — Bir kavramın içine aldığı bireylerin tümü.
Kapalı Yol — Çözümleyici çizelgede aynı yol üzerinde önermenin kendisi ve değilinden oluşan yol.
İspat — Tümdengelimsel çıkarım aracılığıyla bir yargının doğruluğunu kesinleştirme.
İlinti — Bir şeyin özünü oluşturmayan nitelikler.
İkilem — İki öncülden de aynı sonuca ulaşılan çıkarım türü.
İki Değerli Mantık — Doğru ve yanlış değerlerinden başka doğruluk değerine yer vermeyen mantık sistemi.
İçlem — Bir kavramın içine aldığı bireylerin ortak özelliklerinin tümü.
Gerçekleme — Özelleme önermesinin doğru değer alması durumu.
Geçerli Önerme — Bütün yorumlamaları doğru olan önerme.
Geçerli Çıkarım — Öncüllerin doğru olması hâlinde sonucun zorunlu olarak çıktığı çıkarım.
Formel Bilim — İnsan zihninin ürettiği soyut kavramları değerlendiren bilim. Matematik, mantık gibi bilimler.
Evren — Bir değişkenin alabileceği tüm değerler kümesi.
Eşdeğer Önerme — Tüm koşullar altında aynı değeri alan önerme.
Döndürme — Bir önermenin niteliğini değiştirmeden öznesini yüklem, yüklemini özne yaparak eş değerini bulma işlemi.
Doğruluk Değeri — Bir önermenin almış olduğu doğru ve yanlış değerlerin bütünü.
Doğruluk Çizelgesi — Bir bileşik önermenin doğruluk değerini, bileşenlerin doğruluk değerlerinin fonksiyonu olarak belirleyen çizelge.
Doğru Düşünme — Akıl ve mantık ilkelerine uygun olan düşünme işlemi.
Denetleme — Bir çıkarımın ya da önermenin geçerli ya da tutarlı olup olmadığını araştırma işlemi.