Combining Texts

All the ideas for 'reports', 'Letter to Frege 29.12.1899' and 'The philosophical basis of intuitionist logic'

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


23 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
He studied philosophy by suspending his judgement on everything [Pyrrho, by Diog. Laertius]
     Full Idea: He studied philosophy on the principle of suspending his judgement on all points.
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.3
     A reaction: In what sense was Pyrrho a philosopher, then? He must have asserted SOME generalised judgments.
2. Reason / A. Nature of Reason / 9. Limits of Reason
Sceptics say reason is only an instrument, because reason can only be attacked with reason [Pyrrho, by Diog. Laertius]
     Full Idea: The Sceptics say that they only employ reason as an instrument, because it is impossible to overturn the authority of reason, without employing reason.
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.8
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert]
     Full Idea: If the arbitrarily given axioms do not contradict each other with all their consequences, then they are true and the things defined by the axioms exist. For me this is the criterion of truth and existence.
     From: David Hilbert (Letter to Frege 29.12.1899 [1899]), quoted by R Kaplan / E Kaplan - The Art of the Infinite 2 'Mind'
     A reaction: If an axiom says something equivalent to 'fairies exist, but they are totally undetectable', this would seem to avoid contradiction with anything, and hence be true. Hilbert's idea sounds crazy to me. He developed full Formalism later.
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.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
If we need a criterion of truth, we need to know whether it is the correct criterion [Pyrrho, by Fogelin]
     Full Idea: Against the Stoics, the Pyrrhonians argued that if someone presents a criterion of truth, then it will be important to determine whether it is the correct criterion.
     From: report of Pyrrho (reports [c.325 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.4
     A reaction: Hence Davidson says that attempts to define truth are 'folly'. If something has to be taken as basic, then truth seems a good candidate (since, for example, logical operators could not otherwise be defined by means of 'truth' tables).
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
The Pyrrhonians attacked the dogmas of professors, not ordinary people [Pyrrho, by Fogelin]
     Full Idea: The attacks of the Pyrrhonian sceptics are directed against the dogmas of the 'professors', not against the beliefs of the common people pursuing the business of daily life.
     From: report of Pyrrho (reports [c.325 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.4
     A reaction: This may be because they thought that ordinary people were too confused to be worth attacking, rather than because they lived in a state of beautifully appropriate beliefs. Naïve realism is certainly worth attacking.
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
Academics said that Pyrrhonians were guilty of 'negative dogmatism' [Pyrrho, by Fogelin]
     Full Idea: The ancient Academic sceptics charged the Pyrrhonian sceptics with 'negative dogmatism' when they claimed that a certain kind of knowledge is impossible.
     From: report of Pyrrho (reports [c.325 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.4
     A reaction: It is this kind of point which should push us towards some sort of rationalism, because certain a priori 'dogmas' seem to be indispensable to get any sort of discussion off the ground. The only safe person is Cratylus (see Idea 578).
13. Knowledge Criteria / E. Relativism / 1. Relativism
Judgements vary according to local culture and law (Mode 5) [Pyrrho, by Diog. Laertius]
     Full Idea: Fifth mode: judgements vary according to local custom, law and culture (Persians marry their daughters).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception varies with viewing distance and angle (Mode 7) [Pyrrho, by Diog. Laertius]
     Full Idea: Seventh mode: perception varies according to viewing distance and angle (the sun, and a dove's neck).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception and judgement depend on comparison (Mode 10) [Pyrrho, by Diog. Laertius]
     Full Idea: Tenth mode: perceptions and judgements depend on comparison (light/heavy, above/below).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Individuals vary in responses and feelings (Mode 2) [Pyrrho, by Diog. Laertius]
     Full Idea: Second mode: individual men vary in responses and feelings (heat and cold, for example).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Animals vary in their feelings and judgements (Mode 1) [Pyrrho, by Diog. Laertius]
     Full Idea: First mode: animals vary in their feelings and judgements (of food, for example).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception varies with madness or disease (Mode 4) [Pyrrho, by Diog. Laertius]
     Full Idea: Fourth mode: perceivers vary in their mental and physical state (such as the mad and the sick).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception of things depends on their size or quantity (Mode 8) [Pyrrho, by Diog. Laertius]
     Full Idea: Eighth mode: perceptions of things depend on their magnitude or quantity (food and wine).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception of objects depends on surrounding conditions (Mode 6) [Pyrrho, by Diog. Laertius]
     Full Idea: Sixth mode: the perception of an object depends on surrounding conditions (sunlight and lamplight).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Perception is affected by expectations (Mode 9) [Pyrrho, by Diog. Laertius]
     Full Idea: Ninth mode: we perceive things according to what we expect (earthquakes and sunshine).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
Objects vary according to which sense perceives them (Mode 3) [Pyrrho, by Diog. Laertius]
     Full Idea: Third mode: things like an apple vary according to which sense perceives them (yellow, sweet, and fragrant).
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.Py.9
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.
26. Natural Theory / C. Causation / 7. Eliminating causation
There are no causes, because they are relative, and alike things can't cause one another [Pyrrho, by Diog. Laertius]
     Full Idea: The idea of cause is relative to that of which it is the cause, and so has no real existence. …Also cause must either be body causing body, or incorporeal causing incorporeal, and neither of these is possible.
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.11.11
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Motion can't move where it is, and can't move where it isn't, so it can't exist [Pyrrho, by Diog. Laertius]
     Full Idea: Motion is not moved in the place in which it is is, and it is impossible that it should be moved in the place in which it is not, so there is no such thing as motion.
     From: report of Pyrrho (reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.11.11