Concept
Logique épistémique
Concepts associés (16)
Multimodal logic
A multimodal logic is a modal logic that has more than one primitive modal operator. They find substantial applications in theoretical computer science. A modal logic with n primitive unary modal operators is called an n-modal logic. Given these operators and negation, one can always add modal operators defined as if and only if . Perhaps the first substantive example of a two-modal logic is Arthur Prior's tense logic, with two modalities, F and P, corresponding to "sometime in the future" and "sometime in the past".
Connaissance commune
Une connaissance commune est une connaissance ou un savoir partagé par un groupe d'agents où tous savent que tous la partagent, et tous savent que tous savent que tous la partagent etc. Ce concept a d'abord été introduit par le philosophe David Kellogg Lewis dans son maître ouvrage Convention (1969) puis formalisé mathématiquement en théorie ensembliste par Robert Aumann qui en a aussi développé l'intérêt en économie et théorie des jeux, notamment dans le cadre de la « théorie de la décision interactive » pour lequel il fut récompensé du « Prix Nobel » d'économie en 2005.
Induction puzzles
Induction puzzles are logic puzzles, which are examples of multi-agent reasoning, where the solution evolves along with the principle of induction. A puzzle's scenario always involves multiple players with the same reasoning capability, who go through the same reasoning steps. According to the principle of induction, a solution to the simplest case makes the solution of the next complicated case obvious. Once the simplest case of the induction puzzle is solved, the whole puzzle is solved subsequently.
Modal operator
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional in the following sense: The truth-value of composite formulae sometimes depend on factors other than the actual truth-value of their components. In the case of alethic modal logic, a modal operator can be said to be truth-functional in another sense, namely, that of being sensitive only to the distribution of truth-values across possible worlds, actual or not.
Logique doxastique
Doxastic logic is a type of logic concerned with reasoning about beliefs. The term derives from the Ancient Greek (doxa, "opinion, belief"), from which the English term doxa ("popular opinion or belief") is also borrowed. Typically, a doxastic logic uses the notation to mean "It is believed that is the case", and the set denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator. There is complete parallelism between a person who believes propositions and a formal system that derives propositions.
Logique dynamique
La logique dynamique est une extension de la logique modale destiné au raisonnement portant sur des programmes informatiques et appliqué plus tard à des comportements complexes plus généraux découlant de la linguistique, de la philosophie, IA, et d'autres domaines. Vaughan Pratt, "Semantical Considerations on Floyd-Hoare Logic", Proc. 17th Annual IEEE Symposium on Foundations of Computer Science, 1976, 109-121. David Harel, Dexter Kozen, and Jerzy Tiuryn, "Dynamic Logic". MIT Press, 2000 (450 pp).
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).
Sémantique de Kripke
En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. Un cadre de Kripke est un couple (W, R), où W est un ensemble de mondes appelés parfois mondes possibles et où R est une relation binaire sur W. L'ensemble W s'appelle parfois l'univers des mondes possibles.
Stoïcisme
vignette|Buste de Zénon de Kition, le fondateur du stoïcisme. Le stoïcisme est une école de philosophie hellénistique fondée par Zénon de Kition à la fin du à Athènes. Le stoïcisme est une philosophie de l'éthique personnelle influencée par son système logique et ses vues sur le monde naturel. Selon ses enseignements, en tant qu'êtres sociaux, la voie de l’eudaimonia (, le bonheur, la prospérité) pour les êtres humains consiste à accepter le moment tel qu'il se présente, à ne pas se laisser contrôler par le désir du plaisir ni la peur de la douleur, à utiliser son esprit pour comprendre le monde et à faire sa part dans le plan de la nature, à œuvrer avec les autres et à les traiter de manière juste et équitable.
Logique modale normale
En logique, une logique modale normale est un ensemble L de formules modales tel que L contient: Toutes les tautologies propositionnelles; Toutes les instances du schéma de Kripke: et est limité sous: Règle détachement (Modus Ponens): ; règle de nécessitation: implique . La plus petite logique répondant aux conditions ci-dessus est appelé K. La plupart des logiques modales couramment utilisés de nos jours (en termes de motivations philosophiques), par exemple Le S4 et S5 de C. I. Lewis, sont des extensions de K.