Mantıksal sistem

Bir mantıksal sistem bir olan biçimsel sistem mantıksal akıl ve kesintiler adanmış. Şunlardan oluşur:

• doğru olarak ve akıl yürütme için bir başlangıç ​​noktası olarak verilen bir dizi aksiyomu içeren bir dizi formül;
• bu sistemde uygulanabilir muhakeme türünü tanımlamayı mümkün kılan bir dizi kesinti kuralı;
• formüllerin anlamını belirlemeyi mümkün kılan formüllerin bir yorumu . Bu listenin ilk iki maddesi mantıksal sistemi resmi bir sistem haline getirir, bu üçüncü madde mantıksal sistemlere özgüdür.

Pek çok mantıksal sistem vardır, özellikle de doğal tümdengelim sistemi . Gelen Klasik Mantık , yorumlama formüllerinin değişkenlerin gerçeği değerlerinin bir fonksiyonu olarak, örneğin doğruluk değerlerinin bir ikili set {Doğru, Yanlış} onun değerlerini alan bir fonksiyondur.