Combining Texts

All the ideas for 'fragments/reports', 'Truth by Convention' and 'Goodbye Descartes'

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

25 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]
1. Philosophy / F. Analytic Philosophy / 6. Logical Analysis
8996 If if time is money then if time is not money then time is money then if if if time is not money... [Quine]
2. Reason / D. Definition / 7. Contextual Definition
8995 Definition by words is determinate but relative; fixing contexts could make it absolute [Quine]
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]
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 / C. Ontology of Logic / 3. If-Thenism
10064 Quine quickly dismisses If-thenism [Quine, by Musgrave]
5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention
20296 Logic needs general conventions, but that needs logic to apply them to individual cases [Quine, by Rey]
8998 Claims that logic and mathematics are conventional are either empty, uninteresting, or false [Quine]
8999 Logic isn't conventional, because logic is needed to infer logic from conventions [Quine]
9000 If a convention cannot be communicated until after its adoption, what is its role? [Quine]
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 / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
8075 Space and time are atomic in the arrow, and divisible in the tortoise [Devlin]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
8994 If analytic geometry identifies figures with arithmetical relations, logicism can include geometry [Quine]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
8997 There are four different possible conventional accounts of geometry [Quine]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
8993 If mathematics follows from definitions, then it is conventional, and part of logic [Quine]
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 / 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]
25. Social Practice / E. Policies / 5. Education / b. Education principles
13304 Learned men gain more in one day than others do in a lifetime [Posidonius]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
20820 Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]