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ć.

Rachunek predykatów pierwszego rzędu – (ang. first order predicate calculus) to system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów. Tak więc nie mogą występować kwantyfikatory typu "dla każdej funkcji z X na Y ..." (gdyż funkcja jest podzbiorem X × Y), "istnieje własność p, taka że ..." czy "dla każdego podzbioru X zbioru Z ...". Rachunek ten nazywa się też krótko rachunkiem kwantyfikatorów, ale często używa się też nazwy logika pierwszego rzędu (szczególnie wśród matematyków zajmujących się logiką matematyczną).

Epistemologia (od gr. ἐπιστήμη, episteme – „wiedza; umiejętność, zrozumienie”; λόγος, logos – „nauka; myśl”) teoria poznania lub gnoseologia – dział filozofii zajmujący się relacjami między poznawaniem, poznaniem a rzeczywistością. Epistemologia rozważa naturę takich pojęć jak: prawda, przekonanie, sąd, spostrzeganie, wiedza czy uzasadnienie.

Słowo filozofia (gr. φιλοσοφία, łac. philosophia) pochodzi (prawdopodobnie) od matematyka i filozofa Pitagorasa żyjącego w VI wieku p.n.e. Pierwotnie miało sens dosłowny i oznaczało poszukiwanie, umiłowanie mądrości lub posiadanie mądrości (gr. φιλέω phileo – kochać, σοφία sophia – mądrość). Obecnie terminu filozofia używa się w różnych znaczeniach. Trudno o jego definicję, gdyż zakres rozważań filozoficznych i ich metoda ulegały zmianom w historii, a rozumienie filozofii jest uzależnione od wielu czynników, w tym od przyjętej tradycji filozoficznej. W uproszczeniu można powiedzieć, że filozofia zajmuje się ogólnymi, podstawowymi zagadnieniami dotyczącymi natury świata i człowieka. Filozofowie rozważają kwestie natury istnienia, rozumienia bytu i rzeczywistości (ontologia, metafizyka, teoria bytu), poznawalności rzeczywistości i prawdy (epistemologia czyli teoria poznania), moralności, powinności i koncepcji wartości (etyka oraz aksjologia czyli teoria wartości), także zagadnienia dotyczące człowieka antropologia filozoficzna, a także kwestie społeczne, prawne, kulturowe, teologiczne i inne.