PhilosophyIdeas
.com Database |
Current Total Ideas:
22,126
|
home
|
back
Combining Texts
All the ideas for 'Purifications (frags)', 'works' and 'Introduction to Russell's Theory of Types'
expand these ideas
|
start again
| specify just
one area
for these texts
2 ideas
2. Reason / D. Definition / 1. Definitions
15927
Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification
[Weyl, by Lavine]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
18170
The Axiom of Reducibility is self-effacing: if true, it isn't needed
[Quine]