|Truth-functions: truth-functions map truth-values onto other truth-values. In two-valued logic, the two available truth values are "true" or "false" (t/f). The disjunction (A or B) now maps (t or t), (t or f) and (f or t) onto t, and (f or f) onto f. Non-truth-functional semantics differ from truth-functional semantics in that they also take other meanings of the logical links ("and", "or", "if then") into account, for example, expressions such as "nevertheless," "though," "still", whose propositional content corresponds to the "and", but which bring a certain additional expressive force into play. See also truth-functional semantics, truth-conditional semantics, semantics, propositional content._____________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. |
Every truth-function is transparent for designation.
Quantifiers/truth function: are indifferent in relation to most differences but not to the difference between finite/infinite - But probably indifferent to differences between different infinite cardinalities. (countable/uncountable) - (> Loewenheim)._____________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.
Wort und Gegenstand Stuttgart 1980
Theorien und Dinge Frankfurt 1985
Grundzüge der Logik Frankfurt 1978
Mengenlehre und ihre Logik Wiesbaden 1967
Die Wurzeln der Referenz Frankfurt 1989
Unterwegs zur Wahrheit Paderborn 1995
From a logical point of view Cambridge, Mass. 1953
Bezeichnung und Referenz
Zur Philosophie der idealen Sprache, J. Sinnreich (Hg), München 1982
Philosophie der Logik Bamberg 2005
Ontologische Relativität Frankfurt 2003