Önermelerin tutarlılığı ile çıkarımların geçerliliğini belirleyen kuralları konu edinen bilim. || Bu kurallar mantıksal değişmezlerin içeriğine (olağan yorumuna), mantıksal olmayan değişmezlerin ise yalnızca biçimine (dizimsel türlerine) dayanır. Krş. .
önermesel mantık, yüksek basamak mantığı, birinci basamak mantığı, temel mantık, eklemler mantığı, yüklemler mantığı, niceleme mantığı, betim mantığı, bileştiriciler mantığı, felsefe mantığı, yöneticiler mantığı, bilgisel mantık, sanısal mantık, ödev mantığı, süreler mantığı, kipler mantığı, yeğlemeler mantığı, eylemsel mantık, kararlar mantığı, önermesel olmayan mantık, sorular mantığı, buyruklar mantığı, çok değerli mantık, sezgici mantık, sözeden mantık, biçimsel mantık, geleneksel mantık, çağdaş mantık, matematiksel mantık, simgesel mantık, tümdengelimli mantık, tümevarımlı mantık, mantık dizgesi, mantıksal dizge, mantık kuralı, mantıksal im, mantıksal değişmez, mantıksal çıkarım kuralı, mantıksal deyim, mantıksal ilksav, mantıksal sonuç, mantıkça doğru önerme, mantıkça kapalı önermeler kümesi, mantıksal çatışkı.
Sayfa Yorumları