Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Mates, Benson
 
Books on Amazon
Generalization I 173
Generalization/theorems/spelling/terminology/logic/Mates: E.g. (x) (y) Fxy <> (y) (x) Fx: generalized: II- LaLa "j <> La"Laj - E.g. (Ex) (Ey) fxy <> (Ey) (Ex) fxy: II- VaVa "j <> VaVa"j - E.g. (x) (P u Fx) <> (P u (x) Fx): II- La (j u y) <> (j u Lay) if a in j does not occur freely - E.g. (x) (Ey) (Fx u Gy) <> ((x) Fx u (Ey) Gy): II- laVa "(j u y) <> (Laj u Va" y) and when a in y does not occur freely and when a " in j does not occur freely.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981


> Counter arguments against Mates
> Counter arguments in relation to Generalization



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