18 ideas
23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
Full Idea: Naïve set theory is based on the principles that any formula defines a set, and that coextensive sets are identical. | |
From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.2) | |
A reaction: The second principle is a standard axiom of ZFC. The first principle causes the trouble. |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
From: Ian Rumfitt ("Yes" and "No" [2000]) | |
A reaction: This is the standard view which Rumfitt sets out to challenge. |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
Full Idea: In classical semantics the function of singular terms is to refer, and that of quantifiers, to range over appropriate domains of entities. | |
From: Øystein Linnebo (Philosophy of Mathematics [2017], 7.1) |
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. |
23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
Full Idea: Considered in isolation, the axioms of group theory are not assertions but comprise an implicit definition of some abstract structure, | |
From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.5) | |
A reaction: The traditional Euclidean approach is that axioms are plausible assertions with which to start. The present idea sums up the modern approach. In the modern version you can work backwards from a structure to a set of axioms. |
23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
Full Idea: Mathematics investigates the deductive consequences of axiomatic theories, but it also needs its own foundational axioms in order to provide models for its various axiomatic theories. | |
From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.1) | |
A reaction: This is a problem which faces the deductivist (if-then) approach. The deductive process needs its own grounds. |
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]) |
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. |
23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
Full Idea: If the 2nd Incompleteness Theorem undermines Hilbert's attempt to use a weak theory to prove the consistency of a strong one, it is still possible to prove the consistency of one theory, assuming the consistency of another theory. | |
From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.6) | |
A reaction: Note that this concerns consistency, not completeness. |
23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
Full Idea: Philosophical structuralism holds that mathematics is the study of abstract structures, or 'patterns'. If mathematics is the study of all possible patterns, then it is inevitable that the world is described by mathematics. | |
From: Øystein Linnebo (Philosophy of Mathematics [2017], 11.1) | |
A reaction: [He cites the physicist John Barrow (2010) for this] For me this is a major idea, because the concept of a pattern gives a link between the natural physical world and the abstract world of mathematics. No platonism is needed. |
23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
Full Idea: Modern logic requires that logical truths be true in all models, including ones devoid of any mathematical objects. It follows immediately that the existence of mathematical objects can never be a matter of logic alone. | |
From: Øystein Linnebo (Philosophy of Mathematics [2017], 2) | |
A reaction: Hm. Could there not be a complete set of models for a theory which all included mathematical objects? (I can't answer that). |
23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
Full Idea: Game Formalism seeks to banish all semantics from mathematics, and Term Formalism seeks to reduce any such notions to purely syntactic ones. | |
From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.3) | |
A reaction: This approach was stimulated by the need to justify the existence of the imaginary number i. Just say it is a letter! |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
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. |