Vous êtes sur la page 1sur 7

` la logique, ENS, 2012-13 Introduction a

e - Cours 1 Egr

` la logique Introduction a
e - Cours 1 P. Egr

Objectifs de cette s eance de cours

- Pr embule: quest-ce que la logique ? - Inf erence et types dinf erence: d eduction, induction, abduction - Arri` ere-plan sur la logique dAristote: parce que lignorer emp eche dappr ecier les apports de Frege-Boole-Peirce - La perspective fr eg eenne: abolition de la distinction sujet-pr edicat

Quels manuels ? quels ouvrages ?

Manuels dintroduction en franc ais [faciles dacc` es] B. Ruyer (1990). Logique. PUF F. Lepage (2001). El ements de logique contemporaine. Presses de lUniversit e de Montr eal, dition. 2` ee Manuel plus avanc e (en franc ais) R. David, K. Nour et C. Raffali (2001). d emonstration. Dunod. Introduction a ` la logique. Th eorie de la

Manuel en anglais: [introductif] L.F.T. Gamut (1990). Logic, Language and Meaning, tome 1. University of Chicago Press. Articles et anthologie en franc ais: [r ef erence utiles] D. Bonnay et M. Cozic (dir.) (2009). Philosophie de la logique. Cons equence, preuve et v erit e. Vrin. [anthologie, tr` es utile pour nous] P. Egr e (2005). Lanalyse logique des langues naturelles. Pour la Science. Oct-Dec. 2005, pp. 45-50. [panorama de ce cours pour partie]

Quest-ce que la logique ?

Dans l edice de la philosophie: un organon (Aristote); la science de la d emonstration (Aristote); un art de penser (Arnaud et Nicole): une th eorie du raisonnement correct (Boole); une pr econdition de lenqu ete ontologique ou m etaphysique (Frege, Russell, Quine, Lewis, Fine...) Dans la vie courante: ce qui me permet de r esoudre une grille de sudoku; ce qui me permet de quation; ce qui me permet de suivre ou de proposer une preuve math r esoudre une e ematique, ... Do` u: la logique = une facult e? un ensemble de facult es? 1/7

` la logique, ENS, 2012-13 Introduction a

e - Cours 1 Egr

La d enition que nous retiendrons: la logique comme th eorie des inf erences correctes. Mais quest-ce quune inf erence ? Que signie correct?

4
4.1
(1)

Inf erences et arguments


Quelques exemples dinf erences

Tous les hommes sont mortels Socrate est un homme Socrate est mortel (2) Tous les linguistes sont chimistes Certains chimistes sont dentistes Certains linguistes sont dentistes (3) Je pense Je suis (4) Le soleil sest lev e tous les matins jusqu` a aujourdhui Le soleil se l` evera demain (5) teinte La lumi` ere est e Le bouton est sur position allum e Lampoule est cass ee (6) Dieu est parfait Lexistence est une perfection Dieu existe (7) Dans cet immeuble, tous les propri etaires sont occupants dun appartement Dans cet immeuble, tout appartement est occup e par un propri etaire

2/7

` la logique, ENS, 2012-13 Introduction a

e - Cours 1 Egr

4.2

Quelques d enitions

nonc valuable comme vraie ou fausse Un e e: une phrase qui par sa forme grammaticale est e Un argument: une suite d enonc es comportant un ensemble de pr emisses et une conclusion (s epar ee par donc) nonc La v erit e: propri et e dun e e La validit e: propri et e dun argument ou dune inf erence nonc NB: nous dirons parfois dun e e quil est valide, mais en un sens technique (` a venir). On ne dira jamais dun argument ou dune inf erence quil sont vrais (erreur de cat egorie !). NB. Inf erence et argument seront parfois utilis es de fac on interchangeable (bien que linf erence puisse d esigne le processus inf erentiel, largument sa trace ou son expression linguistique)

4.3

D eduction, induction, abduction

Depuis Hume (au moins), on oppose deux cat egories dinf erence: les inf erences d eductives et inductives Une inf erence d eductive: une inf erence telle que la conclusion est cens ee suivre de la seule forme des pr emisses de fac on absolument certaine Une inf erence inductive: une inf erence telle que la conclusion ne suit pas de la seule forme des pr emisses. La conclusion suit des pr emisses avec une certaine probabilit e seulement On distingue aussi certaines inf erences comme abductives (Peirce): la conclusion est cens ee fournit une explication dau moins une des pr emisses. ` lesprit NB. Nous reviendrons sur ces distinctions, mais il est utile de les avoir a

4.4

Validit e

tre vraies sans On dit quune inf erence est d eductivement valide ssi les pr emisses ne peuvent e que la conclusion soit vraie. tre d Cons equence: une inf erence inductive, par d enition, ne saurait e eductivement valide. En tre plus ou moins forte, selon le degr revanche, une inf erence inductive peut e e de probabilit e ` la conclusion. conf er e par les pr emisses a

