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`
Formel mantık hakkında ansiklopedik bilgi
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
Bu sayfa, 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 faydalanılarak veya ilgili madde birebir kopyalanarak hazırlanmıştır. Bu makale, GNU Özgür Belgeleme Lisansı ilkeleri kapsamında, Vikipedi sitesi kaynak gösterilerek özgürce kullanılabilir.
Yorumlar - Lütfen konu (Formel mantık) ile ilgili faydalı olabilecek bilgilerinizi yazarak internette Türkçe bilginin gelişmesine katkıda bulunun. Teşekkür vb. yorumlar yayınlanmamaktadır. Hata bildirme ve diger mesajlariniz için bu linki kullaniniz.