| Property |
Value |
| dbo:abstract
|
- La déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses. L'analyse philosophique pose des questions comme « Dans quel sens une conclusion vient-elle des prémisses? » ou « Que signifie pour une conclusion d'être une conséquence de certaines prémisses ? ». La logique philosophique peut donc être définie comme la compréhension et l’analyse de la nature des conséquences logiques et de la vérité logique. Une déduction logique est définie de manière à être à la fois nécessaire et formelle et est explicitée dans des domaines comme la théorie des modèles, qui permet de trouver des univers mathématiques dans lesquels la relation est utile et fournit un sens aux formules, et la théorie de la démonstration, qui fournit un cadre théorique pour sa définition de manière syntaxique. Une formule est une conséquence d'un ensemble d'autres formules, dans un langage, si et seulement si, en utilisant la logique elle-même (c'est-à-dire sans chercher à donner un sens aux formules) la formule doit être vraie si toutes les formules de l’ensemble des prémisses sont elles aussi vraies. Les logiciens définissent précisément la déduction logique pour un langage formel en construisant un système déductif pour ce langage, ou alors en formalisant une interprétation des formules de ce langage qui leur donne une sémantique formelle. Alfred Tarski a déterminé trois conditions ou caractéristiques importantes que la relation de conséquence logique doit remplir : 1.
* la relation doit dépendre de la (en) (d'après la formule de Bertrand Russell), c'est-à-dire qu'elle ne doit pas dépendre du sens des termes mais doit rester valide si on remplace les mots par des variables ou par d'autres mots ; 2.
* elle doit être a priori et a posteriori, c'est-à-dire qu'il est possible de déterminer sa validité sans recourir à des preuves empiriques ou faire intervenir ses sens ; 3.
* elle doit avoir une composante modale. (fr)
- La déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses. L'analyse philosophique pose des questions comme « Dans quel sens une conclusion vient-elle des prémisses? » ou « Que signifie pour une conclusion d'être une conséquence de certaines prémisses ? ». La logique philosophique peut donc être définie comme la compréhension et l’analyse de la nature des conséquences logiques et de la vérité logique. Une déduction logique est définie de manière à être à la fois nécessaire et formelle et est explicitée dans des domaines comme la théorie des modèles, qui permet de trouver des univers mathématiques dans lesquels la relation est utile et fournit un sens aux formules, et la théorie de la démonstration, qui fournit un cadre théorique pour sa définition de manière syntaxique. Une formule est une conséquence d'un ensemble d'autres formules, dans un langage, si et seulement si, en utilisant la logique elle-même (c'est-à-dire sans chercher à donner un sens aux formules) la formule doit être vraie si toutes les formules de l’ensemble des prémisses sont elles aussi vraies. Les logiciens définissent précisément la déduction logique pour un langage formel en construisant un système déductif pour ce langage, ou alors en formalisant une interprétation des formules de ce langage qui leur donne une sémantique formelle. Alfred Tarski a déterminé trois conditions ou caractéristiques importantes que la relation de conséquence logique doit remplir : 1.
* la relation doit dépendre de la (en) (d'après la formule de Bertrand Russell), c'est-à-dire qu'elle ne doit pas dépendre du sens des termes mais doit rester valide si on remplace les mots par des variables ou par d'autres mots ; 2.
* elle doit être a priori et a posteriori, c'est-à-dire qu'il est possible de déterminer sa validité sans recourir à des preuves empiriques ou faire intervenir ses sens ; 3.
* elle doit avoir une composante modale. (fr)
|
| dbo:isPartOf
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 17949 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1936 (xsd:integer)
- 1965 (xsd:integer)
- 1975 (xsd:integer)
- 1982 (xsd:integer)
- 1988 (xsd:integer)
- 1990 (xsd:integer)
- 1991 (xsd:integer)
- 1997 (xsd:integer)
- 2001 (xsd:integer)
- 2002 (xsd:integer)
- 2003 (xsd:integer)
- 2005 (xsd:integer)
- 2008 (xsd:integer)
|
| prop-fr:auteur
|
- Ryszard Wójcicki (fr)
- Ryszard Wójcicki (fr)
|
| prop-fr:isbn
|
- 87 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:journal
|
- The Philosophical Review (fr)
- The Philosophical Review (fr)
|
| prop-fr:lienAuteur
|
- Alfred Tarski (fr)
- Martin Davis (fr)
- Frank Markham Brown (fr)
- Stewart Shapiro (fr)
- Vincent F. Hendricks (fr)
- W.V. Quine (fr)
- Alfred Tarski (fr)
- Martin Davis (fr)
- Frank Markham Brown (fr)
- Stewart Shapiro (fr)
- Vincent F. Hendricks (fr)
- W.V. Quine (fr)
|
| prop-fr:lieu
|
- New York (fr)
- Princeton (fr)
- Stanford (fr)
- Cambridge, MA (fr)
- New York (fr)
- Princeton (fr)
- Stanford (fr)
- Cambridge, MA (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Brown (fr)
- Davis (fr)
- Anderson (fr)
- Hendricks (fr)
- Shapiro (fr)
- Goble (fr)
- Hanson (fr)
- Quine (fr)
- Planchette (fr)
- Dummett (fr)
- Edgington (fr)
- Barwise (fr)
- Belnap (fr)
- Etchemendy (fr)
- Tarski (fr)
- Brown (fr)
- Davis (fr)
- Anderson (fr)
- Hendricks (fr)
- Shapiro (fr)
- Goble (fr)
- Hanson (fr)
- Quine (fr)
- Planchette (fr)
- Dummett (fr)
- Edgington (fr)
- Barwise (fr)
- Belnap (fr)
- Etchemendy (fr)
- Tarski (fr)
|
| prop-fr:pagesTotales
|
- 86 (xsd:integer)
- 474 (xsd:integer)
|
| prop-fr:prénom
|
- Michael (fr)
- John (fr)
- Jon (fr)
- Alfred (fr)
- Stewart (fr)
- P. A. (fr)
- Dorothy (fr)
- A.R. (fr)
- William H (fr)
- Vincent F. (fr)
- Frank Markham (fr)
- Lou, ed. (fr)
- Martin, (fr)
- N.D., Jr. (fr)
- W.V. (fr)
- Michael (fr)
- John (fr)
- Jon (fr)
- Alfred (fr)
- Stewart (fr)
- P. A. (fr)
- Dorothy (fr)
- A.R. (fr)
- William H (fr)
- Vincent F. (fr)
- Frank Markham (fr)
- Lou, ed. (fr)
- Martin, (fr)
- N.D., Jr. (fr)
- W.V. (fr)
|
| prop-fr:sousTitre
|
- Basic Theory of Consequence Operations (fr)
- The Logic of Boolean Equations (fr)
- the notion of logical consequence (fr)
- Basic Theory of Consequence Operations (fr)
- The Logic of Boolean Equations (fr)
- the notion of logical consequence (fr)
|
| prop-fr:titre
|
- Boolean Reasoning (fr)
- Conditionals (fr)
- Entailment (fr)
- Language, Proof and Logic (fr)
- Logical Consequence (fr)
- Methods of Logic (fr)
- Necessity, meaning, and rationality (fr)
- On the concept of logical consequence (fr)
- The Blackwell Guide to Philosophical Logic (fr)
- The Concept of Logical Consequence (fr)
- The Logical Basis of Metaphysics (fr)
- The concept of logical consequence (fr)
- Theory of Logical Calculi (fr)
- Thought 2 Talk : A Crash Course in Reflection and Expression (fr)
- The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions (fr)
- Boolean Reasoning (fr)
- Conditionals (fr)
- Entailment (fr)
- Language, Proof and Logic (fr)
- Logical Consequence (fr)
- Methods of Logic (fr)
- Necessity, meaning, and rationality (fr)
- On the concept of logical consequence (fr)
- The Blackwell Guide to Philosophical Logic (fr)
- The Concept of Logical Consequence (fr)
- The Logical Basis of Metaphysics (fr)
- The concept of logical consequence (fr)
- Theory of Logical Calculi (fr)
- Thought 2 Talk : A Crash Course in Reflection and Expression (fr)
- The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions (fr)
|
| prop-fr:volume
|
- 1 (xsd:integer)
- 106 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:wiktionary
|
- déduction (fr)
- déductif (fr)
- déduction (fr)
- déductif (fr)
|
| prop-fr:wiktionaryTitre
|
- déduction (fr)
- déductif (fr)
- déduction (fr)
- déductif (fr)
|
| prop-fr:éditeur
|
- Springer (fr)
- Princeton (fr)
- Harvard University Press (fr)
- Blackwell (fr)
- Raven Press (fr)
- Automatic Press / VIP (fr)
- CSLI Publications (fr)
- Springer (fr)
- Princeton (fr)
- Harvard University Press (fr)
- Blackwell (fr)
- Raven Press (fr)
- Automatic Press / VIP (fr)
- CSLI Publications (fr)
|
| dct:subject
| |
| rdfs:comment
|
- La déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses. L'analyse philosophique pose des questions comme « Dans quel sens une conclusion vient-elle des prémisses? » ou « Que signifie pour une conclusion d'être une conséquence de certaines prémisses ? ». La logique philosophique peut donc être définie comme la compréhension et l’analyse de la nature des conséquences lo (fr)
- La déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses. L'analyse philosophique pose des questions comme « Dans quel sens une conclusion vient-elle des prémisses? » ou « Que signifie pour une conclusion d'être une conséquence de certaines prémisses ? ». La logique philosophique peut donc être définie comme la compréhension et l’analyse de la nature des conséquences lo (fr)
|
| rdfs:label
|
- Consecuencia lógica (es)
- Déduction logique (fr)
- Implikacja logiczna (pl)
- Implikation (de)
- استتباع منطقي (ar)
- 蕴涵 (zh)
- Consecuencia lógica (es)
- Déduction logique (fr)
- Implikacja logiczna (pl)
- Implikation (de)
- استتباع منطقي (ar)
- 蕴涵 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:isPartOf
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
