13 ideas
18009 | Chomsky established the view that category mistakes are well-formed but meaningless [Chomsky, by Magidor] |
Full Idea: The view of Chomsky in 1957 that category mistakes are syntactically well-formed but meaningless is a very standard one. | |
From: report of Noam Chomsky (Syntactic Structure [1957]) by Ofra Magidor - Category Mistakes 1.3 | |
A reaction: I'm going off the idea that they are meaningless, largely because I am beginning to sympathise with the view that any composition of meaningful components is meaningful (even if blatantly false). |
9470 | Modal logic is not an extensional language [Parsons,C] |
Full Idea: Modal logic is not an extensional language. | |
From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.159 n8) | |
A reaction: [I record this for investigation. Possible worlds seem to contain objects] |
13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
Full Idea: The difficulties historically attributed to the axiom of choice are probably better ascribed to the law of excluded middle. | |
From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
A reaction: The law of excluded middle was a target for the intuitionists, so presumably the debate went off in that direction. |
9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
Full Idea: I argue (against Quine) that the existential quantifier substitutionally interpreted has a genuine claim to express a concept of existence, which may give the best account of linguistic abstract entities such as propositions, attributes, and classes. | |
From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156) | |
A reaction: Intuitively I have my doubts about this, since the whole thing sounds like a verbal and conventional game, rather than anything with a proper ontology. Ruth Marcus and Quine disagree over this one. |
9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
Full Idea: For the substitutional interpretation of quantifiers, a sentence of the form '(∃x) Fx' is true iff there is some closed term 't' of the language such that 'Ft' is true. For the objectual interpretation some object x must exist such that Fx is true. | |
From: Charles Parsons (A Plea for Substitutional Quantification [1971], p.156) | |
A reaction: How could you decide if it was true for 't' if you didn't know what object 't' referred to? |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
Full Idea: The existence of very general principles in mathematics are universally regarded as obvious, where on an empiricist view one would expect them to be bold hypotheses, about which a prudent scientist would maintain reserve. | |
From: Charles Parsons (Mathematical Intuition [1980], p.152), quoted by Penelope Maddy - Naturalism in Mathematics | |
A reaction: This is mainly aimed at Quine's and Putnam's indispensability (to science) argument about mathematics. |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
Full Idea: The finitist may have no conception of function, because functions are transfinite objects. | |
From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §4) | |
A reaction: He is offering a view of Tait's. Above my pay scale, but it sounds like a powerful objection to the finitist view. Maybe there is a finitist account of functions that could be given? |
13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
Full Idea: If experience shows that some aspect of the physical world fails to instantiate a certain mathematical structure, one will modify the theory by sustituting a different structure, while the original structure doesn't lose its status as part of mathematics. | |
From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
A reaction: This seems to be a beautifully simple and powerful objection to the Quinean idea that mathematics somehow only gets its authority from physics. It looked like a daft view to begin with, of course. |
18988 | Behind the bare phenomenal facts there is nothing [Wright,Ch] |
Full Idea: Behind the bare phenomenal facts, as my tough-minded old friend Chauncey Wright, the great Harvard empiricist of my youth, used to say, there is nothing. | |
From: Chauncey Wright (talk [1870]), quoted by William James - Pragmatism - eight lectures Lec 7 | |
A reaction: This is the best slogan for strong phenomenalism ever coined! It also seems to fit David Lewis's approach to philosophy, as the pure study of the mosaic of experiences. |
6649 | Chomsky now says concepts are basically innate, as well as syntax [Chomsky, by Lowe] |
Full Idea: Chomsky now contends that not only the syntax of natural language but also the concepts expressible in it have an innate basis. | |
From: report of Noam Chomsky (Chomsky on himself [1994]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.7 n25 | |
A reaction: This seems to follow Fodor, who has been mocked for implying that we have an innate idea of a screwdriver etc. Note that Chomsky says concepts have an innate 'basis'. This fits well with modern (cautious) rationalism, with which I am happy. |
18007 | Syntax is independent of semantics; sentences can be well formed but meaningless [Chomsky, by Magidor] |
Full Idea: In 1957 Chomsky argues that syntax is an independent field from semantics. …To support this claim he argues that the now-famous category mistake 'Colourless green ideas sleep furiously' is grammatical but meaningless. | |
From: report of Noam Chomsky (Syntactic Structure [1957]) by Ofra Magidor - Category Mistakes 1.3 | |
A reaction: I'm tempted by the thought that this famous sentence actually is meaningful, although the meaning is fragmentary, and any proposition which can be assembled from it appears to be blatantly false. |
18006 | Chomsky's 'interpretative semantics' says syntax comes first, and is then interpreted [Chomsky, by Magidor] |
Full Idea: Chomsky and his followers (whose position was labelled 'interpretative semantics') claimed that a sentence is first assigned a syntactic structure by an autonomous syntactic module, and this structure is then provided as input for semantic interpretation. | |
From: report of Noam Chomsky (Aspects of the Theory of Syntax [1965]) by Ofra Magidor - Category Mistakes 1.3 | |
A reaction: This certainly doesn't fit the experience of introspecting speech, but then I suppose good pianists focus entirely on the music, and overlook the finger movements which have obvious priority. But I don't know the syntax of the sentence when I begin it. |