Résultats de la recherche

...rend comme un calcul opérant avec des propositions désignant des actions. De façon très générale elle détermine les rapports logiques entre les différen == Importance de la logique de l’action == ...

{{ébauche | date = août 2022|logique|philosophie| Grèce antique}} ...ophies occidentales, quatre possibilités de vérité pour une [[Proposition (philosophie)|proposition]], dont les deux premières sont celles du dilemme et la quatri ...

{{ébauche|philosophie}} ...ath> [[Implication (logique)|implique]] <math>Q</math>, alors on acceptera de dire que l'individu sait que <math>Q</math><ref name="one">[http://plato.st ...

...ur virtuel. Selon Popper, plus un énoncé est falsifiable, plus il comporte de falsificateurs virtuels. == Degré de falsifiabilité == ...

...té d'une proposition à partir de l'inconsistance de sa négation. Cette loi de [[logique propositionnelle]] énonce que toute proposition impliquée par sa ...ue]]'' d'[[Aristote]], traité de jeunesse qui incitait à la pratique de la philosophie. Voir {{article|lang=en|nom=[[William Kneale|W. Kneale]]|titre=Aristotle an ...

Un '''exemple''' est une illustration concrète d'un [[Concept_(philosophie)|concept]], d'une [[idée]] ou d'un phénomène plus général. Il sert à clarif L'exemple est une [[figure de style]] courante en rhétorique. ...

{{ébauche|philosophie|mathématiques|théorie de la musique}} ...right|Détail de ''[[L'École d'Athènes]]'' de Raphaël montrant le diagramme de l'''epogdoon'']] ...

...ie des [[Entier naturel|entiers naturels]] : 0, 1, 2, 3, 4... Chaque terme de cette série est fini, mais à chaque étape on peut atteindre un nouvel entie ...iers et l'ensemble des entiers pairs, voir ''supra''.</ref>. Ce [[théorème de Cantor]], prouvant que tous les ensembles infinis n'ont pas la même taille, ...

En [[philosophie du langage]], la '''référence''' ou '''dénotation''' est l'objet dont parle ...ier la description, mais ils sont divisés sur le statut des [[Nom propre (philosophie)|noms propres]]. ...

...elui de l'[[identité]] à travers les [[mondes possibles]] (ou « [[Paradoxe de l'identité transmondaine|identité transmondaine]] »)<ref> [http://plato.sta ...t d'une violation originelle d'une première [[norme]] morale. Il s'exprime de la façon suivante : ...

...ssance|11|avril|1894}} à [[Heilbronn (ville)|Heilbronn]] et mort le {{date de mort|29|avril|1970}} à [[Zurich]]. ...[[Élie Cartan]] en 1933 que le nom de Finsler sera connu d'un grand nombre de mathématiciens. ...

En [[Liste de symboles logiques|notation logique]], ceci peut être représenté comme suit ...arre de Sheffer]], notée « | », l'inférence peut également être formalisée de la manière suivante : ...

{{Ébauche|géométrie|philosophie}} ...exe]] (noté <nowiki>{</nowiki>{{Formatnum:1000}}<nowiki>}</nowiki>). C'est de ce dernier qu'il s'agit lorsqu'on dit « ''le'' chiliogone régulier ». ...

...laquelle toutes les propositions sont vraies, et toutes les contradictions de la forme « p et non p » (par exemple la boule est rouge et non rouge) sont ...té » pour éviter le trivialisme dans les pratiques logiques qui impliquent de véritables contradictions. ...

...SCHTFD-5.pdf|archiveurl=|archivedate=|accès url=}}</ref>. Dans la notation de la logique modale, cela peut s'écrire <math>\phi \leftrightarrow \Box \phi< ...en cause le [[libre arbitre]], cela conduit à la démolition de l'argument de Gödel<ref>{{Article|langue=en|auteur1=Pedersen|prénom1=Daniel J.|auteur2=Li ...

...ng lemma|langue=en|fr=Lemme couvrant|texte=lemmes couvrants}} de Jensen et de Dodd-Jensen. Il a prouvé que si 0^# ({{Lien|langue=en|trad=Zero s ...ie des sciences et de la technologie|Union internationale d'histoire et de philosophie des sciences]] (DLMPST/IUHPS). ...

...rsité Rockefeller]] et à l'[[Université du Minnesota]], et a été président de la Philosophy of Science Association. ...te=July 6, 2006 |consulté le=May 2, 2023}}</ref> et y reste jusqu'à la fin de sa carrière. ...

...fait différent d'un « antiréaliste » qui prétend qu'il n'est pas question de savoir si oui ou non il existe d'autres esprits non observables (par exempl == Antiréalisme en philosophie == ...

{{ébauche|Philosophie}} {{autre4|la théorie du tout en [[philosophie]]|son acception en [[physique]]|Théorie du tout}} ...

...mées]]. Un langage formel peut être considéré comme identique à l'ensemble de ses formules bien formées. L'ensemble des formules bien formées peut être d ...ges formels]] ou les [[Système formel|systèmes formels]] sans tenir compte de l'[[Interprétation (logique)|interprétation]] ou du [[Sens (linguistique)|s ...