Overview
ABSTRACT
This article, the second in a series of three, deals with the classical logics which will give rise to mathematical logic at the end of the 19th century. The logic of propositions is first presented, which is the one introduced by Aristotle and which reigned for two thousand years. Next, the logic of predicates is exposed, which imposed itself at the turn of the 19th and 20th centuries, because it admitted greater expressive power. Many didactic and application examples illustrate many points. In the appendix are listed the properties of logical connectives and the logical forms used as axioms or rules of inference, as well as a list of notations.
Read this article from a comprehensive knowledge base, updated and supplemented with articles reviewed by scientific committees.
Read the articleAUTHOR
-
Jean-Charles PINOLI: Professor - École Nationale Supérieure des Mines de Saint-Etienne, Saint-Étienne, France
INTRODUCTION
This article is the second in a series of three on logic, the
first of which deals with "logic and metalogy"
The Ultimate Scientific and Technical Reference
KEYWORDS
semantics | inference | syntax | argument | axiom
This article is included in
Mathematics
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Propositional logic and predicate logic
Proposal logic
Bibliography
The Ultimate Scientific and Technical Reference
