Épistémologie de la logique

Épistémologie de la logique

L'épistémologie de la logique est la discipline qui s'intéresse à la logique en tant que science pour déterminer d'une part son ou ses objet(s), ses principes, ses concepts fondamentaux, ses théories et résultats ; d'autre part ses modes de construction de nouvelles connaissances, ses processus d'inférence et d'émergence de nouveaux concepts, les éléments à l'origine de ses évolutions et enfin ses fondements, son origine, sa portée objective[1].

L'épistémologie de la logique cherche donc à répondre à plusieurs questions, en reprenant la démarche de Jean-Louis Le Moigne :

  • la logique s'intéresse à quoi ? (question gnoséologique, question principale)
  • la logique procède comment pour connaitre son objet et valider ses résultats ? (question méthodologique)

Questions annexes (à cheval sur d'autres disciplines) :

Sommaire

Objets de la logique

La logique (du grec de logos (λόγος)), signifiant à la fois raison, langage, et raisonnement[2] est dans une première approche l'étude des règles formelles que doit respecter toute argumentation correcte[3]. Le raisonnement, la construction de démonstration, de preuves sont donc les objets premiers de la logique. Les termes d'inférence ou de déduction sont également régulièrement utilisés. Selon l'objet de ces raisonnements plusieurs logiques sont donc apparues[4],[5] :

Selon les formes de raisonnement :

  • la logique classique
  • la logique intuitionniste (rejet des démonstrations utilisant le tiers-exclu, ou des raisonnements par l'absurde)
  • les logiques paraconsistantes (abandon du principe de non contradiction)

Par extension, les preuves étant des preuves de ce qui est vrai, la logique s'intéresse à la notion de vérité[4]. Ainsi, différentes variations sur la notion de vérité ont introduit différentes logiques cherchant à capter au plus près les différentes qualités d'une proposition. Ici quelques logiques dites « non classiques »[5] :

Une réflexion sur la langue est également présente en logique (logos (λόγος) en grec signifie aussi verbe, langue). Sont visées, la langue scientifique elle-même (voir les travaux de Boole et de Frege, par exemple[5]), et la langue naturelle (voir les travaux en linguistique) avec des problématiques liées au couple syntaxe/sémantique.

Moyens de la logique

Par certains cotés, comme science formelle, la logique avance par pures constructions intellectuelles cherchant la cohérence, l'efficacité, l'élégance de ses productions[1],[6]. Dans ce cadre, les paradoxes logiques sont des failles du modèle (des obstacles épistémologiques à dépasser), a contrario la recherche d'une forme de complétude de la démarche ou du système logique produit est un objectif à atteindre. Cependant, les résultats d'incomplétude de Gödel ont limité ces derniers objectifs de recherche de complétude (en particulier le programme d'Hilbert[7]).

Le raisonnement étant une activité humaine naturelle, un critère d'évaluation d'une logique est donné par comparaison avec l'intuition humaine de ce que peut être un raisonnement juste. Il n'y a pas pour autant de confrontation avec un réel comme en physique ou dans les sciences expérimentales, car les raisonnements humains ont une part humaine bien trop importante. (voir intelligence artificielle)

Résultats de la logique

Pour démontrer un résultat la logique a élaboré de nombreuses méthodes[4] :

De nombreuses logiques ont été isolées, avec leurs qualités[4],[5] :

Cependant, l'un des résultats les plus connus est un résultat négatif c'est le théorème d'incomplétude de Gödel qui affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie.

Notes et références

  1. ↑ a et b Introduction à l'épistémologie, Lena Soler, (introduction), Coll. Philo, Eds Ellipses, 2000.
  2. ↑ La logique, une création de la Grèce antique, JB Gourinat, No Spécial Pour la science "Les chemins de la logique", 2005.
  3. ↑ La logique, fil d'ariane du raisonnement, J Dubusc, G Sandu, No Spécial Pour la science "Les chemins de la logique", 2005.
  4. ↑ a, b, c et d Logique, P Gochet, P Gribomont, Hermes, 1997.
  5. ↑ a, b, c et d Logique(s), langages formels et complexité pour l'informatique N Jussien, Hermes, 2006.
  6. ↑ Les origines françaises de la philosophie des sciences, A Brenner, PUF, 2003.
  7. ↑ Logique et fondement de l'informatique, R Lassaigne, M de Rougemont, Hermes, 1993.
  • Pour une vision globale de la logique et de son épistémologie : No Spécial Pour la science "Les chemins de la logique", 2005.



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Épistémologie de la logique de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • ÉPISTÉMOLOGIE — Si l’on traduit par notre mot «science» le mot grec 﨎神晴靖精兀猪兀, l’épistémologie est, étymologiquement, la théorie de la science. Bien que la forme anglaise du vocable ait existé avant que le français ne l’assimile, c’est pourtant avec le sens… …   Encyclopédie Universelle

  • Épistémologie —  Ne doit pas être confondu avec scientisme. L épistémologie (du grec ancien ἐπιστήμη / epistếmê « connaissance, science » et λόγος / lógos « discours ») désigne soit le domaine de la philosophie des …   Wikipédia en Français

  • logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure …   Encyclopédie Universelle

  • Epistemologie — Épistémologie L épistémologie (du grec <επιστήμη> épistémê « connaissance », « science » et <λόγος> logos « discours ») désigne soit le domaine de la philosophie des sciences qui étudie les sciences… …   Wikipédia en Français

  • Epistémologie — Épistémologie L épistémologie (du grec <επιστήμη> épistémê « connaissance », « science » et <λόγος> logos « discours ») désigne soit le domaine de la philosophie des sciences qui étudie les sciences… …   Wikipédia en Français

  • LOGIQUE INDIENNE — Les questions de raisonnement logique occupent une place aussi importante dans la philosophie indienne, d’un bout à l’autre de son histoire, que dans la tradition occidentale. Ce n’est que dans les années 1930 que la plupart des Occidentaux ont… …   Encyclopédie Universelle

  • Logique ou l'art de penser — Logique de Port Royal Pour les articles homonymes, voir Port Royal (homonymie). La Logique de Port Royal est le nom habituellement donné à l ouvrage d Antoine Arnauld et Pierre Nicole, intitulé La Logique ou l art de penser et publiée pour la… …   Wikipédia en Français

  • Epistemologie evolutionniste — Épistémologie évolutionniste L épistémologie évolutionniste est la tentative d appliquer la théorie de l évolution, issue de la biologie et de la philosophie naturelle, au champ des idées et plus particulièrement des hypothèses scientifiques en… …   Wikipédia en Français

  • Logique formelle — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas …   Wikipédia en Français

  • Logique générale — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”