Logika to nauka o poprawnym myśleniu i wnioskowaniu. Logika bada, jak formułować i uzasadniać twierdzenia, jak łączyć i porównywać zdania, jak budować i oceniać argumenty. Logika ma zastosowanie w wielu dziedzinach, takich jak filozofia, matematyka, informatyka, prawo czy sztuka.
Logika dzieli się na wiele gałęzi i typów, w zależności od tego, jakie są jej przedmioty i metody badań. Niektóre z nich to:
- Logika formalna – zajmuje się badaniem struktury i wartości logicznych wyrażeń językowych, takich jak zdania, pojęcia czy symbole. Logika formalna stosuje ścisłe reguły i znaki matematyczne do opisywania i analizowania związków logicznych między wyrażeniami. Logika formalna obejmuje m.in. logikę klasyczną, logikę wielowartościową, logikę modalną czy logikę temporalną.
- Logika filozoficzna – zajmuje się badaniem źródeł, warunków i granic poznania ludzkiego. Logika filozoficzna analizuje podstawy i kryteria prawdy, dowodu, racjonalności czy sensu. Logika filozoficzna obejmuje m.in. logikę epistemologiczną, logikę ontologiczną, logikę języka czy logikę argumentacji.
- Logika matematyczna – zajmuje się badaniem podstaw i metod matematyki za pomocą narzędzi logicznych. Logika matematyczna bada m.in. aksjomaty, dowody, teorie, modele czy algorytmy matematyczne. Logika matematyczna obejmuje m.in. teorię mnogości, teorię modeli, teorię dowodu czy teorię obliczeń .
- Logika informatyczna – zajmuje się badaniem zastosowań logiki w informatyce i sztucznej inteligencji. Logika informatyczna bada m.in. sposoby reprezentacji i przetwarzania informacji, programowania logicznego, rozwiązywania problemów czy wnioskowania automatycznego .
Logika jest więc bardzo bogatą i różnorodną dziedziną nauki, która ma duże znaczenie dla rozwoju ludzkiej wiedzy i kultury.