Combining Texts

Ideas for 'fragments/reports', 'Philosophies of Mathematics' and 'Axiomatic Theories of Truth (2013 ver)'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


3 ideas

2. Reason / B. Laws of Thought / 2. Sufficient Reason
Chrysippus said the uncaused is non-existent [Chrysippus, by Plutarch]
     Full Idea: Chrysippus said that the uncaused is altogether non-existent.
     From: report of Chrysippus (fragments/reports [c.240 BCE]) by Plutarch - 70: Stoic Self-contradictions 1045c
     A reaction: The difficulty is to see what empirical basis there can be for such a claim, or what argument of any kind other than an intuition. Induction is the obvious answer, but Hume teaches us scepticism about any claim that 'there can be no exceptions'.
2. Reason / D. Definition / 7. Contextual Definition
Contextual definitions replace a complete sentence containing the expression [George/Velleman]
     Full Idea: A contextual definition shows how to analyse an expression in situ, by replacing a complete sentence (of a particular form) in which the expression occurs by another in which it does not.
     From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.2)
     A reaction: This is a controversial procedure, which (according to Dummett) Frege originally accepted, and later rejected. It might not be the perfect definition that replacing just the expression would give you, but it is a promising step.
2. Reason / D. Definition / 8. Impredicative Definition
Impredicative definitions quantify over the thing being defined [George/Velleman]
     Full Idea: When a definition contains a quantifier whose range includes the very entity being defined, the definition is said to be 'impredicative'.
     From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.2)
     A reaction: Presumably they are 'impredicative' because they do not predicate a new quality in the definiens, but make use of the qualities already known.