18073
|
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'?
|
3425
|
Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim]
|
|
Full Idea:
Ernest Nagel defines reduction as the possibility of deriving all laws of one theory by logic and mathematics to another theory, with appropriate 'bridging principles' (either definitions, or empirical laws) connecting the expressions of the two theories.
|
|
From:
report of Ernest Nagel (The Structure of Science [1961]) by Jaegwon Kim - Philosophy of Mind p.213
|
|
A reaction:
This has been labelled as 'weak' reduction, where 'strong' reduction would be identity, as when lightning is reduced to electrical discharge. You reduce x by showing that it is y in disguise.
|
19056
|
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?
|
7903
|
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
|
|
Full Idea:
The six perfections are of giving, morality, patience, vigour, meditation, and wisdom.
|
|
From:
Nagarjuna (Mahaprajnaparamitashastra [c.120], 88)
|
|
A reaction:
What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate').
|