Combining Texts

All the ideas for 'Propositions', 'Elements of Intuitionism (2nd ed)' and 'Russell'

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

8 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
18832 Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett]
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]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
6408 Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling]
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
6414 Two propositions might seem self-evident, but contradict one another [Grayling]
19. Language / D. Propositions / 1. Propositions
9453 Sentences saying the same with the same rigid designators may still express different propositions [Bealer]
9452 Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [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]