Concept
Logique philosophique
Concepts associés (16)
Logique
La logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Implication (logique)
En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « ... implique ... », « ... seulement si ... » ou, de façon équivalente, « si ..., alors ... » comme dans la phrase « s'il pleut, alors il y a des nuages ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).
Logique paracohérente
En 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 .
Philosophie
La 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 modale
En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
Logique informelle
La logique informelle, intuitivement, est l'étude des principes de la logique et de la pensée logique en dehors d'une théorie formelle, c'est-à-dire abstraite. Cependant, peut-être à cause de la mention du terme informelle dans le titre, la définition précise de la logique informelle est un sujet de litige. Ralph H. Johnson et J. Anthony Blair définissent la logique informelle comme « une branche de la logique dont la tâche est de développer des normes, des critères, des procédures non formels pour l'analyse, l'interprétation, l'évaluation, la critique et la construction de l'argumentation ».
Logique non classique
En logique mathématique, les logiques non classiques sont des logiques formelles qui diffèrent de façon significative de la logique classique. L'adjectif « classique » a un sens normatif autrement dit , il qualifie ce qui est habituel. Les logiques classiques adoptent effectivement des principes usuels comme le tiers exclu, le principe d'explosion, le raisonnement par l'absurde, l'usage de tables de vérité, etc. Dans les logiques non classiques, on étudie des variations, par exemple en supprimant des principes, ou en ayant plus de deux valeurs de vérité.
Logique épistémique
La logique épistémique est une logique modale qui permet de raisonner à propos de la connaissance d'un ou plusieurs agents. Elle permet aussi de raisonner sur les connaissances des connaissances des autres agents, etc. Son nom est tiré du nom grec epistḗmē qui signifie « connaissance » (du verbe epístamai « savoir »), d'où vient aussi le mot épistémologie. L'application de la logique épistémique à l'économie a été promue par Robert Aumann, Prix Nobel d'économie 2005. Elle a été introduite par et Jaakko Hintikka.
Deviant logic
Deviant logic is a type of logic incompatible with classical logic. Philosopher Susan Haack uses the term deviant logic to describe certain non-classical systems of logic. In these logics: the set of well-formed formulas generated equals the set of well-formed formulas generated by classical logic. the set of theorems generated is different from the set of theorems generated by classical logic. The set of theorems of a deviant logic can differ in any possible way from classical logic's set of theorems: as a proper subset, superset, or fully exclusive set.
Carré logique
Le carré logique ci contre représente les oppositions logiques entre les quatre propositions : Proposition notée A, universelle affirmative : « tous les S sont P » (SaP : S are all P) Proposition notée E, universelle négative : « aucun S n'est P » ou « tous les S sont non-P » (SeP : S excluded from P) Proposition notée I, particulière affirmative : « au moins un S est P » (SiP : some S in P). Proposition notée O, particulière négative : « au moins un S est non-P » (SoP : some S out of P), qui exprime la précédente négativement.