73 ideas
23000 | Vicious regresses force you to another level; non-vicious imply another level [Baron/Miller] |
18074 | Intuitionists rely on assertability instead of truth, but assertability relies on truth [Kitcher] |
12430 | Classical logic is our preconditions for assessing empirical evidence [Kitcher] |
12431 | I believe classical logic because I was taught it and use it, but it could be undermined [Kitcher] |
23024 | A traveller takes a copy of a picture into the past, gives it the artist, who then creates the original! [Baron/Miller] |
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] |
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] |
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] |
18069 | Arithmetic is an idealizing theory [Kitcher] |
18068 | Arithmetic is made true by the world, but is also made true by our constructions [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] |
23008 | Grounding is intended as a relation that fits dependences between things [Baron/Miller] |
18067 | Abstract objects were a bad way of explaining the structure in mathematics [Kitcher] |
23018 | How does a changing object retain identity or have incompatible properties over time? [Baron/Miller] |
12428 | Many necessities are inexpressible, and unknowable a priori [Kitcher] |
12429 | Knowing our own existence is a priori, but not necessary [Kitcher] |
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] |
3032 | I can form no notion of what the good is [Amphis] |
23011 | Modern accounts of causation involve either processes or counterfactuals [Baron/Miller] |
23013 | The main process theory of causation says it is transference of mass, energy, momentum or charge [Baron/Miller] |
23014 | If causes are processes, what is causation by omission? (Distinguish legal from scientific causes?) [Baron/Miller] |
23015 | The counterfactual theory of causation handles the problem no matter what causes actually are [Baron/Miller] |
23016 | Counterfactual theories struggle with pre-emption by a causal back-up system [Baron/Miller] |
23009 | There is no second 'law' of thermodynamics; it just reflects probabilities of certain microstates [Baron/Miller] |
23002 | In relativity space and time depend on one's motion, but spacetime gives an invariant metric [Baron/Miller] |
22988 | The block universe theory says entities of all times exist, and time is the B-series [Baron/Miller] |
22991 | How can we know this is the present moment, if other times are real? [Baron/Miller] |
22992 | If we are actually in the past then we shouldn't experience time passing [Baron/Miller] |
22994 | Erzatz Presentism allows the existence of other times, with only the present 'actualised' [Baron/Miller] |
22998 | How do presentists explain relations between things existing at different times? [Baron/Miller] |
23017 | Presentism needs endurantism, because other theories imply most of the object doesn't exist [Baron/Miller] |
23023 | How can presentists move to the next future moment, if that doesn't exist? [Baron/Miller] |
22995 | Most of the sciences depend on the concept of time [Baron/Miller] |
22993 | For abstractionists past times might still exist, althought their objects don't [Baron/Miller] |
23001 | The error theory of time's passage says it is either a misdescription or a false inference [Baron/Miller] |
22999 | It is meaningless to measure the rate of time using time itself, and without a rate there is no flow [Baron/Miller] |
22986 | The C-series rejects A and B, and just sees times as order by betweenness, without direction [Baron/Miller] |
22996 | The A-series has to treat being past, present or future as properties [Baron/Miller] |
23007 | The B-series can have a direction, as long as it does not arise from temporal flow [Baron/Miller] |
23003 | Static theories cannot account for time's obvious asymmetry, so time must be dynamic [Baron/Miller] |
23004 | The direction of time is either primitive, or reducible to something else [Baron/Miller] |
23005 | The kaon does not seem to be time-reversal invariant, unlike the rest of nature [Baron/Miller] |
23006 | Maybe the past is just the direction of decreasing entropy [Baron/Miller] |
23010 | We could explain time's direction by causation: past is the direction of causes, future of effects [Baron/Miller] |
22989 | Static time theory presents change as one property at t1, and a different property at t2 [Baron/Miller] |
23020 | If a time traveller kills his youthful grandfather, he both exists and fails to exist [Baron/Miller] |
23022 | Presentism means there no existing past for a time traveller to visit [Baron/Miller] |
22987 | The past (unlike the future) is fixed, along with truths about it, by the existence of past objects [Baron/Miller] |
22990 | The moving spotlight says entities can have properties of being present, past or future [Baron/Miller] |
22997 | The present moment is a matter of existence, not of acquiring a property [Baron/Miller] |