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
Mates, Benson
Books on Amazon
Validity I 85
not valid / valid / Mates: E.g. Fa - V x Fa. - - (Fa > Ga)> (~Fa > ~ Ga) - - (x) (Ey) Fxy> (Ey) (x) Fxy - here you can specify interpretations, where the statements are false - Valid: j is valid if j is a consequence of the empty set - I 88 trivially true, since L has not got any elements.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981

> Counter arguments against Mates

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
Ed. Martin Schulz, access date 2017-04-28