T-schema

T-schema

The T-schema (also known as Convention T) is the inductive definition that lies at the heart of any realisation of Alfred Tarski's semantic theory of truth, expressing the commutation of truth over logical operators.

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.

ee also

*Principle of bivalence
*Law of excluded middle
*If and only if

External links

* [http://plato.stanford.edu/entries/tarski-truth/ Stanford Encyclopedia of Philosophy entry on Tarski's Truth Definitions]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • schéma — [ ʃema ] n. m. • 1867; « figure géométrique » 1765; scema « figure de rhétorique » v. 1350; lat. schema, gr. skhêma « manière d être, figure » 1 ♦ Figure donnant une représentation simplifiée et fonctionnelle (d un objet, d un mouvement, d un… …   Encyclopédie Universelle

  • Schema d'axiomes de comprehension — Schéma d axiomes de compréhension Le schéma d axiomes de compréhension, ou schéma d axiomes de séparation est un schéma d axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en… …   Wikipédia en Français

  • Schema d'axiomes de remplacement — Schéma d axiomes de remplacement Le schéma d axiomes de remplacement, ou schéma d axiomes de substitution est un schéma d axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem. Il assure …   Wikipédia en Français

  • Schéma d'axiome de remplacement — Schéma d axiomes de remplacement Le schéma d axiomes de remplacement, ou schéma d axiomes de substitution est un schéma d axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem. Il assure …   Wikipédia en Français

  • Schema de liaison a la terre — Schéma de liaison à la terre Pour les articles homonymes, voir SLT. En électricité, un Schéma de Liaison à la Terre, ou SLT (Anciennement Régime de neutre) définit le mode de raccordement à la terre du point neutre d un transformateur de… …   Wikipédia en Français

  • Schema.org — URL: schema.org Коммерческий: Нет Тип сай …   Википедия

  • schemă — SCHÉMĂ, scheme, s.f. 1. Plan redus la câteva linii sau idei generale principale, care permite o vedere de ansamblu asupra unei lucrări. 2. Reprezentare grafică simplificată a elementelor sau caracteristicilor structurii unui aparat, ale unei… …   Dicționar Român

  • Schema (informatique) — Schéma (informatique) Pour les articles homonymes, voir Schéma. Sommaire 1 Schéma non graphique en informatique 1.1 Schéma dans les logiciels d annuaires …   Wikipédia en Français

  • Schema de mise en valeur de la mer — Schéma de mise en valeur de la mer Le Schéma de mise en valeur de la mer ou SMVM est un outil d aménagement du territoire et de porté à connaissance qui vise dans le droit français à une meilleure intégration et valorisation du littoral dans une… …   Wikipédia en Français

  • Schema conceptuel — Schéma conceptuel De manière générale, un schéma conceptuel (concept map en anglais) est une représentation d un ensemble de concepts reliés sémantiquement entre eux. Les concepts sont connectés par des lignes fléchées auxquelles sont accolés des …   Wikipédia en Français

  • Schéma conceptuel (modèle entité/relation) — Schéma conceptuel De manière générale, un schéma conceptuel (concept map en anglais) est une représentation d un ensemble de concepts reliés sémantiquement entre eux. Les concepts sont connectés par des lignes fléchées auxquelles sont accolés des …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”