Philosophy Lexicon of Arguments

Search  
 
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.

 
Author Item Excerpt Meta data

 
Books on Amazon
HC I 65 ~
Validity / Hughes / Cresswell: No structural property of formulas, no relation between formulas - in contrast: derivability relation between formulas - yet the set of the derived and the valid formulas in a system are identical
HC I 119
Validity / propositional calculus: truth tables are not sufficient for an evaluation of formulas in the p.c. - because we can not assign truth values to individual variables and predicate variables.


_____________
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.

Cr I
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988

Cr II
M. J. Cresswell
Structured Meanings Cambridge Mass. 1984


> Counter arguments against Cresswell



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-07-23