30 ideas
| 5745 | Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine] |
| Full Idea: Quine charges quantified modal systems of logic with giving rise to unintended sense or nonsense, committing us to an incomprehensible ontology, and entailing an implausible or unsustainable Aristotelian essentialism. | |
| From: comment on Willard Quine (Existence and Quantification [1966]) by Joseph Melia - Modality Ch.3 | |
| A reaction: A nice summary. Personally I like essentialism in accounts of science (see Nature|Laws of Nature|Essentialism), so would like to save it in metaphysics. Possible worlds ontology may be very surprising, rather than 'incomprehensible'. |
| 8789 | Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine] |
| Full Idea: Quine said higher-order logic is 'set theory in sheep's clothing', and there is concern about the ontology that is involved. One approach is to deny quantificational ontological commitments, or say that the entities involved are first-order objects. | |
| From: comment on Willard Quine (Existence and Quantification [1966]) by B Hale / C Wright - Logicism in the 21st Century 8 | |
| A reaction: [compressed] The second strategy is from Boolos. This question seems to be right at the heart of the strategy of exploring our ontology through the study of our logic. |
| 15592 | The usual Tarskian interpretation of variables is to specify their range of values [Fine,K] |
| Full Idea: The usual Tarskian way of indicating how a variable is to be interpreted is to simply specify its range of values. | |
| From: Kit Fine (Semantic Relationism [2007], 1.B) |
| 15593 | Variables can be viewed as special terms - functions taking assignments into individuals [Fine,K] |
| Full Idea: The alternative Tarskian way of indicating how a variable is to be interpreted is that a variable x will be a special case of the semantic value of the term; it will be a function which takes each assignment into the individual which it assigns to x. | |
| From: Kit Fine (Semantic Relationism [2007], 1.B) |
| 15590 | It seemed that Frege gave the syntax for variables, and Tarski the semantics, and that was that [Fine,K] |
| Full Idea: Once Frege had provided a clear syntactic account of variables and once Tarski had supplemented this with a rigorous semantic account, it would appear that there was nothing more of significance to be said. | |
| From: Kit Fine (Semantic Relationism [2007], 1) | |
| A reaction: He later remarks that there are now three semantic accounts: the Tarskian, the instantial, and the algebraic [see xref ideas]. He offers a fourth account in his Semantic Relationism. This grows from his puzzles about variables. |
| 15591 | In separate expressions variables seem identical in role, but in the same expression they aren't [Fine,K] |
| Full Idea: When we consider the semantic role of 'x' and 'y' in two distinct expressions x>0 and y>0, their semantic roles seems the same. But in the same expression, such as x>y, their roles seem to be different. | |
| From: Kit Fine (Semantic Relationism [2007], 1.A) | |
| A reaction: [compressed] This new puzzle about variables leads Fine to say that the semantics of variables, and other expressions, is not intrinsic to them, but depends on their external relations. Variables denote any term - unless another variable got there first. |
| 15595 | The 'algebraic' account of variables reduces quantification to the algebra of its component parts [Fine,K] |
| Full Idea: In the 'algebraic' approach to variables, we move from a quantified sentence to the term specifying a property (the λ-term), and then reducing to the algebraic operations for atomic formulas. | |
| From: Kit Fine (Semantic Relationism [2007], 1.C) | |
| A reaction: [Bealer is a source for this view] Fine describes it as an 'algebra of operations'. I presume this is a thoroughly formalist approach to the matter, which doesn't seem to get to the heart of the semantic question. |
| 15594 | 'Instantial' accounts of variables say we grasp arbitrary instances from their use in quantification [Fine,K] |
| Full Idea: According to the 'instantial' approach to variables, a closed quantified sentence is to be understood on the basis of one of its instances; from an understanding of an instance we understand satisfaction by an arbitrary individual. | |
| From: Kit Fine (Semantic Relationism [2007], 1.D) | |
| A reaction: Fine comments that this is intuitively plausible, but not very precise, because it depends on 'abstraction' of the individual from the expression. |
| 15599 | Cicero/Cicero and Cicero/Tully may differ in relationship, despite being semantically the same [Fine,K] |
| Full Idea: There may be a semantic relationship between 'Cicero' and 'Cicero' that does not hold between 'Cicero' and 'Tully', despite the lack of an intrinsic semantic difference between the names themselves. | |
| From: Kit Fine (Semantic Relationism [2007], 2.E) | |
| A reaction: This is the key idea of Fine's book, and a most original and promising approach to a rather intractable problem in reference. He goes on to distinguish names which are 'strictly' coreferential (the first pair) from those that are 'accidentally' so. |
| 16966 | Philosophers tend to distinguish broad 'being' from narrower 'existence' - but I reject that [Quine] |
| Full Idea: It has been fairly common in philosophy early and late to distinguish between being, as the broadest concept, and existence, as narrower. This is no distinction of mine; I mean 'exist' to cover all there is. | |
| From: Willard Quine (Existence and Quantification [1966], p.100) | |
| A reaction: I sort of agree with Quine, but 'being' has a role in philosophy that is not required in science and daily life, as the name of the central problem of ontology, which probably has to be broken down before any progress can happen. |
| 16965 | All we have of general existence is what existential quantifiers express [Quine] |
| Full Idea: Existence is what existential quantification expresses. …It is unreasonable to ask for an explication of (general) existence in simpler terms. …We may still ask what counts as evidence for existential quantifications. | |
| From: Willard Quine (Existence and Quantification [1966], p.97) | |
| A reaction: This has been orthodoxy for the last 60 years, with philosophers talking of 'quantifying over' instead of 'exists'. But are we allowed second-order logic, and plural quantification, and vague domains? |
| 16963 | Existence is implied by the quantifiers, not by the constants [Quine] |
| Full Idea: In the quantification '(∃)(x=a)', it is the existential quantifier, not the 'a' itself, which carries the existential import. | |
| From: Willard Quine (Existence and Quantification [1966], p.94) | |
| A reaction: The Fregean idea seems to be that the criterion of existence is participation in an equality, but here the equality seems not more than assigning a name. Why can't I quantify over 'sakes', in 'for the sake of the children'? |
| 16964 | Theories are committed to objects of which some of its predicates must be true [Quine] |
| Full Idea: Another way of saying what objects a theory requires is to say that they are the objects that some of the predicates of the theory have to be true of, in order for the theory to be true. | |
| From: Willard Quine (Existence and Quantification [1966], p.95) | |
| A reaction: The other was for the objects to be needed by the bound variables of the theory. This is the first-order approach, that predication is a commitment to an object. So what of predicates which have no application? |
| 4216 | Express a theory in first-order predicate logic; its ontology is the types of bound variable needed for truth [Quine, by Lowe] |
| Full Idea: According to Quine, we find the ontological commitments of a theory by expressing it in first-order predicate logic, then determining what kind of entities must be admitted as bound variables if the theory is true. | |
| From: report of Willard Quine (Existence and Quantification [1966]) by E.J. Lowe - A Survey of Metaphysics p.216 | |
| A reaction: To me this is horribly wrong. The ontological commitments of our language is not the same as ontology. What are the ontological commitments of a pocket calculator? |
| 18966 | Ontological commitment of theories only arise if they are classically quantified [Quine] |
| Full Idea: I hold that the question of the ontological commitment of a theory does not properly arise except as that theory is expressed in classical quantificational form. | |
| From: Willard Quine (Existence and Quantification [1966], p.106) | |
| A reaction: He is attacking substitutional quantification for its failure to commit. I smell circularity. If it must be quantified in the first-order classical manner, that restricts your ontology to objects before you've even started. Chicken/egg. |
| 14490 | You can be implicitly committed to something without quantifying over it [Thomasson on Quine] |
| Full Idea: Quine's test for ontological commitment ignores the fact that there are often implicit commitments to certain kinds of entities even where we are not yet quantifying over them. | |
| From: comment on Willard Quine (Existence and Quantification [1966]) by Amie L. Thomasson - Ordinary Objects 09.4 | |
| A reaction: Put this with the obvious problem (of which Quine is aware) that we don't quantify over 'sakes' in 'for the sake of the children', and quantification and commitment have been rather clearly pulled apart. |
| 16961 | In formal terms, a category is the range of some style of variables [Quine] |
| Full Idea: In terms of formalized quantification theory, each category comprises the range of some distinctive style of variable. | |
| From: Willard Quine (Existence and Quantification [1966], p.92) | |
| A reaction: I add this for those who dream of formalising everything, but be warned that even Quine thought it of little help in deciding on the categories. Presumably there would be some variable that ranged across tigers. |
| 15603 | I can only represent individuals as the same if I do not already represent them as the same [Fine,K] |
| Full Idea: I can only represent two individuals as being the same if I do not already represent them as the same. | |
| From: Kit Fine (Semantic Relationism [2007], 3.A) | |
| A reaction: A very nice simple point. If I say 'Hesperus is Hesperus' I am unable to comment on the object, but 'Hesperus is Phosphorus' has a different expressive power. Start from contexts where it is necessary to say that two things are actually one. |
| 15604 | If Cicero=Tully refers to the man twice, then surely Cicero=Cicero does as well? [Fine,K] |
| Full Idea: 'Cicero=Cicero' and 'Cicero=Tully' are both dyadic predications. It is unnatural to suppose that the use of the same name converts a dyadic predicate into a reflexive predicate, or that there is one reference to Cicero in the first and two in the second. | |
| From: Kit Fine (Semantic Relationism [2007], 3.A) | |
| A reaction: I am deeply suspicious of the supposed 'property' of being self-identical, but that may not deny that it could be a genuine truth (shorthand for 'the C you saw is the same as the C I saw'). Having an identity makes equality with self possible. |
| 15602 | Mental files are devices for keeping track of basic coordination of objects [Fine,K] |
| Full Idea: Mental files should be seen as a device for keeping track of when objects are coordinated (represented as-the-same) and, rather than understand coordination in terms of mental files, we should understand mental files in terms of coordination. | |
| From: Kit Fine (Semantic Relationism [2007], 3.A) | |
| A reaction: Personally I think that the metaphor of a 'label' is much closer to the situation than that of a 'file'. Thus my concept of Cicero is labelled 'Tully', 'Roman', 'orator', 'philosophical example'... My problem is to distinguish the concept from its labels. |
| 15588 | You cannot determine the full content from a thought's intrinsic character, as relations are involved [Fine,K] |
| Full Idea: There is no determining the full content of what someone thinks or believes from the individual things that he thinks or believes; we must also look at the threads that tie the contents of these thoughts or beliefs together. | |
| From: Kit Fine (Semantic Relationism [2007], Intro) | |
| A reaction: I'm not sure what 'full' content could possibly mean. Does that include all our background beliefs which we hardly ever articulate. Content comes in degrees, or needs an arbitrary boundary? |
| 15596 | The standard aim of semantics is to assign a semantic value to each expression [Fine,K] |
| Full Idea: The aim of semantics, as standardly conceived, is to assign a semantic value to each (meaningful) expression of the language under consideration. | |
| From: Kit Fine (Semantic Relationism [2007], 1.G) | |
| A reaction: Fine is raising the difficulty that these values can get entangled with one another. He proposes 'semantic connections' as a better aim. |
| 15587 | That two utterances say the same thing may not be intrinsic to them, but involve their relationships [Fine,K] |
| Full Idea: In my 'Semantic Relationism' the fact that two utterances say the same thing is not entirely a matter of their intrinsic semantic features; it may also turn on semantic relationships among the utterances of their parts not reducible to those features. | |
| From: Kit Fine (Semantic Relationism [2007], Intro) | |
| A reaction: You'll need to read the book slowly several times to get the hang of this, but at least it allows that two different utterances might say the same thing (express the same proposition, I would say). |
| 15589 | The two main theories are Holism (which is inferential), and Representational (which is atomistic) [Fine,K] |
| Full Idea: For holists a proper theory will be broadly inferential, while for their opponents it will be representational in character, describing relations between expressions and reality. Representational semantics is atomist, holist semantics inferential. | |
| From: Kit Fine (Semantic Relationism [2007], Intro) | |
| A reaction: Fine presents these as the two main schools in semantics. His own theory then proposes a more holistic version of the Representational view. He seeks the advantages of Frege's position, but without 'sense'. |
| 15598 | We should pursue semantic facts as stated by truths in theories (and not put the theories first!) [Fine,K] |
| Full Idea: A 'semantics' is a body of semantic facts, and a 'semantic theory' is a body of semantic truths. The natural order is a theory being understood as truths, which state facts. Davidson, alas, reversed this order, with facts understood through theories. | |
| From: Kit Fine (Semantic Relationism [2007], 2.C) | |
| A reaction: [compressed; he cites Davidson 1967, and calls it 'one of the most unfortunate tendencies in modern philosophy of language, ..as if chemistry were understood in terms of formulae rather than chemical facts']. |
| 15600 | Referentialist semantics has objects for names, properties for predicates, and propositions for connectives [Fine,K] |
| Full Idea: The standard referentialist semantics for a language with names is that the semantic value of the name is the object, the content of a predicate is a property, and the content of a logical connective is an operation on propositions. | |
| From: Kit Fine (Semantic Relationism [2007], 2.F) | |
| A reaction: My particular bęte noire is the idea that every predicate names a property. It is the tyranny of having to have a comprehensive semantic theory that drives this implausible picture. And I don't see how an object can be a semantic value… |
| 15601 | Fregeans approach the world through sense, Referentialists through reference [Fine,K] |
| Full Idea: Fregeans emphasise an orientation towards the speaker: possession of sense makes language meaningful, and language relates to the world through sense. For the Referentialist its representational relationships make it meaningful, and relate it to the world | |
| From: Kit Fine (Semantic Relationism [2007], 2.G) | |
| A reaction: The Referentialist approach is for Kripkean fans of direct reference, rather than the Fregean reference through descriptions. I am inclined to favour the old-fashioned, deeply discredited, much mocked Fregean approach. |
| 15605 | I take indexicals such as 'this' and 'that' to be linked to some associated demonstration [Fine,K] |
| Full Idea: Demonstrative uses of an indexical such as 'this' or 'that' should be taken to be anaphoric on an associated demonstration. It is a semantic requirement on the use of the indexical that it be coreferential with the demonstration. | |
| From: Kit Fine (Semantic Relationism [2007], Post 'Indexicals') | |
| A reaction: Similarly 'now' must connect to looking at a clock, and 'I' to pointing at some person. The demonstration could be of a verbal event, as much as a physical one. |
| 1748 | 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 |
| 5989 | 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. |