Logika to nauka o poprawnym rozumowaniu. Pyta, co z czego wynika. Poprawny argument to taki, którego wniosek musi być prawdziwy, jeśli przesłanki są prawdziwe. Logika dostarcza narzędzi do odróżniania dobrych argumentów od złych. Arystoteles usystematyzował logikę za pomocą sylogizmu. Średniowieczni logicy ją udoskonalili. Frege i Russell opracowali nowoczesną logikę symboliczną, która wykorzystuje języki formalne do reprezentowania argumentów i reguły wnioskowania do wyprowadzania wniosków. Logika jest wykorzystywana w matematyce, informatyce, językoznawstwie i filozofii.

Logika to nie to samo, co psychologia. Bada ona zasady normatywne, a nie to, jak ludzie faktycznie myślą. Ludzie często rozumują nielogicznie, ale to nie zmienia wymagań trafności. Logika to również nie to samo, co retoryka. Retoryka ma na celu przekonywanie. Logika ma na celu dowodzenie. Te dwie dziedziny mogą się na siebie nakładać, ale są odrębne. Logika ma wiele gałęzi: między innymi logikę zdań, logikę predykatów, logikę modalną, logikę temporalną i logikę wielowartościową. Każda z nich ma swoje własne symbole, reguły i semantykę. Logika jest nauką formalną, podobnie jak geometria, i znajduje zastosowanie w każdej dziedzinie wymagającej precyzyjnego rozumowania.

Rodzaje logiki

• Propositional. Zajmuje się całymi propozycjami i spójnikami.
• Predicate. Zajmuje się obiektami, właściwościami i kwantyfikatorami.
• Modal. Zajmuje się możliwością i koniecznością.
• Informal. Zajmuje się rozumowaniem w języku naturalnym.

Logika nie jest zbiorem wiedzy o świecie. Jest zbiorem wiedzy o tym, co z czego wynika.