7 ideas
18832 | Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett] |
Full Idea: On an intuitionistic view, neither the truth-value of a statement nor any other mathematical entity can be given as the final result of an infinite process, since an infinite process is precisely one that does not have a final result. | |
From: Michael Dummett (Elements of Intuitionism (2nd ed) [2000], p.41), quoted by Ian Rumfitt - The Boundary Stones of Thought 7.3 | |
A reaction: This is rather a persuasive reason to sympathise with intuitionism. Mathematical tricks about 'limits' have lured us into believing in completed infinities, but actually that idea is incoherent. |
13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
Full Idea: If your interest in logic is confined to applications to mathematics or other a priori matters, it is fine for validity to preserve certainty, ..but if you use conditionals when arguing about contingent matters, then great caution will be required. | |
From: Dorothy Edgington (Conditionals [2001], 17.2.1) |
13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
Full Idea: As well as conditional beliefs, there are conditional desires, hopes, fears etc. As well as conditional statements, there are conditional commands, questions, offers, promises, bets etc. | |
From: Dorothy Edgington (Conditionals [2001], 17.3.4) |
13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
Full Idea: Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? Are they non-truth-functional, like 'because' or 'before'? Do the values of A and B, in some cases, leave open the value of 'If A,B'? | |
From: Dorothy Edgington (Conditionals [2001], 17.1) | |
A reaction: I would say they are not truth-functional, because the 'if' asserts some further dependency relation that goes beyond the truth or falsity of A and B. Logical ifs, causal ifs, psychological ifs... The material conditional ⊃ is truth-functional. |
13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
Full Idea: If it were possible to have A true, B false, and If A,B true, it would be unsafe to infer B from A and If A,B: modus ponens would thus be invalid. Hence 'If A,B' must entail ¬(A & ¬B). | |
From: Dorothy Edgington (Conditionals [2001], 17.1) | |
A reaction: This is a firm defence of part of the truth-functional view of conditionals, and seems unassailable. The other parts of the truth table are open to question, though, if A is false, or they are both true. |
14790 | 'Abduction' is beginning a hypothesis, particularly if it includes preference of one explanation over others [Peirce] |
Full Idea: The first starting of a hypothesis and the entertaining of it …is an inferential step which I propose to call 'abduction'. This will include a preference for any one hypothesis over others which would equally explain the facts. | |
From: Charles Sanders Peirce (Abduction and Induction [1901], I) | |
A reaction: I take there to be no more important function within human thought than the procedure by which we give preference to one particular explanation. It only makes sense, I think, if we take it as part of a coherence theory of justification. |
14791 | Abduction involves original suggestions, and not just the testing involved in induction [Peirce] |
Full Idea: It is of the nature of abduction to involve an original suggestion; while typical induction has no originality in it, but only tests a suggestion already made. | |
From: Charles Sanders Peirce (Abduction and Induction [1901], I) | |
A reaction: Peirce's 'abduction' is not, then, just the choice of a best explanation. He came up with the idea because he was keen to capture the creative and imaginative character of rational thought. |