Filosoofiline loogika
Filosoofiline loogika (inglise philosophical logic) on ratsionaalse mõtlemise filosoofiline uurimine. Termini võttis kasutusele Bertrand Russell 1950. aastatel. Filosoofilist loogikat võib nimetada filosoofia ja loogika ühisosaks. Filosoofiline loogika analüüsib osutuse ja tähenduse, otsustuse, tõe, eituse, modaalsuse, definitsiooni, järelduse jt mõisteid, mis seostuvad mõtlemise ratsionaalsusega. Filosoofiline loogika ei uuri mõtlemist psühholoogilise protsessina – seda teeb psühholoogia.