[D01] qu’est-Ce que la logique?

alors qu’est-ce que la logique? En bref, nous pourrions définir la logique comme l’étude des principes du raisonnement correct. C’est une définition approximative, car la façon dont la logique doit être correctement définie est en fait une question assez controversée. Cependant, aux fins de cette visite, nous avons pensé qu’il serait utile de vous donner au moins une idée approximative du sujet que vous étudierez. C’est donc ce que nous allons essayer de faire sur cette page.

§1., La logique n’est pas la psychologie du raisonnement

Une chose que vous devriez noter à propos de cette définition est que la logique est concernée par les principes du raisonnement correct. Étudier les principes corrects du raisonnement n’est pas la même chose que d’étudier la psychologie du raisonnement. La logique est l’ancienne discipline, et il nous dit comment on doit raisonner si nous voulons raisonner correctement. Que les gens suivent réellement ces règles de raisonnement correct est une question empirique, quelque chose qui ne relève pas de la logique.

la psychologie du raisonnement, quant à elle, est une science empirique., Il nous parle des habitudes de raisonnement réelles des gens, y compris leurs erreurs. Un psychologue étudiant le raisonnement pourrait être intéressé par la façon dont la capacité des gens à raisonner varie avec l’âge. Mais de tels faits empiriques ne préoccupent pas le logicien.

§2. Les principes de la logique

Alors, quels sont ces principes de raisonnement qui font partie de la logique? Il existe de nombreux principes de ce type, mais la principale (et non la seule) chose que nous étudions en logique sont les principes régissant la validité des arguments – si certaines conclusions découlent de certaines hypothèses données., Par exemple, considérons les trois arguments suivants :

ces trois arguments sont évidemment de bons arguments dans le sens où leurs conclusions découlent des hypothèses. Si les hypothèses de l’argument sont vraies, la conclusion de l’argument doit être aussi vrai. Un logicien nous dira que ce sont tous des cas d’une forme particulière d’argument connu sous le nom de « modus ponens »:

Si P, alors Q. P. donc, Q.

Nous discuterons à nouveau de la validité plus tard. Il convient de souligner que la logique ne concerne pas seulement la validité des arguments., La logique étudie également la cohérence, les vérités logiques et les propriétés des systèmes logiques telles que l’exhaustivité et la solidité. Mais nous verrons que ces autres concepts sont également très liés au concept de validité.

§3. Neutralité du sujet

Modus ponens pourrait être utilisé pour illustrer deux caractéristiques sur les règles de raisonnement en logique. La première caractéristique est sonstopique-neutralité. Comme le suggèrent les quatre exemples, modus ponenspeut être utilisé dans le raisonnement sur divers sujets. Ceci est vrai de tous lesprincipes de raisonnement en logique., Les lois de la biologie pourraient ne concerner que les créatures vivantes, et les lois de l’économie ne s’appliquent qu’aux collections d’agents qui interviennent dans les transactions financières. Mais les principes de la logique sont des principes universels qui sont plus généraux que la biologie et l’économie. C’est en partie ce qui est impliqué dans les définitions suivantes de la logique par deux logiciens très célèbres :

… le nom d’une discipline qui analyse la signification des concepts communs à toutes les sciences, et établit les lois générales régissant les concepts.,

§4. Nécessité en logique

Une deuxième caractéristique des principes de la logique estqu’ils ne sont pas contingents, en ce sens qu’ils ne dépendent pas de toutes les caractéristiques accidentelles particulières du monde., La physique et l’autresciences empiriques étudient la façon dont le monde est réellement.Les physiciens pourraient nous dire qu’aucun signal ne peut voyager plus vite que la vitesse de la lumière, mais si les lois de la physique ont été différentes, cela n’aurait peut-être pas été vrai. De même, les biologistes pourraient étudier comment les dauphins communiquent entre eux, mais si le cours de l’évolution avait été différent, alors peut-être que les dauphins n’auraient pas existé. Donc, les théories dans les sciences empiriques sont contingentes dansle sens où ils auraient pu être autrement., Les principes de la logique, d’autre part, sont dérivés en utilisant uniquement le raisonnement, et leur validitépend d’aucune caractéristique contingente du monde.

par exemple, la logique nous dit que toute instruction de la forme « IfP then P. » est nécessairement vraie. C’est un principe du second type que les logiciens étudient. Ce principe nous dit qu’un énoncé tel que « s’il pleut, alors il pleut » doit être vrai. Nous pouvons facilement seethat c’est effectivement le cas, si oui ou non il est fait pleuvoir.,De plus, même si les lois de la physique ou les modèles météorologiques étaient changés, cette affirmation restera vraie. Ainsi, nous disons que scientifiqueles vérités (mathématiques mises à part) sont contingentes alors que les vérités logiques sont nécessaires. Encore une fois, cela montre en quoi la logique est différente des sciences empiriques comme la physique, la chimie ou la biologie.

§5. Logique formelle et informelle

parfois, une distinction est faite entre logique informelle et logique formelle.Le terme « logique informelle » est souvent utilisé pour signifier la même chose pensée ascritique., Parfois, il est utilisé pour se référer à l’étude dele raisonnement et les erreurs dans le contexte de la vie quotidienne. La « logique formelle » concerne principalement les systèmes formels de logique. Ce sont spécialementsystèmes construits pour effectuer des preuves, où les langages et les règles de raisonnement sont précisément et soigneusement définis. La logique sententielle (également connue sous le nom de « logique propositionnelle ») et la logique des prédicats sont deux exemples de systèmes formels de logique.

Il existe de nombreuses raisons d’étudier la logique formelle., La première est que formallogic nous aide à identifier les modèles de bon raisonnement et les modèles de mauvais raisonnement, afin que nous sachions lesquels suivre et lesquels éviter. C’est pourquoi étudier la logique formelle de base peut aider à améliorer la pensée critique. Les systèmes formels de logique sont également utilisés par les linguistes pour étudier les langues naturelles.Les informaticiens utilisent également des systèmes formels de logique dans la rechercherelating to Aritificial Intelligence. Enfin, de nombreux philosophes aiment également utiliser la logique formelle lorsqu’ils traitent de problèmes philosophiques compliqués, afin de rendre leur raisonnement plus explicite et précis.

§6., Autres lectures

• entrées sur logicin The Stanford Encyclopedia of Philosophy. Ce sont des articles difficiles sur la philosophie de la logique.