About: dbpedia-fr:Cohérence_(logique)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

AttributesValues
rdfs:label
  • Cohérence (logique) (fr)
  • Consistencia (lógica) (es)
  • Consistência (pt)
  • Konsistens (filosofi) (sv)
  • Niesprzeczność (pl)
  • Widerspruchsfreiheit (de)
  • Непротиворечивость (ru)
  • Несуперечність (uk)
  • 一致性 (邏輯) (zh)
rdfs:comment
  • En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des réalisations qui lui donnent un sens. (fr)
rdfs:seeAlso
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
prop-fr:fr
  • The Cambridge Dictionary of Philosophy (fr)
  • arithmétique récursive primitive (fr)
prop-fr:langue
  • en (fr)
prop-fr:trad
  • Primitive recursive arithmetic (fr)
foaf:isPrimaryTopicOf
has abstract
  • En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des réalisations qui lui donnent un sens. La première définition est syntaxique au sens où elle utilise des déductions ou démonstrations, qui sont des objets finis. Une théorie est dite dans ce sens cohérente ou consistante quand elle n'a pas pour conséquence tous les énoncés du langage dans lequel est exprimé la théorie, ou, de façon équivalente (car d'une contradiction on déduit n'importe quoi), quand elle ne permet pas de démontrer à la fois un énoncé et sa négation. Une telle théorie est dite également non-contradictoire. La seconde définition utilise la théorie des modèles : une théorie est cohérente quand elle possède un modèle, soit une structure mathématique dans laquelle s'interprètent les termes du langage, et qui satisfait tous les axiomes de la théorie, dit autrement il existe une structure telle que tous les axiomes de la théorie sont vrais dans cette structure. Ces deux définitions sont équivalentes par le théorème de correction et le théorème de complétude. Le premier a pour conséquence que tous les énoncés démontrables d'une théorie sont satisfaits par une structure qui satisfait les axiomes, et donc une théorie cohérente au sens sémantique est cohérente au sens syntaxique, car une structure ne peut satisfaire à la fois un énoncé et sa négation. Le théorème de complétude indique qu'une théorie cohérente au sens syntaxique possède un modèle, c'est-à-dire qu'elle est cohérente au sens sémantique. Ces deux théorèmes se démontrent en logique classique, en calcul des prédicats du premier ordre. (fr)
is dbo:wikiPageWikiLink of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software