Combining Texts
Ideas for
'Intro to Naming,Necessity and Natural Kinds', 'fragments/reports' and 'Axiomatic Theories of Truth (2005 ver)'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
7 ideas
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
15652
|
We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach]
|
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
15651
|
Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach]
|
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
5829
|
We refer to Thales successfully by name, even if all descriptions of him are false [Schwartz,SP]
|
5830
|
The traditional theory of names says some of the descriptions must be correct [Schwartz,SP]
|
5. Theory of Logic / L. Paradox / 1. Paradox
6007
|
If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R]
|
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
6006
|
If you say truly that you are lying, you are lying [Eubulides, by Dancy,R]
|
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')
6008
|
Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R]
|