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 == ...

{{confusion|Logique probabiliste}} {{Ébauche|Logique}} ...

...ionnelle]] énonce que toute proposition impliquée par sa propre [[Négation logique|négation]] est vraie. ...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 ...

{{ébauche|logique}} Une '''valeur de vérité''' est une valeur attribuée à chaque proposition logique. ...

{{ébauche | date = août 2022|logique|philosophie| Grèce antique}} ...position]], dont les deux premières sont celles du dilemme et la quatrième la négation du [[tiers exclus]]. En Grèce, [[Aristote]] le considérait comme u ...

...us ponens]]'' et au'' [[modus tollens]]''. Il est généralement décrit sous la forme : # Anne et Bill ne peuvent pas gagner la course. ...

{{Homophone|Example}}{{ébauche|logique}} ...l'argumentation, la littérature ou les [[Science|sciences]] pour faciliter la compréhension et rendre les notions abstraites plus accessibles. ...

{{ébauche|logique}} ...e)|propriété]] ou [[Relation binaire|relation]] définies par une [[Formule logique|formule]]. D'ordinaire, seules les formules du [[calcul des prédicats|calcu ...

...plato.stanford.edu/entries/chisholm Entrée] sur [[Roderick Chisholm]] dans la ''[[Stanford Encyclopedia of Philosophy]]''.</ref>. ...'une violation originelle d'une première [[norme]] morale. Il s'exprime de la façon suivante : ...

{{é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 ...

...-5.pdf|archiveurl=|archivedate=|accès url=}}</ref>. Dans la notation de la logique modale, cela peut s'écrire <math>\phi \leftrightarrow \Box \phi</math>. ...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 ...

...dénotation'' par opposition au ''sens''|la ''dénotation'' par opposition à la ''connotation''|Dénotation et connotation}} ...''' ou '''dénotation''' est l'objet dont parle un mot ou une [[Expression (logique)|expression]]. Par exemple l'expression « [[wikt:astre du jour|Astre du jou ...

...(A \to B) \to A) \to A</math> où <math>\to</math> désigne l'[[implication (logique)|implication]]. Elle a été proposée par le logicien et philosophe [[Charles ...eul de ces principes à la logique intuitionniste redonne la totalité de la logique classique. ...

{{Titre mis en forme|''De dicto'' et ''de re''}} {{Langue du titre|la}} ...

...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 ...Système formel|systèmes formels]] sans tenir compte de l'[[Interprétation (logique)|interprétation]] ou du [[Sens (linguistique)|sens]] qui leur est donné. ...

|image=Een deel van de publicaties van EW Beth.png ...ussi la philosophie et la psychologie et en 1935 il obtient un doctorat en philosophie. ...

...ture considérée est plus grande. À l'inverse, la [[spécialisation]] permet de se focaliser davantage sur certains objets ayant des caractéristiques commu == La généralisation dans les sciences == ...

...uteur1=D. Bonnay|auteur2=Mikael Cozic|titre=Introduction à la logique et à la sémantique formelle|url=http://mikael.cozic.free.fr/CogQR.pdf |format=pdf | ...b|langue=fr|format=pdf|auteur1=Géraud Sarrebourse de la Guillonnière|titre=Logique|url=https://cel.archives-ouvertes.fr/cel-00765691v1|date=23/01/2012|consult ...

...raposée''' de « si A alors B ». Par exemple, la proposition contraposée de la proposition « s'il pleut, alors le sol est mouillé » est « si le sol n'est ...d'inférence selon laquelle, si une proposition est vraie, alors il en est de même pour sa proposition contraposée. ...

...nstitut de mathématiques de [[Luminy]] (devenu l'Institut de Mathématiques de Marseille depuis le {{date-|1 janvier 2014}}). ...t de l'[[Académie des sciences (France)|Académie des sciences]], et membre de l'Académie européenne depuis 1995. ...