Logika filozoficzna Logika filozoficzna to 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ćKazimierz Ajdukiewicz: Logika pragmatyczna, PWN, Warszawa 1965..
Pod nazwą logika filozoficzna rozumie się dział filozofii zajmujący się: filozoficznymi problemami logiki (filozofią logiki) zastosowaniem logiki do zagadnień filozoficznych (logiką filozofii) zagadnieniami filozofii języka
Logika matematyczna Logika matematyczna (zwana też metamatematyką) to dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Jej przedmiotem są formalne teorie matematyczne i ich modele, dowody oraz zasięg matematycznych rozumowań.