Syntaxe et s emantique

Une distinction qui aura toute son importance tout au long du semestre: la distinction entre nonc syntaxe (th eorie des e es et de leur structure) et la s emantique (th eorie de leur interpr etation)

3/7

` la logique, ENS, 2012-13 Introduction a

e - Cours 1 Egr

6
6.1

Aristote et la syllogistique
Syllogisme, quantit e et qualit e, termes

La syllogistique ou th eorie du syllogisme est la premi` ere th eorie des inf erences d eductivement valides de lhistoire (Aristote lappelle une th eorie de la d emonstration) Premiers Analytiques (A, 24a, 8): nonciation, dans laquelle certaines propositions e tant Le Syllogisme est une e pos ees, on en conclut n ecessairement quelque autre proposition diff erente de cellesl` a, par cela seul que celles-l` a sont pos ees. Quand je dis par cela seul que celles-l` a ` cause delles que lautre proposition est conclue; sont pos ees, jentends que cest a tranger et jentends par cette derni` ere expression quil ny a pas besoin de terme e pour obtenir la conclusion n ecessaire. nonc La forme des e es (voir aussi le Trait e de lInterpr etation): Aristote distingue la qualit e (afrmative / n egative) et la quantit e (universelle / particuli` ere) (NB. Aristote admet aussi les propositions ind etermin ees, dont la quantit e nest pas sp eci ee, comme le plaisir nest pas un bien) Afrmative N egative Universelle Tout A est B Tout A est non-B Particuli` ere Quelque A est B Quelque A est non-B Syllogisme: argument constitu e de deux pr emisses et dune conclusion, chacune de forme Q A B, avec Q une expression de quantit e, et A et B Terme: A ou B dans chaque proposition Q A B, avec A le terme Sujet et B le terme Attribut ou Pr edicat

6.2

Quelques exemples
Quelque A est B Tout B est C Quelque A est C Aucun A nest B Tout C est B Aucun A nest C

Tout A est B Tout B est C Tout A est C

6.3

Un exemple de r` egle dinf erence: la conversion


Tout A est B Quelque B est A Quelque A est B Quelque B est A

Aucun A nest B Aucun B nest A

Limites expressives du cadre aristot elicien

` peu que le cadre aristot Au cours du 19` e si` ecle principalement, on r ealise peu a elicien est limit e dans son pouvoir expressif, et par l` a m eme quil manque de rendre compte de nombre dinf erences d eductivement valides: 4/7

` la logique, ENS, 2012-13 Introduction a

e - Cours 1 Egr

1) Pas de place v eritable aux termes singuliers (cf. lexemple (1) en t ete) 2) Pas dench assement de quanticateurs tudiant ne conna Aucun e t tous les professeurs tudiant conna Quelque e t tous les assistants Quelque professeur nest pas un assistant ` Augustus 3) Pas de place pour les termes relationnels (ou fonctionnels). Voici un exemple d ua de Morgan: Tous les chiens sont des animaux Toutes les t etes de chiens sont des t etes danimaux nonc 4) Pas de place pour les connecteurs entre e es. Un exemple: le syllogisme disjonctif Pierre est venu ou Marie est venue Pierre nest pas venu Marie est venue

Frege et la distinction sujet-pr edicat

tudions dans ce cours est en grande partie linvention du logicien, La logique que nous e philosophe et math ematicien G. Frege. Il invente la logique propositionnelle et la logique des pr edicats dans un ouvrage que vous pouvez lire traduit en franc ais, LId eographie (1879). Une question qui peut vous int eresser est: pourquoi Frege a-t-il pris la peine de refonder la logique ? Raison g en erale: toutes les limites expressives du cadre aristot elicien sont lev ees dans la logique de Frege Frege propose en outre dabolir la distinction sujet-pr edicat au prot de deux distinctions que tudierons ensemble: nous e a) La distinction entre contenu de jugement et v erit e: fondement du calcul propositionnel b) La distinction entre fonction et argument: fondement du calcul des pr edicats Contenu de jugement vs. assertion A (la proposition que A est vraie: assertion) A (la proposition que A: contenu du jugement) Voici ce qu ecrit Frege (2): Posons par exemple que A signie le jugement: les p oles magn etiques oppos es sattirent mutuellement; ainsi A nexprime pas ce jugement, mais doit simplement provoquer lid ee de lattraction mutuelle des p oles magn etiques oppos es chez le lecteur (...) Dans ce cas, nous paraphrasons par les mots: la circonstance que, la proposition que. Dans ma repr esentation dun jugement, une distinction entre sujet et pr edicat na pas lieu. 5/7

