Concept
Logique traditionnelle
Concepts associés (28)
Bertrand Russell
Infobox Philosophe | nom = Bertrand Russell | image = Bertrand Russell cropped.jpg | légende = Bertrand Russell en novembre 1957. | alt = Photographie en noir et blanc d'un homme aux cheveux blancs, mains jointes sur ses lunettes, observant le spectateur d'un air amusé | date de naissance = 18 mai 1872 | lieu de naissance = Trellech (Monmouthshire, Royaume-Uni) | date de décès = 2 février 1970 | lieu de décès = Penrhyndeudraeth (Gwynedd, Royaume-Uni) | tradition philosophique = Philosophie analytique | principaux intérêts = Logique, mathématiques, physique, éthique, religion, politique | œuvres principales = Principia Mathematica,De la dénotation | a influencé = Ludwig Wittgenstein, A.
Philosophie occidentale
La philosophie occidentale désigne la pensée philosophique et son élaboration en Occident, se distinguant ainsi de la philosophie orientale ou d'autres tendances diverses observées chez plusieurs peuples autochtones. Le terme est récent et est inventé pour désigner la pensée philosophique de la civilisation occidentale depuis ses racines grecques, en Grèce antique (voir philosophie antique) et couvrant éventuellement une grande partie du globe incluant l'Amérique du Nord et l'Australie.
Démonstration automatique de théorèmes
La démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
Concept (philosophie)
En logique, un concept est un contenu de pensée, qui, lorsqu'il est appliqué à un objet, peut former une proposition. En linguistique, le concept représente le signifié, c'est-à-dire le sens du mot, tandis que le mot lui-même constitue son signifiant. Le concept est un terme abstrait qui se distingue donc de la chose désignée par ce concept. Le terme lui-même est introduit au Moyen Âge (conceptus) par Thomas d'Aquin puis Guillaume d'Ockham et les autres philosophes scolastiques .
Vérité
thumb|Walter Seymour Allward, Veritas, 1920 thumb|Nec mergitur ou La Vérité sortant du puits, toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère. Cependant cette définition correspondantiste de la vérité n'est pas la seule, il existe de nombreuses définitions du mot et des controverses classiques autour des diverses théories de la vérité.
Gottlob Frege
Gottlob Frege (), de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne : le calcul des prédicats. Il est en outre considéré comme l'un des plus importants représentants du logicisme. C'est à la suite de son ouvrage Les Fondements de l'arithmétique, où il tente de dériver l'arithmétique de la logique, que Russell lui a fait parvenir le paradoxe qui porte son nom.
De l'interprétation
De l'interprétation est une œuvre d'Aristote, deuxième ouvrage de l'Organon, traitant des propositions. Cet ouvrage est aussi souvent mentionné sous son titre latin (De Interpretatione) ou grec (, Peri Hermeneias). Le deuxième livre de l’Organon, est connu sous le titre De l’interprétation en français ; l’appellation la plus usuelle chez les érudits est le titre latin De interpretatione. Ce livre introduit les concepts aristotéliciens de proposition et de jugement et étudie au chapitre 7 les quatre propositions marquées destinées à être employées dans le syllogisme.
Seconds Analytiques
Les Seconds Analytiques ou Analytiques postérieurs sont un ouvrage d'Aristote et constituent le quatrième livre de l'Organon (selon la classification des commentateurs antiques et médiévaux), et la seconde partie des Analytiques. Ils traitent, non plus comme les Premiers Analytiques, du syllogisme en général, mais d'un type particulier de syllogisme, le « syllogisme scientifique », ou démonstration. La science y est présentée comme un système déductif. Connaître, c'est connaître la cause, c'est-à-dire le d'une chose.
Isagogè
L’Introduction aux Catégories d'Aristote (en Εἰσαγωγὴ εἰς τὰς Ἀριστοτέλους κατηγορίας, ), est le titre conventionnel d'un ouvrage, plus connu sous le titre d’Isagogè, qui est une brève introduction aux Catégories d'Aristote, écrite au par Porphyre. Elle fut composée en Sicile durant les années 268-270, et dédiée à Chrysaorium, selon les commentateurs anciens Ammonios, Elias et David. Traduite du grec en latin par Boèce au , elle fut un manuel de référence pendant des siècles pour l'étude de la logique.
Logic in Islamic philosophy
Early Islamic law placed importance on formulating standards of argument, which gave rise to a "novel approach to logic" (منطق manṭiq "speech, eloquence") in Kalam (Islamic scholasticism). However, with the rise of the Mu'tazili philosophers, who highly valued Aristotle's Organon, this approach was displaced by the older ideas from Hellenistic philosophy. The works of al-Farabi, Avicenna, al-Ghazali and other Muslim logicians who often criticized and corrected Aristotelian logic and introduced their own forms of logic, also played a central role in the subsequent development of European logic during the Renaissance.