Combining Texts

All the ideas for 'works', 'The Problem of Empty Names' and 'Against the Mathematicians'

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


4 ideas

5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer]
     Full Idea: As speakers of the language, we unreflectively assume that there are nonexistents, and that reference to them is possible.
     From: Marga Reimer (The Problem of Empty Names [2001], p.499), quoted by Sarah Sawyer - Empty Names 4
     A reaction: Sarah Swoyer quotes this as a good solution to the problem of empty names, and I like it. It introduces a two-tier picture of our understanding of the world, as 'unreflective' and 'reflective', but that seems good. We accept numbers 'unreflectively'.
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]
     Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'.
     From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1
     A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / b. Basic beliefs
Some things are their own criterion, such as straightness, a set of scales, or light [Sext.Empiricus]
     Full Idea: Dogmatists say something can be its own criterion. The straight is the standard of itself, and a set of scales establishes the equality of other things and of itself, and light seems to reveal not just other things but also itself.
     From: Sextus Empiricus (Against the Mathematicians [c.180], 442)
     A reaction: Each of these may be a bit dubious, but deserves careful discussion.
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
How can sceptics show there is no criterion? Weak without, contradiction with [Sext.Empiricus]
     Full Idea: The dogmatists ask how the sceptic can show there is no criterion. If without a criterion, he is untrustworthy; with a criterion he is turned upside down. He says there is no criterion, but accepts a criterion to establish this.
     From: Sextus Empiricus (Against the Mathematicians [c.180], 440)
     A reaction: This is also the classic difficulty for foundationalist views of knowledge. Is the foundation justified, or not?