display all the ideas for this combination of texts
8 ideas
| 9358 | There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI] |
| Full Idea: The fact is that there are several logics, markedly different, each self-consistent in its own terms and such that whoever, using it, avoids false premises, will never reach a false conclusion. | |
| From: C.I. Lewis (A Pragmatic Conception of the A Priori [1923], p.366) | |
| A reaction: As the man who invented modal logic in five different versions, he speaks with some authority. Logicians now debate which version is the best, so how could that be decided? You could avoid false conclusions by never reasoning at all. |
| 18108 | First-order logic is not decidable: there is no test of whether any formula is valid [Bostock] |
| Full Idea: First-order logic is not decidable. That is, there is no test which can be applied to any arbitrary formula of that logic and which will tell one whether the formula is or is not valid (as proved by Church in 1936). | |
| From: David Bostock (Philosophy of Mathematics [2009], 5.5) |
| 18109 | The completeness of first-order logic implies its compactness [Bostock] |
| Full Idea: From the fact that the usual rules for first-level logic are complete (as proved by Gödel 1930), it follows that this logic is 'compact'. | |
| From: David Bostock (Philosophy of Mathematics [2009], 5.5) | |
| A reaction: The point is that the completeness requires finite proofs. |
| 9357 | Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI] |
| Full Idea: The law of excluded middle formulates our decision that whatever is not designated by a certain term shall be designated by its negative. It declares our purpose to make a complete dichotomy of experience, ..which is only our penchant for simplicity. | |
| From: C.I. Lewis (A Pragmatic Conception of the A Priori [1923], p.365) | |
| A reaction: I find this view quite appealing. 'Look, it's either F or it isn't!' is a dogmatic attitude which irritates a lot of people, and appears to be dispensible. Intuitionists in mathematics dispense with the principle, and vagueness threatens it. |
| 9364 | Names represent a uniformity in experience, or they name nothing [Lewis,CI] |
| Full Idea: A name must represent some uniformity in experience or it names nothing. | |
| From: C.I. Lewis (A Pragmatic Conception of the A Priori [1923], p.368) | |
| A reaction: I like this because, in the quintessentially linguistic debate about the exact logical role of names, it reminds us that names arise because of the way reality is; they are not sui generis private games for logicians. |
| 18123 | Substitutional quantification is just standard if all objects in the domain have a name [Bostock] |
| Full Idea: Substitutional quantification and quantification understood in the usual 'ontological' way will coincide when every object in the (ontological) domain has a name. | |
| From: David Bostock (Philosophy of Mathematics [2009], 7.3 n23) |
| 18120 | The Deduction Theorem is what licenses a system of natural deduction [Bostock] |
| Full Idea: The Deduction Theorem is what licenses a system of 'natural deduction' in the first place. | |
| From: David Bostock (Philosophy of Mathematics [2009], 7.2) |
| 18125 | Berry's Paradox considers the meaning of 'The least number not named by this name' [Bostock] |
| Full Idea: Berry's Paradox can be put in this form, by considering the alleged name 'The least number not named by this name'. | |
| From: David Bostock (Philosophy of Mathematics [2009], 8.1) |