18 ideas
7807 | The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra] |
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] |
13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
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] |
17265 | Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder] |
4869 | Experience does not teach us any essences of things [Spinoza] |
22328 | I just confront the evidence, and let it act on me [Ramsey] |
9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by Dummett] |
22325 | A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey] |
22276 | Bolzano saw propositions as objective entities, existing independently of us [Bolzano, by Potter] |
17264 | Propositions are abstract structures of concepts, ready for judgement or assertion [Bolzano, by Correia/Schnieder] |
12232 | A 'proposition' is the sense of a linguistic expression, and can be true or false [Bolzano] |
12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |