39 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) |
| 18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
| Full Idea: We are able to reason about inconsistent beliefs, stories, and theories in useful and important ways | |
| From: Edwin D. Mares (Negation [2014], 1) |
| 18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
| Full Idea: In intuitionist logic each connective has one introduction and one elimination rule attached to it, but in the classical system we have to add an extra rule for negation. | |
| From: Edwin D. Mares (Negation [2014], 5.5) | |
| A reaction: How very intriguing. Mares says there are other ways to achieve classical logic, but they all seem rather cumbersome. |
| 18789 | Intuitionist logic looks best as natural deduction [Mares] |
| Full Idea: Intuitionist logic appears most attractive in the form of a natural deduction system. | |
| From: Edwin D. Mares (Negation [2014], 5.5) |
| 18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
| Full Idea: One reason for wanting a three-valued logic is to act as a basis of a theory of presupposition. | |
| From: Edwin D. Mares (Negation [2014], 3.1) | |
| A reaction: [He cites Strawson 1950] The point is that you can get a result when the presupposition does not apply, as in talk of the 'present King of France'. |
| 18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
| Full Idea: The problem with material implication, and classical logic more generally, is that it considers only the truth value of formulas in deciding whether to make an implication stand between them. It ignores everything else. | |
| From: Edwin D. Mares (Negation [2014], 7.1) | |
| A reaction: The obvious problem case is conditionals, and relevance is an obvious extra principle that comes to mind. |
| 18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
| Full Idea: Among the virtues of classical logic is the fact that the connectives are related to one another in elegant ways that often involved negation. For example, De Morgan's Laws, which involve negation, disjunction and conjunction. | |
| From: Edwin D. Mares (Negation [2014], 2.2) | |
| A reaction: Mares says these enable us to take disjunction or conjunction as primitive, and then define one in terms of the other, using negation as the tool. |
| 18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
| Full Idea: On its standard reading, excluded middle tells us that bivalence holds. To reject excluded middle, we must reject either non-contradiction, or ¬(A∧B) ↔ (¬A∨¬B) [De Morgan 3], or the principle of double negation. All have been tried. | |
| From: Edwin D. Mares (Negation [2014], 2.2) |
| 18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
| Full Idea: If we treat disjunction in the standard way and take the negation of a statement A to mean that A is false, accepting excluded middle forces us also to accept the principle of bivalence, which is the dictum that every statement is either true or false. | |
| From: Edwin D. Mares (Negation [2014], 1) | |
| A reaction: Mates's point is to show that passively taking the normal account of negation for granted has important implications. |
| 18782 | The connectives are studied either through model theory or through proof theory [Mares] |
| Full Idea: In studying the logical connectives, philosophers of logic typically adopt the perspective of either model theory (givng truth conditions of various parts of the language), or of proof theory (where use in a proof system gives the connective's meaning). | |
| From: Edwin D. Mares (Negation [2014], 1) | |
| A reaction: [compressed] The commonest proof theory is natural deduction, giving rules for introduction and elimination. Mates suggests moving between the two views is illuminating. |
| 18783 | Many-valued logics lack a natural deduction system [Mares] |
| Full Idea: Many-valued logics do not have reasonable natural deduction systems. | |
| From: Edwin D. Mares (Negation [2014], 1) |
| 18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
| Full Idea: Situation semantics for logics consider not what is true in worlds, but what information is contained in situations. | |
| From: Edwin D. Mares (Negation [2014], 6.2) | |
| A reaction: Since many theoretical physicists seem to think that 'information' might be the most basic concept of a natural ontology, this proposal is obviously rather appealing. Barwise and Perry are the authors of the theory. |
| 18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
| Full Idea: The difference between the principle of consistency and the principle of non-contradiction is that the former must be stated in a semantic metalanguage, whereas the latter is a thesis of logical systems. | |
| From: Edwin D. Mares (Negation [2014], 2.2) |
| 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. |
| 18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
| Full Idea: For the intuitionist, talk of mathematical objects is rather misleading. For them, there really isn't anything that we should call the natural numbers, but instead there is counting. What intuitionists study are processes, such as counting and collecting. | |
| From: Edwin D. Mares (Negation [2014], 5.1) | |
| A reaction: That is the first time I have seen mathematical intuitionism described in a way that made it seem attractive. One might compare it to a metaphysics based on processes. Apparently intuitionists struggle with infinite sets and real numbers. |
| 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. |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
| From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |
| 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. |
| 20429 | Most of us are too close to our own motives to understand them [Fry] |
| Full Idea: The motives we actually experience are too close to us to enable us to feel them clearly. They are in a sense unintelligible. | |
| From: Roger Fry (An Essay in Aesthetics [1909], p.30) | |
| A reaction: Fry is defending the role of art in clarifying and highlighting such things, but I am not convinced by his claim. We can grasp most of our motives with a little introspection, and those we can't grasp are probably too subtle for art as well. |
| 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. |
| 18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
| Full Idea: In 'situation semantics' individuals, properties, facts, and events are treated as abstractions from situations. | |
| From: Edwin D. Mares (Negation [2014], 6.1) | |
| A reaction: [Barwise and Perry 1983 are cited] Since I take the process of abstraction to be basic to thought, I am delighted to learn that someone has developed a formal theory based on it. I am immediately sympathetic to situation semantics. |
| 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'. |
| 20424 | Imaginative life requires no action, so new kinds of perception and values emerge in art [Fry] |
| Full Idea: In the imaginative life no action is necessary, so the whole consciousness may be focused upon the perceptive and the emotional aspects of the experience. Hence we get a different set of values, and a different kind of perception | |
| From: Roger Fry (An Essay in Aesthetics [1909], p.24) | |
| A reaction: Good. A huge range of human activities are like scientific experiments, where you draw on our evolved faculties, but put them in controlled conditions, where the less convenient and stressful parts are absent. War and sport. Real and theatrical tragedy. |
| 20427 | Everyone reveals an aesthetic attitude, looking at something which only exists to be seen [Fry] |
| Full Idea: It is only when an object exists for no other purpose than to be seen that we really look at it, …and then even the most normal person adopts to some extent the artistic attitude of pure vision abstracted from necessity. | |
| From: Roger Fry (An Essay in Aesthetics [1909], p.29) | |
| A reaction: A painter of still life looks at things which exist for other purposes, with just the attitude which Fry attributes to the viewers of the paintings. We can encourage a child to look at a flower with just this attitude. |
| 20433 | 'Beauty' can either mean sensuous charm, or the aesthetic approval of art (which may be ugly) [Fry] |
| Full Idea: There is an apparent contradiction between two distinct uses of the word 'beauty', one for that which has sensuous charm, and one for the aesthetic approval of works of imaginative art where the objects presented to us are often of extreme ugliness. | |
| From: Roger Fry (An Essay in Aesthetics [1909], p.33) | |
| A reaction: The gouging of eyes in 'King Lear' was always the big problem case for aesthetics, just as nowadays it is Marcel Duchamp's wretched 'Fountain'. |
| 20430 | In life we neglect 'cosmic emotion', but it matters, and art brings it to the fore [Fry] |
| Full Idea: Those feelings unhappily named cosmic emotion find almost no place in life, but, since they seem to belong to certain very deep springs of our nature, do become of great importance in the arts. | |
| From: Roger Fry (An Essay in Aesthetics [1909], p.31) | |
| A reaction: Focus on the sublime was big in the romantic era, but Fry still sees its importance, and I don't think it ever goes away. Art styles which scorn the sublime are failing to perform their social duty, say I. |
| 20431 | Art needs a mixture of order and variety in its sensations [Fry] |
| Full Idea: The first quality that we demand in our [artistic] sensations will be order, without which our sensations will be troubled and perplexed, and the other will be variety, without which they will not be fully stimulated. | |
| From: Roger Fry (An Essay in Aesthetics [1909], p.32) | |
| A reaction: He makes good claims, but gives unconvincing reasons for them. Some of us rather like 'troubled and perplexed' sensations. And a very narrow range of sensations could still be highly stimulated. Is Fry a good aesthetician but a modest philosopher? |
| 20423 | If graphic arts only aim at imitation, their works are only trivial ingenious toys [Fry] |
| Full Idea: If imitation is the sole purpose of the graphic arts, it is surprising that the works of such arts are ever looked upon as more than curiosities, or ingenious toys, and are ever taken seriously by grown-up people. | |
| From: Roger Fry (An Essay in Aesthetics [1909], p.23) | |
| A reaction: But then you might say that same about fine wines. A mere nice taste is hardly worthy of grown ups, and yet lots of grown ups feeling quite passionately about it. What about Fabergé eggs? |
| 20428 | Popular opinion favours realism, yet most people never look closely at anything! [Fry] |
| Full Idea: Ordinary people have almost no idea of what things really look like, so that the one standard that popular criticism applies to painting (whether it is like nature or not) is the one which most people are prevented frm applying properly. | |
| From: Roger Fry (An Essay in Aesthetics [1909], p.29) | |
| A reaction: A nice remark, though there is a streak of Bloomsbury artistic snobbery running through Fry. Ordinary people recognise photographic realism, so they can study things closely either in the reality or the picture, should they so choose. |
| 20432 | When viewing art, rather than flowers, we are aware of purpose, and sympathy with its creator [Fry] |
| Full Idea: In our reaction to a work of art (rather than a flower) there is the consciousness of purpose, of a peculiar relation of sympathy with the man who made this thing in order to arouse precisely the sensations we experience. | |
| From: Roger Fry (An Essay in Aesthetics [1909], p.33) | |
| A reaction: I think this is entirely right. I like the mention of 'sympathy' as well as 'purpose'. |
| 20425 | In the cinema the emotions are weaker, but much clearer than in ordinary life [Fry] |
| Full Idea: One notices in the visions of the cinematograph that whatever emotions are aroused by them, though they are likely to be weaker than those of ordinary life, are presented more clearly to the conscious. | |
| From: Roger Fry (An Essay in Aesthetics [1909], p.25) | |
| A reaction: Fry had probably only seen very simple melodramas, but the general idea that artistic emotions are weaker than real life, but much clearer, is quite plausible. |
| 20426 | For pure moralists art must promote right action, and not just be harmless [Fry] |
| Full Idea: To the pure moralist, accepting nothing but ethical values, to be justified, the life of the imagination must be shown not only not to hinder but actually to forward right action, otherwise it is not only useless but, by absorbing energies, harmful. | |
| From: Roger Fry (An Essay in Aesthetics [1909], p.26) | |
| A reaction: I think this is the sort of attitude you find in Samuel Johnson. Puritans even reject light music, which seems pleasantly harmless to the rest of us. 'Absorbing energies' doesn't sound much of an objection, and may not be the actual objection. |
| 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. |