3 ideas
10190 | From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki] |
Full Idea: From the axiomatic point of view, mathematics appears as a storehouse of abstract forms - the mathematical structures. | |
From: Nicholas Bourbaki (The Architecture of Mathematics [1950], 221-32), quoted by Fraser MacBride - Review of Chihara's 'Structural Acc of Maths' p.79 | |
A reaction: This seems to be the culmination of the structuralist view that developed from Dedekind and Hilbert, and was further developed by philosophers in the 1990s. |
4038 | Properties are sets of their possible instances (which separates 'renate' from 'cordate') [Lewis, by Mellor/Oliver] |
Full Idea: Lewis agrees that properties cannot be sets of their actual instances, but claims they can be sets of their possible instances. This would distinguish coextensive properties like being cordate and renate, since they might be separated. | |
From: report of David Lewis (Modal Realism at Work: Properties [1986]) by DH Mellor / A Oliver - Introduction to 'Properties' §10 | |
A reaction: Sounds wrong. Two properties could be obviously different even if they could never be separated. In this world a creature might briefly survive without kidneys. |
7803 | Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle] |
Full Idea: C.I.Lewis began his groundbreaking work in modal logic because he was concerned about the unreliability of the material conditional as a translation of 'If ... then' conditionals. | |
From: report of C.I. Lewis (Symbolic Logic (with Langford) [1932]) by Rod Girle - Modal Logics and Philosophy 12.3 | |
A reaction: Compare 'if this is square then it has four corners' with 'if it rains then our afternoon is ruined'. Different modalities seem to be involved. We even find that 'a square has four corners' will be materially implied if it rains! |