Logika
Logika to dziedzina naukowa skupiająca się na zasadach i regułach niezbędnych do poprawnego rozumowania i wnioskowania. Bada także sposoby wykorzystywania tych reguł do tworzenia poprawnych argumentów. Zajmuje się m.in. analizą i konstrukcją argumentów, wykrywaniem błędów w argumentacji, rozwiązywaniem paradoksów, badaniem relacji między pojęciami oraz dociekaniem na polu różnych rodzajów rachunków logicznych, takich jak rachunek zdań czy rachunek kwantyfikatorów. Logika ma wiele zastosowań na płaszczyźnie naukowej. W matematyce stanowi narzędzie do udowadniania twierdzeń i konstrukcji formalnych systemów. W informatyce jest używana do projektowania systemów informatycznych i rozwiązywania problemów związanych z programowaniem. W filozofii służy analizowaniu i ocenie argumentów oraz badaniom zasad i reguł poprawnego myślenia.