21 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) |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 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. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 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'. |
| 23689 | Moral words have an inherited power from expressing attitudes in emotional situations [Stevenson,CL] |
| Full Idea: A term is moral because of the power that the word acquires, on account of its history in emotional situations, to evoke or directly express attitudes, as distinct from describing or designating them. | |
| From: Charles Leslie Stevenson (Ethics and Language [1944], p.33), quoted by John Hacker-Wright - Philippa Foot's Moral Thought 1 'Ayer' | |
| A reaction: Invites the question of what the words meant before they acquired this patina of historical usage. If 'good' orginally meant 'hurray!', its repeated usage doesn't seem to change that. If it was descriptive, why would that change with time? |
| 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. |