. . . . . "O esquema T ou esquema-verdade (n\u00E3o confundir com 'Conven\u00E7\u00E3o T') \u00E9 usado para dar uma defini\u00E7\u00E3o indutiva da verdade definida na teoria sem\u00E2ntica da verdade de Alfred Tarski. Alguns autores o denominam \"Esquema de Equival\u00EAncia\", um sin\u00F4nimo introduzido por Michael Dummett. O esquema T normalmente \u00E9 expresso na linguagem natural, mas pode ser formalizado na l\u00F3gica de predicados ou na l\u00F3gica modal. Tal formaliza\u00E7\u00E3o \u00E9 denominada teoria T. Teorias-T formam a base de muitos trabalhos fundamentais da l\u00F3gica filos\u00F3fica, onde s\u00E3o aplicados em v\u00E1rias controv\u00E9rsias importantes na filosofia anal\u00EDtica. Como expressa na linguagem semi-natural (onde 'S' \u00E9 o nome da senten\u00E7a abreviada para S): 'S' \u00E9 verdade se e somente se S Exemplo: 'a neve \u00E9 branca' \u00E9 verdade se e somente se a neve \u00E9 branca."@pt . . "T-\u6A21\u5F0F\uFF08\u4E5F\u53EB\u505A\u7EA6\u5B9AT\uFF09\u662F\u4F4D\u4E8E Alfred Tarski \u7684\u771F\u7406\u7684\u8BED\u4E49\u7406\u8BBA\u7684\u4EFB\u4F55\u5B9E\u73B0\u7684\u6838\u5FC3\u4F4D\u7F6E\u7684\uFF0C\u8868\u8FBE\u4E86\u771F\u7406\u5728\u903B\u8F91\u8FD0\u7B97\u7B26\u4E0A\u7684\u4EA4\u6362\u6027\u3002 T-\u6A21\u5F0F\u7ECF\u5E38\u7528\u81EA\u7136\u8BED\u8A00\u8868\u8FBE\uFF0C\u4F46\u5B83\u4EEC\u5F88\u5BB9\u6613\u63A5\u7EB3\u6216\u6A21\u6001\u903B\u8F91\u7684\u5F62\u5F0F\u5316\uFF1B\u6BD4\u5982\u53EB\u505A T-\u7406\u8BBA\u7684\u516C\u5F0F\u5316\u3002T-\u7406\u8BBA\u6784\u6210\u4E86\u54F2\u5B66\u903B\u8F91\u4E2D\u5F88\u591A\u57FA\u7840\u5DE5\u4F5C\u7684\u57FA\u7840\uFF0C\u5B83\u4EEC\u88AB\u5E94\u7528\u4E8E\u5206\u6790\u54F2\u5B66\u4E2D\u5F88\u591A\u91CD\u8981\u4E89\u8BBA\u3002\u5B83\u4EEC\u4E5F\u662F\u5728\u6A21\u578B\u8BBA\u80CC\u540E\u7684\u57FA\u7840\u76F4\u89C9\uFF1B\u6216\u8005\u8BF4\u6A21\u578B\u8BBA\u5B9E\u73B0\u4E86\u5B83\u4EEC\u3002"@zh . "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 . . . "T-\u6A21\u5F0F\uFF08\u4E5F\u53EB\u505A\u7EA6\u5B9AT\uFF09\u662F\u4F4D\u4E8E Alfred Tarski \u7684\u771F\u7406\u7684\u8BED\u4E49\u7406\u8BBA\u7684\u4EFB\u4F55\u5B9E\u73B0\u7684\u6838\u5FC3\u4F4D\u7F6E\u7684\uFF0C\u8868\u8FBE\u4E86\u771F\u7406\u5728\u903B\u8F91\u8FD0\u7B97\u7B26\u4E0A\u7684\u4EA4\u6362\u6027\u3002 T-\u6A21\u5F0F\u7ECF\u5E38\u7528\u81EA\u7136\u8BED\u8A00\u8868\u8FBE\uFF0C\u4F46\u5B83\u4EEC\u5F88\u5BB9\u6613\u63A5\u7EB3\u6216\u6A21\u6001\u903B\u8F91\u7684\u5F62\u5F0F\u5316\uFF1B\u6BD4\u5982\u53EB\u505A T-\u7406\u8BBA\u7684\u516C\u5F0F\u5316\u3002T-\u7406\u8BBA\u6784\u6210\u4E86\u54F2\u5B66\u903B\u8F91\u4E2D\u5F88\u591A\u57FA\u7840\u5DE5\u4F5C\u7684\u57FA\u7840\uFF0C\u5B83\u4EEC\u88AB\u5E94\u7528\u4E8E\u5206\u6790\u54F2\u5B66\u4E2D\u5F88\u591A\u91CD\u8981\u4E89\u8BBA\u3002\u5B83\u4EEC\u4E5F\u662F\u5728\u6A21\u578B\u8BBA\u80CC\u540E\u7684\u57FA\u7840\u76F4\u89C9\uFF1B\u6216\u8005\u8BF4\u6A21\u578B\u8BBA\u5B9E\u73B0\u4E86\u5B83\u4EEC\u3002"@zh . . . . . . . . . . "1063436"^^ . "Unter Konvention T versteht man in der Sprachphilosophie den Leitgedanken der semantischen Wahrheitstheorie von Alfred Tarski. Sie wurde 1935 in seiner Publikation \u00FCber das Wahrheitskonzept folgenderma\u00DFen formuliert: Vereinfacht gesagt handelt es sich dabei um eine konventionelle Bedingung f\u00FCr Wahrheitsdefinitionen in Sprachen. An eine auf solchen Definitionen aufbauende Wahrheitstheorie wird die Forderung gestellt, dass sie mit gen\u00FCgend 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 . "T-\u6A21\u5F0F"@zh . "Esquema T"@pt . . . . . . . . . . . . . . . . "T-schema"@en . . . . . "Unter Konvention T versteht man in der Sprachphilosophie den Leitgedanken der semantischen Wahrheitstheorie von Alfred Tarski. Sie wurde 1935 in seiner Publikation \u00FCber das Wahrheitskonzept folgenderma\u00DFen formuliert: Eine formal korrekte Definition des Symbols Tr, formuliert in einer Metasprache, wird eine ad\u00E4quate Definition der Wahrheit genannt, wenn sie folgende Konsequenzen hat:(a) Alle S\u00E4tze, 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 \u00DCbersetzung dieses Ausdrucks in die Metasprache bildet, k\u00F6nnen aus ihr abgeleitet werden.(b) Der Satz f\u00FCr alle x: wenn Tr(x), dann S(x) (mit anderen Worten: Tr \u1455 S) kann aus ihr abgeleitet werden. Vereinfacht gesagt handelt es sich dabei um eine konventionelle Bedingung f\u00FCr Wahrheitsdefinitionen in Sprachen. An eine auf solchen Definitionen aufbauende Wahrheitstheorie wird die Forderung gestellt, dass sie mit gen\u00FCgend 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\u00DF ist wahr, wenn Schnee wei\u00DF ist zu konstruieren. Die Konvention fordert somit die Existenz einer Metasprache, die neben logischen Verkn\u00FCpfungen und Objekten vor allem auch das Pr\u00E4dikat \u201Eist wahr\u201C enth\u00E4lt. Die Metasprache muss demnach reichhaltiger sein als die Sprache, in der die Aussagen vom Typ \u201Ex ist der Fall\u201C konstruiert werden (die so genannte Objektsprache). Die \u201EKonvention T\u201C 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\u00FCber aus, unter welchen Bedingungen in obigem Beispiel \u201Ex der Fall ist\u201C. Es geht in erster Linie \u2013 wenn man so will \u2013 nur um die Verkn\u00FCpfung zwischen der Wahrheit der formalen Aussage und der Wahrheit der Tatsache. Tarskis Konvention T ist ein vor allem in der Sprachphilosophie h\u00E4ufig zitierter Begriff, der oft auch mit dem sp\u00E4ter von Paul Benacerraf aufgestellten in Verbindung gebracht wird.Der amerikanische Philosoph Donald Davidson bezieht sich in seiner semantischen Theorie f\u00FCr nat\u00FCrliche Sprachen auf Tarskis Arbeit."@de . . . . "Konvention T"@de . . "O esquema T ou esquema-verdade (n\u00E3o confundir com 'Conven\u00E7\u00E3o T') \u00E9 usado para dar uma defini\u00E7\u00E3o indutiva da verdade definida na teoria sem\u00E2ntica da verdade de Alfred Tarski. Alguns autores o denominam \"Esquema de Equival\u00EAncia\", um sin\u00F4nimo introduzido por Michael Dummett. O esquema T normalmente \u00E9 expresso na linguagem natural, mas pode ser formalizado na l\u00F3gica de predicados ou na l\u00F3gica modal. Tal formaliza\u00E7\u00E3o \u00E9 denominada teoria T. Teorias-T formam a base de muitos trabalhos fundamentais da l\u00F3gica filos\u00F3fica, onde s\u00E3o aplicados em v\u00E1rias controv\u00E9rsias importantes na filosofia anal\u00EDtica."@pt . . . . . "4497"^^ . . . . . . . "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 . . . . . . "1110623040"^^ .