Combining Texts

All the ideas for 'fragments/reports', 'Inexpressible Properties and Propositions' and 'Empty Names'

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


11 ideas

3. Truth / H. Deflationary Truth / 3. Minimalist Truth
Instances of minimal truth miss out propositions inexpressible in current English [Hofweber]
     Full Idea: A standard objection to minimalist truth is the 'incompleteness objection'. Since there are propositions inexpressible in present English the concept of truth isn't captured by all the instances of the Tarski biconditional.
     From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 5.3)
     A reaction: Sounds like a good objection.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Semantic theory should specify when an act of naming is successful [Sawyer]
     Full Idea: A semantic theory of names should deliver a specification of the conditions under which a name names an individual, and hence a specification of the conditions under which a name is empty.
     From: Sarah Sawyer (Empty Names [2012], 1)
     A reaction: Naming can be private, like naming my car 'Bertrand', but never tell anyone. I like Plato's remark that names are 'tools'. Do we specify conditions for successful spanner-usage? The first step must be individuation, preparatory to naming.
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Millians say a name just means its object [Sawyer]
     Full Idea: The Millian view of direct reference says that the meaning of a name is the object named.
     From: Sarah Sawyer (Empty Names [2012], 4)
     A reaction: Any theory that says meaning somehow is features of the physical world strikes me as totally misguided. Napoleon is a man, so he can't be part of a sentence. He delegates that job to words (such as 'Napoleon').
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
Sentences with empty names can be understood, be co-referential, and even be true [Sawyer]
     Full Idea: Some empty names sentences can be understood, so appear to be meaningful ('Pegasus was sired by Poseidon'), ...some appear to be co-referential ('Santa Claus'/'Father Christmas'), and some appear to be straightforwardly true ('Pegasus doesn't exist').
     From: Sarah Sawyer (Empty Names [2012], 1)
     A reaction: Hang on to this, when the logicians arrive and start telling you that your talk of empty names is vacuous, because there is no object in the 'domain' to which a predicate can be attached. Meaning, reference and truth are the issues around empty names.
Frege's compositional account of truth-vaues makes 'Pegasus doesn't exist' neither true nor false [Sawyer]
     Full Idea: In Frege's account sentences such as 'Pegasus does not exist' will be neither true nor false, since the truth-value of a sentence is its referent, and the referent of a complex expression is determined by the referent of its parts.
     From: Sarah Sawyer (Empty Names [2012], 2)
     A reaction: We can keep the idea of 'sense', which is very useful for dealing with empty names, but tweak his account of truth-values to evade this problem. I'm thinking that meaning is compositional, but truth-value isn't.
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
Definites descriptions don't solve the empty names problem, because the properties may not exist [Sawyer]
     Full Idea: If it were possible for a definite description to be empty - not in the sense of there being no object that satisfies it, but of there being no set of properties it refers to - the problem of empty names would not have been solved.
     From: Sarah Sawyer (Empty Names [2012], 5)
     A reaction: Swoyer is thinking of properties like 'is a unicorn', which are clearly just as vulnerable to being empty as 'the unicorn' was. It seems unlikely that 'horse', 'white' and 'horn' would be empty.
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Quantification can't all be substitutional; some reference is obviously to objects [Hofweber]
     Full Idea: The view that all quantification is substitutional is not very plausible in general. Some uses of quantifiers clearly seem to have the function to make a claim about a domain of objects out there, no matter how they relate to the terms in our language.
     From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 2.1)
     A reaction: Robust realists like myself are hardly going to say that quantification is just an internal language game.
8. Modes of Existence / B. Properties / 1. Nature of Properties
Since properties have properties, there can be a typed or a type-free theory of them [Hofweber]
     Full Idea: Since properties themselves can have properties there is a well-known division in the theory of properties between those who take a typed and those who take a type-free approach.
     From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 2.2)
     A reaction: A typed approach would imply restrictions on what it can be a property of. 'Green' is a property of surfaces, 'dark' is a property of colours. My first reaction is to opt for type-free.
19. Language / F. Communication / 6. Interpreting Language / a. Translation
Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber]
     Full Idea: Holism says that nothing that can be said in one language can be said in another one. The expressibility hypothesis says that everything that can be said in one language can be said in every other one.
     From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 6.4)
     A reaction: Obviously expressibility would only refer to reasonably comprehensive languages (with basic logical connectives, for example). Personally I vote for the expressibility hypothesis, which Hofweber seems to favour.
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
     Full Idea: Archelaus was the first person to say that the universe is boundless.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]
     Full Idea: Archelaus wrote that life on Earth began in a primeval slime.
     From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus
     A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea.