QCM : Introduction aux Fondements de la Logique et de la Vérité — 5 questions

Explication

Un raisonnement déductif est caractérisé par le fait que la conclusion découle nécessairement des prémisses si celles-ci sont vraies, ce qui garantit la validité du raisonnement.

Explication

Anselme de Canterbury, au XIe siècle, est connu pour avoir formulé l'argument ontologique, qui tente de prouver l'existence de Dieu par sa définition même. Thomas d'Aquin, Descartes et Kant ont travaillé sur d'autres sujets ou arguments, mais pas spécifiquement cet argument au XIe siècle.

Explication

L'argument ontologique, développé par Anselme, vise à prouver l'existence de Dieu à partir de sa définition comme étant l’être le plus parfait, en utilisant la raison seule.

Explication

La preuve par contraposée a été formalisée par Aristote au IVe siècle av. J.-C., ce qui en fait la méthode de preuve la plus ancienne parmi celles proposées. Les autres méthodes ont été développées ou formalisées plus tard, notamment la preuve par induction dans le contexte mathématique du XIXe siècle, la preuve par l’absurde dès l’Antiquité, et la méthode hypothético-déductive dans la science moderne.

Explication

La preuve par contraposée est une technique spécifique de raisonnement déductif qui consiste à prouver une implication en montrant que sa contraposée est vraie. Elle appartient donc à la famille des raisonnements déductifs, contrairement à l'induction ou à d'autres méthodes. Les distracteurs évoquent des idées incorrectes ou confuses, comme l'induction ou l'absence de lien avec la logique formelle.