Combining Texts

Ideas for 'fragments/reports', 'The philosophical basis of intuitionist logic' and 'Propositions'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


3 ideas

5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
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
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
Classical quantification is an infinite conjunction or disjunction - but you may not know all the instances [Dummett]