3 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
Full Idea: For mathematics, Weyl arrived (by 1917) at a satisfactory list of definition principles: negation, identification of variables, conjunction, disjunction, substitution of constants, and existential quantification over the domain. | |
From: report of Hermann Weyl (works [1917]) by Shaughan Lavine - Understanding the Infinite V.3 | |
A reaction: Lavine summarises this as 'first-order logic with parameters'. |
17503 | Theories can never represent accurately, because their components are abstract [Cartwright,N, by Portides] |
Full Idea: Cartwright objects that the claim that theories represent what happens in actual situations is to overlook that the concepts used in them (such as 'force functions' and 'Hamiltonians') are abstract. | |
From: report of Nancy Cartwright (The Dappled World [1999]) by Demetris Portides - Models 'Current' | |
A reaction: I'm not convinced by this. The term 'abstract' is too loose. In a sense most words are abstract because they are universals. If I say 'that's a cat', that is a very accurate remark, despite the generality of 'cat'. |
12709 | Motion is not absolute, but consists in relation [Leibniz] |
Full Idea: In reality motion is not something absolute, but consists in relation. | |
From: Gottfried Leibniz (On Motion [1677], A6.4.1968), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 3 | |
A reaction: It is often thought that motion being relative was invented by Einstein, but Leibniz wholeheartedly embraced 'Galilean relativity', and refused to even consider any absolute concept of motion. Acceleration is a bit trickier than velocity. |