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"
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
KEYWORDS
semantics | inference | syntax | argument | axiom
Propositional Logic and Predicate Logic
Proposal logic
Article included in this offer
"Mathematics"
(
167 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
