Combining Texts

All the ideas for 'The philosophical basis of intuitionist logic', 'Propositions' and 'Truth and Meaning'

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

15 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 / E. Structures of Logic / 1. Logical Form
7332 There is a huge range of sentences of which we do not know the logical form [Davidson]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
9455 Maybe proper names have the content of fixing a thing's category [Bealer]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
9454 The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's [Bealer]
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 / C. Assigning Meanings / 4. Compositionality
7772 Compositionality explains how long sentences work, and truth conditions are the main compositional feature [Davidson, by Lycan]
19. Language / C. Assigning Meanings / 5. Fregean Semantics
7327 Davidson thinks Frege lacks an account of how words create sentence-meaning [Davidson, by Miller,A]
19. Language / C. Assigning Meanings / 9. Indexical Semantics
7769 You can state truth-conditions for "I am sick now" by relativising it to a speaker at a time [Davidson, by Lycan]
19. Language / D. Propositions / 1. Propositions
9452 Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [Bealer]
9453 Sentences saying the same with the same rigid designators may still express different propositions [Bealer]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
9451 Modal logic and brain science have reaffirmed traditional belief in propositions [Bealer]
19. Language / F. Communication / 6. Interpreting Language / b. Indeterminate translation
6179 Should we assume translation to define truth, or the other way around? [Blackburn on Davidson]