PhilosophieLa philosophie, du grec ancien (composé de , « aimer », et de , « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique. Cette réflexion n’est pas pour autant le propre d’un homme en particulier mais de tout homme dans sa dimension proprement humaine même si certains penseurs en ont fait le cœur de leur activité.
Logique paracohérenteEn logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien .
Principe d'explosionEn logique mathématique, le principe d'explosion, énoncé en latin ou encore , ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction. Certaines autres logiques comme les logiques non-monotones, qui tentent de gérer des cas particuliers, la logique minimale ou les logiques paracohérentes ne possèdent pas de principes d'explosion et tentent de gérer les contradictions différemment.
RationalitéEn philosophie, en psychologie et en sociologie, la rationalité est un concept servant à définir et mesurer la capacité de raisonnement, telle qu'elle se manifeste dans un (ou des) comportement(s) humain(s). Plus précisément, le mot désigne la qualité de ce qui, dans l’ordre de la connaissance, est (c'est-à-dire relevant de l'usage de la raison, ou intellect) et de ce qui, plus rarement, dans l’ordre de la pratique, relève du raisonnable.
Logique classiqueLa logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne.
