Logika (gr. λόγος, logos - rozum) nauka normatywna, analizująca źródła poznania pod względem prawomocności czynności poznawczych z nimi związanych. Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika, jako dyscyplina normatywna, nie tylko opisuje jak faktycznie przebiegają rozumowania, ale także formułuje twierdzenia normatywne, mówiące o tym, jak rozumowania powinny przebiegać.

Dedukcja to rodzaj rozumowania logicznego, mającego na celu dojście do określonego wniosku na podstawie założonego wcześniej zbioru przesłanek. Rozumowanie dedukcyjne w odróżnieniu od rozumowania indukcyjnego jest w całości zawarte wewnątrz swoich założeń, to znaczy nie wymaga tworzenia nowych twierdzeń czy pojęć, lecz jest tylko prostym wyciąganiem wniosków. Jeśli jest przeprowadzone poprawnie, zaś zbiór przesłanek nie zawiera zdań fałszywych, to wnioski wyciągnięte w wyniku rozumowania dedukcyjnego są nieodparcie prawdziwe i nie można ich zasadnie zakwestionować.

Pragmatyka – jeden z trzech działów semiotyki (obok semantyki i syntaktyki). Wg Charlesa W. Morrisa, autora wspomnianego podziału, pragmatyka traktować ma o relacji między znakiem a odbiorcą (interpretatorem).

Filozofia języka − dział filozofii podejmujący problem natury, pochodzenia oraz użycia języka. Filozofów analitycznych interesują cztery kluczowe problemy: natura znaczenia, użycie języka, rozumienie języka oraz relacja między językiem a rzeczywistością. Dla filozofów kontynentalnych z kolei, filozofia języka rozpatrywana jest nie jako osobne zagadnienie, lecz jako część logiki, historii lub polityki.