Logique

Logic (du grec : λογική , logikḗ , 'possédé de
la raison , intellectuel , dialectique , argumentatif ') [1] [2] [i] est l'étude systématique des règles
d'inférence valides , c'est-à-dire les relations qui conduisent à l'acceptation d'une proposition
(la conclusion ) sur la base d'un ensemble d'autres propositions ( prémisses ). Plus largement,
la logique est l'analyse et l'appréciation des arguments . [3]

Il n'y a pas d'accord universel quant à la définition exacte et aux limites de la logique, la
question reste donc l'un des principaux sujets de recherche et de débats dans le domaine de
la philosophie de la logique (voir § Conceptions rivales ). [4] [5] [6] Cependant, il a
traditionnellement inclus la classification des arguments; l'exposition systématique des formes
logiques ; la validité et la justesse du raisonnement déductif ; la force du raisonnement
inductif ; l'étude des preuves formelles et des inférences (y compris les paradoxes et
les erreurs ); et l'étude de la syntaxe et de la sémantique .

Un bon argument possède non seulement la validité et la solidité (ou la force, dans
l'induction), mais il évite également les dépendances circulaires , est clairement énoncé,
pertinent et cohérent ; sinon, il est inutile pour le raisonnement et la persuasion, et est classé
comme une erreur . [7]

Dans le discours ordinaire, les inférences peuvent être signifiées par des mots tels
que donc , donc , donc , ergo , et ainsi de suite.

Historiquement, la logique a été étudiée en philosophie (depuis l'Antiquité) et en

mathématiques (depuis le milieu du XIXe siècle). Plus récemment, la logique a été étudiée en
sciences cognitives , qui s'appuie , entre autres , sur l' informatique , la linguistique , la
philosophie et la psychologie . Un logicien est toute personne, souvent un philosophe ou un
mathématicien, dont le sujet d'étude scientifique est la logique.

Types de logique
Sur cette première, et en un sens cette seule règle de raison, selon laquelle, pour apprendre, il
faut désirer apprendre, et en ne désirant pas être satisfait de ce que vous avez déjà tendance à
penser habilement, il s'ensuit un corollaire qui mérite lui-même être inscrit sur tous les murs
de la cité de la philosophie: ne bloquez pas la voie de l'enquête.
Charles Sanders Peirce , première règle de logique

Logique philosophique

La logique philosophique est un domaine de la philosophie. C'est un ensemble de méthodes

utilisées pour résoudre des problèmes philosophiques et un outil fondamental pour
l'avancement de la métaphilosophie .

Logique informelle
La logique informelle est l'étude des arguments du langage naturel . L'étude des erreurs est
une branche importante de la logique informelle. Puisque beaucoup d'arguments informels ne
sont pas à proprement parler déductifs, selon certaines conceptions de la logique, la logique
informelle n'est pas du tout logique. (Voir § Conceptions rivales .)

Logique formelle

La logique formelle est l'étude de l' inférence avec un contenu purement formel. Une
inférence possède un contenu purement formel et explicite (c'est-à-dire qu'elle peut être
exprimée comme une application particulière d'une règle entièrement abstraite) telle qu'une
règle qui ne concerne pas une chose ou une propriété particulière. Dans de nombreuses
définitions de la logique, la conséquence logique et l'inférence avec un contenu purement
formel sont les mêmes.

Des exemples de logique formelle comprennent (1) la logique syllogistique traditionnelle

(alias logique du terme) et (2) la logique symbolique moderne :

La logique syllogistique peut être trouvée dans les œuvres d' Aristote , ce qui en fait la
première étude formelle connue et étudie les types de syllogisme . La logique formelle
moderne suit et se développe sur Aristote. [8] [9]

La logique symbolique est l'étude des abstractions symboliques qui capturent les
caractéristiques formelles de l'inférence logique, [10] [11] souvent divisées en deux
branches principales: la logique propositionnelle et la logique des prédicats .

Logique mathématique

La logique mathématique est une extension de la logique symbolique dans d'autres domaines,

en particulier à l'étude de la théorie des modèles , de la théorie de la preuve , de la théorie des
ensembles et de la théorie de la calculabilité . [12] [13]

Concepts

Terminologie d' argument utilisée en logique

Les concepts de forme logique et d' argumentation sont au cœur de la logique.
Un argument est construit en appliquant l'une des formes des différents types de raisonnement
logique : déductif , inductif et abductif . En déduction, la validité d'un argument est
déterminée uniquement par sa forme logique, et non par son contenu, alors que
le bien - fondé exige à la fois la validité et que toutes les prémisses données sont réellement
vraies. [14]

L'exhaustivité, la cohérence, la décidabilité et l'expressivité sont d'autres concepts

fondamentaux de la logique. La catégorisation des systèmes logiques et de leurs propriétés a
conduit à l'émergence d'une métathéorie de la logique connue sous le nom de
métalogique . [15] Cependant, l'accord sur ce qu'est réellement la logique est resté insaisissable,
bien que le domaine de la logique universelle ait étudié la structure commune de la logique.

Forme logique

La logique est généralement considérée comme formelle lorsqu'elle analyse et représente

la forme de tout type d' argument valide . La forme d'un argument est affichée en représentant
ses phrases dans la grammaire formelle et le symbolisme d'un langage logique pour rendre
son contenu utilisable dans l'inférence formelle. En termes simples, formaliser signifie
simplement traduire des phrases anglaises dans le langage de la logique.

C'est ce qu'on appelle montrer la forme logique de l'argument. Elle est nécessaire parce que
les phrases indicatives du langage ordinaire présentent une variété considérable de formes et
de complexité qui rend leur utilisation dans l'inférence peu pratique. Cela nécessite, tout
d'abord, d'ignorer les caractéristiques grammaticales sans rapport avec la logique (comme le
genre et la déclinaison, si l'argument est en latin), de remplacer les conjonctions sans rapport
avec la logique (par exemple "mais") par des conjonctions logiques comme "et" et de
remplacer ambiguë, ou expressions logiques alternatives ("tout", "tout", etc.) avec des
expressions d'un type standard (par exemple "tout" ou le quantificateur universel ∀).

Deuxièmement, certaines parties de la phrase doivent être remplacées par des lettres
schématiques. Ainsi, par exemple, l'expression «tous les Ps sont des Q» montre la forme
logique commune aux phrases «tous les hommes sont des mortels», «tous les chats sont des
carnivores», «tous les Grecs sont des philosophes», etc. Le schéma peut en outre être
condensé dans la formule A (P, Q) , où la lettre A indique le jugement «tous - sont -».

L'importance de la forme a été reconnue depuis les temps anciens. Aristote utilise des lettres
variables pour représenter des inférences valides dans l' Analyse Antérieure , ce qui a conduit
Jan Łukasiewicz à dire que l'introduction de variables était "l'une des plus grandes inventions
d'Aristote". [16] Selon les adeptes d'Aristote (comme Ammonius ), seuls les principes logiques
énoncés en termes schématiques appartiennent à la logique, pas ceux donnés en termes
concrets. Les termes concrets «homme», «mortel», etc., sont analogues aux valeurs de
substitution des espaces réservés schématiques P , Q , R , que l'on appelait la «matière» (en
grec : ὕλη , hyle ) de l'inférence.

Il y a une grande différence entre les types de formules vues dans la logique des termes
traditionnels et le calcul des prédicats qui est l'avancée fondamentale de la logique moderne.
La formule A (P, Q) (tous les Ps sont des Q) de la logique traditionnelle correspond à la
formule la plus complexe en logique de prédicat, impliquant les connecteurs logiques
pour la quantification et l' implication universelles plutôt que juste la lettre de prédicat A et en
utilisant des arguments variables où la logique traditionnelle utilise juste la lettre

terme P . Avec la complexité vient le pouvoir, et l'avènement du calcul des prédicats a

inauguré une croissance révolutionnaire du sujet. [la citation nécessaire ] [17]

Sémantique

La validité d'un argument dépend de la signification, ou de la sémantique , des phrases qui le

composent.

Les six Organon d'Aristote , en particulier De Interprétation , donnent un aperçu rapide de la

sémantique que les logiciens scolastiques , en particulier aux XIIIe et XIVe siècles, ont
développé en une théorie complexe et sophistiquée, appelée théorie des suppositions . Cela a
montré comment la vérité des phrases simples, exprimée schématiquement, dépend de la
manière dont les termes «supposent» ou représentent certains éléments extra-linguistiques.
Par exemple, dans la deuxième partie de sa Summa Logicae , Guillaume d'Ockham présente
un exposé complet des conditions nécessaires et suffisantes pour la vérité de phrases simples,
afin de montrer quels arguments sont valables et lesquels ne le sont pas. Ainsi "tout A est B
'est vrai si et seulement s'il y a quelque chose pour lequel' A 'représente, et il n'y a rien pour
lequel' A 'représente, pour lequel' B 'ne représente pas également." [18]

La première logique moderne définissait la sémantique uniquement comme une relation entre
les idées. Antoine Arnauld dans Port Royal-Logic , [19] [20] dit qu'après avoir conçu les choses
par nos idées, nous comparons ces idées, et, constatant que certaines vont ensemble et d'autres
pas, nous les unissons ou les séparons. Cela s'appelle affirmer ou nier , et en
général juger . [21] Ainsi, la vérité et la fausseté ne sont rien de plus que l'accord ou le
désaccord d'idées. Cela suggère des difficultés évidentes, conduisant Locke à faire la
distinction entre la vérité «réelle», lorsque nos idées ont une «existence réelle» et une vérité
«imaginaire» ou «verbale», où des idées comme les harpies ou les centaures n'existent que
dans l'esprit. [22] Cette vue, connue sous le nom de psychologisme , a été poussée à l'extrême au
dix-neuvième siècle et est généralement tenue par les logiciens modernes pour signifier un
point bas dans le déclin de la logique avant le vingtième siècle.

La sémantique moderne est à certains égards plus proche de la vision médiévale, en rejetant
de telles conditions de vérité psychologique. Cependant, l'introduction de la quantification ,
nécessaire pour résoudre le problème de la généralité multiple , a rendu impossible le type
d'analyse sujet-prédicat qui sous-tend la sémantique médiévale. La principale approche
moderne est la sémantique modéliste , sur la base Alfred Tarski de la théorie sémantique de la
vérité . L'approche suppose que la signification des diverses parties des propositions est
donnée par les manières possibles de donner à un groupe d' interprétation spécifié
récursivement des fonctions d'interprétation à un domaine de discours prédéfini : une
interprétation de la logique des prédicats de premier ordre est donnée par un cartographie des
termes à un univers d' individus , et cartographie des propositions aux valeurs de vérité «vrai»
et «faux». La sémantique de la théorie des modèles est l'un des concepts fondamentaux de la
théorie des modèles . La sémantique moderne admet également des approches rivales, telles
que la sémantique de la théorie de la preuve qui associe le sens des propositions aux rôles
qu'elles peuvent jouer dans les inférences, une approche qui découle finalement des travaux
de Gerhard Gentzen sur la théorie de la preuve structurelle et est fortement influencée par La
philosophie postérieure de Ludwig Wittgenstein , en particulier son aphorisme «le sens est
l'usage ».

Inférence

L'inférence ne doit pas être confondue avec l' implication . Une implication est une phrase de
la forme «Si p alors q», et peut être vraie ou fausse. Le logicien stoïcien Philon de Megara a
été le premier à définir les conditions de vérité d'une telle implication : faux seulement
lorsque l'antécédent p est vrai et le conséquent q est faux, dans tous les autres cas vrai.
Une inférence , par contre, consiste en deux propositions affirmées séparément de la forme «p
donc q». Une inférence n'est ni vraie ni fausse, mais valide ou invalide. Cependant, il existe
un lien entre implication et inférence, comme suit: si l'implication «si p alors q» est vraie ,
l'inférence «p donc q» est valide . Cela a été donné une formulation apparemment paradoxale
par Philon, qui a dit que l'implication `` si c'est le jour, c'est la nuit '' n'est vraie que la nuit,
donc la déduction `` c'est le jour, donc c'est la nuit '' est valable la nuit, mais pas dans la
journée.

La théorie de l'inférence (ou « conséquences ») a été systématiquement développée à l'époque

médiévale par des logiciens tels que William of Ockham et Walter Burley . Il est unique
médiévale, mais il a ses origines dans d'Aristote Topica et Boèce de De Syllogismis
hypotheticis. De nombreux termes en logique, pour cette raison, sont en latin. Par exemple, la
règle qui autorise le passage de l'implication `` si p alors q '' plus l'assertion de son antécédent
p, à l'assertion du q conséquent, est connue sous le nom de modus ponens (`` mode de
positionnement '') - du latin : posito antecedente ponitur conséquens . Les formulations latines
de nombreuses autres règles telles que ex falso quodlibet («du mensonge, tout [suit]»),
et reductio ad absurdum («réduction à l'absurdité», c'est-à-dire réfuter en montrant la
conséquence comme absurde), datent également de ceci point final.

Cependant, la théorie des conséquences , ou le soi-disant syllogisme hypothétique , n'a jamais

été pleinement intégrée dans la théorie du syllogisme catégorique . C'était en partie à cause de
la résistance à réduire le jugement catégorique «tout s est p» au jugement dit hypothétique «si
quelque chose est s, c'est p». On pensait que le premier impliquait 'some s is p', le second ne
l'était pas, et pas plus tard qu'en 1911 dans l' article de l' Encyclopædia Britannica sur
"Logic", nous trouvons le logicien d'Oxford TH Case argumentant contre l'analyse moderne
de Sigwart et Brentano de l'universel proposition.

Systèmes logiques

Un système formel est une organisation de termes utilisés pour l'analyse de la déduction. Il se
compose d'un alphabet, d'une langue sur l'alphabet pour construire des phrases et d'une règle
pour dériver des phrases. Parmi les propriétés importantes que peuvent avoir les systèmes
logiques, on trouve:

Cohérence : aucun théorème du système n'en contredit un autre. [23]

Validité : les règles de preuve du système ne permettent jamais une fausse inférence à
partir de vrais prémisses.

Complétude : si une formule est vraie, elle peut être prouvée, c'est à dire est
un théorème du système.
 
Solidité : si une formule est un théorème du système, c'est vrai. C'est l'inverse de
l'exhaustivité. (Notez que dans une utilisation philosophique distincte du terme, un
argument est valable lorsqu'il est à la fois valide et que ses prémisses sont vraies.) [14]

Expressivité : quels concepts peuvent être exprimés dans le système.

Certains systèmes logiques ne possèdent pas toutes ces propriétés. À titre d'exemple, Kurt
Gödel de théorèmes d' incomplétude montrent que les systèmes formels suffisamment
complexes de l' arithmétique peut ne pas être cohérente et complète; [11] cependant, les
logiques de prédicat du premier ordre non étendues par des axiomes spécifiques pour être des
systèmes formels arithmétiques avec égalité peuvent être complètes et cohérentes. [24]

Logique et rationalité

Comme l'étude de l'argumentation est d'une importance évidente pour les raisons pour
lesquelles nous tenons les choses pour vraies, la logique est d'une importance essentielle pour
la rationalité . Ici, nous avons défini la logique comme «l'étude systématique de la forme des
arguments»; le raisonnement derrière l'argumentation est de plusieurs sortes, mais seuls
certains de ces arguments relèvent de la logique proprement dite.

Le raisonnement déductif concerne la conséquence logique de prémisses données et est la

forme de raisonnement la plus étroitement liée à la logique. Sur une conception étroite de la
logique (voir ci-dessous), la logique ne concerne que le raisonnement déductif, bien qu'une
telle conception étroite exclue de manière controversée la plupart de ce que l'on appelle la
logique informelle de la discipline.

Il existe d'autres formes de raisonnement qui sont rationnelles mais qui ne sont généralement
pas considérées comme faisant partie de la logique. Ceux-ci incluent le raisonnement
inductif , qui couvre les formes d'inférence qui vont des collections de jugements particuliers
aux jugements universels, et le raisonnement abductif , [ii] qui est une forme d'inférence qui va
de l'observation à une hypothèse qui rend compte des données fiables ( observation ) et
cherche à expliquer les preuves pertinentes. Le philosophe américain Charles Sanders Peirce
(1839–1914) a d'abord introduit le terme comme devinette . [25] Peirce a dit que
pour abdiquer une explication hypothétique  d'une circonstance surprenante

observée   est de supposer que   peut être vrai parce qu'alors  serait une

évidence. [26] Ainsi, pour abdiquer  de   implique de déterminer que  est suffisant

(ou presque suffisant), mais pas nécessaire , pour . [27] [28] [29]

Bien que l'inférence inductive et abductive ne fasse pas partie de la logique proprement dite,
la méthodologie de la logique leur a été appliquée avec un certain succès. Par exemple, la
notion de validité déductive (où une inférence est déductivement valable si et seulement s'il
n'y a pas de situation possible dans laquelle toutes les prémisses sont vraies mais la
conclusion fausse) existe dans une analogie avec la notion de validité inductive, ou "force ",
où une inférence est inductivement forte si et seulement si ses prémisses donnent un certain
degré de probabilité à sa conclusion. Alors que la notion de validité déductive peut être
rigoureusement énoncée pour les systèmes de logique formelle en termes de notions bien
comprises de sémantique , la validité inductive nous oblige à définir une généralisation fiable
d'un ensemble d'observations. La tâche de fournir cette définition peut être abordée de
diverses manières, certaines moins formelles que d'autres; certaines de ces définitions peuvent
utiliser l' induction de règles d' association logique , tandis que d'autres peuvent utiliser des
modèles mathématiques de probabilité tels que des arbres de décision .

Conceptions rivales

La logique est née (voir ci-dessous) d'un souci d'exactitude de l' argumentation . Les logiciens
modernes souhaitent généralement s'assurer que la logique étudie uniquement les arguments
qui résultent de formes d'inférence convenablement générales. Par exemple, Thomas
Hofweber écrit dans l'Encyclopédie de Stanford de Philosophie que la logique "ne couvre pas,
cependant, le bon raisonnement dans son ensemble. C'est le travail de la théorie de la
rationalité . Elle traite plutôt des inférences dont la validité peut être attribuée caractéristiques
formelles des représentations impliquées dans cette inférence, qu'elles soient linguistiques,
mentales ou autres. " [30]

L'idée que la logique traite des formes spéciales d'argumentation, l'argument déductif, plutôt
que l'argument en général, a une histoire en logique qui remonte au moins au logicisme en
mathématiques (XIXe et XXe siècles) et à l'avènement de l'influence de la logique
mathématique sur la philosophie . Une conséquence de prendre la logique pour traiter des
types particuliers d'arguments est qu'elle conduit à l'identification de types particuliers de
vérité, les vérités logiques (la logique étant de manière équivalente l'étude de la vérité
logique), et exclut de nombreux objets originaux d'étude de la logique qui sont traités comme
une logique informelle. Robert Brandom a argumenté contre l'idée que la logique est l'étude
d'un type particulier de vérité logique, arguant qu'au lieu de cela, on peut parler de la logique
de l' inférence matérielle (dans la terminologie de Wilfred Sellars ), la logique rendant
explicites les engagements qui étaient à l'origine implicite dans l'inférence informelle. [31] [ page
nécessaire ]

Histoire

Aristote , 384–322 avant notre ère.

La logique vient du mot grec logos , signifiant à l'origine «le mot» ou «ce qui est dit», mais en
venant à signifier «pensée» ou «raison». Dans le monde occidental, la logique a d'abord été
développée par Aristote , qui a appelé le sujet «analytique». [32] La logique aristotélicienne est
devenue largement acceptée en science et en mathématiques et est restée largement utilisée en
Occident jusqu'au début du 19ème siècle. [33] Le système de logique d'Aristote était
responsable de l'introduction du syllogisme hypothétique , [34] de la logique modale
temporelle , [35] [36] et de la logique inductive , [37] ainsi que du vocabulaire influent tels que les
termes , les prédicables , les syllogismes et les propositions . Il y avait aussi la logique
stoïcienne rivale .

En Europe, à la fin de la période médiévale, des efforts importants ont été faits pour montrer
que les idées d'Aristote étaient compatibles avec la foi chrétienne . Pendant le haut Moyen
Âge , la logique est devenue un centre d'intérêt principal des philosophes, qui s'engageaient
dans des analyses logiques critiques d'arguments philosophiques, en utilisant souvent des
variations de la méthodologie de la scolastique . En 1323, l' influent Summa Logicae de
William of Ockham fut libéré. Au XVIIIe siècle, l'approche structurée des arguments avait
dégénéré et était tombée en disgrâce, comme le montre la pièce satirique de
Holberg , Erasmus Montanus . Le philosophe logique chinois Gongsun Long ( vers 325-250
avant notre ère ) a proposé le paradoxe «Un et un ne peuvent pas devenir deux, puisque ni l'un
ni l'autre ne devient deux». [13] [iii] En Chine, la tradition d'investigation savante dans la logique,
cependant, a été réprimée par la dynastie Qin suivant la philosophie légaliste de Han Feizi .

En Inde, l' école de logique Anviksiki a été fondée par Medhātithi (vers le 6ème siècle avant
notre ère). [38] Les innovations dans l'école scolastique, appelée Nyaya , ont continué depuis les
temps anciens jusqu'au début du 18ème siècle avec l' école Navya-Nyāya . Au XVIe siècle, il
développa des théories ressemblant à la logique moderne, comme la «distinction entre sens et
référence des noms propres» de Gottlob Frege et sa «définition du nombre», ainsi que la
théorie des «conditions restrictives pour les universaux» anticipant certains des
développements de la théorie moderne des ensembles . [iv] Depuis 1824, la logique indienne a
attiré l'attention de nombreux érudits occidentaux et a eu une influence sur d'importants
logiciens du 19e siècle tels que Charles Babbage , Augustus De Morgan et George
Boole . [39] Au 20ème siècle, des philosophes occidentaux comme Stanislaw Schayer et Klaus
Glashoff ont exploré la logique indienne plus largement.

La logique syllogistique développée par Aristote a prédominé en Occident jusqu'au milieu du

XIXe siècle, lorsque l'intérêt pour les fondements des mathématiques a stimulé le
développement de la logique symbolique (maintenant appelée logique mathématique ). En
1854, George Boole a publié Les lois de la pensée , [40] introduisant la logique symbolique et
les principes de ce qui est maintenant connu sous le nom de logique booléenne . En 1879,
Gottlob Frege publia Begriffsschrift , qui inaugura la logique moderne avec l'invention de la
notation quantificateur , réconciliant les logiques aristotélicienne et stoïcienne dans un
système plus large, et résolvant des problèmes pour lesquels la logique aristotélicienne était
impuissante, comme le problème de la généralité multiple . De 1910 à 1913, Alfred North
Whitehead et Bertrand Russell ont publié Principia Mathematica [10] sur les fondements des
mathématiques, tentant de dériver des vérités mathématiques à partir des axiomes et des
règles d'inférence dans la logique symbolique. En 1931, Gödel a soulevé de graves problèmes
avec le programme fondateur et la logique a cessé de se concentrer sur ces questions.

Le développement de la logique depuis Frege, Russell et Wittgenstein a eu une profonde

influence sur la pratique de la philosophie et la nature perçue des problèmes philosophiques
(voir la philosophie analytique ) et la philosophie des mathématiques . La logique, en
particulier la logique sententielle, est implémentée dans les circuits logiques informatiques et
est fondamentale en informatique . La logique est couramment enseignée par les départements
universitaires de philosophie, de sociologie, de publicité et de littérature, souvent en tant que
discipline obligatoire.

Les types
Logique syllogistique

Une représentation du XVe siècle du carré de l'opposition , qui exprime les dualités
fondamentales de la syllogistique.
L ' Organon était l' ensemble des travaux d ' Aristote sur la logique, l' analyse
préalable constituant le premier travail explicite de la logique formelle, introduisant la
syllogistique. [16] Les parties de la logique syllogistique, également connues sous le nom de
terme logique , sont l'analyse des jugements en propositions constituées de deux termes qui
sont liés par l'un d'un nombre fixe de relations, et l'expression d'inférences au moyen de
syllogismes qui se composent de deux propositions partageant un terme commun comme
prémisse, et une conclusion qui est une proposition impliquant les deux termes non liés des
prémisses.

L'œuvre d'Aristote était considérée à l'époque classique et depuis l'époque médiévale en

Europe et au Moyen-Orient comme l'image même d'un système pleinement élaboré.
Cependant, ce n'était pas seul: les stoïciens ont proposé un système de logique
propositionnelle qui a été étudié par les logiciens médiévaux. En outre, le problème de la
généralité multiple a été reconnu à l'époque médiévale. Néanmoins, les problèmes de logique
syllogistique n'étaient pas considérés comme nécessitant des solutions révolutionnaires.

Aujourd'hui, certains universitaires affirment que le système d'Aristote est généralement

considéré comme n'ayant guère plus qu'une valeur historique (bien qu'il y ait un intérêt actuel
à étendre la logique des termes), considéré comme rendu obsolète par l'avènement de la
logique propositionnelle et du calcul des prédicats . D'autres utilisent Aristote dans la théorie
de l'argumentation pour aider à développer et à remettre en question de manière critique les
schémas d'argumentation utilisés dans l' intelligence artificielle et les arguments juridiques .

Logique propositionnelle

Un calcul propositionnel ou logique (également un calcul sententiel) est un système formel

dans lequel des formules représentant des propositions peuvent être formées en combinant des
propositions atomiques en utilisant des connecteurs logiques , et dans lequel un système de
règles de preuve formelles établit certaines formules comme des «théorèmes». Un exemple de
théorème de logique propositionnelle est , qui dit que si A tient, alors B implique A. [ citation

nécessaire ]

Prédis la logique

Gottlob Frege de Idéographie a introduit la notion de quantificateurs dans une notation

graphique, qui représente ici le jugement   est vrai.

La logique des prédicats est le terme générique pour les systèmes formels symboliques tels
que la logique du premier ordre , la logique du second ordre , la logique multi-sortée et la
logique infinitaire . Il fournit un compte rendu des quantificateurs suffisamment généraux
pour exprimer un large ensemble d'arguments se produisant en langage naturel. Par exemple,
le fameux paradoxe de barbier de Bertrand Russell , «il y a un homme qui rase tout et seuls
les hommes qui ne se rasent pas» peut être formalisé par la phrase , en utilisant le prédicat

non logique  pour indiquer que x est un homme, et la relation non logique pour

indiquer que x rase y ; tous les autres symboles des formules sont logiques, exprimant les
quantificateurs universels et existentiels , conjonction , implication , négation et
biconditionnel .

Alors que la logique syllogistique aristotélicienne spécifie un petit nombre de formes que la
partie pertinente des jugements impliqués peut prendre, la logique des prédicats permet
d'analyser les phrases en sujet et en argument de plusieurs manières supplémentaires -
permettant à la logique de prédicat de résoudre le problème de la généralité multiple qui avait
rendu perplexe logiciens médiévaux.

Le développement de la logique des prédicats est généralement attribué à Gottlob Frege , qui
est également reconnu comme l'un des fondateurs de la philosophie analytique , mais la
formulation de la logique des prédicats la plus souvent utilisée aujourd'hui est la logique du
premier ordre présentée dans Principles of Mathematical Logic de David Hilbert et Wilhelm
Ackermann en 1928. La généralité analytique de la logique des prédicats a permis la
formalisation des mathématiques, a conduit l'investigation de la théorie des ensembles et a
permis le développement de l' approche d' Alfred Tarski à la théorie des modèles . Il fournit
les bases de la logique mathématique moderne .

Le système original de logique des prédicats de Frege était du second ordre plutôt que du
premier ordre. La logique du second ordre est défendue le plus en évidence (contre la critique
de Willard Van Orman Quine et d'autres) par George Boolos et Stewart Shapiro .

Logique modale
Dans les langues, la modalité traite du phénomène selon lequel les sous-parties d'une phrase
peuvent voir leur sémantique modifiée par des verbes spéciaux ou des particules modales. Par
exemple, " Nous allons aux jeux " peut être modifié pour donner " Nous devrions aller aux
jeux ", " Nous pouvons aller aux jeux " et peut-être " Nous irons aux jeux ". De manière plus
abstraite, nous pourrions dire que la modalité affecte les circonstances dans lesquelles nous
considérons qu'une assertion est satisfaite. La modalité déroutante est connue sous le nom d'
erreur modale .

La logique d' Aristote est en grande partie concernée par la théorie de la logique non
modalisée. Bien qu'il y ait des passages dans son travail, comme le célèbre argument de la
bataille navale dans De Interprétation § 9, qui sont maintenant considérés comme des
anticipations de la logique modale et de son lien avec la potentialité et le temps, le premier
système formel de logique modale a été développé par Avicenne , qui a finalement développé
une théorie de la syllogistique « temporellement modalisée ». [41]

Alors que l'étude de la nécessité et de la possibilité est restée importante pour les philosophes,
peu d'innovation logique s'est produite jusqu'aux enquêtes marquantes de CI Lewis en 1918,
qui a formulé une famille d'axiomatisations rivales des modalités aléthiques . Son travail a
déclenché un torrent de nouveaux travaux sur le sujet, élargissant les types de modalités
traitées pour inclure la logique déontique et la logique épistémique . Le travail fondateur d'
Arthur Prior a appliqué le même langage formel pour traiter la logique temporelle et a ouvert
la voie au mariage des deux sujets. Saul Kripke a découvert (en même temps que ses rivaux)
sa théorie de la sémantique des trames , qui a révolutionné la technologie formelle disponible
pour les logiciens modaux et a donné une nouvelle manière théorique des graphes de regarder
la modalité qui a conduit de nombreuses applications en linguistique computationnelle et en
informatique , comme la dynamique logique .

Raisonnement informel et dialectique

La motivation pour l'étude de la logique dans les temps anciens était claire: c'est pour
apprendre à distinguer les bons arguments des mauvais arguments, et ainsi devenir plus
efficace dans l'argumentation et les discours oratoires, et peut-être aussi pour devenir une
meilleure personne. La moitié des travaux d' Organon d' Aristote traitent l'inférence telle
qu'elle se produit dans un cadre informel, parallèlement au développement de la syllogistique,
et dans l'école aristotélicienne, ces travaux informels sur la logique étaient considérés comme
complémentaires au traitement de la rhétorique d'Aristote .

Cette ancienne motivation est toujours vivante, bien qu'elle ne soit plus au centre de l'image
de la logique; typiquement dialectique logique constitue le cœur d'un cours dans la pensée
critique , un cours obligatoire dans de nombreuses universités. La dialectique est liée à la
logique depuis l'Antiquité, mais ce n'est que depuis quelques décennies que les logiciens
européens et américains ont tenté de fournir des bases mathématiques à la logique et à la
dialectique en formalisant la logique dialectique. La logique dialectique est aussi le nom
donné au traitement spécial de la dialectique dans la pensée hégélienne et marxiste . Il y a eu
des traités pré-formels sur l'argumentation et la dialectique, d'auteurs tels que Stephen
Toulmin ( Les utilisations de l'argument ), Nicholas Rescher ( Dialectique ), [42] [43] [44] et van
Eemeren et Grootendorst ( Pragma-dialectique ) . Les théories du raisonnement défaisable
peuvent fournir une base pour la formalisation de la logique dialectique et la dialectique elle-
même peut être formalisée comme des mouvements dans un jeu, où un défenseur de la vérité
d'une proposition et un adversaire argumentent. De tels jeux peuvent fournir une sémantique
de jeu formelle pour de nombreuses logiques.

La théorie de l'argumentation est l'étude et la recherche de la logique informelle, des erreurs et

des questions critiques liées à des situations quotidiennes et pratiques. Des types spécifiques
de dialogue peuvent être analysés et remis en question pour révéler des prémisses, des
conclusions et des erreurs. La théorie de l'argumentation est maintenant appliquée à l'
intelligence artificielle et au droit .

Logique mathématique

La logique mathématique comprend deux domaines de recherche distincts: le premier est

l'application des techniques de la logique formelle aux mathématiques et au raisonnement
mathématique, et le second, dans l'autre sens, l'application des techniques mathématiques à la
représentation et à l'analyse de la logique formelle. [45]

L'utilisation la plus ancienne des mathématiques et de la géométrie en relation avec la logique

et la philosophie remonte aux anciens Grecs tels qu'Euclide , Platon et Aristote . [46] Beaucoup
d'autres philosophes antiques et médiévaux ont appliqué des idées et des méthodes
mathématiques à leurs réclamations philosophiques. [47]

L'une des tentatives les plus audacieuses d'appliquer la logique aux mathématiques a été le
logicisme mis au point par des philosophe-logiciens tels que Gottlob Frege et Bertrand
Russell . Les théories mathématiques étaient censées être des tautologies logiques , et le
programme devait le montrer au moyen d'une réduction des mathématiques à la
logique. [10] Les diverses tentatives pour mener à bien ceci ont rencontré l'échec, de la paralysie
du projet de Frege dans son Grundgesetze par le paradoxe de Russell , à la défaite du
programme de Hilbert par les théorèmes d'incomplétude de Gödel .

L'énoncé du programme de Hilbert et sa réfutation par Gödel dépendaient de leur travail

établissant le deuxième domaine de la logique mathématique, l'application des mathématiques
à la logique sous la forme de la théorie de la preuve . [48] Malgré la nature négative des
théorèmes d'incomplétude, le théorème d'exhaustivité de Gödel , un résultat de la théorie des
modèles et une autre application des mathématiques à la logique, peut être compris comme
montrant à quel point le logicisme est devenu vrai: toute théorie mathématique
rigoureusement définie peut être exactement capturé par une théorie logique du premier ordre;
Le calcul de la preuve de Frege est suffisant pour décrire l'ensemble des mathématiques, mais
pas l' équivalent .

Si la théorie de la preuve et la théorie des modèles ont été le fondement de la logique

mathématique, elles n'ont été que deux des quatre piliers du sujet. [49] La théorie des ensembles
est née de l'étude de l'infini par Georg Cantor , et elle a été la source de plusieurs des
problèmes les plus difficiles et les plus importants de la logique mathématique, du théorème
de Cantor , à travers le statut de l' axiome du choix et la question de l'indépendance de l'
hypothèse du continuum , au débat moderne sur les grands axiomes cardinaux .

La théorie de la récursivité capture l'idée de calcul en termes logiques et arithmétiques ; ses

réalisations les plus classiques sont l'indécidabilité du Entscheidungsproblem d' Alan Turing
et sa présentation de la thèse Church-Turing . [50] Aujourd'hui, la théorie de la récursivité
s'intéresse principalement au problème plus raffiné des classes de complexité - quand un
problème peut-il être résolu efficacement? - et à la classification des degrés d'insolvabilité . [51]

Logique philosophique

La logique philosophique traite des descriptions formelles du langage ordinaire non spécialisé
(«naturel») , c'est-à-dire strictement uniquement sur les arguments dans les autres branches de
la philosophie. La plupart des philosophes supposent que l'essentiel du raisonnement
quotidien peut être capturé dans la logique si une méthode ou des méthodes pour traduire le
langage ordinaire dans cette logique peut être trouvée. La logique philosophique est
essentiellement une continuation de la discipline traditionnelle appelée «logique» avant
l'invention de la logique mathématique. La logique philosophique se préoccupe beaucoup plus
du lien entre le langage naturel et la logique. En conséquence, les logiciens philosophiques
ont beaucoup contribué au développement de logiques non standard (par exemple, les
logiques libres , les logiques des temps ) ainsi que diverses extensions de la logique classique
(par exemple les logiques modales ) et la sémantique non standard pour de telles logiques (par
ex. Kripke de supervaluationism dans la sémantique de la logique).

La logique et la philosophie du langage sont étroitement liées. La philosophie de la langue a à

voir avec l'étude de la façon dont notre langue s'engage et interagit avec notre pensée. La
logique a un impact immédiat sur d'autres domaines d'étude. L'étude de la logique et de la
relation entre la logique et le discours ordinaire peut aider une personne à mieux structurer ses
propres arguments et à critiquer les arguments des autres. De nombreux arguments populaires
sont remplis d'erreurs parce que de nombreuses personnes ne sont pas formées en logique et
ne savent pas comment formuler correctement un argument. [52] [53]

Logique de calcul

Un simple circuit de basculement est exprimé à l'aide d'une porte logique et d'un registre
synchrone.
La logique est au cœur de l'informatique en tant que discipline: le travail d' Alan Turing sur
le problème d'Entscheidungs est issu du travail de Kurt Gödel sur les théorèmes
d'incomplétude . La notion d'ordinateur à usage général issue de ce travail était d'une
importance fondamentale pour les concepteurs de machines informatiques dans les années
1940.

Dans les années 1950 et 1960, les chercheurs ont prédit que lorsque les connaissances
humaines pourraient être exprimées en utilisant la logique avec la notation mathématique , il
serait possible de créer une machine qui imite les compétences de résolution de problèmes
d'un être humain. Cela a été plus difficile que prévu en raison de la complexité du
raisonnement humain. À l'été 1956, John McCarthy , Marvin Minsky , Claude Shannon et
Nathan Rochester organisent une conférence sur le sujet de ce qu'ils appellent « intelligence
artificielle » (terme inventé par McCarthy pour l'occasion). Newell et Simon ont fièrement
présenté au groupe le théoricien de la logique et ont été quelque peu surpris lorsque le
programme a reçu un accueil tiède.

En programmation logique , un programme se compose d'un ensemble d'axiomes et de règles.

Les systèmes de programmation logique tels que Prolog calculent les conséquences des
axiomes et des règles afin de répondre à une requête.

Aujourd'hui, la logique est largement appliquée dans le domaine de l'intelligence artificielle,

et ce domaine fournit une riche source de problèmes dans la logique formelle et informelle.
La théorie de l'argumentation est un bon exemple de la manière dont la logique est appliquée
à l'intelligence artificielle. Le système de classification informatique ACM concerne en
particulier:

 Section F.3 sur «Logiques et significations des programmes» et F.4 sur «Logique
mathématique et langages formels» dans le cadre de la théorie de l'informatique: cet
ouvrage couvre la sémantique formelle des langages de programmation , ainsi que les
travaux de méthodes formelles telles que comme logique Hoare ;
 La logique booléenne comme fondamentale au matériel informatique: en particulier, la
section B.2 du système sur les " Structures arithmétiques et logiques ", relative aux
opérateurs AND , NOT et OR ;
 De nombreux formalismes logiques fondamentaux sont essentiels à la section I.2 sur
l'intelligence artificielle, par exemple la logique modale et la logique par défaut dans
les formalismes et méthodes de représentation des connaissances , les clauses Horn en
programmation logique et la logique de description .

De plus, les ordinateurs peuvent être utilisés comme outils pour les logiciens. Par exemple,
dans la logique symbolique et la logique mathématique, les preuves par des humains peuvent
être assistées par ordinateur. En utilisant la preuve automatisée de théorèmes , les machines
peuvent trouver et vérifier des preuves, ainsi que travailler avec des preuves trop longues pour
être écrites à la main.

Logique non classique

Les logiques discutées ci-dessus sont toutes « bivalentes » ou «à deux valeurs»; c'est-à-dire
qu'elles sont le plus naturellement comprises comme divisant les propositions en propositions
vraies et fausses. Les logiques non classiques sont ces systèmes qui rejettent diverses règles
de la logique classique .

Hegel a développé sa propre logique dialectique qui a prolongé la logique transcendantale de

Kant mais l'a également ramenée à la terre en nous assurant que «ni au ciel ni sur terre, ni
dans le monde de l'esprit ni dans la nature, il n'y a nulle part un tel abstrait» non plus. - ou
"comme le soutient l'entendement. Tout ce qui existe est concret, avec une différence et une
opposition en soi". [54]
En 1910, Nicolai A. Vasiliev étend la loi du milieu exclu et la loi de la contradiction et
propose la loi du quatrième exclu et de la logique tolérante à la contradiction. [55] Au début du
XXe siècle, Jan Łukasiewicz a étudié l'extension des valeurs traditionnelles vrai / faux pour
inclure une troisième valeur, «possible» (ou une hypothèse indéterminée) inventant ainsi la
logique ternaire , la première logique à valeurs multiples dans le Tradition occidentale. [56] Une
modification mineure de la logique ternaire a été plus tard introduite dans un modèle logique
ternaire fraternel proposé par Stephen Cole Kleene . Le système de Kleene diffère de la
logique de Łukasiewicz en ce qui concerne le résultat de l'implication. Le premier suppose
que l'opérateur d' implication entre deux hypothèses produit une hypothèse.

Des logiques telles que la logique floue ont depuis été conçues avec un nombre infini de
"degrés de vérité", représentés par un nombre réel compris entre 0 et 1. [57]

La logique intuitionniste a été proposée par LEJ Brouwer comme la logique correcte pour
raisonner sur les mathématiques, basée sur son rejet de la loi du milieu exclu dans le cadre de
son intuitionnisme . Brouwer a rejeté la formalisation en mathématiques, mais son élève
Arend Heyting a étudié la logique intuitionniste formellement, tout comme Gerhard Gentzen .
La logique intuitionniste est d'un grand intérêt pour les informaticiens, car il s'agit d'une
logique constructive et voit de nombreuses applications, telles que l'extraction de programmes
vérifiés à partir de preuves et l'influence de la conception de langages de programmation par
le biais de la correspondance des formules en tant que types .

La logique modale n'est pas la vérité conditionnelle, et elle a donc souvent été proposée
comme une logique non classique. Cependant, la logique modale est normalement formalisée
avec le principe du milieu exclu, et sa sémantique relationnelle est bivalente, donc cette
inclusion est discutable.

Controverses
"La logique est-elle empirique?"

Quel est le statut épistémologique des lois de la logique ? Quel genre d'argument est approprié
pour critiquer les prétendus principes de logique? Dans un article influent intitulé « Is Logic
Empirical? » [58] Hilary Putnam , s'appuyant sur une suggestion de WV Quine , a soutenu qu'en
général les faits de la logique propositionnelle ont un statut épistémologique similaire à celui
des faits sur l'univers physique, par exemple les lois de la mécanique ou de la relativité
générale , et en particulier le fait que ce que les physiciens ont appris sur la mécanique
quantique fournit un argument convaincant pour abandonner certains principes familiers de la
logique classique: si nous voulons être réalistes sur les phénomènes physiques décrits par la
théorie quantique, alors nous devrions abandonner le principe de distributivité en substituant à
la logique classique la logique quantique proposée par Garrett Birkhoff et John von
Neumann . [59]

Un autre article du même nom de Michael Dummett soutient que le désir de réalisme de
Putnam impose la loi de la distributivité. [60] La distributivité de la logique est essentielle pour la
compréhension du réaliste de la façon dont les propositions sont vraies du monde de la même
manière qu'il a soutenu le principe de bivalence. De cette façon, la question "La logique est-
elle empirique?" peut être considérée comme conduisant naturellement à la controverse
fondamentale de la métaphysique sur le réalisme contre l'anti-réalisme .
Implication: stricte ou matérielle

La notion d'implication formalisée dans la logique classique ne se traduit pas confortablement

en langage naturel au moyen de "si ... alors ...", en raison d'un certain nombre de problèmes
appelés les paradoxes de l'implication matérielle .

La première classe de paradoxes implique des contrefactuels, tels que Si la lune est faite de
fromage vert, alors 2 + 2 = 5 , qui sont déroutants car le langage naturel ne supporte pas le
principe de l'explosion . L'élimination de cette classe de paradoxes a été la raison de la
formulation par CI Lewis de l'implication stricte , qui a finalement conduit à des logiques plus
radicalement révisionnistes telles que la logique de pertinence .

La deuxième classe de paradoxes implique des prémisses redondantes, suggérant à tort que
nous connaissons le succès à cause de l'antécédent: ainsi "si cet homme est élu, mamie
mourra" est matériellement vrai puisque grand-mère est mortelle, quelles que soient les
perspectives d'élection de l'homme. De telles phrases violent la maxime gricienne de
pertinence et peuvent être modélisées par des logiques qui rejettent le principe de monotonie
de l'implication , comme la logique de pertinence.

Tolérer l'impossible

Georg Wilhelm Friedrich Hegel était profondément critique de toute notion simplifiée de la
loi de non-contradiction . Elle reposait sur l' idée de Gottfried Wilhelm Leibniz que cette loi
de la logique nécessite également un motif suffisant pour spécifier de quel point de vue (ou de
temps) on dit que quelque chose ne peut se contredire. Un bâtiment, par exemple, bouge et ne
bouge pas; le sol pour le premier est notre système solaire et pour le second la terre. Dans la
dialectique hégélienne, la loi de non-contradiction, d'identité, repose elle-même sur la
différence et ne peut donc pas être affirmée indépendamment.

La suggestion selon laquelle la logique devrait tolérer l' incohérence est étroitement liée aux
questions soulevées par les paradoxes de l'implication . La logique de pertinence et la logique
paraconsistante sont ici les approches les plus importantes, bien que les préoccupations soient
différentes: une conséquence clé de la logique classique et de certains de ses rivaux, comme la
logique intuitionniste , est qu'ils respectent le principe d'explosion , ce qui signifie que la
logique s'effondre. s'il est capable de dériver une contradiction. Graham Priest , le principal
partisan du dialéthéisme , a plaidé pour la paraconsistance au motif qu'il y a en fait de vraies
contradictions. [61] [ clarification nécessaire ]

Rejet de la vérité logique

La veine philosophique de divers types de scepticisme contient de nombreux types de doute et

de rejet des diverses bases sur lesquelles repose la logique, telles que l'idée de forme logique,
d'inférence correcte ou de signification, conduisant généralement à la conclusion qu'il n'y a
pas de vérités logiques . Cela contraste avec les vues habituelles du scepticisme philosophique
, où la logique dirige l'enquête sceptique vers le doute des sagesses reçues, comme dans le
travail de Sextus Empiricus .

Friedrich Nietzsche fournit un exemple fort du rejet de la base habituelle de la logique: son
rejet radical de l'idéalisation l'a amené à rejeter la vérité comme une «... armée mobile de
métaphores, de métonymes et d'anthropomorphismes - en bref ... des métaphores qui sont usés
et sans puissance sensuelle, des pièces de monnaie qui ont perdu leur image et qui ne
comptent plus que comme métal et non plus comme des pièces de monnaie ". [62] Son rejet de
la vérité ne l'a pas conduit à rejeter complètement l'idée d'inférence ou de logique, mais a
plutôt suggéré que «la logique [est venue] à l'existence dans la tête de l'homme [hors]
d'illogique, dont le domaine à l'origine devait être immense. Innombrable. des êtres qui
faisaient des inférences d'une manière différente de la nôtre ont péri ». [63] Il y a donc l'idée que
l'inférence logique a une utilité comme outil de survie humaine, mais que son existence ne
soutient pas l'existence de la vérité, ni n'a de réalité au-delà de l'instrumental: «La logique,
aussi, repose aussi sur des hypothèses qui ne correspondent à rien du monde réel ". [64]

Cette position de Nietzsche a cependant fait l'objet d'un examen minutieux pour plusieurs
raisons. Certains philosophes, comme Jürgen Habermas , affirment que sa position se réfute
d'elle-même - et accusent Nietzsche de ne même pas avoir une perspective cohérente, et
encore moins une théorie de la connaissance. [65] Georg Lukács , dans son livre The
Destruction of Reason , affirme que «Si nous étudiions les déclarations de Nietzsche dans ce
domaine sous un angle logico-philosophique, nous serions confrontés à un chaos vertigineux
des assertions les plus sinistres, arbitraires et violemment incompatible. " [66] Bertrand Russell
a décrit les affirmations irrationnelles de Nietzsche avec "Il aime s'exprimer paradoxalement
et en vue de choquer les lecteurs conventionnels" dans son livre Une Histoire de la
Philosophie Occidentale . [67]

Voir également
 Portail de la philosophie

 Argument  - Tentative de persuader ou de déterminer la véracité d'une conclusion

 Théorie de l'argumentation  - Étude de la façon dont les conclusions sont atteintes par
le raisonnement logique; l'un des quatre modes rhétoriques
 Pensée critique  - L'analyse des faits pour former un jugement
  Electronique numérique - Circuits électroniques utilisant des signaux numériques
(également appelés portes logiques ou logiques numériques )
 Les erreurs
 Liste des erreurs  - Types de raisonnement qui sont logiquement incorrects
 Liste des logiciens  - Article de la liste Wikipedia
 Liste des journaux de logique  - Article de liste Wikipedia
 Liste des symboles logiques  - Article de liste Wikipedia
 Puzzle logique
 Mathématiques  - Domaine d'études
o Liste des articles de mathématiques
o Aperçu des mathématiques  - Vue d'ensemble et guide thématique des
mathématiques
  Metalogic  - Etude des propriétés des systèmes logiques
 Aperçu de la logique  - Vue d'ensemble et guide thématique de la logique
 Philosophie  - Étude des vérités et principes de l'être, de la connaissance ou de la
conduite
o Liste des sujets de philosophie
o Aperçu de la philosophie  - Aperçu et guide d'actualité de la philosophie
 Logos  - Terme en philosophie occidentale, psychologie, rhétorique et religion
 Raisonnement logique
 Raison  - Capacité à donner un sens consciemment aux choses
 Vérité  - Un terme signifiant «en accord avec un fait ou une réalité»
 Logique vectorielle

Les références
Remarques

1. ^ Également lié à λόγος ( logos ), "mot, pensée, idée, argument, récit, raison

ou principe". (Liddell et Scott, 1999).
2. ^ Sur le raisonnement abductif , voir:
 Magnani, L. 2001. Enlèvement, raison et science: processus de
découverte et d'explication . New York: Kluwer Academic Plenum Publishers .
xvii. ISBN  0-306-46514-0 .
 Josephson, John R. et Susan G. Josephson. 1994. Abductive Inference:
Computation, Philosophie, Technologie . New York: Cambridge University
Press. viii. ISBN  0-521-43461-0 .
 Bunt, H. et W. Black. 2000. Enlèvement, croyance et contexte dans le
dialogue: études en pragmatique computationnelle , ( traitement du langage
naturel 1). Amsterdam: John Benjamins . vi. ISBN  90-272-4983-0 , 1-55619-
794-2 .
3. ^ Les quatre Catuṣkoṭi divisions logiques sont formellement très proches des
quatre propositions opposées du grec tétralemme , qui àtour sont analogues aux quatre
valeurs de vérité de moderne logique de la pertinence . ( Cf. Belnap, Nuel. 1977. "Une
logique utile à quatre valeurs." Dans Modern Uses of Multiple-Valued Logic , édité par
Dunn et Eppstein. Boston: Reidel; Jayatilleke, KN. 1967. "La logique des quatre
alternatives. "Dans Philosophy East and West . University of Hawaii Press .)
4. ^ Chakrabarti, Kisor Kumar. 1976. «Quelques comparaisons entre la logique
de Frege et la logique de Navya-Nyaya». Philosophie et recherche
phénoménologique 36 (4): 554–63. doi : 10.2307 / 2106873 JSTOR  2106873 . "Cet
article se compose de trois parties. La première partie traite de la distinction de Frege
entre le sens et la référence des noms propres et une distinction similaire dans la
logique Navya-Nyaya. Dans la deuxième partie, nous avons comparé la définition du
 nombre de Frege à la définition Navya-Nyaya de Dans la troisième partie, nous avons
montré comment l'étude des prétendues «conditions restrictives pour les universaux»
dans la logique de Navya-Nyaya a anticipé certains des développements de la théorie
moderne des ensembles. "

Citations

1. ^ Liddell, Henry George et Robert Scott . 1940. « Logikos ». Un lexique grec-
anglais , édité par HS Jones avec R. McKenzie. Oxford: Clarendon Press . - via le
projet Perseus . Récupéré le 9 mai 2020.
2. ^ Harper, Douglas. 2020 [2001]. « logique (n.) ». Dictionnaire d'étymologie en
ligne . Récupéré le 9 mai 2020.
3. ^ Gensler, Harry J. (2017) [2002]. "Chapitre 1 Introduction". Introduction à
la logique (3e éd.). New York: Routledge. p. 1. doi : 10.4324 / 9781315693361 .
ISBN 9781138910591. OCLC  957680480 .
4. ^ Quine, Willard Van Orman (1986) [1970]. Philosophie de la logique (2e
éd.). Cambridge, MA: Harvard University Press. pp. 1–14, 61–75. ISBN 0674665635.
JSTOR  j.ctvk12scx . OCLC  12664089 .
5. ^ McGinn, Colin (2000). Propriétés logiques: identité, existence, prédication,
nécessité, vérité . Oxford: Clarendon Press. doi : 10.1093 / 0199241813.001.0001 .
ISBN 9780199241811. OCLC  44502365 .[ page nécessaire ]
6. ^ McKeon, Matthew (2003). "Colin McGinn. Propriétés logiques: identité,
existence, prédication, nécessité, vérité. Clarendon Press, Oxford 2000, vi + 114
pp" . Bulletin de logique symbolique . 9 (1): 39–42. doi : 10.1017 /
S107989860000473X . ISSN  1079-8986 .
7. ^ Gensler, Harry J. (2017) [2002]. "Les erreurs et
l'argumentation". Introduction à la logique (3e éd.). New York: Routledge. Ch. 4. doi :
10.4324 / 9781315693361 . ISBN 9781138910591. OCLC  957680480 .
8. ^ Aristote (2001). " Analyse postérieure ". Dans Mckeon, Richard (éd.). Les
œuvres de base . Bibliothèque moderne. ISBN 978-0-375-75799-0.
9. ^ "syllogistique | Définition, histoire et faits" . Encyclopédie Britannica .
Récupéré le 27 mai 2020 .
10. ^ a b c Whitehead, Alfred North ; Russell, Bertrand (1967). Principia
Mathematica à * 56 . Cambridge University Press . ISBN 978-0-521-62606-4.
11. ^ a b Pour un traitement plus moderne, voir Hamilton, AG (1980). Logique
pour les mathématiciens . La presse de l'Universite de Cambridge. ISBN 978-0-521-
29291-7.
12. ^ Hinman, Peter G. (2005). Fondamentaux de la logique mathématique .
Wellesley, Massachusetts: AK Peters. ISBN 978-1-315-27553-6. OCLC  958798526 .
13. ^ un b "Supplément # 3: Notes sur la logique | Logique | Argument | Essai
gratuit de 30 jours" . Scribd . Récupéré le 27 mai 2020 .
14. ^ un b "Validité et solidité" . L'Encyclopédie Internet de la Philosophie . ISSN
2161-0002 . Archivé de l'original le 27 mai 2018 . Récupéré le 9 mai 2020 .
15. ^ Ewald, William (2019), "The Emergence of First-Order Logic" , in Zalta,
Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Spring 2019 ed.),
Metaphysics Research Lab, Stanford University , récupéré le 17 janvier 2020
16. ^ un b Łukasiewicz, janvier (1957). Syllogistique d'Aristote du point de vue de
la logique formelle moderne (2e éd.). Presse d'université d'Oxford. p. 7. ISBN 978-0-
19-824144-7.
17. ^ Mclean, Jaden; Hurley, Carmen (2019). Conception logique . EDTECH. p.
9. ISBN 9781839473197.
18. ^ William of Ockham , Summa Logicae II, c.4 (Traduit par: Freddoso, A., et
H. Schuurman. 1998. Théorie des propositions d'Ockam . St. Augustine's Press. P. 96.)
19. ^ Buroker, Jill. 2014. « Port Royal Logic ». Encyclopédie de Stanford de
philosophie . Récupéré le 10 mai 2020.
20. ^ Martin, John N. " La Logique de Port Royal ." Encyclopédie Internet de la
philosophie . ISSN  2161-0002 . Récupéré le 10 mai 2020.
21. ^ Arnauld, Antoine et Pierre Nicole . 1662. Logic; ou, L'art de penser II.3.
22. ^ Locke, John . 1690. Un essai sur la compréhension humaine IV.5, 1-8.
23. ^ Bergmann, Merrie; Moor, James; Nelson, Jack (2009). Le livre
logique (cinquième éd.). New York, NY: McGraw-Hill. ISBN 978-0-07-353563-0.
24. ^ Mendelson, Elliott (1964). "Théorie de quantification: Théorèmes de
complétude". Introduction à la logique mathématique . Van Nostrand. ISBN 978-0-
412-80830-2.
25. ^ Bergman, Mats et Saami Paavola, éds. « Abduction » et « Retroduction
». The Commens Dictionary: Peirce's Terms in His Own Words (new ed.) Récupéré le
10 mai 2020. Archivé le 26 août 2014 à la Wayback Machine . Récupéré le 10 mai
2020.
26. ^ Peirce, Charles Sanders . 1903. «Lectures on Pragmatism». Pp. 14–212
dans Collected Papers of Charles Sanders Peirce 5. par. 188–89 .
27. ^ Peirce, Charles Sanders . 1901. «Sur la logique du dessin de l'histoire à partir
de documents anciens, en particulier à partir de témoignages». Pp. 164–231
dans Collected Papers of Charles Sanders Peirce 7. par. 219.
28. ^ Peirce, Charles Sanders . 1906. " Prolegomena to an Apology for
Pragmaticism . The Monist 16 (4): 492-546. Doi : 10.5840 / monist190616436 .
29. ^ Peirce, Charles Sanders . 1913. «A Letter to FA Woods». Documents
rassemblés de Charles Sanders Peirce 8. paras 385–88.
30. ^ En ligne Hofweber, T. (2004). "Logique et ontologie" . Dans Zalta, Edward
N (éd.). Encyclopédie de Stanford de philosophie .
31. ^ Brandom, Robert (2000). Articuler les raisons . Cambridge, MA: Harvard
University Press. ISBN 978-0-674-00158-9.
32. ^ Par exemple, Kline (1972, p. 53) a écrit "Une réalisation majeure d'Aristote a
été la fondation de la science de la logique".
33. ^ " Aristote Archivé le 7 juin 2010 à la Wayback Machine ", Département
MTU de Chimie.
34. ^ Jonathan Lear (1986). " Aristote et Théorie Logique ". Cambridge University
Press . p. 34. ISBN  0-521-31178-0
35. ^ Simo Knuuttila (1981). " Reforger la grande chaîne de l'être: études de
l'histoire des théories modales ". Springer Science & Business. p. 71. ISBN  90-277-
1125-9
36. ^ Michael Fisher, Dov M. Gabbay, Lluís Vila (2005). " Manuel de
raisonnement temporel en intelligence artificielle ". Elsevier. p. 119. ISBN  0-444-
51493-7
37. ^ Harold Joseph Berman (1983). " Droit et révolution: la formation de la
tradition juridique occidentale ". Presse universitaire de Harvard . p. 133. ISBN  0-
674-51776-8
38. ^ Vidyabhusana, SC 1971. Une Histoire de la Logique Indienne: Écoles
Anciennes, Médiévales et Modernes . pp. 17–21.
39. ^ Jonardon Ganeri (2001). Logique indienne: un lecteur . Routledge . pp. vii,
5, 7. ISBN 978-0-7007-1306-6.
40. ^ Boole, George . 1854. Une enquête sur les lois de la pensée sur lesquelles
sont fondées les théories mathématiques de la logique et des probabilités .
41. ^ "Histoire de la logique: logique arabe" . Encyclopædia Britannica . Archivé
de l'original le 12 octobre 2007.
42. ^ Rescher, Nicholas (1978). "La dialectique: une approche orientée vers la
controverse à la théorie de la connaissance" . Logique informelle . 1 (n ° 3). doi :
10.22329 / il.v1i3.2809 .
43. ^ Hetherington, Stephen (2006). "Nicholas Rescher: Dialectique
Philosophique" . Revues philosophiques de Notre Dame (2006.07.16).
44. ^ Rescher, Nicholas (2009). Jacquette, Dale (éd.). Raison, méthode et valeur:
un lecteur sur la philosophie de Nicholas Rescher . Ontos Verlag. ISBN 978-3-11-
032905-6.
45. ^ Stolyar, Abram A. (1983). Introduction à la logique mathématique
élémentaire . Publications de Douvres. p. 3. ISBN 978-0-486-64561-2.
46. ^ Barnes, Jonathan (1995). Le compagnon de Cambridge d'Aristote . La
presse de l'Universite de Cambridge. p. 27. ISBN 978-0-521-42294-9.
47. ^ Aristote (1989). Analyse préalable . Hackett Publishing Co. p. 115.
ISBN 978-0-87220-064-7.
48. ^ Mendelson, Elliott (1964). "Théorie formelle des nombres: Théorème
d'incomplétude de Gödel". Introduction à la logique mathématique . Monterey,
Californie: Wadsworth & Brooks / Cole Advanced Books & Software. OCLC
13580200 .
49. ^ Barwise (1982) divise le sujet de la logique mathématique en théorie des
modèles, théorie de la preuve, théorie des ensembles et théorie de la récursivité.
50. ^ Brookshear, J. Glenn (1989). "Calculabilité: Fondements de la théorie des
fonctions récursives". Théorie du calcul: langages formels, automates et complexité .
Redwood City, Californie: Benjamin / Cummings Pub. Co. ISBN 978-0-8053-0143-4.
51. ^ Brookshear, J. Glenn (1989). "Complexité". Théorie du calcul: langages
formels, automates et complexité . Redwood City, Californie: Benjamin / Cummings
Pub. Co. ISBN 978-0-8053-0143-4.
52. ^ Goldman, Alvin I. (1986), Epistemology and Cognition , Harvard University
Press, p. 293, ISBN 978-0-674-25896-9, les sujets non formés sont enclins à
commettre diverses sortes d'erreurs et d'erreurs
53. ^ Demetriou, A .; Efklides, A., éds. (1994), Intelligence, Mind, and Reasoning:
Structure and Development , Advances in Psychology, 106 , Elsevier, p. 194,
ISBN 978-0-08-086760-1
54. ^ Hegel, GWF (1971) [1817]. Philosophie de l'esprit . Encyclopédie des
sciences philosophiques. trans. William Wallace . Oxford: Clarendon Press. p. 174 .
ISBN 978-0-19-875014-7.
55. ^ Joseph E. Brenner (3 août 2008). La logique dans la réalité . Springer. 28–
30. ISBN 978-1-4020-8374-7. Récupéré le 9 avril 2012 .
56. ^ Zegarelli, Mark (2010), Logic For Dummies , John Wiley & Sons, p. 30,
ISBN 978-1-118-05307-2
57. ^ Hájek, Petr (2006). "Logique floue" . Dans Zalta, Edward N. (éd.).
Encyclopédie de Stanford de philosophie .
58. ^ Putnam, H. (1969). "La logique est-elle empirique?". Études de Boston sur
la philosophie des sciences . 5 : 216–241. doi : 10.1007 / 978-94-010-3381-7_5 .
ISBN 978-94-010-3383-1.
59. ^ Birkhoff, G .; von Neumann, J. (1936). "La logique de la mécanique
quantique". Annales des mathématiques . 37 (4): 823–843. doi : 10.2307 / 1968621 .
JSTOR  1968621 .
60. ^ Dummett, M. (1978). "La logique est-elle empirique?". Vérité et autres
énigmes . ISBN 978-0-674-91076-8.
61. ^ Prêtre, Graham (2008). "Dialethéisme" . Dans Zalta, Edward N. (éd.).
Encyclopédie de Stanford de philosophie .
62. ^ Nietzsche, 1873, Sur la vérité et les mensonges dans un sens non moral .
63. ^ Nietzsche, 1882, La Science Gay .
64. ^ Nietzsche, 1878, humain, trop humain
65. ^ Babette Babich, Habermas, Nietzsche et la théorie critique
66. ^ Georg Lukács. "La Destruction de la Raison par Georg Lukács 1952" .
Marxists.org . Récupéré le 16 juin 2013 .
67. ^ Russell, Bertrand (1945), Une histoire de la philosophie occidentale et son
lien avec les circonstances politiques et sociales des temps les plus reculés à nos
jours (PDF) , Simon et Schuster, p. 762, archivé de l'original le 28 mai 2014
Bibliographie

 Barwise, J. (1982). Manuel de logique mathématique . Elsevier. ISBN  978-0-08-

093364-1 .
 Belnap, N. (1977). "Une logique utile à quatre valeurs". Dans Dunn & Eppstein, les
utilisations modernes de la logique à valeurs multiples . Reidel: Boston.
 Bocheński, JM (1959). Un précis de logique mathématique . Traduit des éditions
française et allemande par Otto Bird. D. Reidel, Dordrecht, Hollande méridionale.
 Bocheński, JM (1970). Une histoire de la logique formelle . 2e édition. Traduit et édité
à partir de l'édition allemande par Ivo Thomas. Chelsea Publishing, New York.
 Brookshear, J. Glenn (1989). Théorie du calcul: langages formels, automates et
complexité . Redwood City, Californie: Benjamin / Cummings Pub. Co. ISBN 978-0-
8053-0143-4.
 Cohen, RS et Wartofsky, MW (1974). Études logiques et épistémologiques en
physique contemporaine . Études de Boston sur la philosophie des sciences. D. Reidel
Publishing Company: Dordrecht, Pays-Bas. ISBN  90-277-0377-9 .
 Finkelstein, D. (1969). "Matière, espace et logique". dans RS Cohen et MW
Wartofsky (éd. 1974).
 Gabbay, DM et Guenthner, F. (éds., 2001–2005). Manuel de logique philosophique .
13 vol., 2e édition. Éditeurs Kluwer: Dordrecht.
 Haack, Susan (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism , University
of Chicago Press.
 Harper, Robert (2001). "Logique" . Dictionnaire d'étymologie en ligne . Récupéré le 8
mai 2009 .
 Hilbert, D. et Ackermann, W , (1928). Grundzüge der théoretischen Logik ( Principes
de la logique mathématique ). Springer-Verlag. OCLC  2085765
 Hodges, W. (2001). Logique. Une introduction à Elementary Logic , Penguin Books.
 Hofweber, T. (2004), Logique et ontologie . Encyclopédie de Stanford de philosophie .
Edward N. Zalta (éd.).
 Hughes, RIG (1993, éd.). Un compagnon philosophique de la logique du premier
ordre . Édition Hackett.
 Kline, Morris (1972). Pensée mathématique des temps anciens aux temps modernes .
Presse d'université d'Oxford. ISBN 978-0-19-506135-2.
 Kneale, William et Kneale, Martha, (1962). Le développement de la logique . Oxford
University Press, Londres, Royaume-Uni.
 Liddell, Henry George ; Scott, Robert . "Logikos" . Un lexique grec-anglais . Projet
Perseus . Récupéré le 8 mai 2009 .
 Mendelson, Elliott , (1964). Introduction à la logique mathématique . Wadsworth &
Brooks / Cole Advanced Books & Software: Monterey, Californie. OCLC  13580200
 Smith, B. (1989). "La logique et le Sachverhalt". The Monist 72 (1): 52–69.
  Whitehead, Alfred North et Bertrand Russell (1910). Principia Mathematica .
Cambridge University Press: Cambridge, Angleterre. OCLC  1041146

Liens externes
Logiqueaux projets frères de Wikipedia
 Définitions du Wiktionnaire

 Médias de Wikimedia Commons

 Nouvelles de Wikinews

 Citations de Wikiquote

 Textes de Wikisource

 Manuels de Wikibooks

 Ressources de Wikiversity

 Logic chez PhilPapers

 Logique au projet d'ontologie de philosophie de l' Indiana
 "Logique" . Encyclopédie Internet de la philosophie .
 "Calcul logique" , Encyclopédie des mathématiques , EMS Press , 2001 [1994]
 Un aperçu de la logique verbale
 Présentations et tutoriels
o "Une introduction à la logique philosophique, par Paul Newall" . Archivé de
l'original le 3 avril 2008. destiné aux débutants.
o forall x: une introduction à la logique formelle , par PD Magnus , couvre la
logique sententielle et quantifiée.
o Logic Self-Taught: A Workbook (initialement préparé pour l'enseignement de
la logique en ligne).
 Nicholas Rescher . (1964). Introduction à la logique , St. Martin's
Press.
 Essais
o «Logique symbolique» et «Le jeu de la logique» , Lewis Carroll , 1896.
 o Math & Logic: L'histoire des idées formelles mathématiques, logiques,
linguistiques et méthodologiques. Dans le dictionnaire de l'histoire des idées.
 Outils en ligne
o Machine syllogistique interactive Une machine syllogistique basée sur le Web
pour explorer les erreurs, les figures, les termes et les modes de syllogismes.
o Une calculatrice logique Une application basée sur le Web pour évaluer des
déclarations simples en logique symbolique.
 Matériel de référence
o Conseils de traduction , par Peter Suber, pour traduire de l'anglais en notation
logique.
o Ontologie et histoire de la logique. Une introduction avec une bibliographie
annotée.
 Listes de lecture
o Le London Philosophy Study Guide propose de nombreuses suggestions sur ce
qu'il faut lire, en fonction de la familiarité de l'étudiant avec le sujet:
 Logique et métaphysique
 Théorie des ensembles et logique supplémentaire
 Logique mathématique
  Catégories livre audio du domaine public chez LibriVox