Combining Texts

All the ideas for 'reports', 'Goodbye Descartes' and 'Primitive Thisness and Primitive Identity'

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


26 ideas

1. Philosophy / B. History of Ideas / 5. Later European Thought
Logic was merely a branch of rhetoric until the scientific 17th century [Devlin]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
'No councillors are bankers' and 'All bankers are athletes' implies 'Some athletes are not councillors' [Devlin]
4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens [Devlin]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
Predicate logic retains the axioms of propositional logic [Devlin]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Situation theory is logic that takes account of context [Devlin]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin]
Montague's intensional logic incorporated the notion of meaning [Devlin]
5. Theory of Logic / B. Logical Consequence / 7. Strict Implication
Where a conditional is purely formal, an implication implies a link between premise and conclusion [Devlin]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Sentences of apparent identical form can have different contextual meanings [Devlin]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
Space and time are atomic in the arrow, and divisible in the tortoise [Devlin]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
A 'thisness' is a thing's property of being identical with itself (not the possession of self-identity) [Adams,RM]
There are cases where mere qualities would not ensure an intrinsic identity [Adams,RM]
9. Objects / D. Essence of Objects / 9. Essence and Properties
Essences are taken to be qualitative properties [Adams,RM]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
If the universe was cyclical, totally indiscernible events might occur from time to time [Adams,RM]
Two events might be indiscernible yet distinct, if there was a universe cyclical in time [Adams,RM]
Black's two globes might be one globe in highly curved space [Adams,RM]
10. Modality / A. Necessity / 8. Transcendental Necessity
Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Are possible worlds just qualities, or do they include primitive identities as well? [Adams,RM]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / b. Worlds as fictions
Possible worlds are world-stories, maximal descriptions of whole non-existent worlds [Adams,RM, by Molnar]
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
Adams says anti-haecceitism reduces all thisness to suchness [Adams,RM, by Stalnaker]
Haecceitism may or may not involve some logical connection to essence [Adams,RM, by Mackie,P]
Moderate Haecceitism says transworld identities are primitive, but connected to qualities [Adams,RM]
13. Knowledge Criteria / E. Relativism / 5. Language Relativism
People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin]
19. Language / B. Reference / 3. Direct Reference / a. Direct reference
Direct reference is by proper names, or indexicals, or referential uses of descriptions [Adams,RM]
19. Language / C. Assigning Meanings / 1. Syntax
How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
The distinction between sentences and abstract propositions is crucial in logic [Devlin]