Combining Texts

All the ideas for 'The philosophical basis of intuitionist logic', 'Interview with Baggini and Stangroom' and 'Assertion'

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

10 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
18073 Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Dummett, by Kitcher]
5. Theory of Logic / G. Quantification / 1. Quantification
19057 Classical quantification is an infinite conjunction or disjunction - but you may not know all the instances [Dummett]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
19055 Stating a sentence's truth-conditions is just paraphrasing the sentence [Dummett]
19056 If a sentence is effectively undecidable, we can never know its truth conditions [Dummett]
19. Language / A. Nature of Meaning / 6. Meaning as Use
19054 Meaning as use puts use beyond criticism, and needs a holistic view of language [Dummett]
19. Language / F. Communication / 2. Assertion
18052 An assertion aims to add to the content of a context [Stalnaker, by Magidor]
19. Language / F. Communication / 5. Pragmatics / b. Implicature
14718 An assertion is an attempt to rule out certain possibilities, narrowing things down for good planning [Stalnaker, by Schroeter]
22. Metaethics / B. Value / 2. Values / e. Death
6866 It is disturbing if we become unreal when we die, but if time is unreal, then we remain real after death [Le Poidevin]
23. Ethics / F. Existentialism / 1. Existentialism
6867 Existentialism focuses on freedom and self-making, and insertion into the world [Le Poidevin]
27. Natural Reality / D. Time / 2. Passage of Time / d. Time series
6865 A-theory says past, present, future and flow exist; B-theory says this just reports our perspective [Le Poidevin]