With the Prior Analytics, Aristotle is credited with the earliest study of formal logic, and his conception of it was the dominant form of Western logic until 19th century advances in mathematical logic.
Aristotle
Aristotle invented logic and scientific reasoning.
Principles of Mathematical Logic was created in 1938.
Journal of Mathematical Logic was created in 2001.
Archive for Mathematical Logic was created in 1950.
Robert Feys has written: 'Logistiek, geformaliseerde logica' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic 'Modal logics' -- subject(s): Logic, Symbolic and mathematical, Modality (Logic), Symbolic and mathematical Logic
The use of logic.
Joseph Robert Schoenfield has written: 'Mathematical logic' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic
Aristotle is considered the father of formal logic. He developed the syllogism, a form of deductive reasoning that consists of a major premise, a minor premise, and a conclusion. Aristotle's work on logic laid the foundation for the study of reasoning and argumentation.
Mathematical logic is a branch of mathematics which brings together formal logic and mathematics. Mathematical logic entails formal systems for defining the basics and then using the deductive power of logic to develop a system of formal proofs.
Aristotle taught logic by giving his students riddles and had them logically work through to find the answer. His students learned about logic by using it.
The generic title for Aristotle's six standard treatises on logic is "Organon."