Combining Texts
Ideas for
'works', 'On Euclidean Geometry' and 'Physiologia'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
2 ideas
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
17743
|
De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]
|
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
16886
|
The truth of an axiom must be independently recognisable [Frege]
|