Combining Texts

All the ideas for 'fragments/reports', 'The philosophical basis of intuitionist logic' and 'Knowledge First (and reply)'

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


18 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.
11. Knowledge Aims / A. Knowledge / 7. Knowledge First
Knowledge is prior to believing, just as doing is prior to trying to do [Williamson]
     Full Idea: Knowing corresponds to doing, believing to trying. Just as trying is naturally understood in relation to doing, so believing is naturally understood in relation to knowing.
     From: Timothy Williamson (Knowledge First (and reply) [2014], p.4)
     A reaction: An interesting analogy. You might infer that there can be no concept of 'belief' without the concept of 'knowledge', but we could say that it is 'truth' which is indispensible, and leave out knowledge entirely. Belief is to truth as trying is to doing?
We don't acquire evidence and then derive some knowledge, because evidence IS knowledge [Williamson]
     Full Idea: When we acquire new evidence in perception, we do not first acquire unknown evidence and then somehow base knowledge on it later. Rather, acquiring new is evidence IS acquiring new knowledge.
     From: Timothy Williamson (Knowledge First (and reply) [2014], p.4)
     A reaction: This makes his point much better than Idea 19526 does.
Belief explains justification, and knowledge explains belief, so knowledge explains justification [Williamson]
     Full Idea: If justification is the fundamental epistemic norm of belief, and a belief ought to constitute knowledge, then justification should be understood in terms of knowledge too.
     From: Timothy Williamson (Knowledge First (and reply) [2014], p.5)
     A reaction: If we are looking for the primitive norm which motivates the whole epistemic game, then I am thinking that truth might well play that role better than knowledge. TW would have to reply that it is the 'grasped truth', rather than the 'theoretical truth'.
Knowledge-first says your total evidence IS your knowledge [Williamson]
     Full Idea: Knowledge-first equate one's total evidence with one's total knowledge.
     From: Timothy Williamson (Knowledge First (and reply) [2014], p.8)
     A reaction: Couldn't lots of evidence which merely had a high probability be combined together to give a state we would call 'knowledge'? Many dubious witnesses confirm the truth, as long as they are independent, and agree.
A neutral state of experience, between error and knowledge, is not basic; the successful state is basic [Williamson]
     Full Idea: A neutral state covering both perceiving and misperceiving (or remembering and misrembering) is not somehow more basic than perceiving, for what unifies the case of each neutral state is their relation to the successful state.
     From: Timothy Williamson (Knowledge First (and reply) [2014], p.5-6)
     A reaction: An alternative is Disjunctivism, which denies the existence of a single neutral state, so that there is nothing to unite the two states, and they don't have a dependence relation. Why can't there be a prior family of appearances, some of them successful?
Internalism about mind is an obsolete view, and knowledge-first epistemology develops externalism [Williamson]
     Full Idea: A postulated underlying layer of narrow mental states is a myth, whose plausibility derives from a comfortingly familiar but obsolescent philosophy of mind. Knowledge-first epistemology is a further step in the development of externalism.
     From: Timothy Williamson (Knowledge First (and reply) [2014], p.6)
     A reaction: Williamson is a real bruiser, isn't he? I don't take internalism about mind to be obsolescent at all, but now I feel so inferior for clinging to such an 'obsolescent' belief. ...But then I cling to Aristotle, who is (no doubt) an obsolete philosopher.
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
Surely I am acquainted with physical objects, not with appearances? [Williamson]
     Full Idea: When I ask myself what I am acquainted with, the physical objects in front of me are far more natural candidates than their appearances.
     From: Timothy Williamson (Knowledge First (and reply) [2014], p.3)
     A reaction: Not very impressive. The word 'acquainted' means the content of the experience, not the phenomena. Do I 'experience' the objects, or the appearances? The answer there is less obvious. If you apply it to colours, it is even less obvious.
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.
19. Language / C. Assigning Meanings / 2. Semantics
How does inferentialism distinguish the patterns of inference that are essential to meaning? [Williamson]
     Full Idea: Inferentialism faces the grave problem of separating patterns of inference that are to count as essential to the meaning of an expression from those that will count as accidental (a form of the analytic/synthetic distinction).
     From: Timothy Williamson (Knowledge First (and reply) [2014], p.6)
     A reaction: This sounds like a rather persuasive objection to inferentialism, though I don't personally take that as a huge objection to all internalist semantics.
Internalist inferentialism has trouble explaining how meaning and reference relate [Williamson]
     Full Idea: The internalist version of inferentialist semantics has particular difficulty in establishing an adequate relation between meaning and reference.
     From: Timothy Williamson (Knowledge First (and reply) [2014], p.6)
     A reaction: I would have thought that this was a big problem for referentialist semantics too, though evidently Williamson doesn't think so. If he is saying that the meaning is in the external world, dream on.
Inferentialist semantics relies on internal inference relations, not on external references [Williamson]
     Full Idea: On internalist inferential (or conceptual role) semantics, the inferential relations of an expression do not depend on what, if anything, it refers to, ...rather, the meaning is something like its place in a web of inferential relations.
     From: Timothy Williamson (Knowledge First (and reply) [2014], p.6)
     A reaction: Williamson says the competition is between externalist truth-conditional referential semantics (which he favours), and this internalist inferential semantics. He is, like, an expert, of course, but I doubt whether that is the only internalist option.
19. Language / C. Assigning Meanings / 7. Extensional Semantics
Truth-conditional referential semantics is externalist, referring to worldly items [Williamson]
     Full Idea: Truth-conditional referential semantics is an externalist programme. In a context of utterance the atomic expressions of a language refer to worldly items, from which the truth-conditions of sentences are compositionally determined.
     From: Timothy Williamson (Knowledge First (and reply) [2014], p.6)
     A reaction: I just don't see how a physical object can be part of the contents of a sentence. 'Dragons fly' is atomic, and meaningful, but its reference fails. 'The cat is asleep' is just words - it doesn't contain a live animal.
25. Social Practice / E. Policies / 5. Education / b. Education principles
Learned men gain more in one day than others do in a lifetime [Posidonius]
     Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes.
     From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078
     A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book.
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]
     Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness.
     From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42
     A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them.