3 ideas
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'. | |
From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1 | |
A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'. |
16886 | The truth of an axiom must be independently recognisable [Frege] |
Full Idea: It is part of the concept of an axiom that it can be recognised as true independently of other truths. | |
From: Gottlob Frege (On Euclidean Geometry [1900], 183/168), quoted by Tyler Burge - Frege on Knowing the Foundations 4 | |
A reaction: Frege thinks the axioms of arithmetic all reside in logic. |
16674 | The quantity is just the matter, in that it has extended parts and is diffuse [Charleton] |
Full Idea: The extension or quantity of a thing is merely modus materiae, or (rather) the matter itself composing that thing; insomuch as it consists not in a point, but has parts posited without parts, in respect whereof it is diffuse. | |
From: Walter Charleton (Physiologia [1654], III.10.1.4), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 14.2 |