Résultats de la recherche
Pour les articles homonymes, voir Kripke. Saul Kripke Saul Kripke en 2005. Saul Kripke, né le 13 novembre 1940 à Bay Shore dans l'État de New York et mort...16 kio (1 766 mots) - 1 mai 2024 à 10:37- Certaines informations figurant dans cet article ou cette section devraient être mieux reliées aux sources mentionnées dans les sections « Bibliographie »...12 kio (1 694 mots) - 26 décembre 2023 à 21:16
Pour les articles homonymes, voir Scott. Cet article est une ébauche concernant un mathématicien. Vous pouvez partager vos connaissances en l’améliorant...6 kio (388 mots) - 28 janvier 2024 à 09:29- La nécessité est une catégorie modale qui s'oppose à la contingence : est nécessaire ce qui ne peut pas ne pas être, ce qui doit être. Une proposition...3 kio (405 mots) - 27 février 2024 à 11:39
- Cet article ne cite pas suffisamment ses sources (janvier 2023). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites...10 kio (1 393 mots) - 24 octobre 2024 à 21:58
Cet article est une ébauche concernant un philosophe et la logique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...26 kio (3 100 mots) - 3 mars 2024 à 20:11
Pour les articles homonymes, voir Mondes possibles (homonymie). Cet article est une ébauche concernant la philosophie et la logique. Vous pouvez partager...22 kio (2 737 mots) - 26 décembre 2023 à 21:20
En logique mathématique et plus précisément en théorie de la démonstration, la logique linéaire est un système formel inventé par le logicien Jean-Yves...19 kio (1 928 mots) - 29 octobre 2024 à 14:19
Pour les articles homonymes, voir Wright. Cet article est une ébauche concernant un philosophe. Vous pouvez partager vos connaissances en l’améliorant...5 kio (524 mots) - 24 juillet 2024 à 14:40
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...18 kio (2 538 mots) - 26 décembre 2023 à 21:13- Cet article est une ébauche concernant la logique et l’informatique théorique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon...8 kio (1 018 mots) - 22 mai 2023 à 12:12
- 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...26 kio (4 183 mots) - 16 octobre 2023 à 16:56
- 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...9 kio (1 343 mots) - 19 juillet 2024 à 07:55
- Une structure de Kripke est un modèle de calcul, proche d'un automate fini non déterministe, inventé par Saul Kripke. Elle est utilisée par exemple dans...7 kio (1 011 mots) - 26 décembre 2023 à 21:28
- L'actualisme est la focalisation sur ce qui est actuel. Conception selon laquelle on utilise le présent pour penser et expliquer le passé, c’est-à-dire...1 kio (134 mots) - 19 novembre 2023 à 02:29
- Cet article est une ébauche concernant la logique et l’économie. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...7 kio (997 mots) - 13 février 2023 à 09:30
- Cet article est une ébauche concernant la logique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets...8 kio (1 002 mots) - 26 décembre 2023 à 21:29
- Cet article ne cite pas suffisamment ses sources (septembre 2016). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites...4 kio (548 mots) - 30 juin 2024 à 18:50
- Il y a deux paradoxes de Chisholm, du nom du philosophe Roderick Chisholm. Le premier concerne le paradoxe des obligations contraires au devoir ; le second...2 kio (315 mots) - 16 mai 2024 à 20:06
- En logique, la logique temporelle linéaire, (LTL) est une logique temporelle modale avec des modalités se référant au temps. En LTL, on peut coder des...15 kio (1 478 mots) - 28 octobre 2024 à 10:19
