Formel Mantık
 

Formel mantık, mantığın geleneksel ya da biçimsel özelliğidir. Geleneksel mantık olarak da adlandırılır. Bir düşüncenin içerik bakımından doğru olup olmadığını değil, biçimsel ya da formel yönden doğru olup olmadığını dikkate alır, bunu önemser. Bu yanıyla da düşünce biçimlerinin çözümlemesini içerir denilebilir. Verili öneermelerden başka yeni önermeler çıkarılması, formel mantığın yöntemidir. Bu çıkarsamanın kurallarını kapsar. Bu bakımdan da hem ``ögeler teorisi`` hem de ``yöntem teorisi`` olarak iki bölüme ayrılır. İlki kavramları ve mantığın temel ilkelerini, ikincisi ise kanıtlamanın yol ve yöntemlerini araştırır ve ortaya koymaya çalışır.

==Kaynak== ``Felsefe Terimleri Sözlüğü``, Formel mantık, mantığın geleneksel ya da biçimsel özelliğidir. Geleneksel mantık olarak da adlandırılır. Bir düşüncenin içerik bakımından doğru olup olmadığını değil, biçimsel ya da formel yönden doğru olup olmadığını dikkate alır, bunu önemser. Bu yanıyla da düşünce biçimlerinin çözümlemesini içerir denilebilir. Verili öneermelerden başka yeni önermeler çıkarılması, formel mantığın yöntemidir. Bu çıkarsamanın kurallarını kapsar. Bu bakımdan da hem ``ögeler teorisi`` hem de ``yöntem teorisi`

Bedia Akarsu,

İnkilap Yayınevi.

Bu makale, online kullanıcı topluluğu tarafından oluşturulan ve düzenlenen özgür ansiklopedi projesi Wikipedia'nın Türkçe versiyonu Vikipedi'deki Formel mantık maddesinden kopyalanmıştır. Bu makale, GNU Özgür Belgeleme Lisansı ilkeleri kapsamında özgürce kullanılabilir.