54 ideas
16877 | A 'constructive' (as opposed to 'analytic') definition creates a new sign [Frege] |
11219 | Frege suggested that mathematics should only accept stipulative definitions [Frege, by Gupta] |
16878 | We must be clear about every premise and every law used in a proof [Frege] |
18074 | Intuitionists rely on assertability instead of truth, but assertability relies on truth [Kitcher] |
16867 | Logic not only proves things, but also reveals logical relations between them [Frege] |
16863 | Does some mathematical reasoning (such as mathematical induction) not belong to logic? [Frege] |
16862 | The closest subject to logic is mathematics, which does little apart from drawing inferences [Frege] |
16865 | 'Theorems' are both proved, and used in proofs [Frege] |
16866 | Tracing inference backwards closes in on a small set of axioms and postulates [Frege] |
16868 | The essence of mathematics is the kernel of primitive truths on which it rests [Frege] |
16870 | Axioms are truths which cannot be doubted, and for which no proof is needed [Frege] |
16871 | A truth can be an axiom in one system and not in another [Frege] |
6298 | Kitcher says maths is an idealisation of the world, and our operations in dealing with it [Kitcher, by Resnik] |
12392 | Mathematical a priorism is conceptualist, constructivist or realist [Kitcher] |
16869 | To create order in mathematics we need a full system, guided by patterns of inference [Frege] |
18078 | The interest or beauty of mathematics is when it uses current knowledge to advance undestanding [Kitcher] |
12426 | The 'beauty' or 'interest' of mathematics is just explanatory power [Kitcher] |
12395 | Real numbers stand to measurement as natural numbers stand to counting [Kitcher] |
12425 | Complex numbers were only accepted when a geometrical model for them was found [Kitcher] |
18071 | A one-operation is the segregation of a single object [Kitcher] |
18066 | The old view is that mathematics is useful in the world because it describes the world [Kitcher] |
18083 | With infinitesimals, you divide by the time, then set the time to zero [Kitcher] |
16864 | If principles are provable, they are theorems; if not, they are axioms [Frege] |
18061 | Mathematical intuition is not the type platonism needs [Kitcher] |
12420 | If mathematics comes through intuition, that is either inexplicable, or too subjective [Kitcher] |
12393 | Intuition is no basis for securing a priori knowledge, because it is fallible [Kitcher] |
12387 | Mathematical knowledge arises from basic perception [Kitcher] |
12412 | My constructivism is mathematics as an idealization of collecting and ordering objects [Kitcher] |
18065 | We derive limited mathematics from ordinary things, and erect powerful theories on their basis [Kitcher] |
18077 | The defenders of complex numbers had to show that they could be expressed in physical terms [Kitcher] |
12423 | Analyticity avoids abstract entities, but can there be truth without reference? [Kitcher] |
18068 | Arithmetic is made true by the world, but is also made true by our constructions [Kitcher] |
18069 | Arithmetic is an idealizing theory [Kitcher] |
18070 | We develop a language for correlations, and use it to perform higher level operations [Kitcher] |
18072 | Constructivism is ontological (that it is the work of an agent) and epistemological (knowable a priori) [Kitcher] |
18063 | Conceptualists say we know mathematics a priori by possessing mathematical concepts [Kitcher] |
18064 | If meaning makes mathematics true, you still need to say what the meanings refer to [Kitcher] |
18067 | Abstract objects were a bad way of explaining the structure in mathematics [Kitcher] |
9388 | Every concept must have a sharp boundary; we cannot allow an indeterminate third case [Frege] |
12390 | A priori knowledge comes from available a priori warrants that produce truth [Kitcher] |
12418 | In long mathematical proofs we can't remember the original a priori basis [Kitcher] |
12389 | Knowledge is a priori if the experience giving you the concepts thus gives you the knowledge [Kitcher] |
12416 | We have some self-knowledge a priori, such as knowledge of our own existence [Kitcher] |
12413 | A 'warrant' is a process which ensures that a true belief is knowledge [Kitcher] |
20473 | If experiential can defeat a belief, then its justification depends on the defeater's absence [Kitcher, by Casullo] |
18075 | Idealisation trades off accuracy for simplicity, in varying degrees [Kitcher] |
16876 | We need definitions to cram retrievable sense into a signed receptacle [Frege] |
16875 | We use signs to mark receptacles for complex senses [Frege] |
16879 | A sign won't gain sense just from being used in sentences with familiar components [Frege] |
16873 | Thoughts are not subjective or psychological, because some thoughts are the same for us all [Frege] |
16872 | A thought is the sense expressed by a sentence, and is what we prove [Frege] |
16874 | The parts of a thought map onto the parts of a sentence [Frege] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |