Philosophy Lexicon of Arguments

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.
Author Item Excerpt Meta data
Cresswell, M.J.
Books on Amazon
Validity 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.

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

M. J. Cresswell
Structured Meanings Cambridge Mass. 1984

> Counter arguments against Cresswell

back to list view | > Suggest your own contribution | > Suggest a correction
Ed. Martin Schulz, access date 2017-03-30