Philosophy Lexicon of Arguments

Author Item Excerpt Meta data

Books on Amazon
Horwich I 123
Truth value-table/Tarski: lies outside the logic. It is not a definition of terms. - The truth value-table is not formulated in the language of logic, but represents certain consequences of the truth-definition in the meta language - also it does not affect the deductive development of logic. Because there it is not of interest whether a given proposition is true, but whether it is provable. - On the other hand: in a deductive system (for example, semantics) we treat the connections either as undefined basic concepts or define them by other connections, but never with "true" or "false". - Definition of connection without semantic terms: E.g. (p v q) iff. (If ~ p then q)).

Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Hor I
P. Horwich (Ed.)
Theories of Truth Aldershot 1994

> Counter arguments against Tarski

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-07-21