LOGIQUE
Carte mentale
Élargissez votre recherche dans Universalis
L'ère de la logique dite « classique »
Déclin de la logique
À partir de la Renaissance, la logique connaît une longue période de relative torpeur. L'humaniste naissant s'oppose à tout ce qui rappelle l'enseignement scolastique et l'autorité d'Aristote. L'intérêt se déplace de la logique vers l'art de la dialectique et la recherche d'une méthode. Ces deux traits se remarquent dans le premier ouvrage de logique écrit en français, la Dialectique (1555) de Pierre de la Ramée (Ramus), qui avait commencé sa carrière par de violentes attaques contre Aristote. Les modifications qu'il apporte à la syllogistique sont assez anodines, mais les modi ramistorum ont été célèbres et ont rivalisé pendant un temps avec ceux d'Aristote. Succédant à l'humanisme de la Renaissance, l'avènement de la physique moderne, qui demande son organon à la mathématique, et non plus à la logique, ajoute au discrédit où celle-ci est tombée. Ce que veulent maintenant les philosophes, c'est une méthode pour connaître la vérité des choses, et non pour assurer seulement la cohérence du discours. Cet esprit nouveau anime, assez paradoxalement, la plus célèbre des logiques de l'époque, celle dite de Port-Royal (1662) où, pendant deux siècles, les « honnêtes gens » prendront contact avec cette discipline. Elle y est réduite à ses éléments essentiels et traitée sur des exemples concrets ; son propos est d'apprendre à juger sainement plutôt qu'à raisonner correctement ; elle est couronnée, comme chez Pierre de la Ramée, par des conseils de méthode, directement inspirés de Descartes et de Pascal.
Leibniz
L'exception la plus considérable à cette désaffection générale pour la logique est celle de Leibniz. En logique comme ailleurs, ce philosophe de la continuité évite la rupture. Il accepte ce qui a été fait, il le reprend, mais pour l'approfondir. La logique traditionnelle n'est qu'un échantillon d'une logique générale, qui r[...]
1 2 3 4 5…
pour nos abonnés,
l’article se compose de 20 pages
Écrit par :
- Robert BLANCHÉ : professeur honoraire à la faculté des lettres et des sciences humaines de Toulouse
- Jan SEBESTIK : docteur ès lettres, chargé de recherche au C.N.R.S.
Classification
Autres références
« LOGIQUE » est également traité dans :
ANALOGIE
Dans le chapitre « Le point de départ « aristotélicien » : histoire d'un contresens » : […] Dès les années 1200, et pour une large période, l'analyse du phénomène logico-sémantique de l'équivocité se voit lestée de thèmes directement empruntés à Avicenne. C'est sous son influence que l'équivocité « selon l'antérieur et le postérieur » est reconnue par les logiciens (Dialectica monacensis, 1230 env. ; […] Lire la suite☛ http://www.universalis.fr/encyclopedie/analogie/
ANALYTIQUE PROPOSITION
Le mot « analytique » a au moins trois sens […] Lire la suite☛ http://www.universalis.fr/encyclopedie/proposition-analytique/
ANTINOMIE
N'est pas antinomie n'importe quelle contradiction, mais seulement celle qui joue entre des lois — soit des lois juridiques ou théologiques, soit des lois de la
CATÉGORIES
Dans le chapitre « Les classifications » : […] Körner énonce encore un quatrième fait, la logique sous-jacente aux cadres catégoriaux, selon qu'elle est plus ou moins rigide. En effet, de très nombreux travaux récents ont mis en relief le fonctionnement d'une pensée constructive et stratégique, proche de la logique intuitionniste, dont les exigences de consistance sont moins sévères que celles […] Lire la suite☛ http://www.universalis.fr/encyclopedie/categories/#i_2
COGNITIVES SCIENCES
Dans le chapitre « Logique et raisonnement » : […] Pendant longtemps, la logique a été considérée comme fournissant les règles du raisonnement idéal : n'est-elle pas la science de l'inférence valide, c'est-à-dire de l'opération permettant de passer à coup sûr de prémisses vraies, ou supposées telles, à une conclusion vraie ? Si tel de nos raisonnements ne se conforme pas aux canons de la logique, […] Lire la suite☛ http://www.universalis.fr/encyclopedie/sciences-cognitives/#i_2
CONCEPT
Les théories de la
CONTEXTE, linguistique
Dans le chapitre « Les approches logiques et sémantiques de la notion de contexte »
: […]
Dans une tout autre perspective, les approches logiques de la langue ont été confrontées à la question du contexte, à propos de la
CONTINGENCE
Dans le chapitre « La contingence dans la pensée scientifique »
: […]
L'idée de contingence prend-elle rang au milieu des concepts scientifiques ? À coup sûr, elle appartient, depuis l'Antiquité, à la
CONTRAIRES & CONTRADICTOIRES, logique
Distinction qui, en
CONVERSION, logique
Dans la
COPULE, logique
Du latin copula (cum apio, « attacher avec, ensemble ») : « lien », puis « lien charnel », copule désigne dans nos langues indo-européennes le verbe « être » dans sa fonction de prédication, c'est-à-dire de lien entre un sujet et un attribut, ou prédicat, au sein d'une proposition. Cette fonction copulative […] Lire la suite☛ http://www.universalis.fr/encyclopedie/copule-logique/#i_2
DÉFINITION
Traditionnellement, définir, c'est expliciter, lorsqu'il s'agit d'un mot, et, lorsqu'il s'agit d'un
DÉVELOPPEMENT DU RAISONNEMENT
Dans le chapitre « Le raisonnement chez l’enfant selon Piaget » : […] le monde telles que le temps, l’espace, la causalité, le nombre ou la mesure. C’est seulement vers l’âge de sept ou huit ans que la coordination des activités de pensées (les schèmes) conduirait à une première forme de logique demeurant cependant concrète, centrée sur les objets, leurs relations et leur nombre. Cette pensée se détacherait ensuite […] Lire la suite☛ http://www.universalis.fr/encyclopedie/developpement-du-raisonnement/#i_2
DIALECTIQUE
Dans le chapitre « Origine éléatique ? »
: […]
La question est donc posée : la dialectique est-elle une logique fondée sur une
DIALLÈLE
DIALOGUE
Dans le chapitre « Du dialogisme au dialogue »
: […]
dialogue à partir du dialogisme du discours. Les tentatives constructivistes renouent fort heureusement avec la synthèse médiévale de la logique et de la rhétorique. C. Perelman et N. Rescher montrent dans la dispute rationnelle une
DILEMME
Originellement, le dilemme désigne un argument à deux prémisses. Sa signification s'est restreinte, chez les rhéteurs hellénistiques du iie siècle, aux arguments dont les stances du Cid représentent pour nous le meilleur exemple […] Lire la suite☛ http://www.universalis.fr/encyclopedie/dilemme/
DISCOURS PARTIES DU
L'étude systématique des différences portant sur les éléments (« parties ») mis en jeu dans le langage réalisé (« discours ») a été entreprise il y a fort longtemps par les grammairiens. C'est déjà pour les Indiens un début d'inventaire structural que d'inventorier le verbe, le nom, les prépositions et les particules. En Grèce, pour Aristote, « l' […] Lire la suite☛ http://www.universalis.fr/encyclopedie/parties-du-discours/#i_2
ENTHYMÈME, rhétorique
Terme peu usité, qui vient de la
ÉPISTÉMOLOGIE
Dans le chapitre « Sciences formelles, sciences empiriques »
: […]
C'est d'abord la logique elle-même qui se trouve mise en question. La construction d'un
ÊTRE, philosophie
Dans le chapitre « L'existence n'est pas un prédicat » : […] À l'expression, dans le cadre de la logique moderne (en entendant par cette expression la logique à partir de Frege et Russell), de la distinction entre l'usage de « être » avec fonction de copule et l'usage absolu ou existentiel, on pourrait faire suivre, comme une sorte de brève […] Lire la suite☛ http://www.universalis.fr/encyclopedie/etre-philosophie/
EXPÉRIENCE
Dans le chapitre « L'empirisme logique et la construction logique du monde » : […] comment peut-on espérer dériver « empiriquement » les concepts des mathématiques et de la logique, alors même qu'ils sont indépendants de l'expérience ? La tentative de Stuart Mill (1852) pour faire des mathématiques et de la logique des sciences « expérimentales » dans leurs contenus mêmes est à cet égard exemplaire de cet échec, comme l'ont bien […] Lire la suite☛ http://www.universalis.fr/encyclopedie/experience/#i_2
EXTENSION & COMPRÉHENSION, logique
Distinction introduite par la Logique de Port-Royal et portant sur les idées universelles : « J'appelle compréhension de l'idée les attributs qu'elle enferme en soi, et qu'on ne peut lui ôter sans la détruire, comme la compréhension de l'idée du triangle enferme extension, figure, trois lignes, trois angles, […] Lire la suite☛ http://www.universalis.fr/encyclopedie/extension-et-comprehension-logique/#i_2
FORMALISME
à une question de formulation. La formalisation des théories mathématiques fondamentales, suscitée à l'origine par les problèmes de « fondement » des mathématiques, a conduit tout au long du xxe siècle au développement autonome d'une
GOODMAN NELSON (1906-1998)
une thèse intitulée « A Study of Qualities » qui fournit la matière de The Structure of Appearance en 1951. Ouvrage fondamental et difficile qui se présente, d'une part, comme une réélaboration critique de l'entreprise de
HEURISTIQUE
Dans le chapitre « Heuristique générale ou la logique de la découverte »
: […]
», écrit Karl Popper. La seule rationalité qui puisse être concédée (et c'est ce que fera Popper), c'est celle d'une logique du développement de la connaissance : seule est susceptible d'une reconstruction rationnelle la procédure de mise à l'épreuve, le test auquel on soumet l'hypothèse jaillie « dans une
IDENTITÉ
Dans le chapitre « Les significations de l'identité et la logique de l'identité » : […] On n'entrera pas dans l'étude de la logique de l'identité, si ce n'est d'une certaine façon pour noter que les deux dimensions mentionnées y interviennent encore. C'est en relation avec l'égalité et la substituabilité que l'identité est élucidée – plutôt qu'elle n'est définie, comme l'a observé Frege dans le texte qu'on a cité au début (Frege […] Lire la suite☛ http://www.universalis.fr/encyclopedie/identite/
IMPLICATION, logique
Comme tout
IMPLICATION, philosophie
Il y a implication, au sens usuel, lorsqu'une chose en contient une autre, de manière non apparente mais réelle, de sorte que la chose contenue, d'abord inaperçue, peut
INDUCTION, philosophie
Le processus de
INFÉRENCE
Opération de l'esprit qui passe de propositions assertives, comme prémisses, à des propositions assertives, comme conclusions. Au sens strict, on distingue l'inférence du
INFINI RÉGRESSION À L'
Parce qu'expliquer c'est remonter du présent à ce qui l'a précédé, du composé au simple, la régression à l'infini est un procédé
JUGEMENT
Dans le chapitre « Les perspectives classiques »
: […]
Ces vues classiques ont une origine aristotélicienne : le savoir se développe entre le concept, qui est son point d'ancrage initial dans les choses et les natures, et la preuve apodictique, qui réalise l'adéquation explicite du savoir à l'être. Le jugement, sous sa forme catégorique, pose l'être du sujet, selon les
LINGUISTIQUE - Théories
Dans le chapitre « La sémantique formelle » : […] la langue ont conduit à élaborer des composantes sémantiques conçues sur le modèle de la logique. Les sémantiques d'inspiration logique sont nombreuses. Il existe à l'heure actuelle une très grande diversité de formalismes logiques : logiques classiques (des propositions et des prédicats) ou logiques non classiques (modales, non monotones, ...), […] Lire la suite☛ http://www.universalis.fr/encyclopedie/linguistique-theories/#i_2
LOGIQUE INDIENNE
Les questions de
MÉTALOGIQUE
Étude des propriétés des systèmes logiques. Une fois construit comme système, un
MÉTHODE
Dans le chapitre « Considérations historiques »
: […]
types de raisonnement déductif (syllogistique). Lui-même ne l'utilise jamais d'une façon explicite dans ses œuvres scientifiques. La logique vient à bon droit au premier rang des méthodes, puisqu'elle est valable quelle que soit la
MODALITÉ, linguistique
Terme de
MODALITÉS, logique
La notion logico-linguistique de modalité désigne, au sens classique, toutes les modifications du sens d'une proposition par des expressions permettant d'asserter cette proposition comme nécessaire, possible, impossible ou contingente. Elle est alors dite aléthique et a été étudiée, depuis
MODÈLE
Dans le chapitre « Perspective épistémologique » : […] naturellement pour les besoins des différentes sciences, pose des problèmes étendus à la logique et à l'épistémologie. La logique est concernée en ce que les modèles donnent matière à l'étude sémantique, qui s'intéresse aux rapports des signes avec la réalité, et à l'étude pragmatique, qui reconnaît les motifs du choix des langages obéissant à des […] Lire la suite☛ http://www.universalis.fr/encyclopedie/modele/
MYTHE - L'interprétation philosophique
Dans le chapitre « Le modèle structural » : […] l'analyse structurale : l'élimination de la « substance » au bénéfice de la « forme » ; le mythe, en effet, s'avère être un outil logique qui opère des médiations ou des connexions entre des termes contradictoires ; ces médiations elles-mêmes présentent des renversements, des permutations qui entrent dans des groupes de transformation ; il peut […] Lire la suite☛ http://www.universalis.fr/encyclopedie/mythe-l-interpretation-philosophique/#i_2
NOUVELLE RHÉTORIQUE, droit
Dans le chapitre « Restauration de la fonction rhétorique » : […] Selon l'école de Bruxelles, il existe bien une logique propre au raisonnement pratique, mais celle-ci ne se réduit pas à la logique formelle, telle qu'elle a été conçue d'après l'idéal des démonstrations mathématiques. Perelman reproche à Descartes d'avoir imposé une conception trop étroite de la raison, réduisant celle-ci à la certitude et à l' […] Lire la suite☛ http://www.universalis.fr/encyclopedie/nouvelle-rhetorique-droit/#i_2
OBJET
Dans le chapitre « Les objets, le langage et la pensée »
: […]
parler l'autosuffisance de l'objet représenté par un nom dans un langage ne laisse pas cependant de soulever des difficultés logiques nées des mécanismes complexes de la référence, des modes de renvoi des noms aux objets dans un
OPPOSITION CONCEPT D'
Dans le chapitre « La logique : Robert Blanché » : […] et se propose tout d'abord de la clarifier en la transposant du cadre ordinaire de l'analyse des propositions à celui de l'analyse des termes, c'est-à-dire des concepts. Il envisage aussi de la compléter et de la généraliser à partir de la présentation traditionnelle qui lui a été donnée sous la forme du carré d'Apulée, avec ses quatre postes A, E […] Lire la suite☛ http://www.universalis.fr/encyclopedie/concept-d-opposition/#i_2
PARADOXE
Dans le chapitre « Trois grandes classes de paradoxes »
: […]
Dans les trois cas, le paradoxe se présente comme un récit qui comporte, explicitement ou implicitement, trois moments logiques : le premier pose un décor, convoque des représentations d'une petite scène, souvent fort simple à comprendre ; le deuxième est un
PARALOGISME
PERELMAN CHAÏM (1912-1984)
initiale de Perelman a coïncidé avec le rejet du positivisme logique. Cela équivaut en profondeur à dénier à la logique et aux sciences empiriques le rôle de
PHÉNOMÉNOLOGIE
Dans le chapitre « Les « Recherches logiques » »
: […]
C'est dans les Recherches logiques (1900-1901), « ouvrage inaugural », que le projet et les thèses essentielles de la phénoménologie sont exposés pour la première fois ; leur portée excède donc largement ce qui en fait l'
PHILOSOPHIE
Dans le chapitre « La loi Falloux » : […] de philosophie – par le ministre Fortoul, de même que les agrégations correspondantes. Seul reste autorisé un enseignement de logique. C'est en se parant d'allures modernistes et en invoquant une nécessaire adaptation de l'école à la société que la réaction réussit à supprimer l'enseignement philosophique (la logique au lieu de la philosophie et […] Lire la suite☛ http://www.universalis.fr/encyclopedie/philosophie/#i_2
PHILOSOPHIE ANALYTIQUE
Dans le chapitre « Le présupposé philosophique de l'analyse » : […] la théorie de la connaissance et un sens transcendantal au Je pense ; la philosophie analytique met sûrement la logique au commencement de la philosophie. Son acte de naissance est une double critique logique : critique pluraliste des relations internes, critique antipsychologiste de la signification meinongienne (le Husserl des […] Lire la suite☛ http://www.universalis.fr/encyclopedie/philosophie-analytique/
PRÉDICAT, linguistique
Le terme « prédicat » a été repris par la
PRÉDICATS CALCUL DES
Dans la
PREUVE, épistémologie
Une proposition est dite prouvée si, ayant été établie par une
PROPOSITION, philosophie
Il convient d'abord de distinguer la phrase, le
PROPOSITION CATÉGORIQUE
Énoncé simple, originellement affirmatif, chez
PROPOSITIONNEL CALCUL
PROTOCOLAIRES ÉNONCÉS
Notion d'
QUANTIFICATION, logique
Notion usitée en
RAISONNEMENT
L'approche logique, cependant, n'est pas non plus sans dangers, invitant à oublier l'activité opératoire, et même à écarter comme « incongrue » (B. Russell) la notion d'esprit ; de plus, les développements du
RATIONALISME
Dans le chapitre « La raison et la connaissance » : […] Un second aspect du rationalisme concernerait la place et le rôle attribués, dans la connaissance, à la logique et aux mathématiques, à ce que nous nommerions la pensée formelle. Il consiste alors à donner la préférence à une connaissance par concepts abstraits, enchaînés selon des liaisons logiques, plutôt qu'à une connaissance en intuitions et en […] Lire la suite☛ http://www.universalis.fr/encyclopedie/rationalisme/#i_2
RELATION
Dans le chapitre « La doctrine des catégories : Aristote et Kant »
: […]
SCIENCES - Sciences et discours rationnel
Dans le chapitre « Les divers types de science et leurs modes de validation : le type formel pur » : […] entre mathématiques et logique pose un problème spécifique qui ne sera pas examiné ici. Le fait décisif est que la logique s'est révélée susceptible d'être étudiée par des méthodes qui ont depuis longtemps fait leurs preuves en mathématiques. La notion de système formel offre une représentation parfaitement claire de cet état de choses. Un système […] Lire la suite☛ http://www.universalis.fr/encyclopedie/sciences-sciences-et-discours-rationnel/#i_2
SOPHISME
Transcription du grec sophisma, désigne l'artifice de langage dont usait le sophiste de l'Antiquité, le
STRATÉGIE SOCIALE
Sens pratique, que, dans la plupart des cas, « la pratique n’implique pas la maîtrise de la
LA STRUCTURE DE L'APPARENCE, Nelson Goodman - Fiche de lecture
Dans le chapitre « Nominalisme et phénoménisme » : […] Le projet de Nelson Goodman, dans La Structure de l'apparence, s'inscrit dans la tradition de B. Russell, C. I. Lewis et R. Carnap, visant à une reconstruction rationnelle et logique des concepts de la connaissance scientifique. S'il se livre à une lecture attentive et critique de l'Aufbau de Carnap, il s'en […] Lire la suite☛ http://www.universalis.fr/encyclopedie/la-structure-de-l-apparence/#i_2
SYLLOGISME
Dans le chapitre « La syllogistique »
: […]
se distingue du moderne calcul des propositions (préparé dans l'Antiquité par la
SYLLOGISME FIGURES & MODES DU
On distingue diverses figures du
SYMBOLE
Dans le chapitre « L'interprétation symbolique »
: […]
je note « 1 kilo de pommes = 1 franc » ou que je suggère « le lion = le courage ». Dans le premier cas, on a affaire au symbole logico-mathématique stricto sensu, dans le sens où Ortigues définit celui-ci comme « tendant à ramener la question du sens à une question de
SYSTÈME, épistémologie
Dans le chapitre « La déductibilité »
: […]
la relation de présupposition). Cette notion est de nature purement formelle ; elle exprime une relation
TAUTOLOGIE
Dans le langage ordinaire, énoncer une tautologie, c'est dire la même chose deux fois ; c'est affirmer un truisme, une évidence triviale, voire parler à vide et finalement ne rien dire. S'il n'est pas totalement dépourvu de signification, le discours tautologique est du moins dénué d'intérêt et il ne véhicule aucune information ; comme le […] Lire la suite☛ http://www.universalis.fr/encyclopedie/tautologie/#i_2
VALIDITÉ, logique
Propriété de l'
VÉRITÉ
Dans le chapitre « Le sujet de la vérité »
: […]
Vérité » ainsi que son antonyme « fausseté » sont des adjectifs substantivés. Ces adjectifs, « vrai » et « faux », ne peuvent
VÉRITÉ VALEUR DE
Expression exclusivement technique, usitée en
Voir aussi
Pour citer l’article
Robert BLANCHÉ, Jan SEBESTIK, « LOGIQUE », Encyclopædia Universalis [en ligne], consulté le 17 novembre 2018. URL : http://www.universalis.fr/encyclopedie/logique/
