15 ideas
16252 | Metaphysics uses empty words, or just produces pseudo-statements [Carnap] |
Full Idea: Since metaphysics doesn't want to assert analytic propositions, nor fall within the domain of physical science, it is compelled to employ words for which no criteria of application are specified, ..or else combine meaningful words..into pseudo-statements. | |
From: Rudolph Carnap (Elimination of Metaphysics by Analysis of Language [1959]), quoted by Tim Maudlin - The Metaphysics within Physics 2.4 | |
A reaction: A classic summary of the logical positivist rejection of metaphysics. I incline to treat metaphysics as within the domain of science, but at a level of generality so high that practising scientists become bewildered and give up. |
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) |
17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
Full Idea: The facts of geometry order themselves into a geometry, the facts of arithmetic into a theory of numbers, the facts of statics, electrodynamics into a theory of statics, electrodynamics, or the facts of the physics of gases into a theory of gases. | |
From: David Hilbert (Axiomatic Thought [1918], [03]) | |
A reaction: This is the confident (I would say 'essentialist') view of axioms, which received a bit of a setback with Gödel's Theorems. I certainly agree that the world proposes an order to us - we don't just randomly invent one that suits us. |
17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
Full Idea: If a theory is to serve its purpose of orienting and ordering, it must first give us an overview of the independence and dependence of its propositions, and second give a guarantee of the consistency of all of the propositions. | |
From: David Hilbert (Axiomatic Thought [1918], [09]) | |
A reaction: Gödel's Second theorem showed that the theory can never prove its own consistency, which made the second Hilbert requirement more difficult. It is generally assumed that each of the axioms must be independent of the others. |
17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
Full Idea: It is necessary to study the essence of mathematical proof itself if one wishes to answer such questions as the one about decidability in a finite number of operations. | |
From: David Hilbert (Axiomatic Thought [1918], [53]) |
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) |
17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
Full Idea: The linearity of the equation of the plane and of the orthogonal transformation of point-coordinates is completely adequate to produce the whole broad science of spatial Euclidean geometry purely by means of analysis. | |
From: David Hilbert (Axiomatic Thought [1918], [05]) | |
A reaction: This remark comes from the man who succeeded in producing modern axioms for geometry (in 1897), so he knows what he is talking about. We should not be wholly pessimistic about Hilbert's ambitious projects. He had to dig deeper than this idea... |
17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
Full Idea: The laws of calculation and the rules of integers suffice for the construction of number theory. | |
From: David Hilbert (Axiomatic Thought [1918], [05]) | |
A reaction: This is the confident Hilbert view that the whole system can be fully spelled out. Gödel made this optimism more difficult. |
17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |
Full Idea: By pushing ahead to ever deeper layers of axioms ...we also win ever-deeper insights into the essence of scientific thought itself, and become ever more conscious of the unity of our knowledge. | |
From: David Hilbert (Axiomatic Thought [1918], [56]) | |
A reaction: This is the less fashionable idea that scientific essentialism can also be applicable in the mathematic sciences, centring on the project of axiomatisation for logic, arithmetic, sets etc. |