26 ideas
13886 | Later Frege held that definitions must fix a function's value for every possible argument [Frege, by Wright,C] |
Full Idea: Frege later became fastidious about definitions, and demanded that they must provide for every possible case, and that no function is properly determined unless its value is fixed for every conceivable object as argument. | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Crispin Wright - Frege's Concept of Numbers as Objects 3.xiv | |
A reaction: Presumably definitions come in degrees of completeness, but it seems harsh to describe a desire for the perfect definition as 'fastidious', especially if we are talking about mathematics, rather than defining 'happiness'. |
9845 | We can't define a word by defining an expression containing it, as the remaining parts are a problem [Frege] |
Full Idea: Given the reference (bedeutung) of an expression and a part of it, obviously the reference of the remaining part is not always determined. So we may not define a symbol or word by defining an expression in which it occurs, whose remaining parts are known | |
From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §66) | |
A reaction: Dummett cites this as Frege's rejection of contextual definitions, which he had employed in the Grundlagen. I take it not so much that they are wrong, as that Frege decided to set the bar a bit higher. |
10019 | Only what is logically complex can be defined; what is simple must be pointed to [Frege] |
Full Idea: Only what is logically complex can be defined; what is simple can only be pointed to. | |
From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §180), quoted by Harold Hodes - Logicism and Ontological Commits. of Arithmetic p.137 | |
A reaction: Frege presumably has in mind his treasured abstract objects, such as cardinal numbers. It is hard to see how you could 'point to' anything in the phenomenal world that had atomic simplicity. Hodes calls this a 'desperate Kantian move'. |
12442 | 'Mickey Mouse is a fictional mouse' is true without a truthmaker [Azzouni] |
Full Idea: 'Mickey Mouse is a fictional mouse' can be taken as true without have any truthmaker. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
A reaction: There might be an equivocation over 'true' here. 'What, really really true that he IS a fictional mouse?' |
12439 | Truth is dispensable, by replacing truth claims with the sentence itself [Azzouni] |
Full Idea: No truth predicate is ever indispensable, because Tarski biconditionals, the equivalences between sentences and explicit truth ascriptions to those sentences, allow us to replace explicit truth ascriptions with the sentences themselves. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.1) | |
A reaction: Holding a sentence to be true isn't the same as saying that it is true, and it isn't the same as saying the sentence, because one might say it in an ironic tone of voice. |
12437 | Truth lets us assent to sentences we can't explicitly exhibit [Azzouni] |
Full Idea: My take on truth is a fairly deflationary one: The role of the truth predicate is to enable us to assent to sentences we can't explicitly exhibit. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Intro) | |
A reaction: Clearly this is a role for truth, as in 'I forget what he said, but I know it was true', but it isn't remotely what most people understand by true. We use 'true' about totally explicit sentences all the time. |
12446 | Names function the same way, even if there is no object [Azzouni] |
Full Idea: Names function the same way (semantically and grammatically) regardless of whether or not there's an object that they refer to. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3 n55) | |
A reaction: I take this to be a fairly clear rebuttal of the 'Fido'-Fido view of names (that the meaning of the name IS the dog), which never seems to quite go away. A name is a peg on which description may be hung, seems a good slogan to me. |
9886 | Cardinals say how many, and reals give measurements compared to a unit quantity [Frege] |
Full Idea: The cardinals and the reals are completely disjoint domains. The cardinal numbers answer the question 'How many objects of a given kind are there?', but the real numbers are for measurement, saying how large a quantity is compared to a unit quantity. | |
From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §157), quoted by Michael Dummett - Frege philosophy of mathematics Ch.19 | |
A reaction: We might say that cardinals are digital and reals are analogue. Frege is unusual in totally separating them. They map onto one another, after all. Cardinals look like special cases of reals. Reals are dreams about the gaps between cardinals. |
9889 | Real numbers are ratios of quantities [Frege, by Dummett] |
Full Idea: Frege fixed on construing real numbers as ratios of quantities (in agreement with Newton). | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Michael Dummett - Frege philosophy of mathematics Ch.20 | |
A reaction: If 3/4 is the same real number as 6/8, which is the correct ratio? Why doesn't the square root of 9/16 also express it? Why should irrationals be so utterly different from rationals? In what sense are they both 'numbers'? |
10553 | A number is a class of classes of the same cardinality [Frege, by Dummett] |
Full Idea: For Frege, in 'Grundgesetze', a number is a class of classes of the same cardinality. | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.14 |
10020 | Frege's biggest error is in not accounting for the senses of number terms [Hodes on Frege] |
Full Idea: The inconsistency of Grundgesetze was only a minor flaw. Its fundamental flaw was its inability to account for the way in which the senses of number terms are determined. It leaves the reference-magnetic nature of the standard numberer a mystery. | |
From: comment on Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903]) by Harold Hodes - Logicism and Ontological Commits. of Arithmetic p.139 | |
A reaction: A point also made by Hofweber. As a logician, Frege was only concerned with the inferential role of number terms, and he felt he had captured their logical form, but it is when you come to look at numbers in natural language that he seem in trouble. |
9887 | Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett] |
Full Idea: Frege's three main objections to radical formalism are that it cannot account for the application of mathematics, that it confuses a formal theory with its metatheory, and it cannot explain an infinite sequence. | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §86-137) by Michael Dummett - Frege philosophy of mathematics | |
A reaction: The application is because we don't design maths randomly, but to be useful. The third objection might be dealt with by potential infinities (from formal rules). The second objection sounds promising. |
8751 | Only applicability raises arithmetic from a game to a science [Frege] |
Full Idea: It is applicability alone which elevates arithmetic from a game to the rank of a science. | |
From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §91), quoted by Stewart Shapiro - Thinking About Mathematics 6.1.2 | |
A reaction: This is the basic objection to Formalism. It invites the question of why it is applicable, which platonists like Frege don't seem to answer (though Plato himself has reality modelled on the Forms). This is why I like structuralism. |
12447 | That all existents have causal powers is unknowable; the claim is simply an epistemic one [Azzouni] |
Full Idea: If the argument isn't that, metaphysically speaking, anything that exists must have causal powers - how on earth would we show that? - rather, the claim is an epistemic one. Any thing we're in a position to know about we must causally interact with. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.4) | |
A reaction: A very good point. I am attracted to causal power as a criterion for existence, but Azzouni's distinction is vital. Maybe there is just no point in even talking about things which exist but have no causal powers. |
12445 | If fictional objects really don't exist, then they aren't abstract objects [Azzouni] |
Full Idea: It's robustly part of common sense that fictional objects don't exist in any sense at all, and this means they aren't abstracta either. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
A reaction: Nice. It is so easy to have some philosopher dilute and equivocate over the word 'object' until you find yourself committed to all sorts of daft things as somehow having objectual existence. We can discuss things which don't exist in any way at all. |
12449 | Modern metaphysics often derives ontology from the logical forms of sentences [Azzouni] |
Full Idea: It is widespread in contemporary metaphysics to extract commitments to various types of object on the basis of the logical form of certain sentences. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.7) | |
A reaction: I'm with Azzouni in thinking that this procedure is a very bad idea. I'm increasingly inclined towards the wild view that people are only ontologically committed to things if they explicitly say that they are so committed. |
12440 | If objectual quantifiers ontologically commit, so does the metalanguage for its semantics [Azzouni] |
Full Idea: The argument that objectual quantifiers are ontologically committing has the crucial and unnoticed presupposition that the language in which the semantics for the objectual quantifiers is couched (the 'metalanguage') also has quantifiers with commitment. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
A reaction: That is, presumably we find ourselves ontologically committed to the existence of quantifiers, and are also looking at an infinite regress. See Idea 12439. |
12438 | In the vernacular there is no unequivocal ontological commitment [Azzouni] |
Full Idea: There are no linguistic devices, no idioms (not 'there is', not 'exists') that unequivocally indicate ontological commitment in the vernacular. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Intro) | |
A reaction: This seems right, since people talk in such ways about soap opera, while understanding the ontological situation perfectly well. Presumably Quine is seeking higher standards than the vernacular, if we are doing science. |
12441 | We only get ontology from semantics if we have already smuggled it in [Azzouni] |
Full Idea: A slogan: One can't read ontological commitments from semantic conditions unless one has already smuggled into those semantic conditions the ontology one would like to read off. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.3) | |
A reaction: The arguments supporting this are subtle, but it's good enough for me, as I never thought anyone was ontologically committed just because they used the vagueries of language to try to say what's going on around here. |
12448 | Things that don't exist don't have any properties [Azzouni] |
Full Idea: Things that don't exist don't have any properties. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.4) | |
A reaction: Sounds reasonable! I totally agree, but that is because my notion of properties is sparse and naturalistic. If you identify properties with predicates (which some weird people seem to), then non-existents can have properties like 'absence' or 'nullity'. |
9891 | The first demand of logic is of a sharp boundary [Frege] |
Full Idea: The first demand of logic is of a sharp boundary. | |
From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §160), quoted by Michael Dummett - Frege philosophy of mathematics Ch.22 | |
A reaction: Nothing I have read about vagueness has made me doubt Frege's view of this, although precisification might allow you to do logic with vague concepts without having to finally settle where the actual boundaries are. |
9890 | The modern account of real numbers detaches a ratio from its geometrical origins [Frege] |
Full Idea: From geometry we retain the interpretation of a real number as a ratio of quantities or measurement-number; but in more recent times we detach it from geometrical quantities, and from all particular types of quantity. | |
From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §159), quoted by Michael Dummett - Frege philosophy of mathematics | |
A reaction: Dummett glosses the 'recent' version as by Cantor and Dedekind in 1872. This use of 'detach' seems to me startlingly like the sort of psychological abstractionism which Frege was so desperate to avoid. |
11846 | If we abstract the difference between two houses, they don't become the same house [Frege] |
Full Idea: If abstracting from the difference between my house and my neighbour's, I were to regard both houses as mine, the defect of the abstraction would soon be made clear. It may, though, be possible to obtain a concept by means of abstraction... | |
From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §99) | |
A reaction: Note the important concession at the end, which shows Frege could never deny the abstraction process, despite all the modern protests by Geach and Dummett that he totally rejected it. |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |
12450 | The periodic table not only defines the elements, but also excludes other possible elements [Azzouni] |
Full Idea: The periodic table not only governs what elements there can be, with their properties, but also explicitly excludes others sorts of elements, because the elements are individuated by the number of discrete protons in their nuclei. | |
From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.7) | |
A reaction: It has to be central to the thesis of scientific essentialism that the possibilities in nature are far more restricted than is normally thought, and this observation illustrates the view nicely. He makes a similar point about subatomic particles. |