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.
Archive for Mathematical Logic was created in 1950.
Principles of Mathematical Logic was created in 1938.
Journal of Mathematical Logic was created in 2001.
Aristotle
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.
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
Aristotle invented logic and scientific reasoning.
Aristotle did not discover the atom. The concept of the atom was first proposed by the ancient Greek philosopher Leucippus and his student Democritus around the 5th century BCE. Aristotle, who came after them, did not accept the idea of atoms and instead favored a different view of matter.
Joseph Robert Schoenfield has written: 'Mathematical logic' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic
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.
The use of logic.
Georg Kreisel has written: 'Elements of mathematical logic (Model theory)' -- subject(s): Symbolic and mathematical Logic 'Elements of mathematical logic' -- subject(s): Symbolic and mathematical Logic 'Modelltheorie' -- subject(s): Model theory