12 relations: Clarence Irving Lewis, Ensemble ordonné filtrant, Ensemble partiellement ordonné, Logique, Logique épistémique, Logique déontique, Logique modale, Modus ponens, Préordre, Relation d'équivalence, Sémantique de Kripke, Tautologie.
Clarence Irving Lewis
Clarence Irving Lewis est un philosophe et logicien pragmatiste américain, né le à Stoneham et mort le à Cambridge (Massachusetts).
Nouveau!!: Logique modale normale et Clarence Irving Lewis · Voir plus »
Ensemble ordonné filtrant
En mathématiques, un ensemble ordonné filtrant est un ensemble ordonné (c'est-à-dire dans lequel on peut dire que certains éléments sont plus grands que d'autres) tel que pour toute paire d'éléments, il existe un élément qui est plus grand que chaque élément de la paire.
Nouveau!!: Logique modale normale et Ensemble ordonné filtrant · Voir plus »
Ensemble partiellement ordonné
En mathématiques, un ensemble partiellement ordonné (parfois appelé poset d'après l'anglais) formalise et généralise la notion intuitive d'ordre ou d'arrangement entre les éléments d'un ensemble.
Nouveau!!: Logique modale normale et Ensemble partiellement ordonné · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos 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.
Nouveau!!: Logique modale normale et Logique · Voir plus »
Logique épistémique
La logique épistémique est une logique modale qui permet de raisonner à propos de la connaissance d'un ou plusieurs agents.
Nouveau!!: Logique modale normale et Logique épistémique · Voir plus »
Logique déontique
"Justicia", Giotto di Bondone (1267-1337), Capilla Scrovegni, Padoue, Italie. La logique déontique (du grec déon, déontos: devoir, ce qu'il faut, ce qui convient) tente de formaliser les rapports qui existent entre les quatre caractéristiques d'une loi: l'obligation, l'interdiction, la permission et le facultatif.
Nouveau!!: Logique modale normale et Logique déontique · Voir plus »
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.
Nouveau!!: Logique modale normale et Logique modale · Voir plus »
Modus ponens
Le modus ponens, ou détachement, est une figure du raisonnement logique concernant l'implication.
Nouveau!!: Logique modale normale et Modus ponens · Voir plus »
Préordre
En mathématiques, un préordre est une relation binaire réflexive et transitive.
Nouveau!!: Logique modale normale et Préordre · Voir plus »
Relation d'équivalence
En mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété.
Nouveau!!: Logique modale normale et Relation d'équivalence · Voir plus »
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.
Nouveau!!: Logique modale normale et Sémantique de Kripke · Voir plus »
Tautologie
La tautologie (du grec ancien, composé de, « la même chose », et, « parole »: ce qui dit la même chose) est une phrase ou un effet de style ainsi tourné que sa formulation ne puisse être que vraie.
Nouveau!!: Logique modale normale et Tautologie · Voir plus »