|Truth tables, logic, philosophy: Truth value tables or truth tables are tools for the characterization of logical links or the evaluation of logical statements that contain these links. In the simplest case, the links "and" and "or" are examined for two atomic partial statements a and b to be linked. For a and b, the possible truth values, in the divalent case therefore "true" and "false”, are used. The table shows that for the truth of "a and b" both sides must be true, while for the "or" case the truth of only one side is sufficient._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
|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.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
P. Horwich (Ed.)
Theories of Truth Aldershot 1994