27 ideas
| 10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
| Full Idea: Henkin semantics (for second-order logic) specifies a second domain of predicates and relations for the upper case constants and variables. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
| A reaction: This second domain is restricted to predicates and relations which are actually instantiated in the model. Second-order logic is complete with this semantics. Cf. Idea 10756. |
| 10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
| Full Idea: In addition to standard and Henkin semantics for second-order logic, one might also employ substitutional or game-theoretical or topological semantics, or Boolos's plural interpretation, or even a semantics inspired by Lesniewski. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
| A reaction: This is helpful in seeing the full picture of what is going on in these logical systems. |
| 10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
| Full Idea: Second-order logic raises doubts because of its ontological commitment to the set-theoretic hierarchy, and the allegedly problematic epistemic status of the second-order consequence relation. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §1) | |
| A reaction: The 'epistemic' problem is whether you can know the truths, given that the logic is incomplete, and so they cannot all be proved. Rossberg defends second-order logic against the second problem. A third problem is that it may be mathematics. |
| 10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
| Full Idea: Logical consequence is intuitively taken to be a semantic notion, ...and it is therefore the formal semantics, i.e. the model theory, that captures logical consequence. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §2) | |
| A reaction: If you come at the issue from normal speech, this seems right, but if you start thinking about the necessity of logical consequence, that formal rules and proof-theory seem to be the foundation. |
| 10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
| Full Idea: Deductive consequence, written Γ|-S, is loosely read as 'the sentence S can be deduced from the sentences Γ', and semantic consequence Γ|=S says 'all models that make Γ true make S true as well'. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §2) | |
| A reaction: We might read |= as 'true in the same model as'. What is the relation, though, between the LHS and the RHS? They seem to be mutually related to some model, but not directly to one another. |
| 10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
| Full Idea: A proof-theorist could insist that the logical form of a sentence is exhibited by the logical constants that it contains. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §2) | |
| A reaction: You have to first get to the formal logical constants, rather than the natural language ones. E.g. what is the truth table for 'but'? There is also the matter of the quantifiers and the domain, and distinguishing real objects and predicates from bogus. |
| 16405 | To understand a name (unlike a description) picking the thing out is sufficient? [Stalnaker] |
| Full Idea: If we ask 'what must you know to understand a name?', the naïve answer is that one must know who or what it names - nothing more. (But no one would give this answer about what is needed to understand a definite description). | |
| From: Robert C. Stalnaker (Reference and Necessity [1997], 4) | |
| A reaction: Presumably this is naive because names can be full of meaning ('the Empress'), or description and reference together ('there's the man who robbed me') and so on. It's a nice starting point though. A number can serve as a name. |
| 10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
| Full Idea: A standard model is a set of objects called the 'domain', and an interpretation function, assigning objects in the domain to names, subsets to predicate letters, subsets of the Cartesian product of the domain with itself to binary relation symbols etc. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
| A reaction: The model actually specifies which objects have which predicates, and which objects are in which relations. Tarski's account of truth in terms of 'satisfaction' seems to be just a description of those pre-decided facts. |
| 10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
| Full Idea: A mathematical theory is 'categorical' if, and only if, all of its models are isomorphic. Such a theory then essentially has just one model, the standard one. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
| A reaction: So the term 'categorical' is gradually replacing the much-used phrase 'up to isomorphism'. |
| 10761 | Completeness can always be achieved by cunning model-design [Rossberg] |
| Full Idea: All that should be required to get a semantics relative to which a given deductive system is complete is a sufficiently cunning model-theorist. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §5) |
| 10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
| Full Idea: No deductive system is semantically incomplete in and of itself; rather a deductive system is incomplete with respect to a specified formal semantics. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
| A reaction: This important point indicates that a system might be complete with one semantics and incomplete with another. E.g. second-order logic can be made complete by employing a 'Henkin semantics'. |
| 16407 | Possible worlds allow separating all the properties, without hitting a bare particular [Stalnaker] |
| Full Idea: The possible worlds framework suggests a way to express the idea that a particular is conceptually separable from its properties without relying on the rejected picture of a bare particular. | |
| From: Robert C. Stalnaker (Reference and Necessity [1997], 5) | |
| A reaction: As I read him, Stalnaker's proposal just comes down to replacing each property in turn with a different one. 'Strip away' red by making it green. It being green in w1 doesn't throw extra light. Can it be a bare particular in w37? |
| 16397 | If it might be true, it might be true in particular ways, and possible worlds describe such ways [Stalnaker] |
| Full Idea: A clarifying assumption is that if something might be true, then it might be true in some particular way. …Possible worlds begin from this, and the assumption that what might be true can be described as how a possibility might be realised. | |
| From: Robert C. Stalnaker (Reference and Necessity [1997], 2) | |
| A reaction: This is a leading practitioner giving his best shot at explaining the rationale of the possible worlds approach, addressed to many sceptics. Most sceptics, I think, don't understand the qualifications the practitioners apply to their game. |
| 16399 | Possible worlds are ontologically neutral, but a commitment to possibilities remains [Stalnaker] |
| Full Idea: I argue for the metaphysical neutrality of the possible worlds framework, but I do not suggest that its use is free of ontological commitment to possibilities (ways things might be, counterfactual situations, possible states of worlds). | |
| From: Robert C. Stalnaker (Reference and Necessity [1997], 2) | |
| A reaction: Glad to hear this, as I have always been puzzled at possible aspirations to eliminate modality (such as possibility) by introducing 'possible' worlds. Commitment to possibilities I take to be basic and unavoidable. |
| 16398 | Possible worlds allow discussion of modality without controversial modal auxiliaries [Stalnaker] |
| Full Idea: The main benefit of the possible worlds move is to permit one to paraphrase modal claims in an extensional language that has quantifiers, but no modal auxiliaries, so the semantic stucture of modal discourse can be discussed without the controversies. | |
| From: Robert C. Stalnaker (Reference and Necessity [1997], 2) | |
| A reaction: The strategy introduces the controversy of possible worlds instead, but since they just boil down to collections of objects with properties, classical logic can reign. Possible worlds are one strategy alongside many others. |
| 16396 | Kripke's possible worlds are methodological, not metaphysical [Stalnaker] |
| Full Idea: The possible worlds framework that Kripke introduces should be understood not as a metaphysical theory, but as a methodological framework. | |
| From: Robert C. Stalnaker (Reference and Necessity [1997], Intro) | |
| A reaction: That's certainly how I see possible worlds. I lose no sleep over whether they exist. I just take a set of possible worlds to be like cells in a spreadsheet, or records in a database. |
| 16408 | Rigid designation seems to presuppose that differing worlds contain the same individuals [Stalnaker] |
| Full Idea: A rigid designator is a designator that denotes the same individual in all possible worlds; doesn't this presuppose that the same individuals can be found in differing possible worlds? | |
| From: Robert C. Stalnaker (Reference and Necessity [1997], 5) | |
| A reaction: This is part of Stalnaker's claim that Kripke already has a metaphysics in place when he starts on his semantics and his theory of reference. Kripke needs a global domain, not a variable domain. Possibilities suggest variable domains to me. |
| 22868 | The value and truth of knowledge are measured by success in activity [Dewey] |
| Full Idea: What measures knowledge's value, its correctness and truth, is the degree of its availability for conducting to a successful issue the activities of living beings. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 4:180), quoted by David Hildebrand - Dewey 2 'Critique' | |
| A reaction: Note that this is the measure of truth, not the nature of truth (which James seemed to believe). Dewey gives us a clear and perfect statement of the pragmatic view of knowledge. I don't agree with it. |
| 22865 | Habits constitute the self [Dewey] |
| Full Idea: All habits are demands for certain kinds of activity; and they constitute the self. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 14:22), quoted by David Hildebrand - Dewey 1 'Acts' | |
| A reaction: Not an idea I have encountered elsewhere. He emphasises that habits are not repeated actions, but are dispositions. I'm not clear whether these habits must be conscious. |
| 16406 | If you don't know what you say you can't mean it; what people say usually fits what they mean [Stalnaker] |
| Full Idea: If you don't know what you are saying then you don't mean what you say, and also speakers generally mean what they say (in that what they say coincides with what they mean). | |
| From: Robert C. Stalnaker (Reference and Necessity [1997], 4) | |
| A reaction: Both these thoughts seem completely acceptable and correct, but rely on something called 'meaning' that is distinct from saying. I would express this in terms of propositions, which I take to be mental events. |
| 16404 | In the use of a name, many individuals are causally involved, but they aren't all the referent [Stalnaker] |
| Full Idea: The causal theory of reference is criticised for vagueness. Causal connections are ubiquitous, and there are obviously many individuals that are causally implicated in the speaker's use of a name, but they aren't all plausible candidates for the referent. | |
| From: Robert C. Stalnaker (Reference and Necessity [1997], 4) | |
| A reaction: This seems to be a very good objection. Among all the causal links back to some baptised object, we have to pick out the referential link, which needs a criterion. |
| 16403 | 'Descriptive' semantics gives a system for a language; 'foundational' semantics give underlying facts [Stalnaker] |
| Full Idea: 'Descriptive' semantics gives a semantics for the language without saying how practice explains why the semantics is right; …'foundational' semantics concerns the facts that give expressions their semantic values. | |
| From: Robert C. Stalnaker (Reference and Necessity [1997], §1) | |
| A reaction: [compressed] Sounds parallel to the syntax/semantics distinction, or proof-theoretical and semantic validity. Or the sense/reference distinction! Or object language/metalanguage. Shall I go on? |
| 16401 | To understand an utterance, you must understand what the world would be like if it is true [Stalnaker] |
| Full Idea: To understand what is said in an utterance of 'The first dog born at sea was a basset hound', one needs to know what the world would have been like in order for what was said in that utterance to be true. | |
| From: Robert C. Stalnaker (Reference and Necessity [1997], 3) | |
| A reaction: Put like that, the idea is undeniable. Understanding involves truth conditions. Does mean involve the understanding of the meaning. What do you understand when you understand a sentence? Just facts about dogs? Or something in the sentence? |
| 22871 | The good people are those who improve; the bad are those who deteriorate [Dewey] |
| Full Idea: The bad man is the man who no matter how good he has been is beginning to deteriorate, to grow less good. The good man is the man who no matter how morally unworthy he has been is moving to become better. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 12:181), quoted by David Hildebrand - Dewey 3 'Reconstruct' | |
| A reaction: Although a slightly improving rat doesn't sound as good as a slightly deteriorating saint, I have some sympathy with this thought. The desire to improve seems to be right at the heart of what makes good character. |
| 22876 | Democracy is the development of human nature when it shares in the running of communal activities [Dewey] |
| Full Idea: Democracy is but a name for the fact that human nature is developed only when its elements take part in directing things which are common, things for the sake of which men and women form groups. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 12:199), quoted by David Hildebrand - Dewey 4 'Democracy' | |
| A reaction: It is hard to prove that human nature develops when it particpates in groups. If people are excluded from power, their loyalty tends to switch to sub-groups, such as friends in a pub, or a football team. Powerless nationalists baffle me. |
| 22875 | Democracy is not just a form of government; it is a mode of shared living [Dewey] |
| Full Idea: A democracy is more than a form of government; it is primarily a mode of associated living, of conjoint communicated experience | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 9:93), quoted by David Hildebrand - Dewey 4 'Democracy' | |
| A reaction: This precisely pinpoints the heart of the culture wars in 2021. A huge swathe of western populations believe in Dewey's idea, but a core of wealthy right-wingers and their servants only see democracy as the mechanism for obtaining power. |
| 22874 | Individuality is only developed within groups [Dewey] |
| Full Idea: Only in social groups does a person have a chance to develop individuality. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 15:176), quoted by David Hildebrand - Dewey 4 'Individuals' | |
| A reaction: This is a criticism of both Rawls and Nozick. Rawls's initial choosers don't consult, or have much social background. Nozick's property owners ignore everything except contracts. |