T-schema
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.
Wikipage redirect
Alfred TarskiAtomic sentenceComplete theoryDisquotational principleEquivalence SchemaFirst-order logicHistory of logicIndex of logic articlesIndex of philosophy articles (R–Z)Institution (computer science)Interpretation (logic)List of mathematical logic topicsModel theoryPhilosophy of logicPrinciple of compositionalityRedundancy theory of truthSemantic theory of truthSemantics of logicStructure (mathematical logic)TruthValuation (logic)
Link from a Wikipage to another Wikipage
differentFrom
primaryTopic
T-schema
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.
has abstract
O esquema T ou esquema-verdade ...... e somente se a neve é branca.
@pt
T-模式(也叫做约定T)是位于 Alfred Tarski ...... 论。它们也是在模型论背后的基础直觉;或者说模型论实现了它们。
@zh
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
946,474,840
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
O esquema T ou esquema-verdade ...... tantes na filosofia analítica.
@pt
T-模式(也叫做约定T)是位于 Alfred Tarski ...... 论。它们也是在模型论背后的基础直觉;或者说模型论实现了它们。
@zh
label
Esquema T
@pt
Konvention T
@de
T-schema
@en
T-模式
@zh