Combining Texts

All the ideas for 'Intensional Logic', 'On the Heavens' and '74: Reply to Colotes'

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

25 ideas

2. Reason / A. Nature of Reason / 9. Limits of Reason
19740 A very hungry man cannot choose between equidistant piles of food [Aristotle]
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
15375 If terms change their designations in different states, they are functions from states to objects [Fitting]
15376 Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
15378 Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
15379 Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
11026 Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
16. Persons / B. Nature of the Self / 7. Self and Body / c. Self as brain controller
5952 Rather than being the whole soul, maybe I am its chief part? [Plutarch]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / a. Physicalism critique
5951 If atoms have no qualities, they cannot possibly produce a mind [Plutarch]
20. Action / B. Preliminaries of Action / 1. Intention to Act / c. Reducing intentions
20796 Action needs an affinity for a presentation, and an impulse toward the affinity [Plutarch]
22. Metaethics / B. Value / 2. Values / b. Successful function
398 Each thing that has a function is for the sake of that function [Aristotle]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
5948 The good life involves social participation, loyalty, temperance and honesty [Plutarch]
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / a. Final purpose
394 An unworn sandal is in vain, but nothing in nature is in vain [Aristotle]
396 There has to be some goal, and not just movement to infinity [Aristotle]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / f. Ancient elements
16102 Aether moves in circles and is imperishable; the four elements perish, and move in straight lines [Aristotle, by Gill,ML]
17463 An element is what bodies are analysed into, and won't itself divide into something else [Aristotle]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
5950 If only atoms exist, how do qualities arise when the atoms come together? [Plutarch]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
399 If the more you raise some earth the faster it moves, why does the whole earth not move? [Aristotle]
27. Natural Reality / C. Space / 1. Void
20918 Void is a kind of place, so it can't explain place [Aristotle]
27. Natural Reality / E. Cosmology / 1. Cosmology
403 The earth must be round and of limited size, because moving north or south makes different stars visible [Aristotle]
402 The Earth must be spherical, because it casts a convex shadow on the moon [Aristotle]
27. Natural Reality / E. Cosmology / 3. The Beginning
1498 Everyone agrees that the world had a beginning, but thinkers disagree over whether it will end [Aristotle]
27. Natural Reality / E. Cosmology / 10. Multiverse
395 It seems possible that there exists a limited number of other worlds apart from this one [Aristotle]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
5955 No one will ever find a city that lacks religious practices [Plutarch]