|General validity: within a calculus a formula that is satisfied by any interpretation (variable assignment with expressions for objects) is valid. See also satisfaction, satisfiability, interpretation._____________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. |
Structurally valid/Davidson: inferences which involve only truth theory plus translation rules without truth conditions?
Inference-patterns are the same for object language and meta language .
A: if truth is defined directly: for each set S and S*, S and S* is true if and only if S is true and S* is true.
B: if truth is not defined directly: if F (S) is a sentence in the fragment that is mapped to S, through the translation rules, then S1, ... Sn-1 formally include Sn, if and only if F (S 1), ... F (n-1 formally include F (Sn) ._____________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. The note [Author1]Vs[Author2] or [Author]Vs[term] is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.
G. Evans/J. McDowell
Truth and Meaning Oxford 1977
"The Causal Theory of Names", in: Proceedings of the Aristotelian Society, Suppl. Vol. 47 (1973) 187-208
Eigennamen, Ursula Wolf, Frankfurt/M. 1993
"Semantic Structure and Logical Form"
Truth and Meaning, G. Evans/J. McDowell, Oxford 1976
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989