Matches in DBpedia 2014 for { <http://dbpedia.org/resource/T-schema> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- T-schema abstract "The T-schema or truth schema (not to be confused with 'Convention T') is used to give an inductive definition of truth which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth. Some authors refer to it as the "Equivalence Schema", a synonym introduced by Michael Dummett.The T-schema is often expressed in natural language, but it can be formalized in many-sorted predicate logic or modal logic; such a formalisation is called a T-theory. T-theories form the basis of much fundamental work in philosophical logic, where they are applied in several important controversies in analytic philosophy.As expressed in semi-natural language (where 'S' is the name of the sentence abbreviated to S):'S' is true if and only if SExample: 'snow is white' is true if and only if snow is white.".
- T-schema wikiPageID "1063436".
- T-schema wikiPageRevisionID "544243364".
- T-schema hasPhotoCollection T-schema.
- T-schema subject Category:Logical_expressions.
- T-schema subject Category:Mathematical_logic.
- T-schema subject Category:Philosophical_logic.
- T-schema subject Category:Truth.
- T-schema comment "The T-schema or truth schema (not to be confused with 'Convention T') is used to give an inductive definition of truth which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth. Some authors refer to it as the "Equivalence Schema", a synonym introduced by Michael Dummett.The T-schema is often expressed in natural language, but it can be formalized in many-sorted predicate logic or modal logic; such a formalisation is called a T-theory.".
- T-schema label "Konvention T".
- T-schema label "T-schema".
- T-schema label "T-模式".
- T-schema sameAs Konvention_T.
- T-schema sameAs m.042s58.
- T-schema sameAs Q442383.
- T-schema sameAs Q442383.
- T-schema wasDerivedFrom T-schema?oldid=544243364.
- T-schema isPrimaryTopicOf T-schema.