observations Générales
Probablement le plus naturel de l’approche de la logique formelle est à travers l’idée de la validité d’un argument du type dit déductive. Un argument déductif peut être grossièrement caractérisé comme un argument dans lequel on prétend qu’une proposition (la conclusion) découle avec la stricte nécessité d’une autre proposition (les prémisses)—c’est-à-dire qu’il serait incohérent ou contradictoire d’affirmer les prémisses mais de nier la conclusion.,
pour qu’un argument déductif réussisse à établir la vérité de sa conclusion, deux conditions bien distinctes doivent être remplies: premièrement, la conclusion doit vraiment découler des prémisses—c’est—à-dire que la déduction de la conclusion des prémisses doit être logiquement correcte-et, deuxièmement, les prémisses elles-mêmes doivent être vraies. Un argument répondant à ces deux conditions est appelé son., De ces deux conditions, le logicien en tant que tel ne s’occupe que de la première; la seconde, la détermination de la vérité ou de la fausseté des prémisses, est la tâche d’une discipline particulière ou d’une observation commune appropriée au sujet de l’argument. Lorsque la conclusion d’un argument est correctement déductible de ses prémisses, l’inférence des prémisses à la conclusion est dite (déductivement) valide, que les prémisses soient vraies ou fausses., D’autres façons d’exprimer le fait qu’une inférence est déductivement valide sont de dire que la vérité des prémisses donne (ou donnerait) une garantie absolue de la vérité de la conclusion ou que cela impliquerait une incohérence logique (distincte d’une simple erreur de fait) de supposer que les prémisses étaient vraies mais la conclusion fausse.
les inférences déductives qui concernent la logique formelle sont, comme leur nom l’indique, celles pour lesquelles la validité ne dépend pas des caractéristiques de leur sujet, mais de leur forme ou de leur structure. Ainsi, les deux inférences (1) Chaque chien est un mammifère. Certains quadrupèdes sont des chiens. ∴ Certains quadrupèdes sont des mammifères. et (2) Tout anarchiste croit en l’amour libre. Certains membres du parti gouvernemental sont anarchistes. Some certains membres du parti gouvernemental croient en l’amour libre., diffèrent dans le sujet et nécessitent donc des procédures différentes pour vérifier la vérité ou la fausseté de leurs locaux. Mais leur validité est assurée par ce qu’ils ont en commun—à savoir que l’argument de chacun est de la forme(3) Chaque X est un Y. certains Z sont des X. Some certains Z sont des Y.
la ligne (3) ci-dessus peut être appelée une forme d’inférence, et (1) et (2) sont alors des instances de cette forme d’inférence. Les lettres-X, Y et Z – IN (3) marquent les endroits dans lesquels des expressions d’un certain type peuvent être insérées., Les symboles utilisés à cette fin sont appelés variables; leur utilisation est analogue à celle du x en algèbre, qui marque l’endroit dans lequel un chiffre peut être inséré. Une instance d’une forme d’inférence est produite en remplaçant toutes les variables par des expressions appropriées (c’est-à-dire celles qui ont un sens dans le contexte) et en le faisant uniformément (c’est-à-dire en remplaçant la même expression partout où la même variable se reproduit)., La caractéristique de (3) qui garantit que chaque instance de celui-ci sera valide est sa construction de telle manière que chaque façon uniforme de remplacer ses variables pour rendre les prémisses vraies rend automatiquement la conclusion vraie aussi, ou, en d’autres termes, qu’aucune instance de celui-ci ne peut avoir de vraies prémisses mais une fausse conclusion. En vertu de cette caractéristique, la forme (3) est appelée une forme d’inférence valide. En revanche, (4) Chaque X est un Y. certains Z sont des Y. Some certains Z sont des X., n’est pas une forme d’inférence valide, car, bien que des instances de celle—ci puissent être produites dans lesquelles les prémisses et la conclusion sont toutes vraies, des instances de celle-ci peuvent également être produites dans lesquelles les prémisses sont vraies mais la conclusion est fausse-par exemple,(5) chaque chien est un mammifère. Certaines créatures ailées sont des mammifères. ∴ Certaines créatures ailées sont des chiens.
la logique formelle en tant qu’étude concerne les formes d’inférence plutôt que leurs instances particulières. L’une de ses tâches est de faire la distinction entre les formes d’inférence valides et invalides et d’Explorer et de systématiser les relations qui existent entre les formes valides.,
étroitement liée à l’idée d’une forme d’inférence valide est celle d’une forme de proposition valide. Une forme de proposition est une expression dont les instances (produites comme auparavant par des remplacements appropriés et uniformes pour les variables) ne sont pas des inférences de plusieurs propositions à une conclusion, mais plutôt des propositions prises individuellement, et une forme de proposition valide est une forme pour laquelle toutes les instances sont de vraies propositions. Un exemple simple est (6) rien n’est à la fois un X et un non-X. La logique formelle s’intéresse aux formes de proposition ainsi qu’aux formes d’inférence., L’étude des formes de proposition peut, en effet, être faite pour inclure celle des formes d’inférence de la manière suivante: que les prémisses de toute forme d’inférence donnée (prises ensemble) soient abrégées par alpha (α) et sa conclusion par bêta (β). Ensuite, la condition énoncée ci-dessus pour la validité de la forme d’inférence « α, donc β” revient à dire qu’aucune instance de la forme de proposition « α ET NON—β” n’est vraie-c’est—à-dire que chaque instance de la forme de proposition(7) pas les deux: α ET NON-β est vraie-ou que la ligne (7),, L’étude des formes de proposition, cependant, ne peut pas être adaptée de la même manière sous l’étude des formes d’inférence, et donc pour des raisons d’exhaustivité, il est habituel de considérer la logique formelle comme l’étude des formes de proposition. Parce que le traitement des formes de proposition par un logicien est à bien des égards analogue au traitement des formules numériques par un mathématicien, les systèmes qu’il construit sont souvent appelés calculs.
une grande partie du travail d’un logicien produit à un niveau plus abstrait que celui de l’analyse qui précède., Même une formule telle que (3) ci-dessus, bien que ne faisant référence à aucun sujet spécifique, contient des expressions comme « chaque” et « est a”, qui sont considérées comme ayant une signification définie, et les variables sont destinées à marquer les lieux pour les expressions d’un type particulier (grosso modo, noms communs ou noms de classe). Il est cependant possible—et à certaines fins, il est essentiel-d’étudier les formules sans même leur attacher ce degré de signification., La construction d’un système de logique implique en effet deux processus distincts: l’un consiste à mettre en place un appareil symbolique—un ensemble de symboles, des règles pour les assembler en formules et des règles pour manipuler ces formules; le second consiste à attacher certaines significations à ces symboles et formules. Si seulement le premier est fait, le système est dit non interprété, ou purement formel; si ce dernier est fait aussi bien, le système est dit interprété., Cette distinction est importante, car les systèmes de logique se révèlent avoir certaines propriétés tout à fait indépendamment des interprétations qui peuvent leur être imposées. Un système axiomatique de logique peut être pris comme exemple—c’est-à-dire un système dans lequel certaines formules non prouvées, appelées axiomes, sont prises comme points de départ, et d’autres formules (théorèmes) sont prouvées sur la force de celles-ci., Comme cela apparaîtra plus tard (voir ci-dessous axiomatisation de PC), la question de savoir si une séquence de formules dans un système axiomatique est une preuve ou non dépend uniquement des formules prises comme axiomes et de ce que sont les règles pour dériver des théorèmes à partir d’axiomes, et pas du tout de ce que signifient les théorèmes ou axiomes. De plus, un système non interprété donné est en général capable d’être interprété aussi bien de différentes manières; par conséquent, en étudiant un système non interprété, on étudie la structure qui est commune à une variété de systèmes interprétés., Normalement, un logicien qui construit un système purement formel a une interprétation particulière à l’esprit, et son motif pour la construire est la croyance que lorsque cette interprétation lui est donnée, les formules du système seront capables d’exprimer de vrais principes dans un domaine de pensée; mais, pour les raisons ci-dessus, entre autres, il prendra généralement soin de décrire les formules et d’énoncer les règles du système sans référence à l’interprétation et d’indiquer séparément l’interprétation qu’il a à l’esprit.,
de nombreuses idées utilisées dans l’exposition de la logique formelle, y compris certaines qui sont mentionnées ci-dessus, soulèvent des problèmes qui appartiennent à la philosophie plutôt qu’à la logique elle-même. Des exemples sont: Quelle est l’analyse correcte de la notion de vérité? Qu’est ce qu’une proposition, et comment est-elle liée à la phrase par laquelle il est exprimé? Existe-t-il des types de raisonnement solide qui ne sont ni déductifs ni inductifs?, Heureusement, il est possible d’apprendre à faire de la logique formelle sans avoir de réponses satisfaisantes à de telles questions, tout comme il est possible de faire des mathématiques sans répondre à des questions appartenant à la philosophie des mathématiques telles que: les nombres sont-ils des objets réels ou des constructions mentales?