24 ideas
17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
Full Idea: In Husserl's philosophy after 1903, he is unwilling to commit himself to any specific metaphysical views. | |
From: Edwin D. Mares (A Priori [2011], 08.2) |
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
Full Idea: Late nineteenth century mathematicians said that, although plus, minus and 0 could not be precisely defined, they could be partially 'implicitly defined' as a group. This nonsense was rejected by Frege and others, as expressed in Russell 1903. | |
From: Wilfrid Hodges (Model Theory [2005], 2) | |
A reaction: [compressed] This is helpful in understanding what is going on in Frege's 'Grundlagen'. I won't challenge Hodges's claim that such definitions are nonsense, but there is a case for understanding groups of concepts together. |
10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
Full Idea: In first-order languages the completeness theorem tells us that T |= φ holds if and only if there is a proof of φ from T (T |- φ). Since the two symbols express the same relationship, theorist often just use |- (but only for first-order!). | |
From: Wilfrid Hodges (Model Theory [2005], 3) | |
A reaction: [actually no spaces in the symbols] If you are going to study this kind of theory of logic, the first thing you need to do is sort out these symbols, which isn't easy! |
10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
Full Idea: If every structure which is a model of a set of sentences T is also a model of one of its sentences φ, then this is known as the model-theoretic consequence relation, and is written T |= φ. Not to be confused with |= meaning 'satisfies'. | |
From: Wilfrid Hodges (Model Theory [2005], 3) | |
A reaction: See also Idea 10474, which gives the other meaning of |=, as 'satisfies'. The symbol is ALSO used in propositional logical, to mean 'tautologically implies'! Sort your act out, logicians. |
10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
Full Idea: The symbol in 'I |= S' reads that if the interpretation I (about word meaning) happens to make the sentence S state something true, then I 'is a model for' S, or I 'satisfies' S. | |
From: Wilfrid Hodges (Model Theory [2005], 1) | |
A reaction: Unfortunately this is not the only reading of the symbol |= [no space between | and =!], so care and familiarity are needed, but this is how to read it when dealing with models. See also Idea 10477. |
10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
Full Idea: Model theory is the study of the interpretation of any language, formal or natural, by means of set-theoretic structures, with Tarski's truth definition as a paradigm. | |
From: Wilfrid Hodges (Model Theory [2005], Intro) | |
A reaction: My attention is caught by the fact that natural languages are included. Might we say that science is model theory for English? That sounds like Quine's persistent message. |
10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
Full Idea: A 'structure' in model theory is an interpretation which explains what objects some expressions refer to, and what classes some quantifiers range over. | |
From: Wilfrid Hodges (Model Theory [2005], 1) | |
A reaction: He cites as examples 'first-order structures' used in mathematical model theory, and 'Kripke structures' used in model theory for modal logic. A structure is also called a 'universe'. |
10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
Full Idea: The models in model-theory are structures, but there is also a common use of 'model' to mean a formal theory which describes and explains a phenomenon, or plans to build it. | |
From: Wilfrid Hodges (Model Theory [2005], 5) | |
A reaction: Hodges is not at all clear here, but the idea seems to be that model-theory offers a set of objects and rules, where the common usage offers a set of descriptions. Model-theory needs homomorphisms to connect models to things, |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
Full Idea: First-order logic is hopeless for discriminating between one infinite cardinal and another. | |
From: Wilfrid Hodges (Model Theory [2005], 4) | |
A reaction: This seems rather significant, since mathematics largely relies on first-order logic for its metatheory. Personally I'm tempted to Ockham's Razor out all these super-infinities, but mathematicians seem to make use of them. |
17715 | The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares] |
Full Idea: The epistemological burden of showing that the axioms are true is removed if we are only studying pure mathematics. If, however, we want to look at applied mathematics, then this burden returns. | |
From: Edwin D. Mares (A Priori [2011], 11.4) | |
A reaction: One of those really simple ideas that hits the spot. Nice. The most advanced applied mathematics must rest on counting and measuring. |
17716 | Mathematics is relations between properties we abstract from experience [Mares] |
Full Idea: Aristotelians treat mathematical facts as relations between properties. These properties, moreover, are abstracted from our experience of things. ...This view finds a natural companion in structuralism. | |
From: Edwin D. Mares (A Priori [2011], 11.7) | |
A reaction: This is the view of mathematics that I personally favour. The view that we abstract 'five' from a group of five pebbles is too simplistic, but this is the right general approach. |
17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
Full Idea: It seems natural to claim that light rays moving in straight lines is contingent but a priori. Scientists stipulate that they are the standard by which we measure straightness, but their appropriateness for this task is a contingent feature of the world. | |
From: Edwin D. Mares (A Priori [2011], 02.9) | |
A reaction: This resembles the metre rule in Paris. It is contingent that something is a certain way, so we make being that way a conventional truth, which can therefore be known via the convention, rather than via the contingent fact. |
17714 | Aristotelians dislike the idea of a priori judgements from pure reason [Mares] |
Full Idea: Aristotelians tend to eschew talk about a special faculty of pure reason that is responsible for all of our a priori judgements. | |
From: Edwin D. Mares (A Priori [2011], 08.9) | |
A reaction: He is invoking Carrie Jenkins's idea that the a priori is knowledge of relations between concepts which have been derived from experience. Nice idea. We thus have an empirical a priori, integrated into the natural world. Abstraction must be involved. |
17705 | Empiricists say rationalists mistake imaginative powers for modal insights [Mares] |
Full Idea: Empiricist critiques of rationalism often accuse rationalists of confusing the limits of their imaginations with real insight into what is necessarily true. | |
From: Edwin D. Mares (A Priori [2011], 03.01) | |
A reaction: See ideas on 'Conceivable as possible' for more on this. You shouldn't just claim to 'see' that something is true, but be willing to offer some sort of reason, truthmaker or grounding. Without that, you may be right, but you are on weak ground. |
17700 | The most popular view is that coherent beliefs explain one another [Mares] |
Full Idea: In what is perhaps the most popular version of coherentism, a system of beliefs is a set of beliefs that explain one another. | |
From: Edwin D. Mares (A Priori [2011], 01.5) | |
A reaction: These seems too simple. My first response would be that explanations are what result from coherence sets of beliefs. I may have beliefs that explain nothing, but at least have the virtue of being coherent. |
17704 | Operationalism defines concepts by our ways of measuring them [Mares] |
Full Idea: The central claim of Percy Bridgman's theory of operational definitions (1920s), is that definitions of certain scientific concepts are given by the ways that we have to measure them. For example, a straight line is 'the path of a light ray'. | |
From: Edwin D. Mares (A Priori [2011], 02.9) | |
A reaction: It is often observed that this captures the spirit of Special Relativity. |
17710 | Aristotelian justification uses concepts abstracted from experience [Mares] |
Full Idea: Aristotelian justification is the process of reasoning using concepts that are abstracted from experience (rather than, say, concepts that are innate or those that we associate with the meanings of words). | |
From: Edwin D. Mares (A Priori [2011], 08.1) | |
A reaction: See Carrie Jenkins for a full theory along these lines (though she doesn't mention Aristotle). This is definitely my preferred view of concepts. |
17706 | The essence of a concept is either its definition or its conceptual relations? [Mares] |
Full Idea: In the 'classical theory' a concept includes in it those concepts that define it. ...In the 'theory theory' view the content of a concept is determined by its relationship to other concepts. | |
From: Edwin D. Mares (A Priori [2011], 03.10) | |
A reaction: Neither of these seem to give an intrinsic account of a concept, or any account of how the whole business gets off the ground. |
17701 | Possible worlds semantics has a nice compositional account of modal statements [Mares] |
Full Idea: Possible worlds semantics is appealing because it gives a compositional analysis of the truth conditions of statements about necessity and possibility. | |
From: Edwin D. Mares (A Priori [2011], 02.2) | |
A reaction: Not sure I get this. Is the meaning composed by the gradual addition of worlds? If not, how is meaning composed in the normal way, from component words and phrases? |
17702 | Unstructured propositions are sets of possible worlds; structured ones have components [Mares] |
Full Idea: An unstructured proposition is a set of possible worlds. ....Structured propositions contain entities that correspond to various parts of the sentences or thoughts that express them. | |
From: Edwin D. Mares (A Priori [2011], 02.3) | |
A reaction: I am definitely in favour of structured propositions. It strikes me as so obvious as to be not worth discussion - so I am obviously missing something here. Mares says structured propositions are 'more convenient'. |
5049 | Intelligent pleasure is the perception of beauty, order and perfection [Leibniz] |
Full Idea: An intelligent being's pleasure is simply the perception of beauty, order and perfection. | |
From: Gottfried Leibniz (A Résumé of Metaphysics [1697], §18) | |
A reaction: Leibniz seems to have inherited this from the Greeks, especially Pythagoras and Plato. Buried in Leibniz's remark I see the Christian fear of physical pleasure. He should have got out more. Must an intelligent being always be intelligent? |
17708 | Maybe space has points, but processes always need regions with a size [Mares] |
Full Idea: One theory is that space is made up of dimensionless points, but physical processes cannot take place in regions of less than a certain size. | |
From: Edwin D. Mares (A Priori [2011], 06.7) | |
A reaction: Thinkers in sympathy with verificationism presumably won't like this, and may prefer Feynman's view. |
5048 | Perfection is simply quantity of reality [Leibniz] |
Full Idea: Perfection is simply quantity of reality. | |
From: Gottfried Leibniz (A Résumé of Metaphysics [1697], §11) | |
A reaction: An interesting claim, but totally beyond my personal comprehension. I presume he inherited 'quantity of reality' from Plato, e.g. as you move up the Line from shadows to Forms you increase the degree of reality. I see 'real' as all-or-nothing. |
5050 | Evil serves a greater good, and pain is necessary for higher pleasure [Leibniz] |
Full Idea: Evils themselves serve a greater good, and the fact that pains are found in minds is necessary if they are to reach greater pleasures. | |
From: Gottfried Leibniz (A Résumé of Metaphysics [1697], §23) | |
A reaction: How much pain is needed to qualify for the 'greater pleasures'? Some people receive an awful lot. I am not sure exactly how an evil can 'serve' a greater good. Is he recommending evil? |