Logika formálna (filozofia)

- formálna veda, ktorá sa často považuje za filozofickú disciplínu a kladie sa na miesto, ktoré jej vyhradil už Aristoteles: je organon (nástroj) filozofie, má teda inštrumentálny význam, pretože učí správne argumentovať a pomáha pri presnej analýze filozofických problémov ( L55;26).