245 ideas
| 22115 | Wise people should contemplate and discuss the truth, and fight against falsehood [Aquinas] |
| Full Idea: The role of the wise person is to meditate on the truth, especially the truth regarding the first principle, and to discuss it with others, but also to fight against the falsity that is its contrary. | |
| From: Thomas Aquinas (Summa Contra Gentiles [1268], I.1.6), quoted by Kretzmann/Stump - Aquinas, Thomas 14 | |
| A reaction: So nice to hear someone (from no matter how long ago) saying that wisdom is concerned with truth. If you lose your grip on truth (which many thinkers seem to have done) you must also abandon wisdom. Then fools rule. |
| 22101 | Philosophy aims to know the truth about the way things are [Aquinas] |
| Full Idea: The study of philosophy has as its purpose to know not what people have thought, but rather the truth about the way things are. | |
| From: Thomas Aquinas (Sententia on 'De Caelo' [1268], I.22.228), quoted by Kretzmann/Stump - Aquinas, Thomas 05 | |
| A reaction: I agree with this deeply unfashionable opinion. Of course, modern investigations must be more sensitive to biases built into language, culture and conceptual schemes. But I am one of those sad old folks who still think truths can be stated. |
| 19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
| Full Idea: Philosophy is an attempt to understand the world, as it is revealed to us both in our ordinary experience and by the discoveries and theories of science. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.311) | |
| A reaction: I don't see a sharp division between 'ordinary' and 'scientific'. I really like this idea, first because it makes 'understanding' central, and second because it wants both revelations. In discussing matter and time, there is too much emphasis on science. |
| 10838 | To explain a concept, we need its purpose, not just its rules of usage [Dummett] |
| Full Idea: We cannot in general suppose that we give a proper account of a concept by describing those circumstance in which we do, and those in which we do not, make use of the relevant word. We explain the point of the concept, what we use the word for. | |
| From: Michael Dummett (Truth [1959], p.231) | |
| A reaction: Well said. I am beginning to develop a campaign to make sure that analytical philosophy focuses on understanding concepts (in a full 'logos' sort of way), and doesn't just settle for logical form or definition or rules of usage. |
| 1848 | We are coerced into assent to a truth by reason's violence [Aquinas] |
| Full Idea: We are coerced into assent to a truth by reason's violence. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.10) |
| 1858 | The mind is compelled by necessary truths, but not by contingent truths [Aquinas] |
| Full Idea: Mind is compelled by necessary truths that can't be regarded as false, but not by contingent ones that might be false. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 12) |
| 17621 | What matters in mathematics is its objectivity, not the existence of the objects [Dummett] |
| Full Idea: As Kreisel has remarked, what is important is not the existence of mathematical objects, but the objectivity of mathematical statements. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: [see Maddy 2011:115 for the history of this idea] It seems rather unclear where Frege stands on objectivity. Maddy embraces it, following up this idea, and Tyler Burge's fat book on objectivity. |
| 21267 | Supposing many principles is superfluous if a few will do it [Aquinas] |
| Full Idea: It is superfluous to suppose that what can be accounted for by a few principles has been produced by many. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia,Q02,Art3,Ob2) | |
| A reaction: Notice that this is 'superfluous' rather than 'wrong'. But ten people can lift a piano which could have been lifted by eight. Note that this is 150 years before Ockham. |
| 22102 | Arguing with opponents uncovers truths, and restrains falsehoods [Aquinas] |
| Full Idea: There is no better way of uncovering the truth and keeping falsity in check than by arguing with people who disagree with you. | |
| From: Thomas Aquinas (On the spiritual perfection of life [1268], 26), quoted by Kretzmann/Stump - Aquinas, Thomas 05 | |
| A reaction: Not the sort of attitude you associate with medieval scholastics, who are presumed to be dogmatists. How many modern philosophers actually have the courage to follow this advice? |
| 13070 | If definitions must be general, and general terms can't individuate, then Socrates can't be defined [Aquinas, by Cover/O'Leary-Hawthorne] |
| Full Idea: Socrates has no definition if definitions by their nature must be in purely general terms, and if no purely general terms can succeed in uniquely singling out this signated matter. | |
| From: report of Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], 23) by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 1.1.2 | |
| A reaction: There seem to be two models. That general terms actually individuate the matter of Socrates, or that they cross-reference to (so to speak) define Socrates 'by elimination', as the only individual that fits. But the latter is a poor definition. |
| 11197 | The definitions expressing identity are used to sort things [Aquinas] |
| Full Idea: What sorts things into their proper genus and species are the definitions that express what they are. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: This is straight from Aristotle, though Aristotle's view is a little more complex, I think. If the definitions 'express what they are', then definitions seem to specify the essence. |
| 9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
| Full Idea: The standard sense of a 'contextual definition' permits the eliminating of the defined expression, by transforming any sentence containing it into an equivalent one not containing it. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.11) | |
| A reaction: So the whole definition might be eliminated by a single word, which is not equivalent to the target word, which is embedded in the original expression. Clearly contextual definitions have some problems |
| 19067 | A successful proof requires recognition of truth at every step [Dummett] |
| Full Idea: For a demonstration to be cogent it is necessary that the passage from step to step involve a recognition of truth at each line. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.313) | |
| A reaction: Dummett cited Quine (esp. 1970) as having an almost entirely syntactic view of logic. Rumfitt points out that logic can move validly from one falsehood to another. Even a 'proof' might detour into falsehood, but it would not be a 'canonical' proof! |
| 23176 | Truth is universal, but knowledge of it is not [Aquinas] |
| Full Idea: The truth is the same for all, but is not equally known to all. | |
| From: Thomas Aquinas (Summa Theologicae [1265], I-II Q94 4) | |
| A reaction: Amazing how many modern thinkers fail to grasp this simple distinction. However, the truth is not quite the same for all if diverse persons are expressing a single truth with different concepts and languages. The word 'facts' is helpful here. |
| 20621 | Types of lying: Speak lies, intend lies, intend deception, aim at deceptive goal? [Aquinas, by Tuckness/Wolf] |
| Full Idea: Lying can involve (1) speaking false words, (2) the intention to speak false words, (3) the intention of bringing about deception, and (4) the ultimate goal of one's deception. | |
| From: report of Thomas Aquinas (Summa Theologicae [1265], Q110) by Tuckness,A/Wolf,C - This is Political Philosophy 10 'Lying' | |
| A reaction: It's a start, but much more is needed to clarify lying. Irony is an obvious problem with (1). |
| 10837 | It is part of the concept of truth that we aim at making true statements [Dummett] |
| Full Idea: It is part of the concept of truth that we aim at making true statements. | |
| From: Michael Dummett (Truth [1959], p.231) | |
| A reaction: This strikes me as a rather contentious but very interesting claim. An even stronger claim might be that its value (its normative force) is ALL that the concept of truth contributes to speech, other aspects being analysed into something else. |
| 10840 | We must be able to specify truths in a precise language, like winning moves in a game [Dummett] |
| Full Idea: For a particular bounded language, if it is free of ambiguity and inconsistency, it must be possible to characterize the true sentences of the language; somewhat as, for a given game, we can say which moves are winning moves. | |
| From: Michael Dummett (Truth [1959], p.237) | |
| A reaction: The background of this sounds rather like Tarski, with truth just being a baton passed from one part of the language to another, though Dummett adds the very un-Tarskian notion that truth has a value. |
| 1852 | For the mind Good is one truth among many, and Truth is one good among many [Aquinas] |
| Full Idea: Good itself as taken in by mind is one truth among others, and truth itself as goal of mind's activity is one good among others. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) |
| 21248 | If the existence of truth is denied, the 'Truth does not exist' must be true! [Aquinas] |
| Full Idea: Whoever denies the existence of truth grants that truth does not exist: and if truth does not exist, then the proposition 'Truth does not exist' is true: and if there is anything true, there must be truth. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Art 1, Obj 3) | |
| A reaction: A classic example of turning the tables, also applicable to anyone who firmly denies knowledge, or that words are meaningful, or says that meaning needs verification. However, one measily truth is not much consolation. |
| 22104 | Truth is the conformity of being to intellect [Aquinas] |
| Full Idea: The word 'true' expresses the conformity of a being to intellect. | |
| From: Thomas Aquinas (Disputed questions about truth [1267], I.1c), quoted by Kretzmann/Stump - Aquinas, Thomas 09 | |
| A reaction: I believe in a 'robust' theory of truth, but accept that the concept of 'correspondence' has major problems. So I embrace with delight the word 'conformity'. I offer the world The Conformity Theory of Truth! 'Conform' is suitably vague. |
| 19171 | Tarski's truth is like rules for winning games, without saying what 'winning' means [Dummett, by Davidson] |
| Full Idea: Tarski's definition of truth is like giving a definition of what it is to win in various games, without giving a hint as to what winning is (e.g. that it is what one tries to do when playing). | |
| From: report of Michael Dummett (Truth [1959]) by Donald Davidson - Truth and Predication 7 | |
| A reaction: This led Dummett to his 'normative' account of truth. Formally, the fact that speakers usually aim at truth seems irrelevant, but in life you certainly wouldn't have grasped truth if you thought falsehood was just as satisfactory. The world is involved. |
| 8166 | Truth is part of semantics, since valid inference preserves truth [Dummett] |
| Full Idea: The concept of truth belongs to semantics, since after all truth is what must be preserved by a valid deductive inference. | |
| From: Michael Dummett (Thought and Reality [1997], 2) | |
| A reaction: Does this conclusion follow? Compare 'nice taste belongs to cooking, since that is what cooking must preserve'. I don't like this. I take 'truth' to be a relevant concept to a discussion of a dog's belief that it is going to be taken for a walk. |
| 19053 | Logic would be more natural if negation only referred to predicates [Dummett] |
| Full Idea: A better proposal for a formal logic closer to natural language would be one that had a negation-operator only for (simple) predicates. | |
| From: Michael Dummett (Presupposition [1960], p.27) | |
| A reaction: Dummett observes that classical formal logic was never intended to be close to natural language. Term logic does have that aim, but the meta-question is whether that end is desirable, and why. |
| 19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
| Full Idea: It is arguable whether two-valued truth tables give correct meanings for certain sentential operators, and even whether they constitute legitimate explanations of any possible sentential operators. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.294) | |
| A reaction: See 'Many-valued logic' for examples of non-binary truth tables. Presumably logicians should aspire to make their semantics precise, as well as their syntax. |
| 16951 | It was realised that possible worlds covered all modal logics, if they had a structure [Dummett] |
| Full Idea: The new discovery was that with a suitable structure imposed on the space of possible worlds, the Leibnizian idea would work for all modal logics. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 1) |
| 16952 | If something is only possible relative to another possibility, the possibility relation is not transitive [Dummett] |
| Full Idea: If T is only possible if S obtains, and S is possible but doesn't obtain, then T is only possible in the world where S obtains, but T is not possible in the actual world. It follows that the relation of relative possibility is not transitive. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 1) | |
| A reaction: [compressed] |
| 16953 | Relative possibility one way may be impossible coming back, so it isn't symmetrical [Dummett] |
| Full Idea: If T is only possible if S obtains, T and S hold in the actual world, and S does not obtain in world v possible relative to the actual world, then the actual is not possible relative to v, since T holds in the actual. Accessibility can't be symmetrical. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 1) |
| 16960 | If possibilitiy is relative, that might make accessibility non-transitive, and T the correct system [Dummett] |
| Full Idea: If some world is 'a way the world might be considered to be if things were different in a certain respect', that might show that the accessibility relation should not be taken to be transitive, and we should have to adopt modal logic T. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 8) | |
| A reaction: He has already rejected symmetry from the relation, for reasons concerning relative identity. He is torn between T and S4, but rejects S5, and opts not to discuss it. |
| 16958 | In S4 the actual world has a special place [Dummett] |
| Full Idea: In S4 logic the actual world is, in itself, special, not just from our point of view. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 8) | |
| A reaction: S4 lacks symmetricality, so 'you can get there, but you can't get back', which makes the starting point special. So if you think the actual world has a special place in modal metaphysics, you must reject S5? |
| 18073 | Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Dummett, by Kitcher] |
| Full Idea: Dummett argues that classical logic depends on the choice of the concept of truth as central to the theory of meaning, while for the intuitionist the concept of assertability occupies this position. | |
| From: report of Michael Dummett (The philosophical basis of intuitionist logic [1973]) by Philip Kitcher - The Nature of Mathematical Knowledge 06.5 | |
| A reaction: Since I can assert any nonsense I choose, this presumably means 'warranted' assertability, which is tied to the concept of proof in mathematics. You can reason about falsehoods, or about uninterpreted variables. Can you 'assert' 'Fx'? |
| 18832 | Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett] |
| Full Idea: On an intuitionistic view, neither the truth-value of a statement nor any other mathematical entity can be given as the final result of an infinite process, since an infinite process is precisely one that does not have a final result. | |
| From: Michael Dummett (Elements of Intuitionism (2nd ed) [2000], p.41), quoted by Ian Rumfitt - The Boundary Stones of Thought 7.3 | |
| A reaction: This is rather a persuasive reason to sympathise with intuitionism. Mathematical tricks about 'limits' have lured us into believing in completed infinities, but actually that idea is incoherent. |
| 10537 | The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett] |
| Full Idea: A classic reduction is the class of ordered pairs <x,y> being reduced to the class of sets of the form {{x},{x,y}}. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) |
| 9193 | ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett] |
| Full Idea: ZF set theory is a first-order axiomatization. Variables range over sets, there are no second-order variables, and primitive predicates are just 'equals' and 'member of'. The axiom of extensionality says sets with the same members are identical. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 7) | |
| A reaction: If the eleven members of the cricket team are the same as the eleven members of the hockey team, is the cricket team the same as the hockey team? Our cricket team is better than our hockey team, so different predicates apply to them. |
| 9194 | The main alternative to ZF is one which includes looser classes as well as sets [Dummett] |
| Full Idea: The main alternative to ZF is two-sorted theories, with some variables ranging over classes. Classes have more generous existence assumptions: there is a universal class, containing all sets, and a class containing all ordinals. Classes are not members. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 7.1.1) | |
| A reaction: My intuition is to prefer strict systems when it comes to logical theories. The whole point is precision. Otherwise we could just think about things, and skip all this difficult symbolic stuff. |
| 10542 | To associate a cardinal with each set, we need the Axiom of Choice to find a representative [Dummett] |
| Full Idea: We may suppose that with each set is associated an object as its cardinal number, but we have no systematic way, without appeal to the Axiom of Choice, of selecting a representative set of each cardinality. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) |
| 11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
| Full Idea: For Dummett the semantics of the metalanguage is the external and objective source of the justification of deduction. | |
| From: report of Michael Dummett (The Justification of Deduction [1973]) by Robert Hanna - Rationality and Logic 3.4 | |
| A reaction: This is offered as an answer to the Lewis Carroll problem that justifying deduction seems to need deduction, thus leading to a regress. [There is a reply to Dummett by Susan Haack] |
| 9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
| Full Idea: For sentential or first-order logic, the logical truths are represented by valid formulas; in higher-order logics, by sentences formulated in purely logical terms. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 3) |
| 23173 | If a syllogism admits one absurdity, others must follow [Aquinas] |
| Full Idea: In syllogistic arguments, granted one absurdity, others must follow too. | |
| From: Thomas Aquinas (Summa Theologicae [1265], I-II Q19 6) | |
| A reaction: This asserts the necessity of logical consequence, which he derives from Aristotle. |
| 19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
| Full Idea: A plausible account is that the syntactic notion of consequence is for positive results, that some form of argument is valid; the semantic notion is required for negative results, that some argument is invalid, because a counterexample can be found. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.292) | |
| A reaction: This rings true for the two strategies of demonstration, the first by following the rules in steps, the second by using your imagination (or a tableau) to think up problems. |
| 8173 | Language can violate bivalence because of non-referring terms or ill-defined predicates [Dummett] |
| Full Idea: Two features of natural languages cause them to violate bivalence: singular terms (or proper names) which have a sense but fail to denote an object ('the centre of the universe'); and predicates which are not well defined for every object. | |
| From: Michael Dummett (Thought and Reality [1997], 4) | |
| A reaction: If we switch from sentences to propositions these problems might be avoided. If there is no reference, or a vague predicate, then there is (maybe) just no proposition being expressed which could be evaluated for truth. |
| 8195 | Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett] |
| Full Idea: I once wrote that there are three linguistic devices that make it possible for us to frame undecidable statements: quantification over infinity totalities, as expressed by word such as 'never'; the subjunctive conditional form; and the past tense. | |
| From: Michael Dummett (Truth and the Past [2001], 4) | |
| A reaction: Dummett now repudiates the third one. Statements containing vague concepts also appear to be undecidable. Personally I have no problems with deciding (to a fair extent) about 'never x', and 'if x were true', and 'it was x'. |
| 7334 | Anti-realism needs an intuitionist logic with no law of excluded middle [Dummett, by Miller,A] |
| Full Idea: Dummett argues that antirealism implies that classical logic must be given up in favour of some form of intuitionistic logic that does not have the law of excluded middle as a theorem. | |
| From: report of Michael Dummett (works [1970]) by Alexander Miller - Philosophy of Language 9.4 | |
| A reaction: Only realists can think every proposition is either true or false, even if it is beyond the bounds of our possible knowledge (e.g. tiny details from remote history). Personally I think "Plato had brown eyes" is either true or false. |
| 8179 | The law of excluded middle is the logical reflection of the principle of bivalence [Dummett] |
| Full Idea: The law of excluded middle is the reflection, within logic, of the principle of bivalence. It states that 'For any statement A, the statement 'A or not-A' is true'. | |
| From: Michael Dummett (Thought and Reality [1997], 5) | |
| A reaction: True-or-not-true is an easier condition to fulfil than true-or-false. The second says that 'false' is the only alternative, but the first allows other alternatives to 'true' (such as 'undecidable'). It is hard to challenge excluded middle. Somewhat true? |
| 9195 | Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett] |
| Full Idea: It must not be concluded from the rejection of excluded middle that intuitionistic logic operates with three values: true, false, and neither true nor false. It does not make use of true and false, but only with a construction being a proof. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 8.1) | |
| A reaction: This just sounds like verificationism to me, with all its problems. It seems to make speculative statements meaningless, which can't be right. Realism has lots of propositions which are assumed to be true or false, but also unknowable. |
| 19052 | Natural language 'not' doesn't apply to sentences [Dummett] |
| Full Idea: Natural language does not possess a sentential negation-operator. | |
| From: Michael Dummett (Presupposition [1960], p.27) | |
| A reaction: This is a criticism of Strawson, who criticises logic for not following natural language, but does it himself with negation. In the question of how language and logic connect, this idea seems important. Term Logic aims to get closer to natural language. |
| 18801 | Classical negation is circular, if it relies on knowing negation-conditions from truth-conditions [Dummett] |
| Full Idea: Explanations of classical negation assume that knowing what it is for the truth-condition of some statement to obtain, independently of recognising it to obtain, we thereby know what it is for it NOT to obtain; but this presupposes classical negation. | |
| From: Michael Dummett (The Logical Basis of Metaphysics [1991], p.299), quoted by Ian Rumfitt - The Boundary Stones of Thought 1.1 | |
| A reaction: [compressed wording] This is Dummett explaining why he prefers intuitionistic logic, with its doubts about double negation. |
| 9182 | Ancient names like 'Obadiah' depend on tradition, not on where the name originated [Dummett] |
| Full Idea: In the case of 'Obadiah', associated only with one act of writing a prophecy, ..it is the tradition which connects our use of the name with the man; where the actual name itself first came from has little to do with it. | |
| From: Michael Dummett (Frege's Distinction of Sense and Reference [1975], p.256) | |
| A reaction: Excellent. This seems to me a much more accurate account of reference than the notion of a baptism. In the case of 'Homer', whether someone was ever baptised thus is of no importance to us. The tradition is everything. Also Shakespeare. |
| 19057 | Classical quantification is an infinite conjunction or disjunction - but you may not know all the instances [Dummett] |
| Full Idea: Classical quantification represents an infinite conjunction or disjunction, and the truth-value is determined by the infinite sum or product of the instances ....but this presupposes that all the instances already possess determinate truth-values. | |
| From: Michael Dummett (The philosophical basis of intuitionist logic [1973], p.246) | |
| A reaction: In the case of the universal quantifier, Dummett is doing no more than citing the classic empiricism objection to induction - that you can't make the universal claim if you don't know all the instances. The claim is still meaningful, though. |
| 9186 | First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett] |
| Full Idea: First-order logic is distinguished by generalizations (quantification) only over objects: second-order logic admits generalizations or quantification over properties or kinds of objects, and over relations between them, and functions defined over them. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 3.1) | |
| A reaction: Second-order logic was introduced by Frege, but is (interestingly) rejected by Quine, because of the ontological commitments involved. I remain unconvinced that quantification entails ontological commitment, so I'm happy. |
| 19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
| Full Idea: Beth trees give a semantics for intuitionistic logic, by representing sentence meaning in terms of conditions under which it is recognised to have been established as true. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.305) |
| 19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
| Full Idea: Nothing is lost, on this view, if in the standard semantic treatment of classical sentential logic, we replace the standard truth-values 'true' and 'false' by the numbers 0 and 1. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.294) | |
| A reaction: [A long context will explain 'on this view'] He is discussing the relationship of syntactic and semantic consequence, and goes on to criticise simple binary truth-table accounts of connectives. Semantics on a computer would just be 0 and 1. |
| 19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
| Full Idea: The standard two-valued semantics for classical logic involves a conception under which to grasp the meaning of a sentence is to apprehend the conditions under which it is, or is not, true. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.305) | |
| A reaction: The idea is that you only have to grasp the truth tables for sentential logic, and that needs nothing more than knowing whether a sentence is true or false. I'm not sure where the 'conditions' creep in, though. |
| 9187 | Logical truths and inference are characterized either syntactically or semantically [Dummett] |
| Full Idea: There are two ways of characterizing logical truths and correct inference. Proof-theoretic or syntactic characterizations, if the formalization admits of proof or derivation; and model-theoretic or semantic versions, being true in all interpretations. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 3.1) | |
| A reaction: Dummett calls this distinction 'fundamental'. The second one involves truth, and hence meaning, where the first one just responds to rules. ..But how can you have a notion of correctly following a rule, without a notion of truth? |
| 19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
| Full Idea: A proof of soundess or completeness is a test, not so much of the logical theory to which it applies, but of the theory of meaning which underlies the semantics. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.310) | |
| A reaction: These two types of proof concern how the syntax and the semantics match up, so this claim sounds plausible, though I tend to think of them as more like roadworthiness tests for logic, checking how well they function. |
| 8194 | Surely there is no exact single grain that brings a heap into existence [Dummett] |
| Full Idea: There is surely no number n such that "n grains of sand do not make a heap, although n+1 grains of sand do" is true. | |
| From: Michael Dummett (Truth and the Past [2001], 4) | |
| A reaction: It might be argued that there is such a number, but no human being is capable of determing it. Might God know the value of n? On the whole Dummett's view seems the most plausible. |
| 9896 | A prime number is one which is measured by a unit alone [Dummett] |
| Full Idea: A prime number is one which is measured by a unit alone. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], 7 Def 11) | |
| A reaction: We might say that the only way of 'reaching' or 'constructing' a prime is by incrementing by one till you reach it. That seems a pretty good definition. 64, for example, can be reached by a large number of different routes. |
| 18255 | Addition of quantities is prior to ordering, as shown in cyclic domains like angles [Dummett] |
| Full Idea: It is essential to a quantitative domain of any kind that there should be an operation of adding its elements; that this is more fundamental thaat that they should be linearly ordered by magnitude is apparent from cyclic domains like that of angles. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], 22 'Quantit') |
| 9191 | Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett] |
| Full Idea: It can be argued that the notion of ordinal numbers is more fundamental than that of cardinals. To count objects, we must count them in sequence. ..The theory of ordinals forms the substratum of Cantor's theory of cardinals. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 5) | |
| A reaction: Depends what you mean by 'fundamental'. I would take cardinality to be psychologically prior ('that is a lot of sheep'). You can't order people by height without first acquiring some people with differing heights. I vote for cardinals. |
| 9895 | A number is a multitude composed of units [Dummett] |
| Full Idea: A number is a multitude composed of units. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], 7 Def 2) | |
| A reaction: This is outdated by the assumption that 0 and 1 are also numbers, but if we say one is really just the 'unit' which is preliminary to numbers, and 0 is as bogus a number as i is, we might stick with the original Greek distinction. |
| 9852 | We understand 'there are as many nuts as apples' as easily by pairing them as by counting them [Dummett] |
| Full Idea: A child understands 'there are just as many nuts as apples' as easily by pairing them off as by counting them. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.12) | |
| A reaction: I find it very intriguing that you could know that two sets have the same number, without knowing any numbers. Is it like knowing two foreigners spoke the same words, without understanding them? Or is 'equinumerous' conceptually prior to 'number'? |
| 15938 | Platonists ruin infinity, which is precisely a growing structure which is never completed [Dummett] |
| Full Idea: The platonist destroys the whole essence of infinity, which lies in the conception of a structure which is always in growth, precisely because the process of construction is never completed. | |
| From: Michael Dummett (Elements of Intuitionism [1977], p.57), quoted by Thomas J. McKay - Plural Predication | |
| A reaction: I don't warm to intuitionism, but I warm to this conception of infinity. Completed infinities are convenient reifications for mathematicians. |
| 10554 | Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett] |
| Full Idea: In the intuitionist view, the notion of an intuitive proof cannot be expected to coincide with that of a proof in a formal system, and Gödel's incompleteness theorem is thus unsurprising from an intuitionist point of view. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) |
| 9829 | The identity of a number may be fixed by something outside structure - by counting [Dummett] |
| Full Idea: The identity of a mathematical object may sometimes be fixed by its relation to what lies outside the structure to which it belongs. It is more fundamental to '3' that if certain objects are counted, there are three of them. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 5) | |
| A reaction: This strikes me as Dummett being pushed (by his dislike of the purely abstract picture given by structuralism) back to a rather empiricist and physical view of numbers, though he would totally deny that. |
| 9828 | Numbers aren't fixed by position in a structure; it won't tell you whether to start with 0 or 1 [Dummett] |
| Full Idea: The number 0 is not differentiated from 1 by its position in a progression, otherwise there would be no difference between starting with 0 and starting with 1. That is enough to show that numbers are not identifiable just as positions in structures. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 5) | |
| A reaction: This sounds conclusive, but doesn't feel right. If numbers are a structure, then where you 'start' seems unimportant. Where do you 'start' in St Paul's Cathedral? Starting sounds like a constructivist concept for number theory. |
| 9192 | The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett] |
| Full Idea: The number 4 cannot be characterized solely by its position in a system, because it has different positions in the system of natural numbers and that of the positive whole numbers, whereas these systems have the very same structure. | |
| From: Michael Dummett (The Philosophy of Mathematics [1998], 6.1) | |
| A reaction: Dummett seems to think this is fairly decisive against structuralism. There is also the structure of the real numbers. We will solve this by saying that the wholes are abstracted from the naturals, which are abstracted from the reals. Job done. |
| 9876 | Set theory isn't part of logic, and why reduce to something more complex? [Dummett] |
| Full Idea: The two frequent modern objects to logicism are that set theory is not part of logic, or that it is of no interest to 'reduce' a mathematical theory to another, more complex, one. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.18) | |
| A reaction: Dummett says these are irrelevant (see context). The first one seems a good objection. The second one less so, because whether something is 'complex' is a quite different issue from whether it is ontologically more fundamental. |
| 15939 | For intuitionists it is constructed proofs (which take time) which make statements true [Dummett] |
| Full Idea: For an intuitionist a mathematical statement is rendered true or false by a proof or disproof, that is, by a construction, and constructions are effected in time. | |
| From: Michael Dummett (Elements of Intuitionism [1977], p.336), quoted by Shaughan Lavine - Understanding the Infinite VI.2 | |
| A reaction: Lavine is quoting this to draw attention to the difficulties of thinking of it as all taking place 'in time', especially when dealing with infinities. |
| 10552 | Intuitionism says that totality of numbers is only potential, but is still determinate [Dummett] |
| Full Idea: From the intuitionist point of view natural numbers are mental constructions, so their totality is only potential, but it is neverthless a fully determinate totality. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: This could only be if the means of constructing the numbers was fully determinate, so how does that situation come about? |
| 8190 | Intuitionists rely on the proof of mathematical statements, not their truth [Dummett] |
| Full Idea: The intuitionist account of the meaning of mathematical statements does not employ the notion of a statement's being true, but only that of something's being a proof of the statement. | |
| From: Michael Dummett (Truth and the Past [2001], 2) | |
| A reaction: I remain unconvinced that anyone could give an account of proof that didn't discreetly employ the notion of truth. What are we to make of "we suspect this is true, but no one knows how to prove it?" (e.g. Goldbach's Conjecture). |
| 11195 | If affirmative propositions express being, we affirm about what is absent [Aquinas] |
| Full Idea: If being is what makes propositions true, then anything we can express in an affirmative proposition, however unreal, is said to be; so lacks and absences are, since we say that absences are opposed to presences, and blindness exists in an eye. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: See Idea 11194 for the alternative Aristotelian approach to being, according to categories. Do absences and lacks have real essences, or causal properties? The absence of the sentry may cause the loss of the city. |
| 22103 | Being is basic to thought, and all other concepts are additions to being [Aquinas] |
| Full Idea: Being is inherently intellect's most intelligible object, in which it finds the basis of all conceptions. ...All of intellect's other conceptions must be arrived at by adding to being, insofar as they express what is not expressed by 'being' itself. | |
| From: Thomas Aquinas (Disputed questions about truth [1267], I.1c), quoted by Kretzmann/Stump - Aquinas, Thomas 09 | |
| A reaction: I like the word 'intelligible' here. We might know reality, or be aware of appearances, but what is intelligible lies nicely in between. What would Berkeley make of that? I presume 'intelligible' means 'makes good sense'. |
| 15812 | Being implies distinctness, which implies division, unity, and multitude [Aquinas] |
| Full Idea: What first comes to mind is being; secondly, that this being is not that being, and thus we apprehend division as a consequence; thirdly, comes the notion of one; fourthly the notion of multitude. | |
| From: Thomas Aquinas (Summa Theologicae [1265], I Q11 ar2 ad4), quoted by Roderick Chisholm - Person and Object 1.5 | |
| A reaction: This is one of the best things I have read on 'being'. It is the Aristotelian recognition that we can only study being by studying identity, and that this leads on to wider metaphysics. Other approaches to being are dead ends. |
| 8198 | A 'Cambridge Change' is like saying 'the landscape changes as you travel east' [Dummett] |
| Full Idea: The idea of 'Cambridge Change' is like saying 'the landscape changes as you travel east'. | |
| From: Michael Dummett (Truth and the Past [2001], 5) | |
| A reaction: The phrase was coined in Oxford. It is a useful label with which realists can insult solipsists, idealists and other riff-raff. Four Dimensionalists seem to see time in this way. Events sit there, and we travel past them. But there are indexical events. |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| Full Idea: It seems unavoidable that the facts about logically necessary relations between levels of facts are themselves logically distinct further facts, irreducible to the microphysical facts. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: I'm beginning to think that rejecting every theory of reality that is proposed by carefully exposing some infinite regress hidden in it is a rather lazy way to do philosophy. Almost as bad as rejecting anything if it can't be defined. |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| Full Idea: Logical supervenience, restricted to individuals, seems to imply strong reduction. It is said that where the B-facts logically supervene on the A-facts, the B-facts simply re-describe what the A-facts describe, and the B-facts come along 'for free'. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], C) | |
| A reaction: This seems to be taking 'logically' to mean 'analytically'. Presumably an entailment is logically supervenient on its premisses, and may therefore be very revealing, even if some people think such things are analytic. |
| 10515 | Ostension is possible for concreta; abstracta can only be referred to via other objects [Dummett, by Hale] |
| Full Idea: Dummett distinguishes, roughly, between those concrete objects which can be possible objects of ostension, and abstract objects which can only be referred to by functional expressions whose argument is some other object. | |
| From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) by Bob Hale - Abstract Objects Ch.3.II | |
| A reaction: At least someone has proposed a theory! Hale gives a nice critical discussion of the proposal. It is a moot point whether in the second case, when you pick out the 'other object', you are thereby able to refer to some new abstract object. |
| 10544 | The concrete/abstract distinction seems crude: in which category is the Mistral? [Dummett] |
| Full Idea: The dichotomy between concrete and abstract objects comes to seem far too crude: to which of the two categories should we assign the Mistral, for instance? | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: He has previously given colours and points as difficult borderline cases. We can generalise this particular problem case as the question of whether a potentiality or possibility is abstract or concrete. |
| 10546 | We don't need a sharp concrete/abstract distinction [Dummett] |
| Full Idea: There is no reason for wanting a sharp distinction between concrete and abstract objects. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: This rather depends on your ontology. If you are happy for reality to be full of weird non-physical entities, then the blurring won't bother you. If the boundary is blurred but still real, it is a very interesting one. |
| 9884 | The distinction of concrete/abstract, or actual/non-actual, is a scale, not a dichotomy [Dummett] |
| Full Idea: The distinction between concrete and abstract objects, or Frege's corresponding distinction between actual and non-actual objects, is not a sharp dichotomy, but resembles a scale upon which objects occupy a range of positions. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.18) | |
| A reaction: This might seem right if you live (as Dummett chooses to) in the fog of language, but it surely can't be right if you think about reality. Is the Equator supposed to be near the middle of his scale? Either there is an equator, or there isn't. |
| 10540 | We can't say that light is concrete but radio waves abstract [Dummett] |
| Full Idea: If abstractions were defined by whether they could affect human sense-organs, light-waves would be concrete but radio waves abstract. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: This is a pretty good baseline example. No account should draw an abstract/concrete line through the electromagnetic spectrum. |
| 22297 | Dummett saw realism as acceptance of bivalence, rather than of mind-independent entities [Dummett, by Potter] |
| Full Idea: Dummett aimed to characterise realism in terms not of the mind-independence of the entities but of the validity of bivalence for sentences referring to them. | |
| From: report of Michael Dummett (Realism [1982]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 21 'Lang' | |
| A reaction: Hence he called himself a 'philosopher of language', rather than a 'philosopher of thought'. Philosophers of language are more likely to end up as anti-realists, I suspect. |
| 9869 | Realism is just the application of two-valued semantics to sentences [Dummett] |
| Full Idea: Fully fledged realism depends on - indeed, may be identified with - an undiluted application to sentences of the relevant kind of straightforwards two-valued semantics. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.15) | |
| A reaction: This is the sort of account you get from a whole-heartedly linguistic philosopher. Personally I would say that Dummett has got it precisely the wrong way round: I adopt a two-valued semantics because my metaphysics is realist. |
| 15049 | Metaphysical realists are committed to all unambiguous statements being true or not true [Dummett] |
| Full Idea: The anti-realist view undercuts the ground for accepting bivalence. ...Acceptance of bivalence should not be taken as a sufficient condition for realism. ..They accept the weaker principle that unambiguous statements are determinately true or not true. | |
| From: Michael Dummett (Realism and Anti-Realism [1992], p.467) | |
| A reaction: [cited by Kit Fine, when discussing anti-realism] I take it be quite an important component of realism that there might be facts which will never be expressed, or are even beyond our capacity to grasp or express them |
| 8184 | Philosophers should not presume reality, but only invoke it when language requires it [Dummett] |
| Full Idea: The philosopher's task is not to make a prior commitment for or against realism, but to discover how far realist considerations must be invoked in order to describe our understanding of our language: they may be invoked only if they must be invoked. | |
| From: Michael Dummett (Thought and Reality [1997], 6) | |
| A reaction: I don't see why the default position should be solipsism, or a commitment to Ockham's Razor. This is the Cartesian 'Enlightenment Project' approach to philosophy - that everything has to be proved. There is more to ontology than language. |
| 8185 | We can't make sense of a world not apprehended by a mind [Dummett] |
| Full Idea: We can make no clear sense of there being a world that is not apprehended by any mind. | |
| From: Michael Dummett (Thought and Reality [1997], 8) | |
| A reaction: I find Dummett's view quite baffling. It is no coincidence that Dummett is a theist, along (it seems) Berkeleian lines. I see no more problem with imagining such worlds than with imagining ships sunken long ago which will never be found. |
| 8192 | I no longer think what a statement about the past says is just what can justify it [Dummett] |
| Full Idea: In distinguishing between what can establish a statement about the past as true and what it is that that statement says, we are repudiating antirealism about the past. | |
| From: Michael Dummett (Truth and the Past [2001], 3) | |
| A reaction: This is a late shift of ground from the champion of antirealism. If Dummett's whole position is based on a 'justificationist' theory of meaning, he must surely have a different theory of meaning now for statements about the past? |
| 3303 | For anti-realists there are no natural distinctions between objects [Dummett, by Benardete,JA] |
| Full Idea: Dummett says that anti-realism offers us a picture of reality as an amorphous lump not yet articulated into discrete objects. | |
| From: report of Michael Dummett (works [1970]) by José A. Benardete - Metaphysics: the logical approach Ch.2 | |
| A reaction: This might be called 'weak' anti-realism, where 'strong' anti-realism is the view that reality is quite unknowable, and possibly non-existent. |
| 21268 | Non-human things are explicable naturally, and voluntary things by the will, so God is not needed [Aquinas] |
| Full Idea: All natural things can be reduced to one principle, which is nature; and all voluntary things can be reduced to one principle, which is human reason, or will. Therefore God does not exist. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia,Q02,Art3,Ob2) | |
| A reaction: Not, of course, the opinion of Aquinas. So the possibility of naturalism (assuming the human will can be further reduced to nature) was a clear option in the thirteenth century. In reply Aquinas cites his Fifth Way. |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| Full Idea: The root intuition behind nonreductive materialism is that reality is composed of ontologically distinct layers or levels. …The upper levels depend on the physical without reducing to it. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], B) | |
| A reaction: A nice clear statement of a view which I take to be false. This relationship is the sort of thing that drives people fishing for an account of it to use the word 'supervenience', which just says two things seem to hang out together. Fluffy materialism. |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| Full Idea: Jessica Wilson (1999) says what makes physicalist accounts different from emergentism etc. is that each individual causal power associated with a supervenient property is numerically identical with a causal power associated with its base property. | |
| From: Lynch,MP/Glasgow,JM (The Impossibility of Superdupervenience [2003], n 11) | |
| A reaction: Hence the key thought in so-called (serious, rather than self-evident) 'emergentism' is so-called 'downward causation', which I take to be an idle daydream. |
| 8163 | Since 'no bird here' and 'no squirrel here' seem the same, we must talk of 'atomic' facts [Dummett] |
| Full Idea: What complex of objects constitutes the fact that there is no bird on the bough, and how is that distinct from no squirrel on the bough? This drives us to see the world as composed of 'atomic' facts, making complexes into compounds, not reality itself. | |
| From: Michael Dummett (Thought and Reality [1997], 1) | |
| A reaction: [He cites early Wittgenstein as an example] But 'no patch of red here' (or sense-datum) seems identical to 'no patch of green here'. I suppose you could catalogue all the atomic facts, and note that red wasn't among them. But you could do that for birds. |
| 8161 | We know we can state facts, with true statements [Dummett] |
| Full Idea: One thing we know about facts, namely that we can state them. Whenever we make some true statement, we state some fact. | |
| From: Michael Dummett (Thought and Reality [1997], 1) | |
| A reaction: Then facts become boring, and are subsumed within the problem of what 'true' means. Personally I have a concept of facts which includes unstatable facts. The physical basis of melancholy I take to be a complex fact which is beyond our powers. |
| 21628 | To say reality itself is vague is not properly intelligible [Dummett] |
| Full Idea: The notion that things might actually be vague, as well as being vaguely described, is not properly intelligible. | |
| From: Michael Dummett (Wang's Paradox [1970], p.260) | |
| A reaction: It seems hard to disagree with this. It seems crazy that a pile of grain, or the hair on someone's head, are vague, and even quantum indeterminacies are not very well described as 'vague'. Vagueness is a very human concept. |
| 8180 | 'That is red or orange' might be considered true, even though 'that is red' and 'that is orange' were not [Dummett] |
| Full Idea: A statement of the form 'that is red or orange', said of something on the borderline between the two colours, might rank as true, although neither 'that is red' nor 'that is orange' was true. | |
| From: Michael Dummett (Thought and Reality [1997], 5) | |
| A reaction: It seems to me that the problem here would be epistemological rather than ontological. One of the two is clearly true, but sometimes we can't decide which. How can anyone say 'It isn't red and it isn't orange, but it is either red or orange'? |
| 10281 | The objects we recognise the world as containing depends on the structure of our language [Dummett] |
| Full Idea: What objects we recognise the world as containing depends upon the structure of our language. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: The background to this claim is the Fregean idea that there are no objects for us if there are no concepts. Dummett is adding that there are no concepts if there is no language. I say animals have concepts and recognise objects. |
| 10548 | The context principle for names rules out a special philosophical sense for 'existence' [Dummett] |
| Full Idea: The dictum that a name has meaning only in the context of a sentence repudiates the conception of a special philosophical sense of 'existence', which claims that numbers do not exist while affirming existential statements about them. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: He refers to Frege's Context Principle. Personally I would say you could make plenty of 'affirmations' about arithmetic without them having to be 'existential'. I can say there 'is' a number between 6 and 8, without huge existential claims. |
| 16655 | Different genera are delimited by modes of predication, which rest on modes of being [Aquinas] |
| Full Idea: Being is delimited into different genera in accord with different modes of predicating, which depend on different modes of being. | |
| From: Thomas Aquinas (On Aristotle's 'Metaphysics' [1266], V.9.890), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 12.3 | |
| A reaction: I like this. When people say that predication is the way we divide things up, and go all linguistic-relativist about things, they forget how closely language not only describes reality, but arises out of, or is even caused by, reality. 'Grue' is silly. |
| 16641 | Whiteness does not exist, but by it something can exist-as-white [Aquinas] |
| Full Idea: Whiteness is said to exist not because it subsists in itself, but because by it something has existence-as-white. | |
| From: Thomas Aquinas (Quodlibeta [1267], IX.2.2), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 10.2 | |
| A reaction: It seems unavoidable to refer to the whiteness as 'it'. It might be called the 'adverbial' theory of properties, as ways of doing something. |
| 11201 | Properties have an incomplete essence, with definitions referring to their subject [Aquinas] |
| Full Idea: Incidental properties have an incomplete essence, and need to refer in their definitions to their subject, lying outside their own genus. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.93) | |
| A reaction: These are 'incidental' properties, but it is a nice question whether properties have essences. Presumably they must have if they are universals, or platonic Forms. The notion of being 'strong' can be defined without specific examples. |
| 10532 | We can understand universals by studying predication [Dummett] |
| Full Idea: It is by the study of the character of predication that we shall come to understand the essential nature of universals. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: I haven't founded a clearer manifesto for linguistic philosophy than that! Personally I find it highly dubious, given the shifting nature of linguistic forms, and the enormous variation between remote languages. |
| 11205 | If the form of 'human' contains 'many', Socrates isn't human; if it contains 'one', Socrates is Plato [Aquinas] |
| Full Idea: If (in the Platonic view) manyness was contained in humanness it could never be one as it is in Socrates, and if oneness was part of its definition then Socrates would be Plato and the nature couldn't be realised more than once. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.100) | |
| A reaction: I suppose the reply is that since we are trying to explain one-over-many, then this unusual combination of both manyness and oneness is precisely what distinguishes forms from other ideas. |
| 10534 | 'Nominalism' used to mean denial of universals, but now means denial of abstract objects [Dummett] |
| Full Idea: The original sense of 'nominalism' is the denial of universals, that is the denial of reference to either predicates or to abstract nouns. The modern sense (of Nelson Goodman) is the denial of the existence of abstract objects. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: This is why you find loads of modern philosophers vigorous attacking nominalism, only to gradually realise that they don't actually believe in universals, as traditionally understood. It's hard to keep up, when words shift their meaning. |
| 9880 | Nominalism assumes unmediated mental contact with objects [Dummett] |
| Full Idea: The nominalist superstition is based ultimately on the myth of the unmediated presentation of genuine concrete objects to the mind. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.18) | |
| A reaction: Personally I am inclined to favour nominalism and a representative theory of perception, which acknowledges some 'mediation', but of a non-linguistic form. Any good theory here had better include animals, which seem to form concepts. |
| 10541 | Concrete objects such as sounds and smells may not be possible objects of ostension [Dummett] |
| Full Idea: We cannot simply distinguish concrete objects as objects of ostension, if it literally involves a pointing gesture, as this would exclude a colourless gas, a sound or a smell. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: He shifts to verbal ostension as a result, since we can talk of 'this smell'. On p.491 he suggests that affecting our senses is a sufficient condition to be concrete, but not a necessary one. |
| 10545 | Abstract objects may not cause changes, but they can be the subject of change [Dummett] |
| Full Idea: To say that an abstract object cannot be the cause of change seems plausible enough, but the thesis that it cannot be the subject of change is problematic. The shape of an object can change, or the number of sheep on a hill. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: This seems a pretty crucial difficulty for the standard notion of abstracta as non-causal. I would say that it is an acid which could eat away the whole edifice if you thought about it for long enough. He shifts shape-change to the physical object. |
| 9885 | The existence of abstract objects is a pseudo-problem [Dummett] |
| Full Idea: The existence of abstract objects is a pseudo-problem. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.18) | |
| A reaction: This remark follows after Idea 9884, which says the abstract/concrete distinction is a sliding scale. Personally I take the distinction to be fairly sharp, and it is therefore probably the single most important problem in the whole of human thought. |
| 10555 | If we can intuitively apprehend abstract objects, this makes them observable and causally active [Dummett] |
| Full Idea: For intuitionists, it ceases to be true that abstract objects are not observable and cannot be involved in causal interaction, since such intuitive apprehension of them may be regarded as just such an interaction. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: I would say that since abstract objects can be involved in causal interactions, in the mind, and since the mind is entirely physical (oh yes), this makes abstract objects entirely physical, which may come as a shock to some people. |
| 9858 | Abstract objects nowadays are those which are objective but not actual [Dummett] |
| Full Idea: Objects which are objective but not actual are precisely what are now called abstract objects. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.15) | |
| A reaction: Why can there not be subjective abstract objects? 'My favourites are x, y and z'. 'I'll decide later what my favourites are'. 'I only buy my favourites - nothing else'. |
| 10543 | Abstract objects must have names that fall within the range of some functional expression [Dummett] |
| Full Idea: For an object to be abstract, we require only that an understanding of any name of that object involves a recognition that the object is in the range of some functional expression. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: I'm not sure I understand this, but a function must involve a relation between some objects, such that a unique object is consequently picked out. |
| 9859 | It is absurd to deny the Equator, on the grounds that it lacks causal powers [Dummett] |
| Full Idea: If someone argued that assuming the existence of the Equator explains nothing, and it has no causal powers, so everything would be the same if it didn't exist, so we needn't accept its existence, we should gape at the crudity of the misunderstanding. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.15) | |
| A reaction: Not me. I would gape if someone argued that latitude 55° 14' (and an infinity of other lines) exists for the same reasons (whatever they may be) that the Equator exists. A mode of description can't create an object. |
| 9860 | 'We've crossed the Equator' has truth-conditions, so accept the Equator - and it's an object [Dummett] |
| Full Idea: 'We've crossed the Equator' is judged true if we are nearer the other Pole, so it not for philosophers to deny that the Earth has an equator, and we see that the Equator is not a concept or relation or function, so it must be classified as an object. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.15) | |
| A reaction: A lovely example of linguistic philosophy in action (and so much the worse for that, I would say). A useful label here, I suggest (unoriginally, I think), is that we should label such an item a 'semantic object', rather than a real object in our ontology. |
| 10320 | If a genuine singular term needs a criterion of identity, we must exclude abstract nouns [Dummett, by Hale] |
| Full Idea: Dummett's best argument for excluding abstract nouns relies upon the entirely Fregean requirement that with any genuine singular term there must be associated a criterion of identity. | |
| From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973]) by Bob Hale - Abstract Objects Ch.2.II | |
| A reaction: This sounds a rather rigid test. Must the criteria be logically precise, or must you just have some vague idea of what you are talking about? |
| 10547 | Abstract objects can never be confronted, and need verbal phrases for reference [Dummett] |
| Full Idea: An abstract object can be referred to only by means of a verbal phrase, ...and no confrontation with an abstract object is possible. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: So does this mean that animals are incapable of entertaining abstract concepts? Some research suggests otherwise. Does a dog understand what a 'walk' is, without use of the word? Dummett disgracefully neglects animals in his theories. |
| 9872 | Abstract objects need the context principle, since they can't be encountered directly [Dummett] |
| Full Idea: To recognise that there is no objection in principle to abstract objects requires acknowledgement that some form of the context principle is correct, since abstract objects can neither be encountered nor presented. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.16) | |
| A reaction: I take this to be an immensely important idea. I consider myself to be a philosopher of thought rather than a philosopher of language (Dummett's distinction, he being one of the latter). Thought connects to the world, but does it connect to abstracta? |
| 10531 | There is a modern philosophical notion of 'object', first introduced by Frege [Dummett] |
| Full Idea: The notion of 'object', as it is now commonly used in philosophical contexts, is a modern notion, one first introduced by Frege. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: If we say 'objects exist', I think it is crucial that if we are going to introduce 'object' as a term of art, then 'exist' had better stick to normal usage. If that drifts into a term of art as well (incorporating 'subsist', or some such) we have no hope! |
| 13090 | The principle of diversity for corporeal substances is their matter [Aquinas, by Cover/O'Leary-Hawthorne] |
| Full Idea: In the view of Aquinas, while substantial form is the ultimate ground of identity and difference of angels, it is matter that provides a principle of diversity in the case of corporeal substances. | |
| From: report of Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267]) by Cover,J/O'Leary-Hawthorne,J - Substance and Individuation in Leibniz 5.2.3 | |
| A reaction: This is at least as good a proposal as their apatial location. There is more chance of reidentifying matter than of precisely reidentifying a spatial location. Two indistinguishable spheres remain the classic problem case (of Max Black, Idea 10195) |
| 17555 | 'One' can mean undivided and not a multitude, or it can add measurement, giving number [Aquinas] |
| Full Idea: There are two sorts of one. There is the one which is convertible with being, which adds nothing to being except being undivided; and this deprives of multitude. Then there is the principle of number, which to the notion of being adds measurement. | |
| From: Thomas Aquinas (Quaestiones de Potentia Dei [1269], q3 a16 ad 3-um) | |
| A reaction: [From a lecture handout] I'm not sure I understand this. We might say, I suppose, that insofar as water is water, it is all one, but you can't count it. Perhaps being 'unified' and being a 'unity' are different? |
| 16765 | Humans only have a single substantial form, which contains the others and acts for them [Aquinas] |
| Full Idea: A human being has no substantial form other than the intellective soul alone, and it contains the sensitive and nutritive souls, and all lower forms, and it alone brings about whatever it is that less perfect forms bring about in other things. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia Q76 4c), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 25.1 | |
| A reaction: He says brutes and plants also have a single soul. Pasnau says this is Aquinas's most distinctive doctrine, because other thinkers postulate a whole hierarchy of substantial forms. |
| 16766 | One thing needs a single thing to unite it; if there were two forms, something must unite them [Aquinas] |
| Full Idea: One thing simpliciter is produced out of many actually existing things only if there is something uniting and tying them to each other. If Socrates were animal and rational by different forms, then to be united they would need something to make them one. | |
| From: Thomas Aquinas (Quaestiones de anima [1269], 11c), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 25.2 | |
| A reaction: This is the reply to the idea that a single thing is just an interesting of many sortal essences. It presumes, of course, that a thing like a horse has something called 'unity'. |
| 11202 | It is by having essence that things exist [Aquinas] |
| Full Idea: It is by having essence that things exist. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.94) | |
| A reaction: Compare Idea 11199, which gives a fuller picture. This idea seems to suggest essence as the cause of existence, which sounds wrong. Perhaps essence is a necessary condition of existence, but it is necessary that nothing indeterminate can exist? |
| 11203 | Specific individual essence is defined by material, and generic essence is defined by form [Aquinas] |
| Full Idea: Specific essence differs from generic essence by being demarcated: individuals are demarcated within species by dimensionally defined material, but species within genus by a defining differentiation taken from the form. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.95) | |
| A reaction: It clearly won't be enough to define an individual just to define its material and its shape. The material might also be essential to the genus, as when defining fire. Probably not very helpful. |
| 11200 | The definition of a physical object must include the material as well as the form [Aquinas] |
| Full Idea: Form alone cannot be a composite substance's essence. For a thing's essence is expressed by its definition, and unless the definition of a physical substance included both form and material, the definition wouldn't differ from mathematical objects. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.93) | |
| A reaction: This is the sort of thoroughly sensible remark that you only get from the greatest philosophers. Minor philosophers fall in love with things like forms, and then try to use them to explain everything. |
| 11196 | Essence is something in common between the natures which sort things into categories [Aquinas] |
| Full Idea: Since being as belonging to a category expresses the 'isness' of things, and belongs to all ten Aristotelian categories, essence must be something all the natures that sort different beings into genera and species have in common. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: I like this because it is the essence which does the sorting, not the sorting which defines the essence (which seems to me to be a deep and widespread confusion). |
| 11208 | A simple substance is its own essence [Aquinas] |
| Full Idea: A simple substance is its own essence. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.103) | |
| A reaction: Aquinas takes complex substances to have their essences in various ways, but this thought is the basis of all essence. Presumably the Greek word 'ousia' names the key ingredient. |
| 9848 | Content is replaceable if identical, so replaceability can't define identity [Dummett, by Dummett] |
| Full Idea: Husserl says the only ground for assuming the replaceability of one content by another is their identity; we are therefore not entitled to define their identity as consisting in their replaceability. | |
| From: report of Michael Dummett (Frege philosophy of mathematics [1991]) by Michael Dummett - Frege philosophy of mathematics Ch.12 | |
| A reaction: This is a direct challenge to Frege. Tricky to arbitrate, as it is an issue of conceptual priority. My intuition is with Husserl, but maybe the two are just benignly inerdefinable. |
| 9842 | Frege introduced criteria for identity, but thought defining identity was circular [Dummett] |
| Full Idea: In his middle period Frege rated identity indefinable, on the ground that every definition must take the form of an identity-statement. Frege introduced the notion of criterion of identity, which has been widely used by analytical philosophers. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.10) | |
| A reaction: The objection that attempts to define identity would be circular sounds quite plausible. It sounds right to seek a criterion for type-identity (in shared properties or predicates), but token-identity looks too fundamental to give clear criteria. |
| 16957 | Possible worlds aren't how the world might be, but how a world might be, given some possibility [Dummett] |
| Full Idea: The equation of a possible world with the way that the (actual) world might be is wrong: the way a distant world might be is not a way the world might be, but a way we might allow it to be given how some intervening world might be. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 8) | |
| A reaction: The point here is that a system of possible worlds must include relative possibilities as well as actual possibilities. Dummett argues against S5 modal logic, which makes them all equal. Things impossible here might become possible. Nice. |
| 16959 | If possible worlds have no structure (S5) they are equal, and it is hard to deny them reality [Dummett] |
| Full Idea: If our space of possible worlds has no structure, as in the semantics for S5, then, from the standpoint of the semantics, all possible worlds are on the same footing; it then becomes difficult to resist the claim that all are equally real. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 8) | |
| A reaction: This is a rather startling and interesting claim, given that modern philosophy seems full of thinkers who both espouse S5 for metaphysics, and also deny Lewisian realism about possible worlds. I'll ponder that one. Must read the new Williamson…. |
| 22170 | Senses grasp external properties, but the understanding grasps the essential natures of things [Aquinas] |
| Full Idea: Our imagination and senses grasp only the outer properties of things, not their natures. ...Understanding, however, grasps the very substance and nature of things, so that what is represented in understanding is a likeness of thing's very essence. | |
| From: Thomas Aquinas (Quodlibeta [1267], 8.2.2) | |
| A reaction: This is exactly the picture I endorse for modern science. Explanation is the path to understanding, and that must venture beyond immediate experience. |
| 23175 | The conclusions of speculative reason about necessities are certain [Aquinas] |
| Full Idea: Since the speculative reason is concerned chiefly with necessary things, which cannot be otherwise than they are, its proper conclusions, like the universal principles, contain the truth without fail. | |
| From: Thomas Aquinas (Summa Theologicae [1265], I-II Q94 4) | |
| A reaction: This seems over-confident, and to confuse the facts with our knowledge of the facts. Simple arithmetic may seem certain, but long and intricate proofs are always a little uncertain. |
| 21337 | A knowing being possesses a further reality, the 'presence' of the thing known [Aquinas] |
| Full Idea: Knowing beings are differentiated from non-knowing beings by this: non-knowing beings have only their own reality, but knowing beings are capable of possessing also the reality of something else, ...a presence of the thing known produced by this thing. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia,q.Q14,art 1) | |
| A reaction: [Quoted by Ryan Meade in a talk at Pigotts] A famous and much discussed remark. Aquinas was a direct realist about perception, so this presence seems to be the thing itself, rather than a 'representation'. |
| 8199 | The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett] |
| Full Idea: The existence of a universe from which sentience was permanently absent is an unintelligible fantasy. What exists is what can be known to exist. What is true is what can be known to be true. Reality is what can be experienced and known. | |
| From: Michael Dummett (Truth and the Past [2001], 5) | |
| A reaction: This strikes me as nonsense. The fact that we cannot think about a universe without introducing a viewpoint does not mean that we cannot 'intellectually imagine' its existence devoid of viewpoints. Nothing could ever experience a star's interior. |
| 21249 | Some things are self-evident to us; others are only self-evident in themselves [Aquinas] |
| Full Idea: A thing can be self-evident in either of two ways: on the one hand, self-evident in itself, though not to us; on the other hand, self-evident in itself, and to us. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Art 1, Obj 3) | |
| A reaction: A clear distinction, which is hard to deny, though there are lots of borderline cases. Self-evident to genius, and self-evident to future genius. Self-evident to almost everyone. Goldbach's Conjecture may be self-evident but unknowable. |
| 22169 | Initial universal truths are present within us as potential, to be drawn out by reason [Aquinas] |
| Full Idea: For present in us by nature are certain initial truths everyone knows, in which lie potentially known conclusions our reasons can draw out and make actually known. | |
| From: Thomas Aquinas (Quodlibeta [1267], 8.2.2) | |
| A reaction: Note that these are truths rather than concepts, but that they have to be 'drawn out' by reason. This is Descartes' view of the matter, where the 'natural light' of reason is needed to articulate what is innate, such as geometry. |
| 21250 | A proposition is self-evident if the predicate is included in the essence of the subject [Aquinas] |
| Full Idea: A proposition is self-evident because the predicate is included in the essence of the subject. E.g. Man is an animal, because animal is included in the essence of man. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Art 1, Obj 3) | |
| A reaction: Aquinas focuses on the essence of the subject, where Kant embraces the whole concept of the subject. Is it self-evident that we are genetically related to apes? Yes, to a geneticiist. Is that part of human essence? No. So Kant wins. |
| 22168 | Minds take in a likeness of things, which activates an awaiting potential [Aquinas] |
| Full Idea: What the mind takes in is not some material element of the agent, but a likeness of the agent actualising some potential the patient already has. This, for example, is the way our seeing takes in the colour of a coloured body. | |
| From: Thomas Aquinas (Quodlibeta [1267], 8.2.1) | |
| A reaction: This is exactly right. Descartes agreed. It works for colour, but not (obviously) for cheese graters. |
| 20224 | Sensation prepares the way for intellectual knowledge, which needs the virtues of reason [Aquinas] |
| Full Idea: Knowledge of truth is not consummated in the sensitive powers of apprehension, for these prepare the way to intellectual knowledge. And therefore in these powers there are none of the virtues by which we know truth; these are in the intellect or reason. | |
| From: Thomas Aquinas (Summa Theologicae [1265], I-II Q56 a5 obj3), quoted by Linda Trinkaus Zagzebski - Virtues of the Mind III 2.2 | |
| A reaction: A gem of a quotation for Zagzebski's thesis, that knowledge is defined in terms of the intellectual virtues. The only virtues of perception are in focusing and paying attention to features. Good eyesight is a biological 'virtue', I suppose. |
| 1860 | Knowledge may be based on senses, but we needn't sense all our knowledge [Aquinas] |
| Full Idea: All our knowledge comes through our senses, but that doesn't mean that everything we know is sensed. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 18) |
| 8178 | Empirical and a priori knowledge are not distinct, but are extremes of a sliding scale [Dummett] |
| Full Idea: Our sentences cannot be divided into two classes, empirical and a priori, the truth of one to be decided by observation, the other by ratiocination. They lie on a scale, with observational sentences at one end, and mathematical ones at the other. | |
| From: Michael Dummett (Thought and Reality [1997], 5) | |
| A reaction: The modern post-Kantian dissolution of the rationalist-empiricist debate. I would say that mathematical sentences require no empirical evidence (for their operation, rather than foundation), but a bit of reasoning is involved in observation. |
| 22109 | The fullest knowledge places a conclusion within an accurate theory [Aquinas, by Kretzmann/Stump] |
| Full Idea: Having 'scientia' is the fullest possible human cognition, by which one situates the fact expressed by a conclusion in an explanatory theory that accurately maps metaphysical or physical reality. | |
| From: report of Thomas Aquinas (Sententia on 'Posterior Analytics' [1269], 1.2.9, 1.5.7) by Kretzmann/Stump - Aquinas, Thomas 11 | |
| A reaction: That is a perfect statement of my concept of knowledge. Explanatory theories must specify the essential natures of the entities involved. We don't aim for 'knowledge', we aim for the 'fullest possible cognition'. This account extend's Aristotle's. |
| 19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
| Full Idea: An explanation is often a deductive argument, with the fact needing explaining as its conclusion. ...But the conclusion is usually given in advance, and we may only believe the premisses because they plausibly explain the conclusion. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.296) | |
| A reaction: [compressed (Dummett's wordy prose cries out for it!)] I suppose this works better in mathematics, which is central to Dummett's interests. In the real world the puzzle is not usually logically implied by its explanation. |
| 11198 | Definition of essence makes things understandable [Aquinas] |
| Full Idea: It is definition of essence that makes things understandable. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.92) | |
| A reaction: The aim of philosophy is understanding, which is achieved by successful explanation. I totally agree with this Aristotelian view, so neatly summarised by Aquinas. |
| 22107 | Sensations are transmitted to 'internal senses' in the brain, chiefly to 'phantasia' and 'imagination' [Aquinas, by Kretzmann/Stump] |
| Full Idea: Sensory species received in external senses are transmitted to 'internal senses', organs located in the brain. The most important of these for cognition are 'phantasia' and 'imagination' (part of phantasia), which produce and preserve 'phantasms'. | |
| From: report of Thomas Aquinas (Summa Theologicae [1265]) by Kretzmann/Stump - Aquinas, Thomas 11 | |
| A reaction: This seems to make Aquinas a representative realist. I add this to my portfolio of philosophical faculties - those required by philosophy, rather than by psychology or neuroscience. |
| 9098 | Mental activity combines what we sense with imagination of what is not present [Aquinas] |
| Full Idea: Mental activity combines two activities which in the senses are distinct: exterior perception in which we are simply affected by what we sense, and interior imagination in which we create images of things that are not, and never have been present. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ch.5 Q85.2) | |
| A reaction: Geach cites this thought to show that he is anti-abstractionist, since mind creates images, and these can arise from things which have not been experienced. Any defence of abstractionism must allow an active power to imagination. |
| 9092 | Abstracting A from B generates truth, as long as the connection is not denied [Aquinas] |
| Full Idea: Abstacting A from B can mean denying A's connection with B, or simply thinking A without thinking B. Abstracting what in reality is connected generates falsehood if done the first way, but not if done the second. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ch.5 Q85.1) | |
| A reaction: Despite Geach's denials, this seems to make Aquinas a classic abstractionist. He goes on to distinguish two sorts of abstraction, but he certainly thinks of abstraction from sense experience as a revelation about the nature of reality. |
| 9093 | We understand the general nature of things by ignoring individual peculiarities [Aquinas] |
| Full Idea: If we think what defines a stone, man or horse, without thinking of any individual peculiarities it may have, this is precisely what we do when we abstract the general nature of what we understand from any particular way in which we imagine it. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ch.5 Q85.1) | |
| A reaction: This may not be simple abstraction from sense experience, since there would obviously be a threatened circularity in the process. Do you need to know the essential definition first, in order to discard the individual peculiarities? |
| 9097 | The mind abstracts generalities from images, but also uses images for understanding [Aquinas] |
| Full Idea: Our mind both abstracts the species from images when it attends to the general nature of things, and understand the species in the images when it has recourse to the images in order to understand the things whose species it has abstracted. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ch.5 Q85.1) | |
| A reaction: Geach claims that the second half of this idea means that Aquinas is not an abstractionist, but he seems to be explictly abstractionist about the way in which we create higher level concepts from lower ones. |
| 9095 | Very general ideas (being, oneness, potentiality) can be abstracted from thought matter in general [Aquinas] |
| Full Idea: There are even things we can abstract from thought matter in general, things like being and oneness and potentiality and realization. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ch.5 Q85.1) | |
| A reaction: The Aristotelian 'potentiality' means possibility, which means that modality is understood by abstraction. Aquinas seems to have four levels: particular perceived, general perceived, particular thought, and general thought. This is the highest level. |
| 9099 | Particular instances come first, and (pace Plato) generalisations are abstracted from them [Aquinas] |
| Full Idea: The generality attaching to a nature - its relatedness to many particular instances - results from abstraction, so in this sense a generalized nature presupposes its instances, and does not, as Plato thought, precede them. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ch.5 Q85.2) | |
| A reaction: This seems to be a quite explicit endorsement of abstractionism by Aquinas, despite all Geach's assertions to the contrary. |
| 10508 | Species are abstracted from appearances by ignoring individual conditions [Aquinas] |
| Full Idea: The agent intellect abstracts intelligible species from phantasms insofar as through the power of the agent intellect we can take into our consideration the natures of the species without the individual conditions. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Q85 Ad4) | |
| A reaction: There might be a threatened circularity here, in trying to decide which features to ignore and which to retain. If we saw a hundred horses with a white nose blaze, we still wouldn't be sure that this was essential to a horse. Innate notions of species?? |
| 22111 | Aquinas attributes freedom to decisions and judgements, and not to the will alone [Aquinas, by Kretzmann/Stump] |
| Full Idea: Aquinas conceives of freedom as free decision or judgement, which cannot be attributed to the will alone. | |
| From: report of Thomas Aquinas (Summa Theologicae [1265]) by Kretzmann/Stump - Aquinas, Thomas 12 | |
| A reaction: This idea might improve the free will debate considerably, because it is not clear what sort of thing a 'will' is, and it is not clear how an entity can be 'free' in isolation, by its intrinsic nature. Isn't all freedom contextual? |
| 1855 | If we saw something as totally and utterly good, we would be compelled to will it [Aquinas] |
| Full Idea: Something apprehended to be good and appropriate in any and every circumstance that could be thought of would compel us to will it. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) |
| 1856 | Nothing can be willed except what is good, but good is very varied, and so choices are unpredictable [Aquinas] |
| Full Idea: Nothing can be willed except good, but many and various things are good, and you can't conclude from this that wills are compelled to choose this or that one. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 05) |
| 1862 | However habituated you are, given time to ponder you can go against a habit [Aquinas] |
| Full Idea: However habituated you are, given time to ponder you can go against a habit. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 24) |
| 1849 | Since will is a reasoning power, it can entertain opposites, so it is not compelled to embrace one of them [Aquinas] |
| Full Idea: Reasoning powers can entertain opposite objects. Now will is a reasoning power, so will can entertain opposites and is not compelled to embrace one of them. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.x2) |
| 1861 | The will is not compelled to move, even if pleasant things are set before it [Aquinas] |
| Full Idea: The will is not compelled to move, for it doesn't have to want the pleasant things set before it. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 21) |
| 1853 | Because the will moves by examining alternatives, it doesn't compel itself to will [Aquinas] |
| Full Idea: Because will moves itself by deliberation - a kind of investigation which doesn't prove some one way correct but examines the alternatives - will doesn't compel itself to will. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) |
| 1854 | We must admit that when the will is not willing something, the first movement to will must come from outside the will [Aquinas] |
| Full Idea: We are forced to admit that, in any will that is not always willing, the very first movement to will must come from outside, stimulating the will to start willing. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) | |
| A reaction: cf Nietzsche |
| 22105 | The human intellectual soul is an incorporeal, subsistent principle [Aquinas] |
| Full Idea: It is necessary to say that that which is the principle of intellective activity, what we call the soul of a human being, is an incorporeal, subsistent principle. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia.Q75 2c), quoted by Kretzmann/Stump - Aquinas, Thomas 10 | |
| A reaction: Note 'subsistent' rather than 'existent' (capable of independence?). This identifies the immortal soul with the conscious mind. 'Principle' is an odd word, presumably with roots in Aristotle. It seems to be an Aristotelian 'form' [morphe]. |
| 20700 | Without God's influence every operation would stop, so God causes everything [Aquinas] |
| Full Idea: If God's divine influence stopped, every operation would stop. Every operation, therefore, of everything is traced back to him as cause. | |
| From: Thomas Aquinas (Summa Contra Gentiles [1268], III.67), quoted by Brian Davies - Introduction to the Philosophy of Religion 3 'Freedom' | |
| A reaction: If the systematic interraction of mind and body counts as an 'operation', then this seems to imply Occasionalism. |
| 8175 | A theory of thought will include propositional attitudes as well as propositions [Dummett] |
| Full Idea: A comprehensive theory of thought will include such things as judgement and belief, as well as the mere grasp of propositions. | |
| From: Michael Dummett (Thought and Reality [1997], 4) | |
| A reaction: This seems to make any theory of thought a neat two-stage operation. Beware of neatness. While propositions might be explained using concepts, syntax and truth, the second stage looks faintly daunting. See Idea 2209, for example. |
| 8174 | The theories of meaning and understanding are the only routes to an account of thought [Dummett] |
| Full Idea: For the linguistic philosopher, the theory of meaning, and the theory of understanding that is built upon it, form the only route to a philosophical account of thought. | |
| From: Michael Dummett (Thought and Reality [1997], 4) | |
| A reaction: I am of the party that thinks thought is prior to language (esp. because of animals), but Dummett's idea does not deny this. He may well be right that this is the 'only route'. We can only hope to give an account of human thought. |
| 22108 | First grasp what it is, then its essential features; judgement is their compounding and division [Aquinas] |
| Full Idea: The intellect first apprehends the quiddity of a thing. ...Then it acquires the properties, accidents and dispositions associated with the thing's essence. It must proceed from one compounding or dividing of aspects to another, which is reasoning. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia.Q85 5c), quoted by Kretzmann/Stump - Aquinas, Thomas 11 | |
| A reaction: [compressed] Tracking the process of acquiring knowledge of a thing (rather than necessary and sufficient conditions for full knowledge) is closer to Quine's naturalised epistemology than to the standard analytic approach to the concept of knowledge. |
| 19168 | Concepts only have a 'functional character', because they map to truth values, not objects [Dummett, by Davidson] |
| Full Idea: Real functions map objects onto objects, but concepts map objects onto truth value, ...so Dummett says that concepts are not functions, but that they have a 'functional character'. | |
| From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973]) by Donald Davidson - Truth and Predication 6 |
| 9849 | Maybe a concept is 'prior' to another if it can be defined without the second concept [Dummett] |
| Full Idea: One powerful argument for a thesis that one notion is conceptually prior to another is the possibility of defining the first without reference to the second. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.12) | |
| A reaction: You'd better check whether you can't also define the second without reference to the first before you rank their priority. And maybe 'conceptual priority' is conceptually prior to 'definition' (i.e. definition needs a knowledge of priority). Help! |
| 9850 | An argument for conceptual priority is greater simplicity in explanation [Dummett] |
| Full Idea: An argument for conceptual priority is greater simplicity in explanation. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.12) | |
| A reaction: One might still have to decide priority between two equally simple (or complex) concepts. I begin to wonder whether 'priority' has any other than an instrumental meaning (according to which direction you wish to travel - is London before Edinburgh?). |
| 10503 | We abstract forms from appearances, and acquire knowledge of immaterial things [Aquinas] |
| Full Idea: To cognize that which is in individual matter, not as it is in such matter, is to abstract the form from the individual matter that the phantasms represents. Thus we come to a degree of cognition of immaterial things. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Q85 1 Reply) | |
| A reaction: This offers abstraction as a kind of inference to best explanation which takes us beyond immediate empirical experience to what is behind it. Aquinas thinks the concepts and explanation are spiritual, but they may be generalities and essences. |
| 10509 | Understanding consists entirely of grasping abstracted species [Aquinas] |
| Full Idea: Of the thing understood all that is within the actually understanding intellect is the abstracted intelligible species. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Q85 Art2) | |
| A reaction: Abstraction is never supposed to be a luxury bolt-on, but is always seen (in this tradition, and presumably in the modern one), as essential to the intellect, and its way of coming to understand the world. Aristotelian definition is behind this idea. |
| 9873 | Abstract terms are acceptable as long as we know how they function linguistically [Dummett] |
| Full Idea: To recognise abstract terms as perfectly proper items of a vocabulary depends upon allowing that all that is necessary for the lawful introduction of a range of expressions into the language is a coherent account of how they are to function in sentences. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.16) | |
| A reaction: Why can't the 'coherent account' of the sentences include the fact that there must be something there for the terms to refer to? How else are we to eliminate nonsense words which obey good syntactical rules? Cf. Idea 9872. |
| 10839 | You can't infer a dog's abstract concepts from its behaviour [Dummett] |
| Full Idea: One could train a dog to bark only when a bell rang and a light shone without presupposing that it possessed the concept of conjunction. | |
| From: Michael Dummett (Truth [1959], p.235) |
| 10506 | Mathematics can be abstracted from sensible matter, and from individual intelligible matter [Aquinas] |
| Full Idea: Intellect can abstract mathematical species from sensible matter, both individual and common. Yet it cannot abstract such species from common intelligible matter, but only from individual intelligible matter. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Q85 Ad2) | |
| A reaction: The idea is that common intelligible matter lacks underlying substance, which is where quantity is to be found. |
| 9094 | Mathematical objects abstract both from perceived matter, and from particular substance [Aquinas] |
| Full Idea: Objects of mathematics abstract from perceived matter both in particular and in general, though from thought matter (substance as underlying quality) only in particular and not in general. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ch.5 Q85.1) | |
| A reaction: This appears to be a thoroughly abstractionist view of the way in which humans create mathematics. Aquinas explicitly denies the Platonic view that the numbers already have abstract existence, awaiting our discovery. |
| 10505 | We can just think of an apple's colour, because the apple is not part of the colour's nature [Aquinas] |
| Full Idea: The apple is not part of the nature of the colour, and so nothing prevents one from understanding the colour while understanding nothing of the apple. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Q85 1 Ad 1) | |
| A reaction: This helps to clarify why the procedure of 'ignoring' features is possible. It suggests that some features might be too entangled with the substance (too essential?) to be thus ignored. I can't think of an example, though. Why not?! |
| 10504 | Abstracting either treats something as separate, or thinks of it separately [Aquinas] |
| Full Idea: Abstracting takes place in two ways: by composition and division, understanding something to be not in another or to be separated from it; and by a simple and unconditioned consideration, understanding one thing while not considering the other at all. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Q85 1 Ad 1) | |
| A reaction: The second way is by 'ignoring', which he says cannot contain error. The first seems to be considering some mode of a thing to be actually separate from the thing, which could clearly be erroneous. Ignoring makes to commitment to a unity. |
| 10507 | Numbers and shapes are abstracted by ignoring their sensible qualities [Aquinas] |
| Full Idea: Quantities such as numbers and dimensions, and also shapes (which are the limits of quantities) can be considered without their sensible qualities, which is for them to be abstracted from sensible matter. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Q85 Ad2) | |
| A reaction: His account relies on underlying substance, which is where quantity is to be found (presumably because a substance is the epitome of a unit). |
| 10549 | Since abstract objects cannot be picked out, we must rely on identity statements [Dummett] |
| Full Idea: Since we cannot pick an abstract object out from its surrounding, all that we need to master is the use of statements of identity between objects of a certain kind. | |
| From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) | |
| A reaction: This is the necessary Fregean preliminary to using a principle of abstraction to identify two objects which are abstract (when the two objects are in an equivalence relation). Presumably circular squares and square circles are identical? |
| 9993 | There is no reason why abstraction by equivalence classes should be called 'logical' [Dummett, by Tait] |
| Full Idea: Dummett uses the term 'logical abstraction' for the construction of the abstract objects as equivalence classes, but it is not clear why we should call this construction 'logical'. | |
| From: report of Michael Dummett (Frege philosophy of mathematics [1991]) by William W. Tait - Frege versus Cantor and Dedekind n 14 | |
| A reaction: This is a good objection, and Tait offers a much better notion of 'logical abstraction' (as involving preconditions for successful inference), in Idea 9981. |
| 9857 | We arrive at the concept 'suicide' by comparing 'Cato killed Cato' with 'Brutus killed Brutus' [Dummett] |
| Full Idea: We arrive at the concept of suicide by considering both occurrences in the sentence 'Cato killed Cato' of the proper name 'Cato' as simultaneously replaceable by another name, say 'Brutus', and so apprehending the pattern common to both sentences. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.14) | |
| A reaction: This is intended to illustrate Frege's 'logical abstraction' technique, as opposed to wicked psychological abstraction. The concept of suicide is the pattern 'x killed x'. This is a crucial example if we are to understand abstraction... |
| 9833 | To abstract from spoons (to get the same number as the forks), the spoons must be indistinguishable too [Dummett] |
| Full Idea: To get units by abstraction, units arrived at by abstraction from forks must the identical to that abstracted from spoons, with no trace of individuality. But if spoons can no longer be differentiated from forks, they can't differ from one another either. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 8) | |
| A reaction: [compressed] Dummett makes the point better than Frege did. Can we 'think of a fork insofar as it is countable, ignoring its other features'? What are we left thinking of? Frege says it must still be the whole fork. 'Nice fork, apart from the colour'. |
| 8165 | To 'abstract from' is a logical process, as opposed to the old mental view [Dummett] |
| Full Idea: The phrase 'abstracted from' does not refer to the mental process of abstraction by disregarding features of concrete objects, in which many nineteenth century thinkers believed; it is a logical (not mental) process of concept-formation. | |
| From: Michael Dummett (Thought and Reality [1997], 1) | |
| A reaction: I take Frege's attack on 'psychologism' to be what dismissed the old view (Idea 5816). Could one not achieve the same story by negating properties in quantified logical expressions, instead of in the mind? |
| 9096 | The mind must produce by its own power an image of the individual species [Aquinas] |
| Full Idea: The agent mind must itself turn to images, and produce by its own power in the receptive mind a representation as to species of whatever the images represent as individual. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ch.5 Q85.1) | |
| A reaction: Unlike much of this section, this sentence supports Geach's claim that Aquinas agrees with him - that the mind creates its concepts, rather than 'abstracting' them from experience. |
| 19055 | Stating a sentence's truth-conditions is just paraphrasing the sentence [Dummett] |
| Full Idea: An ability to state the condition for the truth of a sentence is, in effect, no more than an ability to express the content of the sentence in other words. | |
| From: Michael Dummett (The philosophical basis of intuitionist logic [1973], p.224) | |
| A reaction: Alternatively, if you give something other than a paraphrase of the sentence as its meaning (such as a proof of its truth), then you seem to have departed from your target sentence. Can we reduce and eliminate our sentences in this way? |
| 19056 | If a sentence is effectively undecidable, we can never know its truth conditions [Dummett] |
| Full Idea: If a sentence is effectively undecidable, the condition which must obtain for it to be true is not one which we are capable of recognising whenever it obtains, or of getting ourselves in a position to do so. | |
| From: Michael Dummett (The philosophical basis of intuitionist logic [1973], p.225) | |
| A reaction: The instances of 'undecidable' sentences are most clearly seen in mathematics, such as the Continuum Hypothesis or Goldbach's Conjecture, or anything involving vast infinite cardinals. But do you need precise truth-conditions for meaning? |
| 8168 | To know the truth-conditions of a sentence, you must already know the meaning [Dummett] |
| Full Idea: You can know the condition for a sentence to be true only when you know what the sentence means. | |
| From: Michael Dummett (Thought and Reality [1997], 3) | |
| A reaction: This makes the truth-conditions theory of meaning circular, and is Dummett's big objection to Davidson's view. The composition of a sentence creates a model of a world. Truth-conditions may only presuppose knowledge of concepts. |
| 8193 | Verification is not an individual but a collective activity [Dummett] |
| Full Idea: Verification is not an individual but a collective activity. | |
| From: Michael Dummett (Truth and the Past [2001], 3) | |
| A reaction: This generates problems. Are deceased members of the community included? (Yes, says Dummett). If someone speaks to angels (Blake!), do they get included? Is a majority necessary? What of weird loners? Etc. |
| 8181 | A justificationist theory of meaning leads to the rejection of classical logic [Dummett] |
| Full Idea: If we adopt a justificationist theory of meaning, we must reject the universal law of excluded middle, and with it classical logic (which rests on the two-valued semantics of bivalence). We admit only intuitionist logic, which preserves justifiability. | |
| From: Michael Dummett (Thought and Reality [1997], 5) | |
| A reaction: This is Dummett's philosophy in a very neat nutshell. He seems to have started by accepting Brouwer's intuitionism, and then working back to language. It all implies anti-realism. I don't buy it. |
| 8182 | Verificationism could be realist, if we imagined the verification by a superhuman power [Dummett] |
| Full Idea: There is a possible route to realism, which has been called 'ideal verificationism', if we base our grasping the understanding and truth of a range of sentences on the procedure that would be available to an imagined being with superhuman powers. | |
| From: Michael Dummett (Thought and Reality [1997], 5) | |
| A reaction: This is actually a slippery slope for verificationists, as soon as they allow that verification could be done by other people. A verifier might turn up who had telepathy, or x-ray vision, or could see quarks... |
| 8183 | If truths about the past depend on memories and current evidence, the past will change [Dummett] |
| Full Idea: If justificationists succumb to the temptation for statements in the past, we shall view their senses as given by present memories and present traces of past events; but this will force us into a view of the past as itself changing. | |
| From: Michael Dummett (Thought and Reality [1997], 6) | |
| A reaction: Obviously Dummett attempts to sidestep this problem, but it strikes me as powerful support for the realist view about the past. How can we not be committed to the view that there are facts about the past quite unconnected to our verifying abilities? |
| 19054 | Meaning as use puts use beyond criticism, and needs a holistic view of language [Dummett] |
| Full Idea: If use constitutes meaning, it might seem that use is beyond criticism. ....But such an attitude can, ultimately, be supported onlly by the adoption of a holistic view of language. | |
| From: Michael Dummett (The philosophical basis of intuitionist logic [1973], p.218) | |
| A reaction: Dummett goes on to say that the rejection of the holistic view of mathematical meaning leads to his preference for intuitionistic logic. |
| 8176 | We could only guess the meanings of 'true' and 'false' when sentences were used [Dummett] |
| Full Idea: Even if we guessed that the two words denoted the two truth-values, we should not know which stood for the value 'true' and which for the value 'false' until we knew how the sentences were in practice used. | |
| From: Michael Dummett (Thought and Reality [1997], 4) | |
| A reaction: These types of problem are always based on the idea that some one item must have logical priority in the process, but there is a lot of room for benign circularity in the development of mental and linguistic functions. |
| 8170 | Sentences are the primary semantic units, because they can say something [Dummett] |
| Full Idea: While words are semantic atoms, sentences remain the primary semantic units, in the sense of the smallest bits of language by means of which it is possible to say anything. | |
| From: Michael Dummett (Thought and Reality [1997], 3) | |
| A reaction: Syncategorematic terms (look it up!) may need sentences, but most nouns and verbs can communicate quite a lot on their own. Whether words or sentences come first may not be a true/false issue. |
| 19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
| Full Idea: In the sense of giving a model for the content of a sentence, its representative power, holism is not a theory of meaning; it is the denial that a theory of meaning is possible. | |
| From: Michael Dummett (The Justification of Deduction [1973], p.309) | |
| A reaction: This will obviously be because sentences just don't have meaning in isolation, so their meaning can't be given in terms of the sentences. |
| 10516 | A realistic view of reference is possible for concrete objects, but not for abstract objects [Dummett, by Hale] |
| Full Idea: Dummett claims that a realistic conception of reference can be sustained for concrete objects (possible objects of ostension), but breaks down for (putative) names of (pure) abstract objects. | |
| From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) by Bob Hale - Abstract Objects Ch.3.II | |
| A reaction: An extremely hard claim to evaluate, because a case must first be made for abstract objects which are fundamentally different in kind. Realistic reference must certainly deal with these hard cases. Field rejects Dummett's abstract points. |
| 9181 | The causal theory of reference can't distinguish just hearing a name from knowing its use [Dummett] |
| Full Idea: The causal theory of reference, in a full-blown form, makes it impossible to distinguish between knowing the use of a proper name and simply having heard the name and recognising it as a name. | |
| From: Michael Dummett (Frege's Distinction of Sense and Reference [1975], p.254) | |
| A reaction: None of these things are all-or-nothing. I have an inkling of how to use it once I realise it is a name. Of course you could be causally connected to a name and not even realise that it was a name, so something more is needed. |
| 11206 | The mind constructs complete attributions, based on the unified elements of the real world [Aquinas] |
| Full Idea: Attribution is something mind brings to completion by constructing propositional connections and disconnections, basing itself on real-world unity possessed by the things being attributed to one another. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.102) | |
| A reaction: This compromise story seems to me to be exactly right. I take it that we respond to the real joints of nature, but using thought and language which is riddled with convention. |
| 9836 | Fregean semantics assumes a domain articulated into individual objects [Dummett] |
| Full Idea: A Fregean semantics assumes a domain already determinately articulated into individual objects. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 8) | |
| A reaction: A more interesting criticism than most of Dummett's other challenges to the Frege/Davidson view. I am beginning to doubt whether the semantics and the ontology can ever be divorced from the psychology, of thought, interests, focus etc. |
| 8189 | Truth-condition theorists must argue use can only be described by appeal to conditions of truth [Dummett] |
| Full Idea: To demonstrate the necessity of a truth-conditional theory of meaning, a proponent of such a theory must argue that use cannot be described without appeal to the conditions for the truth of statements. | |
| From: Michael Dummett (Truth and the Past [2001], 1) | |
| A reaction: Unlike Dummett, I find that argument rather appealing. How do you decide the possible or appropriate use for a piece of language, if you don't already know what it means. Basing it all on social conventions means it could be meaningless ritual. |
| 8191 | The truth-conditions theory must get agreement on a conception of truth [Dummett] |
| Full Idea: It is not enough for the truth-condition theorist to argue that we need the concept of truth: he must show that we should have the same conception of truth that he has. | |
| From: Michael Dummett (Truth and the Past [2001], 2) | |
| A reaction: Davidson invites us to accept Tarski's account of truth. It invites the question of what the theory would be like with a very robust correspondence account of truth, or a flabby rather subjective coherence view, or the worst sort of pragmatic view. |
| 8169 | We can't distinguish a proposition from its content [Dummett] |
| Full Idea: No distinction can be drawn between a proposition and its content; no two distinct propositions can have the same content. | |
| From: Michael Dummett (Thought and Reality [1997], 3) | |
| A reaction: And one proposition cannot have two possible contents (ambiguity). Are we to say that a proposition supervenes on its content, or that proposition and content are identical? Ockham favours the latter. |
| 1847 | The will must aim at happiness, but can choose the means [Aquinas] |
| Full Idea: The will is compelled by its ultimate goal (to achieve happiness), but not by the means to achieve it. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.07) |
| 1857 | We don't have to will even perfect good, because we can choose not to think of it [Aquinas] |
| Full Idea: The will can avoid actually willing something by avoiding thinking of it, since mental activity is subject to will. In this respect we aren't compelled to will even total happiness, which is the only perfect good. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 07) |
| 1846 | The will can only want what it thinks is good [Aquinas] |
| Full Idea: Will's object is what is good, and so it cannot will anything but what is good. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.06) |
| 23180 | The will is the rational appetite [Aquinas] |
| Full Idea: The will is the rational appetite. | |
| From: Thomas Aquinas (Summa Theologicae [1265], II-II Q58 4) | |
| A reaction: Defining the will in terms of reason sounds more like an Enlightenment optimist than a medieval theologian. I suspect that for him it is tautological the reason is involved, if only the reason can make decisions. Hobbes prefers to ruling appetite. |
| 1850 | Without free will not only is ethical action meaningless, but also planning, commanding, praising and blaming [Aquinas] |
| Full Idea: If we are not free to will in any way, but are compelled, everything that makes up ethics vanishes: pondering action, exhorting, commanding, punishing, praising, condemning. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) | |
| A reaction: If doesn't require some magical 'free will' to avoid compulsions. All that is needed is freedom to enact your own willing, rather than someone else's. |
| 22112 | For humans good is accordance with reason, and bad is contrary to reason [Aquinas] |
| Full Idea: A human being's good is existing in accordance with reason, while what is bad for a human being is whatever is contrary to reason. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia IIae.Q18.5c), quoted by Kretzmann/Stump - Aquinas, Thomas 13 | |
| A reaction: For anyone who thought Kant invented the idea that morality derives from reason. This idea of Aquinas is a fairly precise echo of the stoic view (which influenced Kant). Is there a circularity? Is it irrational because bad, or bad because irrational? |
| 22494 | We must know the end, know that it is the end, and know how to attain it [Aquinas] |
| Full Idea: Perfect knowledge of the end consists in not only apprehending the thing which is the end but also knowing it under the aspect of the end and the relation of the means to that end. | |
| From: Thomas Aquinas (Summa Theologicae [1265], II-I.Q132), quoted by Philippa Foot - Natural Goodness 4 | |
| A reaction: We don't talk much now about 'perfect' knowledge of something, but I suppose this is the necessary and sufficient conditions. If you complete the checklist, your knowledge should be perfect (if the list is right). |
| 1851 | Good applies to goals, just as truth applies to ideas in the mind [Aquinas] |
| Full Idea: Good applies to all goals, just as truth applies to all forms mind takes in. | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.reply) | |
| A reaction: In danger of being tautological, if good is understood as no more than the goal of actions. It seems perfectly possibly to pursue a wicked end, and perhaps feel guilty about it. |
| 23181 | All acts of virtue relate to justice, which is directed towards the common good [Aquinas] |
| Full Idea: The good of any virtue …is referable to the common good, to which justice directs, so that all acts of virtue can pertain to justice insofar as it directs man to the common good. | |
| From: Thomas Aquinas (Summa Theologicae [1265], II-II Q58 5) | |
| A reaction: Michael Sandel has recently lamented to fading of the concept of 'the common good' from our moral and political life. In which case this thought of Aquinas takes on great importance. I certainly like it. It seems to apply to courage, for example. |
| 16956 | To explain generosity in a person, you must understand a generous action [Dummett] |
| Full Idea: It cannot be explained what it is for a person to be generous without first explaining what it is for an action to be generous. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 4) | |
| A reaction: I presume a slot machine can't be 'generous', even if it favours the punter, so you can't specify a generous action without making reference to the person. A benign circle, as Aristotle says. |
| 8009 | Aquinas wanted, not to escape desire, but to transform it for moral ends [Aquinas, by MacIntyre] |
| Full Idea: The Aristotelianism of Thomas Aquinas (unlike St Augustine's Platonism) is not concerned with escaping from the snares of the world and of desire, but with transforming desire for moral ends. | |
| From: report of Thomas Aquinas (Summa Theologicae [1265]) by Alasdair MacIntyre - A Short History of Ethics Ch.9 | |
| A reaction: This is very close to Aristotle himself, for whom education of the feelings (into good habits, and then true virtues) was central. Education of feelings should be central to all education (though young psychopaths may show resistance). |
| 23182 | Legal justice is supreme, because it directs the other virtues to the common good [Aquinas] |
| Full Idea: There must be one supreme virtue essentially distinct from every other virtue, which directs all the virtues to the common good, and this virtue is legal justice. | |
| From: Thomas Aquinas (Summa Theologicae [1265], II-II Q58 6) | |
| A reaction: This concept of legal justice is underpinned, for Aquinas, by the concept of natural law, which has divine backing. Positive law could hardly fulfil such a major role, given that it could be corrupt. |
| 22399 | Temperance prevents our passions from acting against reason [Aquinas] |
| Full Idea: The passions may incite us to something against reason, and so we need a curb, which we name 'temperance'. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia 2ae Q61 a.3), quoted by Philippa Foot - Virtues and Vices II | |
| A reaction: I am increasingly unclear what 'reason' means in contexts like these. It seems to mean no more than the awareness of greater goods than the indulgence of passion. Without that awareness, high intelligence couldn't produce temperance. |
| 23177 | Justice directs our relations with others, because it denotes a kind of equality [Aquinas] |
| Full Idea: It is proper to justice, as compared with the other virtues, to direct man in his relations with others, because it denotes a kind of equality, as its very name implies; indeed we are wont to say that things are 'adjusted' when they are made equal. | |
| From: Thomas Aquinas (Summa Theologicae [1265], II-II Q57 1) | |
| A reaction: Even if you say justice is giving people what they deserve, rather than mere equality, they must still be equal in receiving like for like. Legal justice implies equality before the law (except for monarchs?). |
| 23179 | People differ in their social degrees, and a particular type of right applies to each [Aquinas] |
| Full Idea: There are many differences of degrees among men, for instance, some are soldiers, some are priests, some are princes. Therefore some special kind of right should be alloted to them. | |
| From: Thomas Aquinas (Summa Theologicae [1265], II-II Q57 4) | |
| A reaction: An objection (3), but Aquinas endorses it in his reply. In 58.10 he says striking a prince is worse that striking a commoner. The shift to the idea that everyone is supposed to be equal before the law has been slow, and we are not quite there yet. |
| 23174 | Natural law is a rational creature's participation in eternal law [Aquinas] |
| Full Idea: It is evident that the natural law is nothing else than the rational creature's participation of the eternal law. | |
| From: Thomas Aquinas (Summa Theologicae [1265], I-II Q91 2) | |
| A reaction: It is not enough merely that God decrees eternal laws. It is also necessary for us to use reason in order to participate. I'm not sure what reasoning process is involved. |
| 22113 | Right and wrong actions pertain to natural law, as perceived by practical reason [Aquinas] |
| Full Idea: All things to be done or to be avoided pertain to the precepts of natural law, which practical reasoning apprehends naturally as being human goods. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia IIae.Q94.2c), quoted by Kretzmann/Stump - Aquinas, Thomas 13 | |
| A reaction: No mention of God, but you feel the divine presence in the background. He also cites 'eternal law'. No coincidence that the atheist Hobbes rejected natural law. Personally I would offer an atheistic defence of natural law, based on human nature. |
| 22114 | Tyrannical laws are irrational, and so not really laws [Aquinas] |
| Full Idea: A tyrannical law, since it is not in accord with reason, is not unconditionally a law, but is rather a perversion of law. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia IIae.Q92.1, ad 4), quoted by Kretzmann/Stump - Aquinas, Thomas 13 | |
| A reaction: Only a belief in natural law can give a basis for such a claim. Positivists will say a tyrannical law is unconditionally a law like any other, but a bad one. |
| 7291 | For Aquinas a war must be in a just cause, have proper authority, and aim at good [Aquinas, by Grayling] |
| Full Idea: Aquinas argued that on three conditions war can be justified: first, that there is a just cause; second, that it is begun on proper authority; and third, that it is waged with right intention, for 'the advancement of good, or the avoidance of evil'. | |
| From: report of Thomas Aquinas (Summa Theologicae [1265], II) by A.C. Grayling - Among the Dead Cities Ch.6 | |
| A reaction: But see also Idea 7292. Nowadays we are rightly suspicious of all three conditions. Evil people seem to think their cause is just; authority has often been seized by violence, or is being abused; and people seem confused about what is good or evil. |
| 5508 | Aquinas says a fertilized egg is not human, and has no immortal soul [Aquinas, by Martin/Barresi] |
| Full Idea: In Aquinas's view the fertilized egg is not, either at the moment of conception or for quite a while afterwards, endowed with an immortal soul. In fact, technically speaking, it is not even human. | |
| From: report of Thomas Aquinas (Summa Theologicae [1265]) by R Martin / J Barresi - Introduction to 'Personal Identity' p.20 | |
| A reaction: It is pointed at that therefore Aquinas does not give good support for modern Catholic views on abortion. There is certainly no reason why a human zygote should be ensouled from the start, as God may do this whenever He wishes. |
| 16687 | Bodies are three-dimensional substances [Aquinas] |
| Full Idea: Bodies are those substances in which one finds three dimensions. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia Q18.2c), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 16.2 | |
| A reaction: Pasnau points out that this extensional view of physical bodies was a commonplace long before Descartes. Presumably there are also non-dimensional substances (such as angels?). |
| 16954 | Generalised talk of 'natural kinds' is unfortunate, as they vary too much [Dummett] |
| Full Idea: In my view, Kripke's promotion of 'natural kinds', coverning chemical substances and animal and plant species, is unfortunate, since these are rather different types of things, and words used for them behave differently. | |
| From: Michael Dummett (Could There Be Unicorns? [1983], 2) | |
| A reaction: My view is that the only significant difference among natural kinds is their degree of stability in character. Presumably particles, elements and particular molecules are fairly invariant, but living things evolve. |
| 11207 | A cause can exist without its effect, but the effect cannot exist without its cause [Aquinas] |
| Full Idea: When things are so related that one causes the other to exist, the cause can exist without what it causes but not vice versa. | |
| From: Thomas Aquinas (De Ente et Essentia (Being and Essence) [1267], p.103) | |
| A reaction: This is open to question, if causes are supposed to be sufficient for effects. Presumably Aquinas would support the view that if the cause had not been, the effect would not have happened. But the current idea indicates the priority relation. |
| 1859 | Even a sufficient cause doesn't compel its effect, because interference could interrupt the process [Aquinas] |
| Full Idea: Even a sufficient cause doesn't always compel its effect, since it can sometimes be interfered with so that its effect doesn't happen | |
| From: Thomas Aquinas (Quaestiones Disputatae de Malo [1271], Q6.h to 15) |
| 18257 | Why should the limit of measurement be points, not intervals? [Dummett] |
| Full Idea: By what right do we assume that the limit of measurement is a point, and not an interval? | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], 22 'Quantit') |
| 8186 | Time is the measure of change, so we can't speak of time before all change [Dummett] |
| Full Idea: Time is the measure of change, and it makes no sense to speak of how things were before there was anything that changed. | |
| From: Michael Dummett (Thought and Reality [1997], 8) | |
| A reaction: Something creating its own measure sounds like me marking my own exam papers. If an object appears, then inverts five seconds later, how can the inversion create the five seconds? How does that differ from inverting ten seconds later? |
| 15202 | Eternity coexists with passing time, as the centre of a circle coexists with its circumference [Aquinas] |
| Full Idea: The centre of a circle is directly opposite any designated point on the circumference. In this way, whatever is in any part of time coexists with what is eternal as being present to it even though past or future with respect to another part of time. | |
| From: Thomas Aquinas (Summa Contra Gentiles [1268], I.66), quoted by Robin Le Poidevin - Past, Present and Future of Debate about Tense 2 c | |
| A reaction: A nice example of a really cool analogy which almost gets you to accept something which is actually completely incomprehensible. |
| 8197 | Maybe past (which affects us) and future (which we can affect) are both real [Dummett] |
| Full Idea: Maybe both the past and the future are real, determined by our current temporal perspective. Past is then events capable of having a causal influence upon events near us, and future is events we can affect, but from which we receive no information. | |
| From: Michael Dummett (Truth and the Past [2001], 5) | |
| A reaction: This is the Four-Dimensional view, which is opposed to Presentism. Might immediate unease is that it gives encouragement to fortune-tellers, whom I have always dismissed with 'You can't see the future, because it doesn't exist'. |
| 8167 | If Presentism is correct, we cannot even say that the present changes [Dummett] |
| Full Idea: If Presentism is correct - the doctrine that there is nothing at all, save what holds good at the present moment - then we cannot even say that the present changes, because that requires that things are not now as they were some time ago. | |
| From: Michael Dummett (Thought and Reality [1997], 2) | |
| A reaction: Presumably we can compare our present memory with our present experience. See Idea 6668. The logic (very ancient!) is that the present has not duration at all, and so no experiences can occur during it. |
| 8196 | The present cannot exist alone as a mere boundary; past and future truths are rendered meaningless [Dummett] |
| Full Idea: The idea that only the present is real cannot be sustained. St Augustine pointed out that the present has no duration; it is a mere boundary between past and future, and dependent on them. It also denies truth-value to statements about past or future. | |
| From: Michael Dummett (Truth and the Past [2001], 5) | |
| A reaction: To defend Presentism, I suspect that one must focus entirely on the activities of consciousness and short-term memory. All truths, of past or future, must refer totally to such mental events. But what could an event be if there is no enduring time? |
| 23178 | Divine law commands some things because they are good, while others are good because commanded [Aquinas] |
| Full Idea: The divine law commands certain things because they are good and forbids others because they are evil, while others are good because they are prescribed, and others evil because they are forbidden. | |
| From: Thomas Aquinas (Summa Theologicae [1265], II-II Q57 2) | |
| A reaction: This is a fifty-fifty response to the Euthyphro dilemma, but it seems to leave the theological puzzle of the source of the goodness which is prescribed because it is in fact good. |
| 21251 | We can't know God's essence, so his existence can't be self-evident for us [Aquinas] |
| Full Idea: Because we do not know the essence of God, the proposition 'God exists' is not self-evident to us, but needs to be demonstrated by things that are more known to us. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Art 1, Obj 3) | |
| A reaction: Depends on his definition of self-evidence (Idea 21250), which needs knowledge of the essence of the subject. Anselm required 'understanding' of the concept. One might understand the existence criteria without knowing the whole essence. Anselm wins. |
| 5614 | If you assume that there must be a necessary being, you can't say which being has this quality [Kant on Aquinas] |
| Full Idea: To those who assume the existence of a necessary being, and would only know which among all things had to be regarded as such a thing, one could not answer: This thing here is the necessary being | |
| From: comment on Thomas Aquinas (Summa Theologicae [1265]) by Immanuel Kant - Critique of Pure Reason A612/B640 | |
| A reaction: See Aquinas in Idea 1431. Kant makes a nice point. You might turn out to be the necessary being? How could you tell? You only know that there must be one lurking somewhere. I could be a slug. Aquinas makes a huge leap to God. |
| 21269 | Way 1: the infinite chain of potential-to-actual movement has to have a first mover [Aquinas] |
| Full Idea: A thing can only be reduced from potentiality to actuality by something actual. A thing can never be in actuality and potentiality in the same respect. So what is moved must be moved by another. But this cannot go on to infinity, with no first mover. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia,Q02,Art3,Reply) | |
| A reaction: [compressed] This relies on the Aristotelian ideas of potentiality and actuality. We might talk about things moving, but lacking the 'power' to move. This is almost identical to Plato in 'The Laws' (which I guess Aquinas knew nothing of). |
| 21270 | Way 2: no effect without a cause, and this cannot go back to infinity, so there is First Cause [Aquinas] |
| Full Idea: If there is no first cause among efficient causes, there is no ultimate or intermediate cause. That in efficient causes it is possible to go on to infinity is plainly false. So it is necessary to admit a first efficient cause, which everyone calls God. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia,Q02,Art3,Reply) | |
| A reaction: [compressed] It doesn't seem to follow at all that the First Cause is God. There could be a single thing like the Phoenix, with unique self-causing properties. Or a quantum fluctuation. |
| 21271 | Way 3: contingent beings eventually vanish, so continuity needs a necessary being [Aquinas] |
| Full Idea: That which can not-be at some time is not. So if everything can not-be, then once there was nothing in existence. If so, it would have been impossible for anything to have begun to exist. So there must be some being having of itself its own necessity. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia,Q02,Art3,Reply) | |
| A reaction: [compressed] Why can't things take it in turns to not-be, so that something is always on duty? Maybe it is a feature of things that they bring other things into existence (e.g. virtual particles)? |
| 21272 | Way 4: the source of all qualities is their maximum, so something (God) causes all perfections [Aquinas] |
| Full Idea: More and less are predicated of different things according as they resemble in their different ways something which is the maximum. The maximum of a genus is the cause of all in that genus. So there must be something causing the perfections of all beings. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia,Q02,Art3,Reply) | |
| A reaction: [compressed] The argument makes a startling jump from each quality (like heat or nobility) having a maximum, to their being a single entity (a 'being' at that) which is the sole source of all human perfections. |
| 21273 | Way 5: mindless things act towards an obvious end, so there is an intelligent director [Aquinas] |
| Full Idea: Things which lack knowledge, such as natural bodies, act for an end, which is usually in the same way, to obtain the best result. Hence they achieve their end designedly. Hence some intelligent being exists by whom all natural things are directed. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia,Q02,Art3,Reply) | |
| A reaction: [compressed] This is Greek teleology with a vengeance. Plants probably illustrate best what he has in mind. There is obvious teleology in human affairs, and there is a sort of teleology in living things, but we take the end to be reinforced by success. |
| 20211 | Life aims at the Beatific Vision - of perfect happiness, and revealed truth [Aquinas, by Zagzebski] |
| Full Idea: Aquinas describes the ultimate end of human life as the Beatific Vision, a state that is simultaneously the enjoyment of perfect happiness and a perfect revelation of truth. | |
| From: report of Thomas Aquinas (Summa Theologicae [1265]) by Linda Trinkaus Zagzebski - Virtues of the Mind II 4.2 | |
| A reaction: I like that a lot, even though my idea of the revelation of truth is very distant from that of Aquinas. Ignorant happiness is not much of an aspiration. |
| 22106 | Aquinas saw angels as separated forms, rather than as made of 'spiritual matter' [Aquinas, by Kretzmann/Stump] |
| Full Idea: Unlike some of his contemporaries, Aquinas does not think that there is a 'spiritual matter' that angels or disembodied souls have as one of their components, but rather that they are separated forms that configure no matter at all. | |
| From: report of Thomas Aquinas (Summa Theologicae [1265]) by Kretzmann/Stump - Aquinas, Thomas 10 | |
| A reaction: 'Separated forms' sounds like the modern concept of abstract entities, meaning that souls and angels exist in the way that platonists believe numbers exist. How else might Aquinas have understood them? |
| 16711 | Heretics should be eradicated like wolves [Aquinas] |
| Full Idea: Heretics are wolves …and therefore ought to be eradicated. | |
| From: Thomas Aquinas (Sentences [1264], IV.13.2.3sc), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2 |
| 23306 | Humans have a non-physical faculty of reason, so they can be immortal [Aquinas, by Sorabji] |
| Full Idea: Aquinas infers from Aristotle that intellectual understanding is the only operation of the soul that is performed without a physical organ, so that only human souls, and not animal ones, can be immortal. | |
| From: report of Thomas Aquinas (Summa Theologicae [1265], I, q75, a3, resp) by Richard Sorabji - Rationality 'Reason' | |
| A reaction: This shows why so many thinkers are desperate to hang on to dualism, of some sort. Interesting that he only claims partial dualism. |
| 1863 | If the soul achieves well-being in another life, it doesn't follow that I do [Aquinas] |
| Full Idea: Even if soul achieves well-being in another life, that doesn't mean I do or any other human being does. | |
| From: Thomas Aquinas (Super Epistolam Pauli Apostoli [1272]) |
| 4412 | Those in bliss have their happiness increased by seeing the damned punished [Aquinas] |
| Full Idea: In order that the bliss of the saints may be more delightful for them, and they may render more copious thanks to God for it, it is given to them to see perfectly the punishment of the damned. | |
| From: Thomas Aquinas (Summa Theologicae [1265], III Supp Q94,1), quoted by Friedrich Nietzsche - On the Genealogy of Morals I.§15 | |
| A reaction: This has probably been repudiated by the Church of England. Justice should be seen to be done. Presumably you mustn't gloat, or you join them. |
| 21266 | God does not exist, because He is infinite and good, and so no evil should be discoverable [Aquinas] |
| Full Idea: If one of two contraries be infinite, the other would be altogether destroyed. But the name God means that He is infinite goodness. If therefore God existed there would be no evil discoverable; but there is evil in the world. Therefore God does not exist. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia,Q02,Art3,Ob1) | |
| A reaction: This is not, of course, the opinion of Aquinas. I love the way he states the opposition's arguments so lucidly. The modern problem usually talks of God's omnipotence, rather than infinity. His formulation allows that there might be undiscoverable evil. |
| 21274 | It is part of God's supreme goodness that He brings good even out of evil [Aquinas] |
| Full Idea: As Augustine says, God would not allow any evil to exist in his works, unless he were to bring good even out of evil. It is part of the infinite goodness of God, that He allows evil to exist and out of it produces good. | |
| From: Thomas Aquinas (Summa Theologicae [1265], Ia,Q02,Art3,Ob1rep) | |
| A reaction: Are God's powers so limited that He could not have achieved an equal amount of good without having to indulge in some evil first? |