Combining Texts
Ideas for
'works', 'Mathematical Methods in Philosophy' and 'works'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
7 ideas
5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic
18739
|
Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew]
|
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
4730
|
For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady]
|
18741
|
Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew]
|
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
18744
|
Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew]
|
5. Theory of Logic / K. Features of Logics / 8. Enumerability
10082
|
There are infinite sets that are not enumerable [Cantor, by Smith,P]
|
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / b. Cantor's paradox
13483
|
Cantor's Paradox: the power set of the universe must be bigger than the universe, yet a subset of it [Cantor, by Hart,WD]
|
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / e. Mirimanoff's paradox
8710
|
The powerset of all the cardinal numbers is required to be greater than itself [Cantor, by Friend]
|