31 ideas
| 8013 | In the Reformation, morality became unconditional but irrational, individually autonomous, and secular [MacIntyre] |
| Full Idea: Three concepts about morality emerge from the Reformation period: that moral rules are unconditional demands that lack rational justification; that moral agents are sovereign in choices; and that secular powers have their own norms and justifications. | |
| From: Alasdair MacIntyre (A Short History of Ethics [1967], Ch.10) | |
| A reaction: I get the impression that a rather frank admission of the role of self-interest emerged at that time as well. It is only in the late seventeenth century that the possibility of a secular altruism begins to be investigated. But there's Shakespeare... |
| 8021 | The Levellers and the Diggers mark a turning point in the history of morality [MacIntyre] |
| Full Idea: The Levellers and the Diggers mark a turning point in the history of morality. | |
| From: Alasdair MacIntyre (A Short History of Ethics [1967], Ch.11) | |
| A reaction: John Lilburne, the Leveller, 'Free-Born John', was the most important of them. They mainly fought for rights of religious conscience, but it quickly escalated into a demand for economic and social rights. It spread to France and the United States. |
| 19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
| Full Idea: If truth can be explicitly defined, it can be eliminated. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.3) | |
| A reaction: That we could just say p corresponds to the facts, or p coheres with our accepted beliefs, or p is the aim of our enquiries, and never mention the word 'true'. Definition is a strategy for reduction or elimination. |
| 13941 | Are the truth-bearers sentences, utterances, ideas, beliefs, judgements, propositions or statements? [Cartwright,R] |
| Full Idea: What is it that is susceptible of truth or falsity? The answers suggested constitute a bewildering variety: sentences, utterances, ideas, beliefs, judgments, propositions, statements. | |
| From: Richard Cartwright (Propositions [1962], 01) | |
| A reaction: Carwright's answer is 'statements', which seem to be the same as propositions. |
| 13942 | Logicians take sentences to be truth-bearers for rigour, rather than for philosophical reasons [Cartwright,R] |
| Full Idea: The current fashion among logicians of taking sentences to be the bearers of truth and falsity indicates less an agreement on philosophical theory than a desire for rigor and smoothness in calculative practice. | |
| From: Richard Cartwright (Propositions [1962], 01) | |
| A reaction: A remark close to my heart. Propositions are rejected first because language offers hope of answers, then because they seem metaphysically odd, and finally because you can't pin them down rigorously. But the blighters won't lie down and die. |
| 19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
| Full Idea: If axioms are formulated for a language (such as set theory) that lacks names for all objects, then they require the use of a satisfaction relation rather than a unary truth predicate. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 3.3) | |
| A reaction: I take it this is an important idea for understanding why Tarski developed his account of truth based on satisfaction. |
| 19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
| Full Idea: Semantic approaches to truth usually necessitate the use of a metalanguage that is more powerful than the object-language for which it provides a semantics. It is usually taken to include set theory. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1) | |
| A reaction: This is a motivation for developing an axiomatic account of truth, that moves it into the object language. |
| 19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
| Full Idea: Although the theory is materially adequate, Tarski thought that the T-sentences are deductively too weak. …Also it seems that the T-sentences are not conservative, because they prove in PA that 0=0 and ¬0=0 are different, so at least two objects exist. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 3.2) | |
| A reaction: They are weak because they can't prove completeness. This idea give two reasons for looking for a better theory of truth. |
| 19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
| Full Idea: If a natural theory of truth is added to Peano Arithmetic, it is not necessary to add explicity global reflection principles to assert soundness, as the truth theory proves them. Truth theories thus prove soundess, and allows its expression. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.2) | |
| A reaction: This seems like a big attraction of axiomatic theories of truth for students of metamathematics. |
| 19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
| Full Idea: If truth does not have any explanatory force, as some deflationists claim, the axioms of truth should not allow us to prove any new theorems that do not involve the truth predicate. That is, a deflationary axiomatisation of truth should be 'conservative'. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.3) | |
| A reaction: So does truth have 'explanatory force'? These guys are interested in explaining theorems of arithmetic, but I'm more interested in real life. People do daft things because they have daft beliefs. Logic should be neutral, but truth has values? |
| 19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
| Full Idea: It is a virtue of the Friedman-Sheard axiomatisation that it is thoroughly classical in its logic. Its drawback is that it is ω-inconsistent. That is, it proves &exists;x¬φ(x), but proves also φ(0), φ(1), φ(2), … | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 4.3) | |
| A reaction: It seems the theory is complete (and presumably sound), yet not fully consistent. FS also proves the finite levels of Tarski's hierarchy, but not the transfinite levels. |
| 19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
| Full Idea: KF is formulated in classical logic, but describes a non-classical notion of truth. It allow truth-value gluts, making some sentences (such as the Liar) both true and not-true. Some authors add an axiom ruling out such gluts. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 4.4) | |
| A reaction: [summary, which I hope is correct! Stanford is not wholly clear] |
| 19121 | We can reduce properties to true formulas [Halbach/Leigh] |
| Full Idea: One might say that 'x is a poor philosopher' is true of Tom instead of saying that Tom has the property of being a poor philosopher. We quantify over formulas instead of over definable properties, and thus reduce properties to truth. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.1) | |
| A reaction: [compressed] This stuff is difficult (because the axioms are complex and hard to compare), but I am excited (yes!) about this idea. Their point is that you need a truth predicate within the object language for this, which disquotational truth forbids. |
| 19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
| Full Idea: The reduction of second-order theories (of properties or sets) to axiomatic theories of truth is a form of reductive nominalism, replacing existence assumptions (e.g. comprehension axioms) by innocuous assumptions about the truth predicate. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.1) | |
| A reaction: I'm currently thinking that axiomatic theories of truth are the most exciting development in contemporary philosophy. See Halbach and Horsten. |
| 13945 | A token isn't a unique occurrence, as the case of a word or a number shows [Cartwright,R] |
| Full Idea: We cannot take a token of a word to be an occurrence of it. Suppose there is exactly one occurrence of the word 'etherized' in the whole of English poetry? Exactly one 'token'? This sort of occurrence is like the occurrence of a number in a sequence. | |
| From: Richard Cartwright (Propositions [1962], Add 2) | |
| A reaction: This remark is in an addendum to his paper, criticising his own lax use of the idea of 'token' in the actual paper. The example nicely shows that the type/token distinction isn't neat and tidy - though I consider it very useful. |
| 8006 | When Aristotle speaks of soul he means something like personality [MacIntyre] |
| Full Idea: When Aristotle speaks of the soul we could very often retain his meaning by speaking of personality. | |
| From: Alasdair MacIntyre (A Short History of Ethics [1967], Ch. 7) | |
| A reaction: MacIntyre contrasts this strongly with Plato's dualist view. Famously Aristotle thinks the soul is the 'form' of the body, but this implies that he also includes the higher-level functions of the body. Soul is character? |
| 13950 | People don't assert the meaning of the words they utter [Cartwright,R] |
| Full Idea: No one ever asserts the meaning of the words he utters. | |
| From: Richard Cartwright (Propositions [1962], 12) | |
| A reaction: Cartwright is using this point to drive a wedge between sentence meaning and the assertion made by the utterance. Hence he defends propositions. Presumably people utilise word-meanings, rather than asserting them. Meanings (not words) are tools. |
| 13948 | For any statement, there is no one meaning which any sentence asserting it must have [Cartwright,R] |
| Full Idea: It does have to be acknowledged, I think, that every statement whatever is such that there is no one meaning which any sentence used to assert it must have. | |
| From: Richard Cartwright (Propositions [1962], 11) | |
| A reaction: This feels to me like a Gricean move - that what we are really interested in is communicating one mental state to another mental state, and there are all sorts of tools that can do that one job. |
| 13944 | We can pull apart assertion from utterance, and the action, the event and the subject-matter for each [Cartwright,R] |
| Full Idea: We need to distinguish 1) what is asserted, 2) that assertion, 3) asserting something, 4) what is predicated, 5) what is uttered, 6) that utterance, 7) uttering something, 8) the utterance token, and 9) the meaning. | |
| From: Richard Cartwright (Propositions [1962], 05-06) | |
| A reaction: [summary of his overall analysis in the paper] It is amazingly hard to offer a critical assessment of this sort of analysis, but it gives you a foot in the door for thinking about the issues with increasing clarity. |
| 13947 | 'It's raining' makes a different assertion on different occasions, but its meaning remains the same [Cartwright,R] |
| Full Idea: A person who utters 'It's raining' one day does not normally make the same statement as one who utters it the next. But these variations are not accompanied by corresponding changes of meaning. The words 'It's raining' retain the same meaning throughout. | |
| From: Richard Cartwright (Propositions [1962], 10) | |
| A reaction: This is important, because it shows that a proposition is not just the mental shadow behind a sentence, or a mental shadow awaiting a sentence. Unlike a sentence, a proposition can (and possibly must) include its own context. Very interesting! |
| 13943 | We can attribute 'true' and 'false' to whatever it was that was said [Cartwright,R] |
| Full Idea: We do sometimes say of something to which we have referred that it is true (or false). Are we not ordinarily doing just this when we utter such sentences as 'That's true' and 'What he said was false'? | |
| From: Richard Cartwright (Propositions [1962], 03) | |
| A reaction: This supports propositions, but doesn't clinch the matter. One could interpret this phenomenon as always being (implicitly) the reference of one sentence to another. However, I remember what he said, but I can't remember how he said it. |
| 13946 | To assert that p, it is neither necessary nor sufficient to utter some particular words [Cartwright,R] |
| Full Idea: In order to assert that p it is not necessary to utter exactly those words. ...Clearly, also, in order to assert that p, it is not sufficient to utter the words that were actually uttered. | |
| From: Richard Cartwright (Propositions [1962], 07) | |
| A reaction: I take the first point to be completely obvious (you can assert one thing with various wordings), and the second seems right after a little thought (the words could be vague, ambiguous, inaccurate, contextual) |
| 13951 | Assertions, unlike sentence meanings, can be accurate, probable, exaggerated, false.... [Cartwright,R] |
| Full Idea: Whereas what is asserted can be said to be accurate, exaggerated, unfounded, overdrawn, probable, improbable, plausible, true, or false, none of these can be said of the meaning of a sentence. | |
| From: Richard Cartwright (Propositions [1962], 12) | |
| A reaction: That fairly firmly kicks into touch the idea that the assertion is the same as the meaning of the sentence. |
| 8002 | Sophists don't distinguish a person outside one social order from someone outside all order [MacIntyre] |
| Full Idea: The sophist tradition failed to distinguish the difference between the concept of a man who stands outside and is able to question the conventions of some one given social order, and the concept of a man who stands outside social life as such. | |
| From: Alasdair MacIntyre (A Short History of Ethics [1967], Ch. 3) | |
| A reaction: A very nice distinction. Compare foreigners in Athens with Diogenes of Sinope, who renounced all cities. This is the germ of MacIntyre's view that morality is essentially dependent on some sort of social order. He is a reviver of virtue theory. |
| 8012 | The value/fact logical gulf is misleading, because social facts involve values [MacIntyre] |
| Full Idea: One reason why it is highly misleading to talk of a logical gulf between value and fact....is that we cannot characterize the social life of a tribe in their factual terms and escape their evaluations. | |
| From: Alasdair MacIntyre (A Short History of Ethics [1967], Ch.10) | |
| A reaction: Personally I like the objection that facts about functions cannot avoid the value of good functions, but this is very good. It is much better than simply trying to find a specific counterexample, such as facts about promises. Values just are facts. |
| 8005 | 'Happiness' is a bad translation of 'eudaimonia', which includes both behaving and faring well [MacIntyre] |
| Full Idea: The name 'eudaimonia' is badly but inevitably translated by 'happiness', badly because it includes both the notion of behaving well and the notion of faring well. | |
| From: Alasdair MacIntyre (A Short History of Ethics [1967], Ch. 7) | |
| A reaction: This seems to imply that it does not include the notion of feeling good. Aristotle, however, concludes that pleasure is part of eudaimonia. I take our 'happiness' to be an internal notion, while the Greek word is an external notion. |
| 8001 | 'Dikaiosune' is justice, but also fairness and personal integrity [MacIntyre] |
| Full Idea: The Greek 'dikaiosune' is inadequately translated as 'justice', but also as any other word; it combines the notion of fairness in externals with that of personal integrity in a way that no English word does. | |
| From: Alasdair MacIntyre (A Short History of Ethics [1967], Ch. 1) | |
| A reaction: 'Dikaiosune' is said to be the main topic of Plato's 'Republic'. Plato seems to have meant it to cover whatever makes a good character. Justice in behaviour presumably flows from internal justice of character (which is, roughly, inner harmony). |
| 8023 | My duties depend on my identity, which depends on my social relations [MacIntyre] |
| Full Idea: I cannot answer the question 'What ought I to do?' until I have answered the question 'Who am I?', and any answer to this question will specify my place in a nexus of social relationships. | |
| From: Alasdair MacIntyre (A Short History of Ethics [1967], Ch.13) | |
| A reaction: This is the beginning of the modern critique of deontological ethics coming from revived virtue theory. As it stands, MacIntyre's idea sounds contractual, but I think he intends it in a more organic way. I am a fan. |
| 8022 | I am naturally free if I am not tied to anyone by a contract [MacIntyre] |
| Full Idea: The essence of the claim to natural rights is that no one has a right against me unless he can cite some contract, my consent to it, and his performance of his obligations under it. | |
| From: Alasdair MacIntyre (A Short History of Ethics [1967], Ch.11) | |
| A reaction: This has become the foundation of western democracy, and the rebellious teenager's charter. Children have not consented to a contract with their parents. Close and loving relationships cease to be contractual. |
| 8031 | Fans of natural rights or laws can't agree on what the actual rights or laws are [MacIntyre] |
| Full Idea: It is notorious that adherents of theories about natural rights or natural laws offer lists of rights or laws which differ in substance from each other. | |
| From: Alasdair MacIntyre (A Short History of Ethics [1967], Ch.17) | |
| A reaction: There seems to have been a consensus early on that self-defence was a natural right, but divergence presumably occurs when you get bolder and more complex. There is a lot of divergence over which is Shakespeare's best play. |
| 8008 | The Bible is a story about God in which humans are incidental characters [MacIntyre] |
| Full Idea: The Bible is a story about God in which human beings appear as incidental characters. | |
| From: Alasdair MacIntyre (A Short History of Ethics [1967], Ch. 9) | |
| A reaction: Very illuminating. He creates man, is betrayed by man, drowns him and starts again, sends a redeemer who gets murdered, and finally enlightens a small band who continue the uphill struggle to promote God's way. What next? |