14 ideas
| 10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
| Full Idea: 'Equivocation' is when the terms do not mean the same thing in the premises and in the conclusion. | |
| From: JC Beall / G Restall (Logical Consequence [2005], Intro) |
| 10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
| Full Idea: Logic is purely formal either when it is invariant under permutation of object (Tarski), or when it has totally abstracted away from all contents, or it is the constitutive norms for thought. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
| A reaction: [compressed] The third account sounds rather woolly, and the second one sounds like a tricky operation, but the first one sounds clear and decisive, so I vote for Tarski. |
| 10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
| Full Idea: Technical work on logical consequence has either focused on proofs, where validity is the existence of a proof of the conclusions from the premises, or on models, which focus on the absence of counterexamples. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 3) |
| 10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
| Full Idea: Two different views of logical consequence are necessary truth-preservation (based on modelling possible worlds; favoured by Realists), or truth-preservation based on the meanings of the logical vocabulary (differing in various models; for Anti-Realists). | |
| From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
| A reaction: Thus Dummett prefers the second view, because the law of excluded middle is optional. My instincts are with the first one. |
| 10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
| Full Idea: A logical step is a 'material consequence' and not a formal one, if we need the contents as well as the structure or form. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 2) |
| 10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
| Full Idea: If a conclusion follows from an empty collection of premises, it is true by logic alone, and is a 'logical truth' (sometimes a 'tautology'), or, in the proof-centred approach, 'theorems'. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 4) | |
| A reaction: These truths are written as following from the empty set Φ. They are just implications derived from the axioms and the rules. |
| 10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
| Full Idea: Models are abstract mathematical structures that provide possible interpretations for each of the non-logical primitives in a formal language. | |
| From: JC Beall / G Restall (Logical Consequence [2005], 3) |
| 17611 | We want the essence of continuity, by showing its origin in arithmetic [Dedekind] |
| Full Idea: It then only remained to discover its true origin in the elements of arithmetic and thus at the same time to secure a real definition of the essence of continuity. | |
| From: Richard Dedekind (Continuity and Irrational Numbers [1872], Intro) | |
| A reaction: [He seeks the origin of the theorem that differential calculus deals with continuous magnitude, and he wants an arithmetical rather than geometrical demonstration; the result is his famous 'cut']. |
| 10572 | A cut between rational numbers creates and defines an irrational number [Dedekind] |
| Full Idea: Whenever we have to do a cut produced by no rational number, we create a new, an irrational number, which we regard as completely defined by this cut. | |
| From: Richard Dedekind (Continuity and Irrational Numbers [1872], §4) | |
| A reaction: Fine quotes this to show that the Dedekind Cut creates the irrational numbers, rather than hitting them. A consequence is that the irrational numbers depend on the rational numbers, and so can never be identical with any of them. See Idea 10573. |
| 17612 | Arithmetic is just the consequence of counting, which is the successor operation [Dedekind] |
| Full Idea: I regard the whole of arithmetic as a necessary, or at least natural, consequence of the simplest arithmetic act, that of counting, and counting itself is nothing else than the successive creation of the infinite series of positive integers. | |
| From: Richard Dedekind (Continuity and Irrational Numbers [1872], §1) | |
| A reaction: Thus counting roots arithmetic in the world, the successor operation is the essence of counting, and the Dedekind-Peano axioms are built around successors, and give the essence of arithmetic. Unfashionable now, but I love it. Intransitive counting? |
| 18087 | If x changes by less and less, it must approach a limit [Dedekind] |
| Full Idea: If in the variation of a magnitude x we can for every positive magnitude δ assign a corresponding position from and after which x changes by less than δ then x approaches a limiting value. | |
| From: Richard Dedekind (Continuity and Irrational Numbers [1872], p.27), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 10.7 | |
| A reaction: [Kitcher says he 'showed' this, rather than just stating it] |
| 10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
| Full Idea: There are many proof-systems, the main being Hilbert proofs (with simple rules and complex axioms), or natural deduction systems (with few axioms and many rules, and the rules constitute the meaning of the connectives). | |
| From: JC Beall / G Restall (Logical Consequence [2005], 3) |
| 12733 | Because of the definitions of cause, effect and power, cause and effect have the same power [Leibniz] |
| Full Idea: The primary mechanical axiom is that the whole cause and the entire effect have the same power [potentia]. ..This depends on the definition of cause, effect and power. | |
| From: Gottfried Leibniz (De arcanus motus [1676], 203), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 6 | |
| A reaction: This is a useful reminder that if one is going to build a metaphysics on powers (which I intend to do), then the conservation laws in physics are highly relevant. |
| 12734 | Every necessary proposition is demonstrable to someone who understands [Leibniz] |
| Full Idea: Every necessary proposition is demonstrable, at least by someone who understands it. | |
| From: Gottfried Leibniz (De arcanus motus [1676], 203), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 6 | |
| A reaction: This kind of optimism leads to the crisis of the Hilbert Programme in the 1930s. Gödel seems to have conclusively proved that Leibniz was wrong. What would Leibniz have made of Gödel? |