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