Constantes logiques Entre inferentialisme et reecriture

Alberto Naibo

Description

Niveau: Supérieur
Constantes logiques Entre inferentialisme et reecriture Alberto Naibo Paris 1 - EXeCO 10 decembre 2009 Alberto Naibo Constantes logiques 1/ 51

• relation de correspondance entre langage


• premiere response


• conditions de verite


• question fondamentale pour la philosophie du langage de tradition analytique


• base de la relation de reference

Informations

• Publié par: profil-nechor-2012
• Publié le: 01 décembre 2009
• Nombre de lectures: 82
• Langue: Français

Extrait

Constantes logiques Entreinf´erentialismeetr´ee´criture

Alberto Naibo

Paris 1 - EXeCO [e-mail]

10de´cembre2009

lAbreotaNbioConstanteslogiques/151

Premi`ere

partie

Introduction

Alberto

Naibo

Constantes

I

logiques

2/

51

Une question philosophique

Une question fondamentale pour la philosophie du langage de tradition analytique est l’explication du concept designification (meaningre`egigaanelqutiarpenu’detxetnoc)dansle.

Reformul´eeenmani`ereindirecte,elleprendlaformesuivante:

Qu’est-ce que veut dire, pour un locuteur, comprendre la signification d’un´enonce´oud’uneexpressionlinguistiqueappartenant`auncertain langageL?

Repondrea`cettequestioncomportel’individuationdecertains conceptsconsid´ere´scommeplusprimitifsetmoinsprobl´ematiques sur lesequels fonder l’explication du concept de ‘signification’.

Uncandidatraisonnablepourjouercerˆoledexplanansest le ’ conceptdeve´rite´(cf.Davidson1967).

lAbertoNaibooCnstanteslogiques/315

Unepremi`ereresponse:lathe´orieve´riconditionnelle(1)

Connaıˆtrelasignificationd’une´nonce´veutdireconnaıˆtreses conditionsdev´erit´e(the´orievire´dnocioitelnnlede la signification).

Connaˆıtre la signification d’une expression linguistique veut dire connaˆıtresacontribution`alad´eterminationdesconditionsdeve´rit´ e dese´nonce´sdanslesquelselleappparaıˆt.

Unetelleth´eoriedelasignificationseliebienavecuneth´eoriedela ve´rit´edetypemod`ele-the´orique.

Selonunetellethe´oriedelave´rite´,lesconditionsdev´erite´d’un ´enonc´esont´etabliessurlabasedelar´elationdere´fe´rence (d´enotation,correspondance)desexpressionslinguistiquesa`une structurecompose´ed’objetsetd’ensemblesd’objets(structure ensembliste).

AlbreotaNbioConstanteslogiques/451

Unepremie`rereponse:lathe´oriev´ericonditionnelle(2)

Parcons´equent,connaıˆtrelasignificationd’une´nonc´eveutdire connaıˆtrecettere´lationdecorrespondanceentrelangageet‘r´ealit´e objectuelle’(re´alit´eextralinguistique).

Parexemplˆıtrelasignificationdel’´enonce´atomique‘La e, conna Terreestsph´erique’estequivalent`asavoirquedanslastructure ´ conside´r´eeilyaunobjetquicorrespondaunom‘Terre’etqu’untel objetappartient`auncertainensemblequicorresponda`la de´notationdupr´edicat‘xestsph´erique’.

Selon une telle vision, la notion de signification depend strictement delare´lationdere´fe´rence(d´enotation).

lAbreotaNbiooCsntantesolgiques/551

Unepremie`rereponse:lathe´oriev´ericonditionnelle(3)

Connaˆıtrelasignificationdel’e´nonce´‘2estimpaireou3estimpaire’ veut dire savoir qu’il est vrai si et seulement si ‘2 est impaire’ est vrai ou ‘3 est impaire’ est vrai.

Lasignificationd’unconnecteurlogiqueestdonn´eedoncparsa tabledeve´rit´e.

Pour mieux le dire, connaˆıtre la signification d’un connecteur logique (constante logique)n-aire, veut dire connaˆıtre une certaine fonction qui prend comme argumentnavelrudsvee´ir´tenudneriuqtee valeurdev´erite´determinee. ´

Remarque 1deci`eleemod:Lr’Cseptuoelsrne´soteduojuiqoms.uec´onates celaquelafonctionassoci´ee`aunconnecteurlogiqueesttoujoursd´efinie. Remarque 2demeavircita´rde’unpmoudunnoond’`ale`eodone´itatdaL: mode`le,tandisquelade´notationd’uneconstantelogiqueresteinvarie´epar rapport aux permutations du domain (les constantes logiques sont des invariantes; cf. Tarski 1966).

AlbreotaNiboConstantesoliguqse6/51

Proble`mesdelavisionmod`ele-th´eorique

Lasignificationd’uneexpressionlinguistiqueestexplique´esurla basedequelquechosequiestcompl´etementexterneau langage, i.e. lesobjetsdumode`le.

L’acceptationdelanotiondemod`elesembleimpliquerl’acceptation d’une certaine position´rtseaeil.

Pour expliquer la signification des constantes logiques en termes de fonction,ondoitconside´rerlevaleurdeve´rit´ecommedesobjets. Celaimpliquequelanotiondevaleurdeve´riteestelle-meˆme ´ hypostatise´e(reifie´e).

Seloncettevision,parfois,lacompre´hensiondelasignificationd’un certain´enonc´en’estpascompletementmanifestable; par exemple, comprendrelasignificationdune´nonce´quantifi´euniversellementsur ’ undomaineinfiniveutdireconnaıˆtresesconditionsdeve´rit´e, c’est-`a-direconnaıˆtrelesconditionsdeve´rite´pourunnombre denonc´esquiestinfini. ’´

lAbertoNaibooCnstanteslogiques/715

Unedeuxie`mereponse:significationcommeusage

Unevisionalternativeestdevoirlasignificationcommebas´eesur l’usage(cf. ledictumde Wittgenstein selon lequel  the meaning is use  ; PI,§43).

Connaˆıtrelasignificationd’un´enonce´veutdireconnaıˆtrequandet commentemployercetenonc´edanslediscours.Lasignificationd’un enonce correpsond aux conditions de son correct usage dans unjeu ´ ´ de langage.

Connaˆıtre la signification d’un expression linguistique veut dire connaıtre les conditions pour l’employer dans la formation d’un ˆ ´ ´ enonce.

L’ide´edefonderlasignificationsurl’usagepermetdecaracte´riserla significationdemanie`reinterneulagaanlugechermieˆems,nacshere unerealit´eexterieure. ´

lAbertoaNbiooCsnattneslogiques8/15