Combining Texts

All the ideas for 'fragments/reports', 'Goodbye Descartes' and 'Philosophy of Language'

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

23 ideas

1. Philosophy / B. History of Ideas / 5. Later European Thought
8092 Logic was merely a branch of rhetoric until the scientific 17th century [Devlin]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
8081 '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
8085 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
8086 Predicate logic retains the axioms of propositional logic [Devlin]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
15163 The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
8091 Situation theory is logic that takes account of context [Devlin]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
8087 Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin]
8089 Montague's intensional logic incorporated the notion of meaning [Devlin]
5. Theory of Logic / B. Logical Consequence / 7. Strict Implication
8082 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
8072 Sentences of apparent identical form can have different contextual meanings [Devlin]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / a. Descriptions
15158 Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
15157 Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
15156 The universal and existential quantifiers were chosen to suit mathematics [Soames]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
8075 Space and time are atomic in the arrow, and divisible in the tortoise [Devlin]
10. Modality / A. Necessity / 5. Metaphysical Necessity
15161 There are more metaphysically than logically necessary truths [Soames]
15162 We understand metaphysical necessity intuitively, from ordinary life [Soames]
13. Knowledge Criteria / E. Relativism / 5. Language Relativism
8088 People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
15152 To study meaning, study truth conditions, on the basis of syntax, and representation by the parts [Soames]
15153 Tarski's account of truth-conditions is too weak to determine meanings [Soames]
19. Language / C. Assigning Meanings / 1. Syntax
8073 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
8076 The distinction between sentences and abstract propositions is crucial in logic [Devlin]
19. Language / D. Propositions / 4. Mental Propositions
15154 We should use cognitive states to explain representational propositions, not vice versa [Soames]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
468 Musical performance can reveal a range of virtues [Damon of Ath.]