Formal logic

Home > Philosophy > Ontology > Cognitive Ontology > Formal logic

The mathematical study of reasoning, argumentation, and inference, which provides a formal representation of deductive and inductive reasoning.