` la logique, ENS, 2012-13 Introduction a

e - Cours 1 Egr

Certes, si lon veut, il est aussi possible de distinguer ici le sujet du pr edicat, mais alors le sujet contient tout le contenu, et le pr edicat a pour seul but de le pr esenter comme jugement. Une telle langue naurait quun seul pr edicat pour tous les jugements, a ` savoir: est un fait. tapes: une partie proposi La logique de Frege est couramment expos ee en plusieurs e tionnelle, une partie pr edicative. En r ealit e, on pourrait introduire dentr ee de jeu la partie ` la fois de complexit pr edicative, cest pour des raisons a e et de simplicit e quon les distingue.

Un extrait de la pr eface de lId eographie


Si cest une t ache de la philosophie de rompre la domination du mot sur lesprit humain en d evoilant les illusions qui souvent naissent presquin evitablement de lutilisation de la langue pour lexpression de relations entre les concepts, et en lib erant la pens ee de ce dont elle est atteinte uniquement par la nature du moyen dexpression linguistique, alors mon id eographie, d evelopp ee plus avant pour ces buts, pourra devenir un outil utile aux philosophes. Elle ne restitue assur ement tant donn pas la pens ee purement, e e que cela nest gu` ere possible par un moyen carts a ` extrins` eque de repr esentation; mais dune part, on peut restreindre ces e lin evitable et linoffensif, dautre part, le fait quils soient dune toute autre sorte ` la langue, procure d que ceux qui sont propres a ej` a une protection contre linuence unilat erale de lun de ces moyens dexpression. Linvention de cette id eographie a d ej` a fait, il me semble, avancer la logique. Jesp` ere que les logiciens, sils ne se laissent pas rebuter par la premi` ere impression d etranget e, ne refuseront pas leur approbation aux nouveaut es auxquelles jai t carts de la tradition e e conduit par une n ecessit e inh erente aux choses m emes. Ces e trouvent leur justication en ce que la logique sest jusquici toujours rattach ee trop troitement a ` la langue et a ` la grammaire. En particulier, je crois que le remplacee ` la ment des concepts sujet et pr edicat par argument et fonction fera ses preuves a longue. On reconna t facilement comment la compr ehension dun contenu comme fonction dun argument op` ere en formant un concept. Puisse, de plus, la mise en vidence du rapport entre les signications des termes: si, et, ne...pas, ou, il y a, e quelques, tous, etc., susciter lattention.

10

Arri` ere-plan bool een: op erations ensemblistes

Plut ot que de nous embarquer directement dans la logique propositionnelle, je vous propose de r eviser des notions simples de th eorie na ve des ensembles, qui seront utiles pour faire de la logique ensemble, notamment pour bien comprendre aussi la logique des pr edicats. Supposons quil y ait un univers D que nous appellerons le domaine de discours.

6/7

` la logique, ENS, 2012-13 Introduction a

e - Cours 1 Egr

Un ensemble: une collection dobjets (repr esentable par une patate avec des points dedans) dans ce domaine Notation: A = {2, 5, 18}: lensemble qui contient a, b, c. l Appartenance: x A signie que lobjet x est un e ement de A. Ex: 2 A l l Inclusion: A B signie: tout e ement de A est un e ement de B l esigne lensemble des e ements de D qui ne sont pas dans A Compl ementaire: A d l ` la fois dans A et dans B Intersection: A B : lensemble des e ements qui sont a l Union: A B : lensemble des e ements qui sont dans A ou dans B Egalit e densemble: on dit que A = B ssi A B et B A l Ensemble vide: := {x; x = x}. Lensemble qui na aucun e ement. Ensemble des parties: P (A) =: {C ; C A}

11

Exercices
1. Calculer lensemble des parties de A ci-dessus. 2. Soit B = {2, 6, 13}. Que vaut A B ? A B ? 3. A-t-on A B ? Et la r eciproque ?

I. On suppose que D= lensemble des nombres entiers positifs ou nuls

II. 1. Montrer que pour tout ensemble A, A A = A, A A = A 2. Montrer que si A B , alors A = A B ` propos du mouvement des III. Que pensez vous de largument suivant, utilis e par J. Kepler a plan` etes: de quel type dargument sagit-il? Le mouvement de la plan` ete Mars est elliptique Mars est une plan` ete typique au sein du syst` eme solaire Les mouvements des autres plan` etes du syst` eme solaire sont elliptiques IV. Les syllogismes suivants sont-ils d eductivement valides? Justiez votre r eponse Quelque linguiste est chimiste Quelque chimiste est dentiste Quelque linguiste est dentiste Aucun linguiste nest chimiste Aucun chimiste nest dentiste Aucun linguiste nest dentiste

V. Comment tenteriez-vous de formaliser linf erence en 7)-3 plus haut (propos ee par de Morgan), ` laide des e l ` ce probl` a ements de th eorie na ve des ensembles? Proposez une solution a eme (sans utiliser encore la logique des pr edicats si vous la connaissez d ej` a). 7/7

Vous aimerez peut-être aussi