The T-schema ("truth schema", not to be confused with "Convention T") is used to check if an inductive definition of truth is valid, 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. As expressed in semi-natural language (where 'S' is the name of the sentence abbreviated to S):'S' is true if and only if S. Example: 'snow is white' is true if and only if snow is white.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Konvention T (de)
- T-schema (en)
- Esquema T (pt)
- T-模式 (zh)
|
| rdfs:comment
| - T-模式（也叫做约定T）是位于 Alfred Tarski 的真理的语义理论的任何实现的核心位置的，表达了真理在逻辑运算符上的交换性。 T-模式经常用自然语言表达，但它们很容易接纳或模态逻辑的形式化；比如叫做 T-理论的公式化。T-理论构成了哲学逻辑中很多基础工作的基础，它们被应用于分析哲学中很多重要争论。它们也是在模型论背后的基础直觉；或者说模型论实现了它们。 (zh)
- Unter Konvention T versteht man in der Sprachphilosophie den Leitgedanken der semantischen Wahrheitstheorie von Alfred Tarski. Sie wurde 1935 in seiner Publikation über das Wahrheitskonzept folgendermaßen formuliert: Vereinfacht gesagt handelt es sich dabei um eine konventionelle Bedingung für Wahrheitsdefinitionen in Sprachen. An eine auf solchen Definitionen aufbauende Wahrheitstheorie wird die Forderung gestellt, dass sie mit genügend deskriptivem Potenzial ausgestattet ist, um Aussagen der Form Die Aussage x ist der Fall ist wahr, wenn x der Fall ist oder um ein konkretes Beispiel zu nennen (de)
- The T-schema ("truth schema", not to be confused with "Convention T") is used to check if an inductive definition of truth is valid, 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. As expressed in semi-natural language (where 'S' is the name of the sentence abbreviated to S):'S' is true if and only if S. Example: 'snow is white' is true if and only if snow is white. (en)
- O esquema T ou esquema-verdade (não confundir com 'Convenção T') é usado para dar uma definição indutiva da verdade definida na teoria semântica da verdade de Alfred Tarski. Alguns autores o denominam "Esquema de Equivalência", um sinônimo introduzido por Michael Dummett. O esquema T normalmente é expresso na linguagem natural, mas pode ser formalizado na lógica de predicados ou na lógica modal. Tal formalização é denominada teoria T. Teorias-T formam a base de muitos trabalhos fundamentais da lógica filosófica, onde são aplicados em várias controvérsias importantes na filosofia analítica. (pt)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - Unter Konvention T versteht man in der Sprachphilosophie den Leitgedanken der semantischen Wahrheitstheorie von Alfred Tarski. Sie wurde 1935 in seiner Publikation über das Wahrheitskonzept folgendermaßen formuliert: Eine formal korrekte Definition des Symbols Tr, formuliert in einer Metasprache, wird eine adäquate Definition der Wahrheit genannt, wenn sie folgende Konsequenzen hat:(a) Alle Sätze, die aus dem Ausdruck "Tr(x) genau dann, wenn p" erhalten werden, wenn das Symbol x durch einen strukturell-deskriptiven Namen irgendeines Satzes der betrachteten Sprache und das Symbol p durch den Ausdruck ersetzt wird, der die Übersetzung dieses Ausdrucks in die Metasprache bildet, können aus ihr abgeleitet werden.(b) Der Satz für alle x: wenn Tr(x), dann S(x) (mit anderen Worten: Tr ᑕ S) kann aus ihr abgeleitet werden. Vereinfacht gesagt handelt es sich dabei um eine konventionelle Bedingung für Wahrheitsdefinitionen in Sprachen. An eine auf solchen Definitionen aufbauende Wahrheitstheorie wird die Forderung gestellt, dass sie mit genügend deskriptivem Potenzial ausgestattet ist, um Aussagen der Form Die Aussage x ist der Fall ist wahr, wenn x der Fall ist oder um ein konkretes Beispiel zu nennen Die Aussage Schnee ist weiß ist wahr, wenn Schnee weiß ist zu konstruieren. Die Konvention fordert somit die Existenz einer Metasprache, die neben logischen Verknüpfungen und Objekten vor allem auch das Prädikat „ist wahr“ enthält. Die Metasprache muss demnach reichhaltiger sein als die Sprache, in der die Aussagen vom Typ „x ist der Fall“ konstruiert werden (die so genannte Objektsprache). Die „Konvention T“ ist also ein Versuch, Wahrheitsattributionen (im Kontext der zu Grunde liegenden Sprache) mittels einer Forderung an die Struktur der Sprache zu formalisieren. Gleichzeitig sagt die Konvention aus, auf welche Weise man in formalen sprachlichen Systemen einen Wahrheitsbegriff definieren kann. Die Konvention sagt allerdings nichts darüber aus, unter welchen Bedingungen in obigem Beispiel „x der Fall ist“. Es geht in erster Linie – wenn man so will – nur um die Verknüpfung zwischen der Wahrheit der formalen Aussage und der Wahrheit der Tatsache. Tarskis Konvention T ist ein vor allem in der Sprachphilosophie häufig zitierter Begriff, der oft auch mit dem später von Paul Benacerraf aufgestellten in Verbindung gebracht wird.Der amerikanische Philosoph Donald Davidson bezieht sich in seiner semantischen Theorie für natürliche Sprachen auf Tarskis Arbeit. (de)
- The T-schema ("truth schema", not to be confused with "Convention T") is used to check if an inductive definition of truth is valid, 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 S. Example: 'snow is white' is true if and only if snow is white. (en)
- O esquema T ou esquema-verdade (não confundir com 'Convenção T') é usado para dar uma definição indutiva da verdade definida na teoria semântica da verdade de Alfred Tarski. Alguns autores o denominam "Esquema de Equivalência", um sinônimo introduzido por Michael Dummett. O esquema T normalmente é expresso na linguagem natural, mas pode ser formalizado na lógica de predicados ou na lógica modal. Tal formalização é denominada teoria T. Teorias-T formam a base de muitos trabalhos fundamentais da lógica filosófica, onde são aplicados em várias controvérsias importantes na filosofia analítica. Como expressa na linguagem semi-natural (onde 'S' é o nome da sentença abreviada para S): 'S' é verdade se e somente se S Exemplo: 'a neve é branca' é verdade se e somente se a neve é branca. (pt)
- T-模式（也叫做约定T）是位于 Alfred Tarski 的真理的语义理论的任何实现的核心位置的，表达了真理在逻辑运算符上的交换性。 T-模式经常用自然语言表达，但它们很容易接纳或模态逻辑的形式化；比如叫做 T-理论的公式化。T-理论构成了哲学逻辑中很多基础工作的基础，它们被应用于分析哲学中很多重要争论。它们也是在模型论背后的基础直觉；或者说模型论实现了它们。 (zh)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is differentFrom
of | |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)