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.
Journal of Mathematical Logic was created in 2001.
Archive for Mathematical Logic was created in 1950.
Principles of Mathematical Logic was created in 1938.
Aristotle
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.
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
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.
M. Ben-Ari has written: 'Mathematical logic for computer science' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic