26 ideas
10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
Full Idea: The Axiom of Choice is a pure existence statement, without defining conditions. It was necessary to provide a foundation for Cantor's theory of transfinite cardinals and ordinal numbers, but its nonconstructive character engendered heated controversy. | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) |
10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
Full Idea: In 1938 Gödel proved that the Axiom of Choice is consistent with the other axioms of set theory. | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
A reaction: Hence people now standardly accept ZFC, rather than just ZF. |
10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
Full Idea: The Trichotomy Principle (any number is less, equal to, or greater than, another number) turned out to be equivalent to the Axiom of Choice. | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
A reaction: [He credits Sierpinski (1918) with this discovery] |
10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
Full Idea: Zermelo's Axiom of Choice asserts that for any set of non-empty sets that (pairwise) have no elements in common, then there is a set that 'simultaneously chooses' exactly one element from each set. Note that this is an existential claim. | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
A reaction: The Axiom is now widely accepted, after much debate in the early years. Even critics of the Axiom turn out to be relying on it. |
10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
Full Idea: The Axiom of Choice seems clearly true from the Platonistic point of view, independently of how sets may be defined, but is rejected by those who think such existential claims must show how to pick out or define the object claimed to exist. | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
A reaction: The typical critics are likely to be intuitionists or formalists, who seek for both rigour and a plausible epistemology in our theory. |
10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
Full Idea: A structure is said to be a 'model' of an axiom system if each of its axioms is true in the structure (e.g. Euclidean or non-Euclidean geometry). 'Model theory' concerns which structures are models of a given language and axiom system. | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
A reaction: This strikes me as the most interesting aspect of mathematical logic, since it concerns the ways in which syntactic proof-systems actually connect with reality. Tarski is the central theoretician here, and his theory of truth is the key. |
10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
Full Idea: In the late 1950s Tarski and Vaught defined and established basic properties of the relation of elementary equivalence between two structures, which holds when they make true exactly the same first-order sentences. This is fundamental to model theory. | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
A reaction: This is isomorphism, which clarifies what a model is by giving identity conditions between two models. Note that it is 'first-order', and presumably founded on classical logic. |
10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
Full Idea: The Löwenheim-Skolem Theorem, the earliest in model theory, states that if a countable set of sentences in a first-order language has a model, then it has a countable model. | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
A reaction: There are 'upward' (sentences-to-model) and 'downward' (model-to-sentences) versions of the theory. |
10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
Full Idea: Before Tarski's work in the 1930s, the main results in model theory were the Löwenheim-Skolem Theorem, and Gödel's establishment in 1929 of the completeness of the axioms and rules for the classical first-order predicate (or quantificational) calculus. | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) |
10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
Full Idea: Completeness is when, if a sentences holds in every model of a theory, then it is logically derivable from that theory. | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) |
10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
Full Idea: 'Recursion theory' is the subject of what can and cannot be solved by computing machines | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Ch.9) | |
A reaction: This because 'recursion' will grind out a result step-by-step, as long as the steps will 'halt' eventually. |
10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
Full Idea: In 1936 Church showed that Principia Mathematica is undecidable if it is ω-consistent, and a year later Rosser showed that Peano Arithmetic is undecidable, and any consistent extension of it. | |
From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int IV) |
13856 | Conditionals are truth-functional, but we must take care with misleading ones [Grice, by Edgington] |
Full Idea: Grice argued that the truth-functional account of conditionals can withstand objections, provided that we are careful to distinguish the false from the misleadingly true. | |
From: report of H. Paul Grice (Logic and Conversation [1975]) by Dorothy Edgington - Do Conditionals Have Truth Conditions? 2 |
8948 | The odd truth table for material conditionals is explained by conversational conventions [Grice, by Fisher] |
Full Idea: According to Grice, it is the rules that govern conversation beyond the merely logical that account for the counter-intuitiveness of the truth table for the material conditional. | |
From: report of H. Paul Grice (Logic and Conversation [1975]) by Jennifer Fisher - On the Philosophy of Logic 8.I | |
A reaction: There is a conversational rule which says that replies should normally relevant to context. It would be nice if logical implications were also relevant to context. |
13767 | Conditionals might remain truth-functional, despite inappropriate conversational remarks [Edgington on Grice] |
Full Idea: Grice defended the truth-functional account of conditionals, noting the gap between what we are justified in believing and what is appropriate to say. .But the problem arises at the level of belief, not at the level of inappropriate conversational remarks | |
From: comment on H. Paul Grice (Logic and Conversation [1975]) by Dorothy Edgington - Conditionals 17.1.3 |
14277 | A person can be justified in believing a proposition, though it is unreasonable to actually say it [Grice, by Edgington] |
Full Idea: Grice drew attention to situations in which a person is justified in believing a proposition, which would nevertheless by an unreasonable thing for the person to say, in normal circumstances. I think he is right about disjunction and negated conjunctions. | |
From: report of H. Paul Grice (Logic and Conversation [1975]) by Dorothy Edgington - Conditionals (Stanf) 2.4 | |
A reaction: Edgington considers Grice's ideas of implicature as of permanent value, especially as a clarification of 1950s ordinary language philosophy. |
2705 | How can intuitionists distinguish universal convictions from local cultural ones? [Hare] |
Full Idea: There are convictions which are common to most societies; but there are others which are not, and no way is given by intuitionists of telling which are the authoritative data. | |
From: Richard M. Hare (Universal Prescriptivism [1991], p.454) | |
A reaction: It seems unfair on intuitionists to say they haven't given a way to evaluate such things, given that they have offered intuition. The issue is what exactly they mean by 'intuition'. |
2712 | You can't use intuitions to decide which intuitions you should cultivate [Hare] |
Full Idea: If it comes to deciding what intuitions and dispositions to cultivate, we cannot rely on the intuitions themselves, as intuitionists do. | |
From: Richard M. Hare (Universal Prescriptivism [1991], p.461) | |
A reaction: Makes intuitionists sound a bit dim. Surely Hume identifies dispositions (such as benevolence) which should be cultivated, because they self-evidently improve social life? |
2706 | Emotivists mistakenly think all disagreements are about facts, and so there are no moral reasons [Hare] |
Full Idea: Emotivists concluded too hastily that because naturalism and intuitionism are false, you cannot reason about moral questions, because they assumed that the only questions you can reason about are factual ones. | |
From: Richard M. Hare (Universal Prescriptivism [1991], p.455) | |
A reaction: Personally I have a naturalistic view of ethics (based on successful functioning, as indicated by Aristotle), so not my prob. Why can't we reason about expressive emotions? We reason about art. |
2708 | An 'ought' statement implies universal application [Hare] |
Full Idea: In any 'ought' statement there is implicit a principle which says that the statement applies to all precisely similar situations. | |
From: Richard M. Hare (Universal Prescriptivism [1991], p.456) | |
A reaction: No two situations can ever be 'precisely' similar. Indeed, 'precisely similar' may be an oxymoron (at least for situations). Kantians presumably like this idea. |
2704 | If morality is just a natural or intuitive description, that leads to relativism [Hare] |
Full Idea: Non-descriptivists (e.g. prescriptivists) reject descriptivism in its naturalist or intuitionist form, because they are both destined to collapse into relativism. | |
From: Richard M. Hare (Universal Prescriptivism [1991], p.453) | |
A reaction: I'm not clear from this why prescriptism would not also turn out to be relativist, if it includes evaluations along with facts. |
2703 | Descriptivism say ethical meaning is just truth-conditions; prescriptivism adds an evaluation [Hare] |
Full Idea: Ethical descriptivism is the view that ethical sentence-meaning is wholly determined by truth-conditions. …Prescriptivists think there is a further element of meaning, which expresses prescriptions or evaluations or attitudes which we assent to. | |
From: Richard M. Hare (Universal Prescriptivism [1991], p.452) | |
A reaction: Not sure I understand either of these. If all meaning consists of truth-conditions, that will apply to ethics. If meaning includes evaluations, that will apply to non-ethics. |
2707 | If there can be contradictory prescriptions, then reasoning must be involved [Hare] |
Full Idea: Prescriptivists claim that there are rules of reasoning which govern non-descriptive as well as descriptive speech acts. The standard example is possible logical inconsistency between contradictory prescriptions. | |
From: Richard M. Hare (Universal Prescriptivism [1991], p.455) | |
A reaction: The example doesn't seem very good. Inconsistency can appear in any area of thought, but that isn't enough to infer full 'rules of reasoning'. I could desire two incompatible crazy things. |
2711 | Prescriptivism implies a commitment, but descriptivism doesn't [Hare] |
Full Idea: Prescriptivists hold that moral judgements commit the speaker to motivations and actions, but non-moral facts by themselves do not do this. | |
From: Richard M. Hare (Universal Prescriptivism [1991], p.459) | |
A reaction: Surely hunger motivates to action? I suppose the key word is 'commit'. But lazy people are allowed to make moral judgements. |
2709 | Prescriptivism sees 'ought' statements as imperatives which are universalisable [Hare] |
Full Idea: Universal prescriptivists hold that 'ought'-judgements are prescriptive like plain imperatives, but differ from them in being universalisable. | |
From: Richard M. Hare (Universal Prescriptivism [1991], p.457) | |
A reaction: Sounds a bit tautological. Which comes first, the normativity or the universalisability? |
2710 | Moral judgements must invoke some sort of principle [Hare] |
Full Idea: To make moral judgements is implicitly to invoke some principle, however specific. | |
From: Richard M. Hare (Universal Prescriptivism [1991], p.458) |