22 ideas
22138 | Science rests on scholastic metaphysics, not on Hume, Kant or Carnap [Boulter] |
12219 | Whether a modal claim is true depends on how the object is described [Quine, by Fine,K] |
13733 | Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn] |
10922 | Objects are the values of variables, so a referentially opaque context cannot be quantified into [Quine] |
9874 | Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege] |
18252 | Real numbers are ratios of quantities, such as lengths or masses [Frege] |
18271 | We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege] |
10623 | Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright] |
9975 | Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege] |
18165 | My Basic Law V is a law of pure logic [Frege] |
22134 | Thoughts are general, but the world isn't, so how can we think accurately? [Boulter] |
10923 | Aristotelian essentialism says a thing has some necessary and some non-necessary properties [Quine] |
10921 | Necessity can attach to statement-names, to statements, and to open sentences [Quine] |
22150 | Logical possibility needs the concepts of the proposition to be adequate [Boulter] |
10924 | Necessity is in the way in which we say things, and not things themselves [Quine] |
22139 | Experiments don't just observe; they look to see what interventions change the natural order [Boulter] |
22136 | Science begins with sufficient reason, de-animation, and the importance of nature [Boulter] |
22135 | Our concepts can never fully capture reality, but simplification does not falsify [Boulter] |
9190 | A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett] |
13665 | Frege took the study of concepts to be part of logic [Frege, by Shapiro] |
22152 | Aristotelians accept the analytic-synthetic distinction [Boulter] |
22156 | The facts about human health are the measure of the values in our lives [Boulter] |