Combining Texts

All the ideas for 'Tractatus de corpore Christi', 'Speaking of Objects' and 'Goodbye Descartes'

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


22 ideas

1. Philosophy / B. History of Ideas / 5. Later European Thought
Logic was merely a branch of rhetoric until the scientific 17th century [Devlin]
2. Reason / B. Laws of Thought / 6. Ockham's Razor
Why use more things when fewer will do? [William of Ockham]
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]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
We can only see an alien language in terms of our own thought structures (e.g. physical/abstract) [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
"No entity without identity" - our ontology must contain items with settled identity conditions [Quine, by Melia]
8. Modes of Existence / B. Properties / 12. Denial of Properties
There is no proper identity concept for properties, and it is hard to distinguish one from two [Quine]
9. Objects / A. Existence of Objects / 2. Abstract Objects / b. Need for abstracta
Our conceptual scheme becomes more powerful when we posit abstract objects [Quine]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
I prefer 'no object without identity' to Quine's 'no entity without identity' [Lowe on Quine]
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 / 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]
19. Language / F. Communication / 6. Interpreting Language / b. Indeterminate translation
You could know the complete behavioural conditions for a foreign language, and still not know their beliefs [Quine]
Translation of our remote past or language could be as problematic as alien languages [Quine]
26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / b. Corpuscles
Every extended material substance is composed of parts distant from one another [William of Ockham]