Bilginin yapısını inceleyen, doğru ile yanlış akıl yürütmenin ayrımını yapmaya çalışan disiplin. Önceleri bir felsefe dalıyken daha sonra Matematik ve Bilgisayar Biliminin de parçası haline gelmiştir. Mantığa en büyük katkıları Aristoteles ve Gottlob Frege yapmıştır.

Basit bir örnek: Eğer bütün insanlar memeli ise, ve Aristoteles insan ise, Aristoteles da memelidir.

Bu örnek mantık sembolleriyle şöyle gösterilebilir:

$\backslash Rightarrow\; memeli)\; \backslash land\; (Aristoteles\; \backslash Rightarrow\; insan)\backslash Rightarrow\; (Aristoteles\backslash Rightarrow\; memeli)$

Bu örnek daha genel olarak şöyle ifade edilebilir:

$\backslash Rightarrow\; b)\; \backslash land\; (c\; \backslash Rightarrow\; a)\backslash Rightarrow\; (c\; \backslash Rightarrow\; b)$

Felsefi kavramlar | Mantık | Yapısal bilimler

Formele logika | Логика | যুক্তি | Lògica | Logika | Logik | Logik | Logic | Logiko | Lógica | Loogika | Logiikka | Logique | לוגיקה | Logika | Logica | Logika | Logiko | Logica | 論理学 | 일반논리학 | Logica | Logika | Loģika | Logik | Logica | Logika | Lógica | Logică | Логика | Logic | Logika | Logika | Logik | ตรรกศาสตร์ | Логіка | 逻辑学