Combining Texts

All the ideas for 'Through the Looking Glass', 'Euthydemus' and 'The philosophical basis of intuitionist logic'

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


12 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Dummett, by Kitcher]
     Full Idea: Dummett argues that classical logic depends on the choice of the concept of truth as central to the theory of meaning, while for the intuitionist the concept of assertability occupies this position.
     From: report of Michael Dummett (The philosophical basis of intuitionist logic [1973]) by Philip Kitcher - The Nature of Mathematical Knowledge 06.5
     A reaction: Since I can assert any nonsense I choose, this presumably means 'warranted' assertability, which is tied to the concept of proof in mathematics. You can reason about falsehoods, or about uninterpreted variables. Can you 'assert' 'Fx'?
5. Theory of Logic / G. Quantification / 1. Quantification
Classical quantification is an infinite conjunction or disjunction - but you may not know all the instances [Dummett]
     Full Idea: Classical quantification represents an infinite conjunction or disjunction, and the truth-value is determined by the infinite sum or product of the instances ....but this presupposes that all the instances already possess determinate truth-values.
     From: Michael Dummett (The philosophical basis of intuitionist logic [1973], p.246)
     A reaction: In the case of the universal quantifier, Dummett is doing no more than citing the classic empiricism objection to induction - that you can't make the universal claim if you don't know all the instances. The claim is still meaningful, though.
7. Existence / A. Nature of Existence / 3. Being / e. Being and nothing
I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L]
     Full Idea: "I see nobody on the road," said Alice. - "I only wish I had such eyes," the King remarked. ..."To be able to see Nobody! ...Why, it's as much as I can do to see real people."
     From: Lewis Carroll (C.Dodgson) (Through the Looking Glass [1886], p.189), quoted by A.W. Moore - The Evolution of Modern Metaphysics 07.7
     A reaction: [Moore quotes this, inevitably, in a chapter on Hegel] This may be a better candidate for the birth of philosophy of language than Frege's Groundwork.
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
Beautiful things must be different from beauty itself, but beauty itself must be present in each of them [Plato]
     Full Idea: Are fine things different from or identical to fineness? They are different from fineness itself, but fineness itself is in a sense present in each of them.
     From: Plato (Euthydemus [c.379 BCE], 301a)
11. Knowledge Aims / A. Knowledge / 1. Knowledge
Knowing how to achieve immortality is pointless without the knowledge how to use immortality [Plato]
     Full Idea: If there exists the knowledge of how to make men immortal, but without the knowledge of how to use this immortality, there seems to be no value in it.
     From: Plato (Euthydemus [c.379 BCE], 289b)
     A reaction: I take this to be not a gormless utilitarianism about knowledge, but a plea for holism, that knowledge only has value as part of some larger picture. The big view is the important view. He's wrong, though. Work out the use later.
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / a. Reliable knowledge
Say how many teeth the other has, then count them. If you are right, we will trust your other claims [Plato]
     Full Idea: If each of you says how many teeth the other has, and when they are counted we find you do know, we will believe your other claims as well.
     From: Plato (Euthydemus [c.379 BCE], 294c)
     A reaction: This is the clairvoyant problem for reliabilism, if truth is delivered for no apparent reason. Useful, but hardly knowledge. HOW did you know the number of teeth?
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
Stating a sentence's truth-conditions is just paraphrasing the sentence [Dummett]
     Full Idea: An ability to state the condition for the truth of a sentence is, in effect, no more than an ability to express the content of the sentence in other words.
     From: Michael Dummett (The philosophical basis of intuitionist logic [1973], p.224)
     A reaction: Alternatively, if you give something other than a paraphrase of the sentence as its meaning (such as a proof of its truth), then you seem to have departed from your target sentence. Can we reduce and eliminate our sentences in this way?
If a sentence is effectively undecidable, we can never know its truth conditions [Dummett]
     Full Idea: If a sentence is effectively undecidable, the condition which must obtain for it to be true is not one which we are capable of recognising whenever it obtains, or of getting ourselves in a position to do so.
     From: Michael Dummett (The philosophical basis of intuitionist logic [1973], p.225)
     A reaction: The instances of 'undecidable' sentences are most clearly seen in mathematics, such as the Continuum Hypothesis or Goldbach's Conjecture, or anything involving vast infinite cardinals. But do you need precise truth-conditions for meaning?
19. Language / A. Nature of Meaning / 6. Meaning as Use
Meaning as use puts use beyond criticism, and needs a holistic view of language [Dummett]
     Full Idea: If use constitutes meaning, it might seem that use is beyond criticism. ....But such an attitude can, ultimately, be supported onlly by the adoption of a holistic view of language.
     From: Michael Dummett (The philosophical basis of intuitionist logic [1973], p.218)
     A reaction: Dummett goes on to say that the rejection of the holistic view of mathematical meaning leads to his preference for intuitionistic logic.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / d. Ethical theory
What knowledge is required to live well? [Plato]
     Full Idea: What knowledge would enable us to live finely for the rest of our lives?
     From: Plato (Euthydemus [c.379 BCE], 293a)
     A reaction: A successful grasp of other people's points of view might lead to respect for them. Also a realisation that we are not isolated individuals. We really are all in it together.
22. Metaethics / C. The Good / 1. Goodness / e. Good as knowledge
Only knowledge of some sort is good [Plato]
     Full Idea: Nothing is good except knowledge of some sort.
     From: Plato (Euthydemus [c.379 BCE], 292b)
     A reaction: I've heard it suggested that truth is the only value. This is the Socratic idea that moral goodness is a matter of successful rational judgement. Not convinced, but interesting.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / f. The Mean
Something which lies midway between two evils is better than either of them [Plato]
     Full Idea: Something which is composed of two factors which are bad for different purposes and lies midway between them is better than either of the factors.
     From: Plato (Euthydemus [c.379 BCE], 306a)