Doğru ve sistemli düşünme adına ilke ve kuralları olan mantık (lojik) bütün bilimlerin temel metodudur. Doğru düşünce için nasıl düşünülmesi gerektiğine dair ilke ve kuralları araştırır. Elektrik devrelerinde, bilgisayar yazılımlarında ve bir çok teknolojik alanda sembolik mantık kullanılır.

Mantık bilgisi ve kurallarını sistemli bir şekilde ilk kez Yunan filozofu Aristoteles ortaya koymuştur. Aristo‘nun çalışmalarını inceleyen Farabi ve İbni Sina yazdıkları bilgilerle mantığın bir bilim dalı haline gelmesini sağlamıştır. Sembolik mantık üzerine ilk sistemli çalışma Leibniz tarafından yapılmıştır. De Morgan sembollerle ifade edilebilecek bir mantık üzerine çalışmış, George Boole gibi bilim adamları mantığın elektrik devrelerine uygulanması üzerine çalışmıştır. Sembolik mantığın bugün kullandığımız sembolik mantık kuralları Bertrand Russel ve N. Whitehead`ın birlikte yazdığı Matematiğin İlkeleri kitabına dayanmaktadır.

Mantık; klasik (Aristo) mantığı ve sembolik (matematiksel) mantık olmak üzere iki ana dala ayrılır. Sembolik mantık ise kendi içinde Onermeler Mantığı ve Niceleyiciler Mantığı olarak iki kısma ayrılır.

Günümüzde ise klasik mantığın sembolleştirilmiş biçimi olan sembolik mantık hem doğru düşünmenin bir yolu hem de matematiğin tüm dünyadaki ortak dilidir.



Temel Yeterlilik Sınavı (TYT)
30 Haziran 2018 Cumartesi