3 ideas
| 3299 | In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie] |
| Full Idea: In logic identity is an equivalence relation, which involves reflexivity (x=x), symmetry (if x=y, then y=x), and transitivity (if x=y and y=z, then x=z). | |
| From: James Baillie (Problems in Personal Identity [1993], Intr p.4) |
| 17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
| Full Idea: A variable in a proposition of logic ....has the status of a mere auxiliary notion that is really inappropriate to the constant, 'eternal' essence of the propositions of logic. | |
| From: Moses Schönfinkel (Building Blocks of Mathematical Logic [1924], §1) | |
| A reaction: He presumably thinks that what the variables stand for (and he mentions 'argument places' and 'operators') will be included in the essence. My attention was caught by the thought that he takes logic to have an essence. |
| 3425 | Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim] |
| Full Idea: Ernest Nagel defines reduction as the possibility of deriving all laws of one theory by logic and mathematics to another theory, with appropriate 'bridging principles' (either definitions, or empirical laws) connecting the expressions of the two theories. | |
| From: report of Ernest Nagel (The Structure of Science [1961]) by Jaegwon Kim - Philosophy of Mind p.213 | |
| A reaction: This has been labelled as 'weak' reduction, where 'strong' reduction would be identity, as when lightning is reduced to electrical discharge. You reduce x by showing that it is y in disguise. |