19 ideas
13430 | Infinity: there is an infinity of distinguishable individuals [Ramsey] |
13428 | Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey] |
13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
13733 | Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn] |
9874 | Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege] |
13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
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] |
13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey] |
13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey] |
3570 | Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M] |
22328 | I just confront the evidence, and let it act on me [Ramsey] |
22325 | A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey] |
2748 | A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J] |
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] |