Combining Texts
Ideas for
'Truth and the Past', 'Nihilism without Self-Contradiction' and 'Proper Names'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
8 ideas
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
8195
|
Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett]
|
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
7746
|
We don't normally think of names as having senses (e.g. we don't give definitions of them) [Searle]
|
7747
|
How can a proper name be correlated with its object if it hasn't got a sense? [Searle]
|
7748
|
'Aristotle' means more than just 'an object that was christened "Aristotle"' [Searle]
|
7749
|
Reference for proper names presupposes a set of uniquely referring descriptions [Searle]
|
7750
|
Proper names are logically connected with their characteristics, in a loose way [Searle]
|
5. Theory of Logic / G. Quantification / 6. Plural Quantification
14232
|
We normally formalise 'There are Fs' with singular quantification and predication, but this may be wrong [Liggins]
|
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')
8194
|
Surely there is no exact single grain that brings a heap into existence [Dummett]
|