Overview
![](/assets/images/picto-drapeau-france-3a76576a5d60a512053b4612ab58dae5.png)
ABSTRACT
The term "logic" is derived from ancient Greek meaning both "speech" and "reasoning". As an interdisciplinary field of philosophy, linguistics, mathematics, and more recently computer science and especially artificial intelligence, logic deals with inference, which is defined as a "cognitive operation", elementary form of reasoning from premises to a conclusion. This article, the first in a series of three, presents elements on languages and on reasoning, before approaching logical systems, then metalogic. A glossary in the appendix precisely summarizes the definitions of many concepts.
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-Étienne, Saint-Étienne, France
INTRODUCTION
This article is the first in a series of three, the second of which will deal with "propositional and predicate logics"
The word logic comes from the ancient Greek lógos, meaning both "language" and "reasoning", and is said to have been first used by Xenocrates of Chalcedon (396-314 BC). At first glance, it refers to the study of the formal rules that all rigorous reasoning (and therefore all rigorous argumentation) must respect. In a more modern sense, logic is the study of inference, which designates an elementary process of reasoning, concerned with the form, not the content, of a rational argument (leaving aside any underlying psychological or biological processes).
Situation (teaching logic). In France, logic is rarely taught, even though it is fundamental to many scientific and engineering fields (biology, chemistry, law, computer science, artificial intelligence, linguistics, mathematics, medicine, philosophy, psychology...) and to everyday life in general.
Logic is considered the most general of the exact sciences, dealing with the container and not the content, since it does not deal with any particular "matter". It is not a closed and finished science, and will probably never cease to develop.
Concepts of logic. The history of logic is marked by different philosophical approaches, and even by what its subject was (Aristotle, Abelard, Kant, Hegel, Frege).
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference
KEYWORDS
language | semantics | inference | reasoning | syntax
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
Logic and metalogy
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference