122 ideas
| 13466 | We are all post-Kantians, because he set the current agenda for philosophy [Hart,WD] |
| Full Idea: We are all post-Kantians, ...because Kant set an agenda for philosophy that we are still working through. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: Hart says that the main agenda is set by Kant's desire to defend the principle of sufficient reason against Hume's attack on causation. I would take it more generally to be the assessment of metaphysics, and of a priori knowledge. |
| 13477 | The problems are the monuments of philosophy [Hart,WD] |
| Full Idea: The real monuments of philosophy are its problems. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: Presumably he means '....rather than its solutions'. No other subject would be very happy with that sort of claim. Compare Idea 8243. A complaint against analytic philosophy is that it has achieved no consensus at all. |
| 3722 | Metaphysics goes beyond the empirical, so doesn't need examples [Kant] |
| Full Idea: Metaphysics doesn't let itself be held back by anything empirical, and indeed goes right to Ideas, where examples themselves fail. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 412.36) |
| 13515 | To study abstract problems, some knowledge of set theory is essential [Hart,WD] |
| Full Idea: By now, no education in abstract pursuits is adequate without some familiarity with sets. | |
| From: William D. Hart (The Evolution of Logic [2010], 10) | |
| A reaction: A heart-sinking observation for those who aspire to study metaphysics and modality. The question is, what will count as 'some' familiarity? Are only professional logicians now allowed to be proper philosophers? |
| 3738 | The hallmark of rationality is setting itself an end [Kant] |
| Full Idea: Rational nature separates itself out from all other things by the fact that it sets itself an end. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 437.82) |
| 11178 | The essence or definition of an essence involves either a class of properties or a class of propositions [Fine,K] |
| Full Idea: If each object has a unique essence or definition, this may be identified with either the class of properties that it essentially has, or with the class of propositions that are true in virtue of what it is. | |
| From: Kit Fine (Senses of Essence [1995], §8) | |
| A reaction: Elsewhere Fine says that it is easier to work with the propositions view, but that the properties (or predicates) view is probably more fundamental. He goes on here to raise the question of whether either view makes the essence unique. |
| 13469 | Tarski showed how we could have a correspondence theory of truth, without using 'facts' [Hart,WD] |
| Full Idea: It is an ancient and honourable view that truth is correspondence to fact; Tarski showed us how to do without facts here. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: This is a very interesting spin on Tarski, who certainly seems to endorse the correspondence theory, even while apparently inventing a new 'semantic' theory of truth. It is controversial how far Tarski's theory really is a 'correspondence' theory. |
| 13504 | Truth for sentences is satisfaction of formulae; for sentences, either all sequences satisfy it (true) or none do [Hart,WD] |
| Full Idea: We explain truth for sentences in terms of satisfaction of formulae. The crux here is that for a sentence, either all sequences satisfy it or none do (with no middle ground). For formulae, some sequences may satisfy it and others not. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: This is the hardest part of Tarski's theory of truth to grasp. |
| 13503 | A first-order language has an infinity of T-sentences, which cannot add up to a definition of truth [Hart,WD] |
| Full Idea: In any first-order language, there are infinitely many T-sentences. Since definitions should be finite, the agglomeration of all the T-sentences is not a definition of truth. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: This may be a warning shot aimed at Davidson's extensive use of Tarski's formal account in his own views on meaning in natural language. |
| 13500 | Conditional Proof: infer a conditional, if the consequent can be deduced from the antecedent [Hart,WD] |
| Full Idea: A 'conditional proof' licenses inferences to a conditional from a deduction of its consequent from its antecedent. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: That is, a proof can be enshrined in an arrow. |
| 13502 | ∃y... is read as 'There exists an individual, call it y, such that...', and not 'There exists a y such that...' [Hart,WD] |
| Full Idea: When a quantifier is attached to a variable, as in '∃(y)....', then it should be read as 'There exists an individual, call it y, such that....'. One should not read it as 'There exists a y such that...', which would attach predicate to quantifier. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: The point is to make clear that in classical logic the predicates attach to the objects, and not to some formal component like a quantifier. |
| 13456 | Set theory articulates the concept of order (through relations) [Hart,WD] |
| Full Idea: It is set theory, and more specifically the theory of relations, that articulates order. | |
| From: William D. Hart (The Evolution of Logic [2010]) | |
| A reaction: It would seem that we mainly need set theory in order to talk accurately about order, and about infinity. The two come together in the study of the ordinal numbers. |
| 13497 | Nowadays ZFC and NBG are the set theories; types are dead, and NF is only useful for the whole universe [Hart,WD] |
| Full Idea: The theory of types is a thing of the past. There is now nothing to choose between ZFC and NBG (Neumann-Bernays-Gödel). NF (Quine's) is a more specialized taste, but is a place to look if you want the universe. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13443 | ∈ relates across layers, while ⊆ relates within layers [Hart,WD] |
| Full Idea: ∈ relates across layers (Plato is a member of his unit set and the set of people), while ⊆ relates within layers (the singleton of Plato is a subset of the set of people). This distinction only became clear in the 19th century. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: Getting these two clear may be the most important distinction needed to understand how set theory works. |
| 13442 | Without the empty set we could not form a∩b without checking that a and b meet [Hart,WD] |
| Full Idea: Without the empty set, disjoint sets would have no intersection, and we could not form a∩b without checking that a and b meet. This is an example of the utility of the empty set. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: A novice might plausibly ask why there should be an intersection for every pair of sets, if they have nothing in common except for containing this little puff of nothingness. But then what do novices know? |
| 13493 | In the modern view, foundation is the heart of the way to do set theory [Hart,WD] |
| Full Idea: In the second half of the twentieth century there emerged the opinion that foundation is the heart of the way to do set theory. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) | |
| A reaction: It is foundation which is the central axiom of the iterative conception of sets, where each level of sets is built on previous levels, and they are all 'well-founded'. |
| 13495 | Foundation Axiom: an nonempty set has a member disjoint from it [Hart,WD] |
| Full Idea: The usual statement of Foundation is that any nonempty set has a member disjoint from it. This phrasing is ordinal-free and closer to the primitives of ZFC. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13461 | We can choose from finite and evident sets, but not from infinite opaque ones [Hart,WD] |
| Full Idea: When a set is finite, we can prove it has a choice function (∀x x∈A → f(x)∈A), but we need an axiom when A is infinite and the members opaque. From infinite shoes we can pick a left one, but from socks we need the axiom of choice. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: The socks example in from Russell 1919:126. |
| 13462 | With the Axiom of Choice every set can be well-ordered [Hart,WD] |
| Full Idea: It follows from the Axiom of Choice that every set can be well-ordered. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: For 'well-ordered' see Idea 13460. Every set can be ordered with a least member. |
| 13516 | If we accept that V=L, it seems to settle all the open questions of set theory [Hart,WD] |
| Full Idea: It has been said (by Burt Dreben) that the only reason set theorists do not generally buy the view that V = L is that it would put them out of business by settling their open questions. | |
| From: William D. Hart (The Evolution of Logic [2010], 10) | |
| A reaction: Hart says V=L breaks with the interative conception of sets at level ω+1, which is countable is the constructible view, but has continuum many in the cumulative (iterative) hierarch. The constructible V=L view is anti-platonist. |
| 13441 | Naïve set theory has trouble with comprehension, the claim that every predicate has an extension [Hart,WD] |
| Full Idea: 'Comprehension' is the assumption that every predicate has an extension. Naïve set theory is the theory whose axioms are extensionality and comprehension, and comprehension is thought to be its naivety. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: This doesn't, of course, mean that there couldn't be a more modest version of comprehension. The notorious difficulty come with the discovery of self-referring predicates which can't possibly have extensions. |
| 13494 | The iterative conception may not be necessary, and may have fixed points or infinitely descending chains [Hart,WD] |
| Full Idea: That the iterative sets suffice for most of ZFC does not show they are necessary, nor is it evident that the set of operations has no fixed points (as 0 is a fixed point for square-of), and no infinitely descending chains (like negative integers). | |
| From: William D. Hart (The Evolution of Logic [2010], 3) | |
| A reaction: People don't seem to worry that they aren't 'necessary', and further measures are possible to block infinitely descending chains. |
| 13457 | A 'partial ordering' is irreflexive and transitive; the sets are ordered, but not the subsets [Hart,WD] |
| Full Idea: We say that a binary relation R 'partially orders' a field A just in case R is irreflexive (so that nothing bears R to itself) and transitive. When the set is {a,b}, its subsets {a} and {b} are incomparable in a partial ordering. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) |
| 13458 | A partial ordering becomes 'total' if any two members of its field are comparable [Hart,WD] |
| Full Idea: A partial ordering is a 'total ordering' just in case any two members of its field are comparable, that is, either a is R to b, or b is R to a, or a is b. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: See Idea 13457 for 'partial ordering'. The three conditions are known as the 'trichotomy' condition. |
| 13460 | 'Well-ordering' must have a least member, so it does the natural numbers but not the integers [Hart,WD] |
| Full Idea: A total order 'well-orders' its field just in case any nonempty subset B of its field has an R-least member, that is, there is a b in B such that for any a in B different from b, b bears R to a. So less-than well-orders natural numbers, but not integers. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: The natural numbers have a starting point, but the integers are infinite in both directions. In plain English, an order is 'well-ordered' if there is a starting point. |
| 13490 | Von Neumann defines α<β as α∈β [Hart,WD] |
| Full Idea: One of the glories of Von Neumann's theory of numbers is to define α < β to mean that α ∈ β. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13481 | Maybe sets should be rethought in terms of the even more basic categories [Hart,WD] |
| Full Idea: Some have claimed that sets should be rethought in terms of still more basic things, categories. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: [He cites F.William Lawvere 1966] It appears to the the context of foundations for mathematics that he has in mind. |
| 11175 | Logical concepts rest on certain inferences, not on facts about implications [Fine,K] |
| Full Idea: The nature of the logical concepts is given, not by certain logical truths, but by certain logical inferences. What properly belongs to disjunction is the inference from p to (p or q), rather than the fact that p implies (p or q). | |
| From: Kit Fine (Senses of Essence [1995], §3) | |
| A reaction: Does this mean that Fine is wickedly starting with the psychology, rather than with the pure truth of the connection? Frege is shuddering. This view seems to imply that the truth table for 'or' is secondary. |
| 11176 | The property of Property Abstraction says any suitable condition must imply a property [Fine,K] |
| Full Idea: According to the principle of Property Abstraction, there is, for any suitable condition, a property that is possessed by an object just in case it conforms to the condition. This is usually taken to be a second-order logical truth. | |
| From: Kit Fine (Senses of Essence [1995], §4) | |
| A reaction: Fine objects that it is implied that if Socrates is essentially a man, then he essentially has the property of being a man. Like Fine, I think this conclusion is distasteful. A classification is not a property, at least the way most people use 'property'. |
| 13506 | The universal quantifier can't really mean 'all', because there is no universal set [Hart,WD] |
| Full Idea: All the main set theories deny that there is a set of which everything is a member. No interpretation has a domain with everything in it. So the universal quantifier never gets to mean everything all at once; 'all' does not mean all. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: Could you have an 'uncompleted' universal set, in the spirit of uncompleted infinities? In ordinary English we can talk about 'absolutely everything' - we just can't define a set of everything. Must we 'define' our domain? |
| 11174 | A logical truth is true in virtue of the nature of the logical concepts [Fine,K] |
| Full Idea: One wants to define a logical truth as one that is true in virtue of the nature of the logical concepts. | |
| From: Kit Fine (Senses of Essence [1995], §3) | |
| A reaction: This is part of Fine's project to give a revised account of essence, which includes the essence of concepts as well as the essence of objects. Everyone should pay close attention to this project. |
| 13512 | Modern model theory begins with the proof of Los's Conjecture in 1962 [Hart,WD] |
| Full Idea: The beginning of modern model theory was when Morley proved Los's Conjecture in 1962 - that a complete theory in a countable language categorical in one uncountable cardinal is categorical in all. | |
| From: William D. Hart (The Evolution of Logic [2010], 9) |
| 13505 | Model theory studies how set theory can model sets of sentences [Hart,WD] |
| Full Idea: Modern model theory investigates which set theoretic structures are models for which collections of sentences. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: So first you must choose your set theory (see Idea 13497). Then you presumably look at how to formalise sentences, and then look at the really tricky ones, many of which will involve various degrees of infinity. |
| 13511 | Model theory is mostly confined to first-order theories [Hart,WD] |
| Full Idea: There is no developed methematics of models for second-order theories, so for the most part, model theory is about models for first-order theories. | |
| From: William D. Hart (The Evolution of Logic [2010], 9) |
| 13513 | Models are ways the world might be from a first-order point of view [Hart,WD] |
| Full Idea: Models are ways the world might be from a first-order point of view. | |
| From: William D. Hart (The Evolution of Logic [2010], 9) |
| 13496 | First-order logic is 'compact': consequences of a set are consequences of a finite subset [Hart,WD] |
| Full Idea: First-order logic is 'compact', which means that any logical consequence of a set (finite or infinite) of first-order sentences is a logical consequence of a finite subset of those sentences. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13484 | Berry's Paradox: we succeed in referring to a number, with a term which says we can't do that [Hart,WD] |
| Full Idea: Berry's Paradox: by the least number principle 'the least number denoted by no description of fewer than 79 letters' exists, but we just referred to it using a description of 77 letters. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) | |
| A reaction: I struggle with this. If I refer to 'an object to which no human being could possibly refer', have I just referred to something? Graham Priest likes this sort of idea. |
| 13482 | The Burali-Forti paradox is a crisis for Cantor's ordinals [Hart,WD] |
| Full Idea: The Burali-Forti Paradox was a crisis for Cantor's theory of ordinal numbers. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13507 | The machinery used to solve the Liar can be rejigged to produce a new Liar [Hart,WD] |
| Full Idea: In effect, the machinery introduced to solve the liar can always be rejigged to yield another version the liar. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: [He cites Hans Herzberger 1980-81] The machinery is Tarski's device of only talking about sentences of a language by using a 'metalanguage'. |
| 13459 | The less-than relation < well-orders, and partially orders, and totally orders the ordinal numbers [Hart,WD] |
| Full Idea: We can show (using the axiom of choice) that the less-than relation, <, well-orders the ordinals, ...and that it partially orders the ordinals, ...and that it totally orders the ordinals. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) |
| 13491 | The axiom of infinity with separation gives a least limit ordinal ω [Hart,WD] |
| Full Idea: The axiom of infinity with separation yields a least limit ordinal, which is called ω. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13463 | There are at least as many infinite cardinals as transfinite ordinals (because they will map) [Hart,WD] |
| Full Idea: Since we can map the transfinite ordinals one-one into the infinite cardinals, there are at least as many infinite cardinals as transfinite ordinals. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) |
| 13492 | Von Neumann's ordinals generalise into the transfinite better, because Zermelo's ω is a singleton [Hart,WD] |
| Full Idea: It is easier to generalize von Neumann's finite ordinals into the transfinite. All Zermelo's nonzero finite ordinals are singletons, but if ω were a singleton it is hard to see how if could fail to be the successor of its member and so not a limit. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13446 | 19th century arithmetization of analysis isolated the real numbers from geometry [Hart,WD] |
| Full Idea: The real numbers were not isolated from geometry until the arithmetization of analysis during the nineteenth century. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) |
| 13509 | We can establish truths about infinite numbers by means of induction [Hart,WD] |
| Full Idea: Mathematical induction is a way to establish truths about the infinity of natural numbers by a finite proof. | |
| From: William D. Hart (The Evolution of Logic [2010], 5) | |
| A reaction: If there are truths about infinities, it is very tempting to infer that the infinities must therefore 'exist'. A nice, and large, question in philosophy is whether there can be truths without corresponding implications of existence. |
| 13474 | Euclid has a unique parallel, spherical geometry has none, and saddle geometry has several [Hart,WD] |
| Full Idea: There is a familiar comparison between Euclid (unique parallel) and 'spherical' geometry (no parallel) and 'saddle' geometry (several parallels). | |
| From: William D. Hart (The Evolution of Logic [2010], 2) |
| 13471 | Mathematics makes existence claims, but philosophers usually say those are never analytic [Hart,WD] |
| Full Idea: The thesis that no existence proposition is analytic is one of the few constants in philosophical consciences, but there are many existence claims in mathematics, such as the infinity of primes, five regular solids, and certain undecidable propositions. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) |
| 13488 | Mass words do not have plurals, or numerical adjectives, or use 'fewer' [Hart,WD] |
| Full Idea: Jespersen calls a noun a mass word when it has no plural, does not take numerical adjectives, and does not take 'fewer'. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) | |
| A reaction: Jespersen was a great linguistics expert. |
| 11177 | Can the essence of an object circularly involve itself, or involve another object? [Fine,K] |
| Full Idea: Can the essence of an object (ineliminably) involve that object itself (perhaps through self-identity, giving a direct circularity), or have an indirect circularity involving two or more objects (such as admiration between Watson and Holmes). | |
| From: Kit Fine (Senses of Essence [1995], §7) | |
| A reaction: [compressed] This looks like one of the basic questions which any theory of essentialism must address. |
| 11173 | Being a man is a consequence of his essence, not constitutive of it [Fine,K] |
| Full Idea: If we distinguish 'constitutive' from 'consequential' essence, ..then the essence of Socrates will, in part, be constituted by his being a man. But being a man (or a mountain) will merely be consequential upon, and not constitutive of, his essence. | |
| From: Kit Fine (Senses of Essence [1995], §3) | |
| A reaction: Yes yes yes. I think it is absurd to say that the class to which something belongs is part of its essential nature, given that it presumably can only belong to the class if it already has a certain essential nature. What did Frankenstein construct? |
| 11179 | If there are alternative definitions, then we have three possibilities for essence [Fine,K] |
| Full Idea: If there are alternative definitions for an essence, we must distinguish three notions. There is the essence as the manifold (the combined definitions), or as the range of alternative definitions (with component essences), or there is the common essence. | |
| From: Kit Fine (Senses of Essence [1995], §8) | |
| A reaction: Fine opts for the third alternative (what the definitions all have in common) as the best account. He says (p.68) 'definitive' properties come from one definition, and 'essential' properties from every possible definition. |
| 13480 | Fregean self-evidence is an intrinsic property of basic truths, rules and definitions [Hart,WD] |
| Full Idea: The conception of Frege is that self-evidence is an intrinsic property of the basic truths, rules, and thoughts expressed by definitions. | |
| From: William D. Hart (The Evolution of Logic [2010], p.350) | |
| A reaction: The problem is always that what appears to be self-evident may turn out to be wrong. Presumably the effort of arriving at a definition ought to clarify and support the self-evident ingredient. |
| 3726 | The categorical imperative is a practical synthetic a priori proposition [Kant] |
| Full Idea: With the categorical imperative or law of morality we have a very serious difficulty, because it is a synthetic a priori practical proposition. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 420.50) |
| 13476 | The failure of key assumptions in geometry, mereology and set theory throw doubt on the a priori [Hart,WD] |
| Full Idea: In the case of the parallels postulate, Euclid's fifth axiom (the whole is greater than the part), and comprehension, saying was believing for a while, but what was said was false. This should make a shrewd philosopher sceptical about a priori knowledge. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: Euclid's fifth is challenged by infinite numbers, and comprehension is challenged by Russell's paradox. I can't see a defender of the a priori being greatly worried about these cases. No one ever said we would be right - in doing arithmetic, for example. |
| 3739 | Free will is a kind of causality which works independently of other causes [Kant] |
| Full Idea: Will is a kind of causality belonging to living beings so far as they are rational. Freedom would then be the property this causality has of being able to work independently of determination by alien causes. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 446.97) |
| 3741 | We shall never be able to comprehend how freedom is possible [Kant] |
| Full Idea: We shall never be able to comprehend how freedom is possible. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 456.115) |
| 3740 | We cannot conceive of reason as being externally controlled [Kant] |
| Full Idea: We cannot possibly conceive of a reason as being consciously directed from outside in regard to its judgements. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 448.101) |
| 5296 | Kant made the political will into a pure self-determined "free" will [Kant, by Marx/Engels] |
| Full Idea: Kant made the materially motivated determinations of the will of the French bourgeois into pure self-determinations of the "free will", of the will in and for itself. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by K Marx / F Engels - The German Ideology §II | |
| A reaction: This is the social determinism of Marx and Engels. Most commentators would say that Kant was taking the idea of "free will" from religion rather than politics, but presumably Marx would merely reply "same thing!" |
| 24011 | Kant thought emotions are too random and passive to be part of morality [Kant, by Williams,B] |
| Full Idea: Kant thinks emotions can't contribute to moral worth because emotions are too capricious, they are too passive, and they are fortuitously distributed by nature. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Bernard Williams - Morality and the emotions p.226 | |
| A reaction: [compressed] If, like Kant, you want morality to be concerned with rational principles, then you will want morality to be clear, stable and consistent - which emotions are not. I'm with Williams on this one. |
| 13475 | The Fregean concept of GREEN is a function assigning true to green things, and false to the rest [Hart,WD] |
| Full Idea: A Fregean concept is a function that assigns to each object a truth value. So instead of the colour green, the concept GREEN assigns truth to each green thing, but falsity to anything else. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: This would seem to immediately hit the renate/cordate problem, if there was a world in which all and only the green things happened to be square. How could Frege then distinguish the green from the square? Compare Idea 8245. |
| 5074 | Kant united religion and philosophy, by basing obedience to law on reason instead of faith [Taylor,R on Kant] |
| Full Idea: Kant united the two ideas of virtue (as being and as doing) into the idea of a law that is founded not upon faith but upon reason. Thus in one stroke he united the seemingly irreconcilable philosophical and religious ethics, preserving the best of both. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Richard Taylor - Virtue Ethics: an Introduction Ch.8 | |
| A reaction: An interesting analysis that sounds exactly right. Taylor's point is that Kant subjects himself to an authority, when the underpinnings of the authority are no longer there. There is a religious strand in the altruistic requirements of utilitarianism too. |
| 8024 | The categorical imperative says nothing about what our activities and ends should be [MacIntyre on Kant] |
| Full Idea: As to what activities we ought to engage in, what ends we should pursue, the categorical imperative seems to be silent. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Alasdair MacIntyre - A Short History of Ethics Ch.14 | |
| A reaction: I think this is the fatal objection to Kant's view. He says, for example, that promise-breaking is inconsistent with a belief that promises are good, but who said promises are good? No ethical system can get started without values. |
| 22390 | Kant thought human nature was pure hedonism, so virtue is only possible via the categorical imperative [Foot on Kant] |
| Full Idea: Kant was a psychological hedonist about all actions except those done for the sake of the moral law, and this faulty theory of human nature prevented him from seeing that moral virtue might be compatible with the rejection of the categorical imperative. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Philippa Foot - Morality as system of hypothetical imperatives p.165 | |
| A reaction: Nice. Kant wasn't unusual in his view, which seems standard in the Renaissance and Enlightenment. Aristotle understood that it is human nature, on the whole, to want to be a good citizen, since we are social beings. |
| 9750 | We must only value what others find acceptable [Kant, by Korsgaard] |
| Full Idea: We are limited to pursuits which are acceptable from the standpoint of others; ..hence we can't value just anything, and there are things which we must value. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Christine M. Korsgaard - Intro to 'Creating the Kingdom of Ends' x | |
| A reaction: This at least moves towards greater objectivity, compared with Idea 9749, but it now seems deeply conservative. Our values become lowest common denominator. We need space for the Nietzschean moral hero, who creates new values. |
| 20160 | Kant focuses exclusively on human values, and neglects cultural and personal values [Kekes on Kant] |
| Full Idea: Kant grossly inflated the importance of the human dimension of value in which moral considerations are indeed overriding. He unjustifiably denied the perfectly reasonable contributions of the cultural and personal dimensions to human well-being. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by John Kekes - The Human Condition 05.5 | |
| A reaction: Excellent to see someone talking about the ultimate values that reside behind Kant's theory. Without such assumptions his theory is, frankly, ridiculous (as Mill explained). |
| 9749 | Our rational choices confer value, arising from the sense that we ourselves are important [Kant, by Korsgaard] |
| Full Idea: According to Kant, we confer value on the objects of our rational choices. ..When we choose things because they are important to us we are taking ourselves to be important. Hence our humanity is a source of value. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Christine M. Korsgaard - Intro to 'Creating the Kingdom of Ends' ix | |
| A reaction: He's trying to filter to out our gormless choices with the word 'rational', but it is common sense that I may choose things despite thinking they have little value, like watching soap opera. A more objective account of value seems needed. See 9750! |
| 7671 | Values are created by human choices, and are not some intrinsic quality, out there [Kant, by Berlin] |
| Full Idea: Kant's fundamental sermon is that a value is made a value (or, at least, a duty) by human choice and not by some intrinsic quality in itself, out there. Values are what humans freely choose to live, fight and die for. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Isaiah Berlin - The Roots of Romanticism Ch.4 | |
| A reaction: If this is right, then it would appear that the great Kant is the father of relativism, which wouldn't please him. However, his whole system rests on what is consistent and rational, and that seems to a value that is above our choices. |
| 3720 | We may claim noble motives, but we cannot penetrate our secret impulses [Kant] |
| Full Idea: We are pleased to flatter ourselves with the false claim to a nobler motive, but in fact we can never, even by the most strenuous self-examination, get to the bottom of our secret impulsions. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 407.26) | |
| A reaction: Sounds more like Nietzsche than Kant. If some impulsions are totally hidden from us, then they are presumably irrelevant to any rational or moral thinking. Look at the deeds. |
| 3717 | Reverence is awareness of a value which demolishes my self-love [Kant] |
| Full Idea: Reverence is awareness of a value which demolishes my self-love. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 401.16 n) | |
| A reaction: Presumably simple love of someone or something could achieve this, without the addition of reverence. I'm suspicious of this idea, because some dreadful people have commanded reverence. |
| 3712 | A good will is not good because of what it achieves [Kant] |
| Full Idea: A good will is not good because of what it effects or accomplishes. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 394.3) | |
| A reaction: This invites the obvious objection of the well-meaning fool, who causes misery despite meaning well. I firmly hold the view that what matters is what we do, not what we intend. |
| 3725 | The good of an action is in the mind of the doer, not the consequences [Kant] |
| Full Idea: What is essentially good in an action consists in the mental disposition, let the consequences be what they may. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 416.43) | |
| A reaction: Dreadful idea. I always claim that consequences are relevant in Kant, in formulating and choosing maxims for action, but this idea seems to refute my view. This is a slogan for the Spanish Inquisition. |
| 3733 | The 'golden rule' cannot be a universal law as it implies no duties [Kant] |
| Full Idea: The 'golden rule' is merely derivative from our principle, but it cannot be a universal law since it isn't the ground of duties to oneself or others (since it implies a breakable contract). | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 430.68 n) |
| 3736 | Virtue lets a rational being make universal law, and share in the kingdom of ends [Kant] |
| Full Idea: A morally good attitude of mind (or virtue) claims the intrinsic value of dignity, because it affords a rational being a share in the making of universal law, which therefore fits him to be a member in a possible kingdom of ends. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 435.79) |
| 3544 | Kant thinks virtue becomes passive, and hence morally unaccountable [Kant, by Annas] |
| Full Idea: Kant thinks that if virtue becomes a stable disposition of the person, then it turns into a rigid mechanical habit, with respect to which the person is passive, and thus not fully morally accountable. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Julia Annas - The Morality of Happiness 2.1 |
| 7674 | Generosity and pity are vices, because they falsely imply one person's superiority to another [Kant, by Berlin] |
| Full Idea: For Kant, generosity is a vice, because it is a form of condescension and patronage, and pity is detestable, because it entails a superiority on the part of the pitier, which Kant stoutly denied. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Isaiah Berlin - The Roots of Romanticism | |
| A reaction: An interesting view, but being too proud to receive help from friends strikes me as a greater vice. How can friendship and community be built, if we do not rush to help one another when needed? The virtue is generosity without condescension. |
| 21029 | Kantian respect is for humanity and reason (not from love or sympathy or solidarity) [Kant, by Sandel] |
| Full Idea: Kantian respect is unlike love. It's unlike sympathy. It's unlike solidarity or fellow feeling. ...Kantian respect is for humanity as such, for a rational capacity that resides, undifferentiated, in all of us. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Michael J. Sandel - Justice: What's the right thing to do? 05 | |
| A reaction: Why is it 'undifferentiated'? If reason is the source of the respect, why don't greater powers of reason command greater respect? The nice thing is that the rejected versions involve bias, but Kant's version does not. |
| 7105 | If 'maxims' are deeper underlying intentions, Kant can be read as a virtue theorist [Kant, by Statman] |
| Full Idea: It has been argued that by 'maxim' Kant does not mean a specific intention for some discrete act, but the underlying intention by which the agent orchestrates his numerous more specific intentions, ...which leads to a virtue reading of Kant. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Daniel Statman - Introduction to Virtue Ethics §7 | |
| A reaction: Kant admired virtue of character, and would want to fit it into the framework of his moral duties. Nevertheless a virtue would often seem to be beyond words, and principles seem to crumble in the face of complex cases. |
| 7625 | We can ask how rational goodness is, but also why is rationality good [Putnam on Kant] |
| Full Idea: We can reverse the terms of the comparison and ask not how rational is goodness, but why is it good to be rational? | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Hilary Putnam - Reason, Truth and History | |
| A reaction: [Putnam doesn't mention Kant]. This seems to me to be the biggest question for Kant. See Idea 1403. The main point of tbe romantic movement, I take it, is that purely rational living does not bring happiness or fulfilment. |
| 3710 | The only purely good thing is a good will [Kant] |
| Full Idea: It is impossible to conceive anything at all in the world, or even out of it, which can be taken as good without qualification, except a good will. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 393.1) | |
| A reaction: This is precisely the thought of Epictetus, that the will is the source of goodness, because morality resides in choices (as opposed to character, or states of affairs). |
| 3737 | The will is good if its universalised maxim is never in conflict with itself [Kant] |
| Full Idea: The will is absolutely good if it cannot be evil - that is, if its maxim, when made into a universal law, can never be in conflict with itself. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 437.81) |
| 3715 | Other causes can produce nice results, so morality must consist in the law, found only in rational beings [Kant] |
| Full Idea: Agreeable results could be brought about by other causes;…therefore nothing but the idea of the law in itself, which is present only in a rational being, can constitute that pre-eminent good which we call moral. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 401.15) |
| 20715 | It is basic that moral actions must be done from duty [Kant] |
| Full Idea: The first proposition of morality is that to have moral worth an action must be done from duty. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], p.19), quoted by Brian Davies - Introduction to the Philosophy of Religion 9 'Religion' | |
| A reaction: [p.19 in Beck tr] In Aristotle's account these are 'controlled' actions [enkrateia], which are a step below virtuous actions, which combine reason and pleasure. |
| 4024 | Kant follows Rousseau in defining freedom and morality in terms of each other [Taylor,C on Kant] |
| Full Idea: Kant follows Rousseau in defining freedom and morality essentially in terms of each other. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Charles Taylor - Sources of the Self §20.2 | |
| A reaction: An interesting comment on the modern tendency to overvalue freedom at the expense of the other civic virtues. |
| 3735 | Men are subject to laws which are both self-made and universal [Kant] |
| Full Idea: Man is subject only to laws which are made by himself and yet are universal. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 432.73) |
| 3718 | Telling the truth from duty is quite different from doing so to avoid inconvenience [Kant] |
| Full Idea: To tell the truth for the sake of duty is something entirely different from doing so out of concern for inconvenient results. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 402.18) |
| 3723 | There are no imperatives for a holy will, as the will is in harmony with moral law [Kant] |
| Full Idea: For the divine or holy will there are no imperatives: 'I ought' is here out of place, because 'I will' is already of itself necessarily in harmony with the law. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 414.39) |
| 3714 | Dutiful actions are judged not by purpose, but by the maxim followed [Kant] |
| Full Idea: An action done from duty has its moral worth, not in the purpose to be attained by it, but in the maxim according to which it is decided upon. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 399.13) |
| 5295 | Kant was happy with 'good will', even if it had no result [Kant, by Marx/Engels] |
| Full Idea: Kant was satisfied with "good will" alone, even if it remained entirely without result. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by K Marx / F Engels - The German Ideology §II | |
| A reaction: Kant is obviously a million miles away from Marxist pragmatism. And yet the members of the revolutionary class can only be identified and endorsed if they show a particular kind of will. |
| 6695 | Kant has to attribute high moral worth to some deeply unattractive human lives [Kant, by Graham] |
| Full Idea: An implausible and uncomfortable conclusion to be drawn from Kant's conception of morality is that we must attribute high moral worth to deeply unattractive human lives. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Gordon Graham - Eight Theories of Ethics Ch.6 | |
| A reaction: Graham quotes a loathsome character from a Victorian novel, who coldly 'does her duty'. Indeed it might be that a robot could be programmed with the categorical imperative (though it would need a table of values first). Virtue theory is the answer. |
| 8028 | Kantian duty seems to imply conformism with authority [MacIntyre on Kant] |
| Full Idea: Anyone educated into the Kantian notion of duty will (so far) have been educated into easy conformism with authority. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Alasdair MacIntyre - A Short History of Ethics Ch.14 | |
| A reaction: The Nazi Eichmann cited Kant at his trial for mass murder. I'm not sure the criticism is fair. There are surely times when the categorical imperative will go quite contrary to what the irrational authorities are implementing? |
| 3724 | A categorical imperative sees an action as necessary purely for its own sake [Kant] |
| Full Idea: A categorical imperative would be one which represented an action as objectively necessary in itself apart from its relation to a further end. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 414.39) |
| 8026 | Almost any precept can be consistently universalized [MacIntyre on Kant] |
| Full Idea: With sufficient ingenuity, almost every precept can be consistently universalized. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Alasdair MacIntyre - A Short History of Ethics Ch.14 | |
| A reaction: A concise statement of J.S.Mill's point (Idea 3762). The point is that Kant seems to allow burglary, as long as you don't complain when you are burgled. What sort of maxim would a suicidal mass murderer being willing to universalize? |
| 15673 | The intuition behind the categorical imperative is that one ought not to make an exception of oneself [Kant, by Finlayson] |
| Full Idea: Kant's first formulation of the categorical imperative is supposed to capture the widespread intuition that one ought not to make an exception of oneself. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by James Gordon Finlayson - Habermas Ch.6:83 | |
| A reaction: Interesting. I always take the plain English version to be 'what if everybody did that?' Suppose I were to forgive everyone, except myself? |
| 8068 | Universalising a maxim needs to first stipulate the right description for the action [Anscombe on Kant] |
| Full Idea: Kant's rule about universalisable maxims is useless without stipulations as to what shall count as a relevant description of an action with a view to constructing a maxim about it. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by G.E.M. Anscombe - Modern Moral Philosophy p.176 | |
| A reaction: This is one of the key objections to Kant (along with his need for preliminary values). One man's 'terrorist' is another man's 'freedom fighter'. The charge adds up to Nietzsche's view, that Kant could never shake off his very conventional prejudices. |
| 8025 | The categorical imperative will not suggest maxims suitable for testing [MacIntyre on Kant] |
| Full Idea: The doctrine of the categorical imperative provides me with a test for rejecting proposed maxims; it does not tell me whence I am to derive the maxims which first provide the need for a test. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Alasdair MacIntyre - A Short History of Ethics Ch.14 | |
| A reaction: Nice objection. 'What if we all stood on one leg for an hour (in this crisis)?' Question for Kant: what sort of maxims should we consider, when faced with a dilemma. Mill will obviously suggest happiness as a target. Good of society? My own good? |
| 8027 | I can universalize a selfish maxim, if it is expressed in a way that only applies to me [MacIntyre on Kant] |
| Full Idea: If we enquire whether I can consistently universalize the maxim 'I may break my promises only when.....', the gap can be filled by a description devised so that it will apply to my present circumstances, but to very few others. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Alasdair MacIntyre - A Short History of Ethics Ch.14 | |
| A reaction: Another good objection to Kant. There is just a huge problem with how you state the maxim under discussion. One man's 'terrorist' is another man's 'freedom fighter'. 'Do everything possible to implement the will of God'. |
| 3728 | Suicide, false promises, neglected talent, and lack of charity all involve contradictions of principle [Kant, by PG] |
| Full Idea: Kant's four illustrations of the Categorical Imperative are: the contradiction of suicide, the contradiction of false promises, the contradiction of neglecting your talents, and the contradiction of neglecting charity. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 422.53) by PG - Db (ideas) |
| 22008 | Always treat yourself and others as an end, and never simply as a means [Kant] |
| Full Idea: Act in such a way that you always treat humanity whether in your own person or in the person of any other, never simply as a means, but always at the same time as an end. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], AA429 p.96), quoted by Terry Pinkard - German Philosophy 1760-1860 02 | |
| A reaction: This sets up the Kingdom of Ends. Note that this does not prohibit using people as a means. It just asks you to respect waiters and shop assistants. It seems to say you should not treat 'your own person' merely as a means. Prostitution? |
| 22009 | Morality is the creation of the laws that enable a Kingdom of Ends [Kant] |
| Full Idea: Morality consists in the relation of all action to the making of laws whereby alone a kingdom of ends is possible. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], AA434 p.102), quoted by Terry Pinkard - German Philosophy 1760-1860 02 | |
| A reaction: Each individual gives themselves a law in the categorical imperative. Presumably the kingdom of ends is the convergence of these laws, because the categorical imperative has to be rational. |
| 3719 | If lying were the universal law it would make promises impossible [Kant] |
| Full Idea: I can indeed will to lie, but I can by no means will a universal law of lying; for by such a law there could properly be no promises at all. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 403.19) |
| 3762 | Why couldn't all rational beings accept outrageously immoral rules of conduct? [Mill on Kant] |
| Full Idea: Kant fails, almost grotesquely, to show that there would be any logical or physical impossibility in the adoption by all rational beings of the most outrageously immoral rules of conduct. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by John Stuart Mill - Utilitarianism Ch.1 |
| 4413 | The categorical imperative smells of cruelty [Nietzsche on Kant] |
| Full Idea: The categorical imperative smells of cruelty. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Friedrich Nietzsche - On the Genealogy of Morals II.§6 | |
| A reaction: I presume this is because it is so pure and impersonal. Seems harsh. Nowadays we don't think pure just has to be cruel, but Nietzsche may have assumed it had to be. |
| 3716 | Act according to a maxim you can will as a universal law [Kant] |
| Full Idea: I ought never to act except in such a way that I can also will that my maxim should become a universal law. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 402.17) |
| 3727 | Act as if your maxim were to become a universal law of nature [Kant] |
| Full Idea: The universal imperative may also run as follows: 'Act as if the maxim of your action were to become through your will a universal law of nature'. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 421.52) |
| 22050 | The maxim of an action is chosen, and not externally imposed [Kant, by Bowie] |
| Full Idea: Kant does not dictate what the maxim (the principle) of my action should be, and this is the crux. The individual has to decide the basis for their actions, rather than have it imposed on them, which differentiates us from the world of nature. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Andrew Bowie - German Philosophy: a very short introduction 1 | |
| A reaction: Apparenty this inspired the Romantic era (the Age of Freedom?) just as much as the French Revolution. It is the chief doctrine of extreme individualism - except that the maxim chosen should be one on which rational beings should agree. |
| 6694 | Always treat humanity as an end and never as a means only [Kant] |
| Full Idea: Act so that you treat humanity, whether in your own person or that of another always as an end and never as a means only. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]), quoted by Gordon Graham - Eight Theories of Ethics Ch.6 | |
| A reaction: Does this really mean that I can't just negligently buy a newspaper without making an effort to respect its seller? How do I ensure that I treat myself as an end, and don't slip into treating myself as a means? What would that be like? Prostitution? |
| 3731 | Rational beings necessarily conceive their own existence as an end in itself [Kant] |
| Full Idea: Rational nature exists as an end in itself; this is the way in which a man necessarily conceives his own existence. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 429.66) |
| 4345 | For Kant, even a person who lacks all sympathy for others still has a motive for benevolence [Kant, by Hursthouse] |
| Full Idea: Kant, we may suppose, would say that if a man were 'cold in temperament and indifferent to the sufferings of others', he would still find in himself a source that would enable him to do what is benevolent. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Rosalind Hursthouse - On Virtue Ethics Ch.4 | |
| A reaction: This identifies a strong appeal of Kant's theory - that whether we are morally good should not be a matter of luck in our upbringing or natural temperament. How is the vicious person to be saved, if not by reason? |
| 4251 | If we are required to give moral thought the highest priority, this gives morality no content [Williams,B on Kant] |
| Full Idea: The Kantian view of what is important is that people should give moral considerations the highest deliberative priority, which Hegel attacked because it gives moral thought no content. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Bernard Williams - Ethics and the Limits of Philosophy Ch.10 | |
| A reaction: Interesting. This points towards empathy and compassion as motivators, rather than reason, because there is some content to the morality, which calls out to us. |
| 16004 | If Kant lives by self-administered laws, this is as feeble as self-administered punishments [Kierkegaard on Kant] |
| Full Idea: Kant thought that man is his own law - he binds himself under the law which he gives himself. This is how lawlessness or experimentation is established. This is no more rigorously earnest than Sancho Panza's self-administered blows to his own ass. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Søren Kierkegaard - The Journals of Kierkegaard JP-I, 188 | |
| A reaction: It really is tempting to go easy on yourself rather than on others. Kant had the right ideas, but human beings aren't as disciplined as the categorical imperative requires. [SY] |
| 3711 | Only a good will makes us worthy of happiness [Kant] |
| Full Idea: A good will seems to constitute the indispensable condition of our very worthiness to be happy. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 393.2) |
| 3713 | The function of reason is to produce a good will [Kant] |
| Full Idea: Since reason has been imparted to us as a practical power, which thus influences the will, its true function must be to produce a will which is good. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 396.7) |
| 3729 | Our inclinations are not innately desirable; in fact most rational beings would like to be rid of them [Kant] |
| Full Idea: Inclinations, as a source of needs, are so far from having an absolute value to make them desirable for their own sake that it must rather be the universal wish of every rational being to be wholly free from them. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 428.65) |
| 4344 | Actions where people spread happiness because they enjoy it have no genuine moral worth [Kant] |
| Full Idea: There are many spirits of so sympathetic a temper that they find an inner pleasure in spreading happiness around them. ..I maintain that an action of this kind, however right and amiable it may be, has still no genuinely moral worth. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], p.66) | |
| A reaction: We understand what he means (that principle is everything), but this still seems a big hole in his account, one which drives us to Aristotle's sensible views about what a nice person is really like. |
| 3732 | Rational beings have a right to share in the end of an action, not just be part of the means [Kant] |
| Full Idea: A violator of the rights of man intends to use the person of others merely as a means, not considering that they should be used only as beings who must themselves be able to share in the end of the very same action. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 430.68) |
| 7670 | Kant is the father of the notion of exploitation as an evil [Kant, by Berlin] |
| Full Idea: Kant is the father of the notion of exploitation as an evil. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Isaiah Berlin - The Roots of Romanticism Ch.3 | |
| A reaction: This is central to the idea of Kant as the main father of liberalism, the idea that every individual deserves respect, and hence has rights. The idea would also be a crucial element in Europe turning against slavery. |
| 7591 | Kant completed Grotius's project of a non-religious basis for natural law [Scruton on Kant] |
| Full Idea: Kant is often held to have completed a task begun by Grotius, giving a basis for natural law which does not invoke the will of God, but rather commands God himself to obedience. | |
| From: comment on Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Roger Scruton - A Dictionary of Political Thought 'Kant' | |
| A reaction: This project, if successful, would clinch the naturalistic response to the Euthyphro Question (Ideas 336 and 337). It is a key issue for atheists, who generally wish to deny that their lack of religion leads inevitably to amorality. |
| 7673 | Retributive punishment is better than being sent to hospital for your crimes [Kant, by Berlin] |
| Full Idea: Kant believed in retributive punishment, because he thought that a man would prefer being sent to prison to going to hospital. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Isaiah Berlin - The Roots of Romanticism Ch.4 | |
| A reaction: That is, even criminals welcome the dignity of being treated as if they are actually responsible for their deeds, and are not just victims of inner forces. Criminals demand free will! Truth is best, though; many of them are not responsible at all. |
| 3730 | Non-rational beings only have a relative value, as means rather than as ends [Kant] |
| Full Idea: Beings whose existence depends not on our will but on nature have, if they are non-rational beings, only a relative value as means and are consequently called 'things' (rather than 'persons'). | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 428.65) | |
| A reaction: Ugh. Is there nothing in between 'persons' and 'things'? How about a deeply comatose human, or an embryo? It is a gross distortion to think of a chimpanzee as a 'thing'. |
| 3721 | We judge God to be good by a priori standards of moral perfection [Kant] |
| Full Idea: Where do we get the concept of God as the highest good? Solely from the idea of moral perfection, which reason traces a priori. | |
| From: Immanuel Kant (Groundwork of the Metaphysic of Morals [1785], 408.29) |
| 8046 | We can only know we should obey God if we already have moral standards for judging God [Kant, by MacIntyre] |
| Full Idea: On Kant's view it never follows that we ought to do what God commands, for we would have to know that we always ought to do what God commands, but that would need a standard of moral judgement independent of God's commands. God's commands are redundant. | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Alasdair MacIntyre - After Virtue: a Study in Moral Theory Ch.4 | |
| A reaction: This strikes me as a very powerful argument, even an undeniable one. How could you accept any authority if you didn't have some standards for accepting it, even if the standard was just to be awestruck by someone's charisma and will-power? |
| 20714 | God is not proved by reason, but is a postulate of moral thinking [Kant, by Davies,B] |
| Full Idea: Kant speaks of God not as something known or proved to exist by virtue of rational argument, but as a postulate of moral reflection (that is, of 'practical reason'). | |
| From: report of Immanuel Kant (Groundwork of the Metaphysic of Morals [1785]) by Brian Davies - Introduction to the Philosophy of Religion 9 'Morality' | |
| A reaction: Presumably it is a necessary postulate, which makes this a transcendental argument, surely? |