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)).
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
P. Horwich (Ed.)
Theories of Truth Aldershot 1994