Sembolik Mantık Tanımı (Kısaca)
Modern mantık da denilen sembolik mantık, klasik mantığın sembolleştirilmiş biçimidir. Sembolik mantık, klasik mantığın çok anlamlılığı, belirsizliği ve bulanıklığına bir alternatif olarak geliştirilmiş ve kesin çıkarımlara ulaşmayı amaçlamıştır. Önermeler mantığında bir önerme birden fazla anlama gelebilirken modern mantıkta sembolle gösterildiğinden çok anlamlılık ve belirsizlikten kurtulur, kesin bir anlam kazanmış olur.
Modern mantığın klasik mantıktan en önemli farkı, tamamen sembolik olması dolayısıyla içerikten çok biçimsel olarak ifadelerin yer almasıdır. Klasik mantık günlük dili ve anlamları kullandığı için kısmen içeriğin etkisindedir. Sembolik mantığın en temel amacı çeşitli dilsel yapıları sembollerle ifade etmek ve bu sembolik ifadeleri denetlemektir. Sembolik mantık klasik mantıktaki önermeleri, çıkarımları kesinliğe yakın, belirsizlikten uzak bir biçimde sembolleştirerek denetler. Denetleme, o sembolik yapıyı değerlendirmek için ön şarttır.
Önermeleri ve çıkarımları sembolleştirirken bazı kurallara dikkat etmek gerekir. Önermeler mantığında basit önermeler p, q, r, s gibi önerme sembolleri ile gösterilir. Bileşik önermeler ~, ↔, ∧, ∨, → işaretleri ile oluşturulurlar. Böylece sembolik mantık önermeleri ortaya çıkar.
Daha Fazlası için "Mantık Konu Anlatımları" kategorimize göz atabilirsiniz.