Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Tarski, Alfred
 
Books on Amazon
Truth Tables 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)).

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



back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-26