Combining Texts

All the ideas for 'Propositions', 'works' and 'On Freedom'

expand these ideas     |    start again     |     specify just one area for these texts


12 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Maybe proper names have the content of fixing a thing's category [Bealer]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's [Bealer]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone]
10. Modality / B. Possibility / 5. Contingency
Necessary truths can be analysed into original truths; contingent truths are infinitely analysable [Leibniz]
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
Only God sees contingent truths a priori [Leibniz]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
If non-existents are possible, their existence would replace what now exists, which cannot therefore be necessary [Leibniz]
19. Language / D. Propositions / 1. Propositions
Sentences saying the same with the same rigid designators may still express different propositions [Bealer]
Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [Bealer]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
Modal logic and brain science have reaffirmed traditional belief in propositions [Bealer]
28. God / A. Divine Nature / 3. Divine Perfections
God does everything in a perfect way, and never acts contrary to reason [Leibniz]