Combining Texts

All the ideas for 'Papancasudani', 'On Second-Order Logic' and 'Letter to Herodotus'

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


33 ideas

1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
If we are to use words in enquiry, we need their main, unambiguous and uncontested meanings [Epicurus]
3. Truth / A. Truth Problems / 8. Subjective Truth
Observation and applied thought are always true [Epicurus]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley]
Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
'∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos]
5. Theory of Logic / K. Features of Logics / 4. Completeness
Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos]
5. Theory of Logic / K. Features of Logics / 6. Compactness
Why should compactness be definitive of logic? [Boolos, by Hacking]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Many concepts can only be expressed by second-order logic [Boolos]
7. Existence / A. Nature of Existence / 1. Nature of Existence
Nothing comes to be from what doesn't exist [Epicurus]
If disappearing things went to nothingness, nothing could return, and it would all be gone by now [Epicurus]
7. Existence / B. Change in Existence / 1. Nature of Change
The totality is complete, so there is no room for it to change, and nothing extraneous to change it [Epicurus]
7. Existence / D. Theories of Reality / 6. Physicalism
Astronomical movements are blessed, but they don't need the help of the gods [Epicurus]
8. Modes of Existence / B. Properties / 8. Properties as Modes
The perceived accidental properties of bodies cannot be conceived of as independent natures [Epicurus]
Accidental properties give a body its nature, but are not themselves bodies or parts of bodies [Epicurus]
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
A 'body' is a conception of an aggregate, with properties defined by application conditions [Epicurus]
9. Objects / D. Essence of Objects / 9. Essence and Properties
Bodies have impermanent properties, and permanent ones which define its conceived nature [Epicurus]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / c. Possible but inconceivable
Above and below us will never appear to be the same, because it is inconceivable [Epicurus]
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
We aim to dissolve our fears, by understanding their causes [Epicurus]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / c. Primary qualities
Atoms only have shape, weight and size, and the properties which accompany shape [Epicurus]
13. Knowledge Criteria / D. Scepticism / 3. Illusion Scepticism
Illusions are not false perceptions, as we accurately perceive the pattern of atoms [Epicurus, by Modrak]
15. Nature of Minds / A. Nature of Mind / 2. Psuche
The soul is fine parts distributed through the body, resembling hot breath [Epicurus]
17. Mind and Body / E. Mind as Physical / 5. Causal Argument
The soul cannot be incorporeal, because then it could neither act nor be acted upon [Epicurus]
25. Social Practice / F. Life Issues / 1. Causing Death
Human killing is worse if the victim is virtuous [Buddhaghosa]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Totality has no edge; an edge implies a contrast beyond the edge, and there can't be one [Epicurus]
Bodies are unlimited as well as void, since the two necessarily go together [Epicurus]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
There exists an infinity of each shape of atom, but the number of shapes is beyond our knowledge [Epicurus]
Atoms just have shape, size and weight; colour results from their arrangement [Epicurus]
There cannot be unlimited division, because it would reduce things to non-existence [Epicurus]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
We aim to know the natures which are observed in natural phenomena [Epicurus]
27. Natural Reality / C. Space / 1. Void
The void cannot interact, but just gives the possibility of motion [Epicurus]
27. Natural Reality / C. Space / 4. Substantival Space
Space must exist, since movement is obvious, and there must be somewhere to move in [Epicurus]
27. Natural Reality / E. Cosmology / 10. Multiverse
There are endless cosmoi, some like and some unlike this one [Epicurus]