93 ideas
9161 | Maybe reasonableness requires circular justifications - that is one coherentist view [Field,H] |
10825 | The notion of truth is to help us make use of the utterances of others [Field,H] |
10820 | In the early 1930s many philosophers thought truth was not scientific [Field,H] |
15186 | In the tenseless view, all times are equally real, so statements of the future have truth-values [Le Poidevin] |
13499 | Tarski reduced truth to reference or denotation [Field,H, by Hart,WD] |
10818 | Tarski really explained truth in terms of denoting, predicating and satisfied functions [Field,H] |
10817 | Tarski just reduced truth to some other undefined semantic notions [Field,H] |
9570 | In Field's Platonist view, set theory is false because it asserts existence for non-existent things [Field,H, by Chihara] |
10260 | Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro] |
10819 | Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H] |
10827 | Model theory is unusual in restricting the range of the quantifiers [Field,H] |
9226 | If mathematical theories conflict, it may just be that they have different subject matter [Field,H] |
8958 | In Field's version of science, space-time points replace real numbers [Field,H, by Szabó] |
18221 | 'Metric' axioms uses functions, points and numbers; 'synthetic' axioms give facts about space [Field,H] |
8757 | The Indispensability Argument is the only serious ground for the existence of mathematical entities [Field,H] |
18212 | Nominalists try to only refer to physical objects, or language, or mental constructions [Field,H] |
10261 | The application of mathematics only needs its possibility, not its truth [Field,H, by Shapiro] |
18218 | Hilbert explains geometry, by non-numerical facts about space [Field,H] |
9623 | Field needs a semantical notion of second-order consequence, and that needs sets [Brown,JR on Field,H] |
18215 | It seems impossible to explain the idea that the conclusion is contained in the premises [Field,H] |
18216 | Abstractions can form useful counterparts to concrete statements [Field,H] |
18214 | Mathematics is only empirical as regards which theory is useful [Field,H] |
8714 | Fictionalists say 2+2=4 is true in the way that 'Oliver Twist lived in London' is true [Field,H] |
18210 | Why regard standard mathematics as truths, rather than as interesting fictions? [Field,H] |
22919 | A thing which makes no difference seems unlikely to exist [Le Poidevin] |
18211 | You can reduce ontological commitment by expanding the logic [Field,H] |
8959 | Field presumes properties can be eliminated from science [Field,H, by Szabó] |
18213 | Abstract objects are only applicable to the world if they are impure, and connect to the physical [Field,H] |
9160 | Lots of propositions are default reasonable, but the a priori ones are empirically indefeasible [Field,H] |
9164 | We treat basic rules as if they were indefeasible and a priori, with no interest in counter-evidence [Field,H] |
9165 | Reliability only makes a rule reasonable if we place a value on the truth produced by reliable processes [Field,H] |
9162 | Believing nothing, or only logical truths, is very reliable, but we want a lot more than that [Field,H] |
9166 | People vary in their epistemological standards, and none of them is 'correct' [Field,H] |
15207 | We want illuminating theories, rather than coherent theories [Le Poidevin] |
9163 | If we only use induction to assess induction, it is empirically indefeasible, and hence a priori [Field,H] |
22926 | In addition to causal explanations, they can also be inferential, or definitional, or purposive [Le Poidevin] |
18222 | Beneath every extrinsic explanation there is an intrinsic explanation [Field,H] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
10826 | 'Valence' and 'gene' had to be reduced to show their compatibility with physicalism [Field,H] |
9917 | 'Abstract' is unclear, but numbers, functions and sets are clearly abstract [Field,H] |
22244 | 'Partial reference' is when the subject thinks two objects are one object [Field,H, by Recanati] |
7615 | Field says reference is a causal physical relation between mental states and objects [Field,H, by Putnam] |
22932 | We don't just describe a time as 'now' from a private viewpoint, but as a fact about the world [Le Poidevin] |
6866 | It is disturbing if we become unreal when we die, but if time is unreal, then we remain real after death [Le Poidevin] |
15190 | Evil can't be an illusion, because then the illusion that there is evil would be evil [Le Poidevin] |
6867 | Existentialism focuses on freedom and self-making, and insertion into the world [Le Poidevin] |
22927 | The logical properties of causation are asymmetry, transitivity and irreflexivity [Le Poidevin] |
8404 | Explain single events by general rules, or vice versa, or probability explains both, or they are unconnected [Field,H] |
8401 | Physical laws are largely time-symmetric, so they make a poor basis for directional causation [Field,H] |
8400 | Identifying cause and effect is not just conventional; we explain later events by earlier ones [Field,H] |
8402 | The only reason for adding the notion of 'cause' to fundamental physics is directionality [Field,H] |
18223 | In theories of fields, space-time points or regions are causal agents [Field,H] |
22922 | We can identify unoccupied points in space, so they must exist [Le Poidevin] |
22924 | If spatial points exist, then they must be stationary, by definition [Le Poidevin] |
18220 | Both philosophy and physics now make substantivalism more attractive [Field,H] |
22923 | Absolute space explains actual and potential positions, and geometrical truths [Le Poidevin] |
22928 | For relationists moving an object beyond the edge of space creates new space [Le Poidevin] |
18219 | Relational space is problematic if you take the idea of a field seriously [Field,H] |
22931 | We distinguish time from space, because it passes, and it has a unique present moment [Le Poidevin] |
22917 | Since nothing occurs in a temporal vacuum, there is no way to measure its length [Le Poidevin] |
22921 | Temporal vacuums would be unexperienced, unmeasured, and unending [Le Poidevin] |
15195 | If the future is not real, we don't seem to have any obligation to future individuals [Le Poidevin] |
15188 | If things don't persist through time, then change makes no sense [Le Poidevin] |
22934 | Time can't speed up or slow down, so it doesn't seem to be a 'process' [Le Poidevin] |
15191 | At the very least, minds themselves seem to be tensed [Le Poidevin] |
15197 | Fiction seems to lack a tensed perspective, and offers an example of tenseless language [Le Poidevin] |
15206 | It is the view of the future that really decides between tensed and tenseless views of time [Le Poidevin] |
15198 | In the B-series, time-positions are unchanging; in the A-series they change (from future to present to past) [Le Poidevin] |
15189 | Things which have ceased change their A-series position; things that persist change their B-series position [Le Poidevin] |
6865 | A-theory says past, present, future and flow exist; B-theory says this just reports our perspective [Le Poidevin] |
15192 | We share a common now, but not a common here [Le Poidevin] |
15187 | It is claimed that the tense view entails the unreality of both future and past [Le Poidevin] |
15205 | Tensed theorists typically try to reduce the tenseless to the tensed [Le Poidevin] |
15193 | The new tenseless theory offers indexical truth-conditions, instead of a reductive analysis [Le Poidevin] |
22938 | To say that the past causes the present needs them both to be equally real [Le Poidevin] |
22939 | The B-series doesn't seem to allow change [Le Poidevin] |
22940 | If the B-universe is eternal, why am I trapped in a changing moment of it? [Le Poidevin] |
22953 | Time's arrow is not causal if there is no temporal gap between cause and effect [Le Poidevin] |
22947 | An ordered series can be undirected, but time favours moving from earlier to later [Le Poidevin] |
22952 | If time's arrow is causal, how can there be non-simultaneous events that are causally unconnected? [Le Poidevin] |
22951 | If time's arrow is psychological then different minds can impose different orders on events [Le Poidevin] |
22948 | There are Thermodynamic, Psychological and Causal arrows of time [Le Poidevin] |
22949 | Presumably if time's arrow is thermodynamic then time ends when entropy is complete [Le Poidevin] |
22950 | If time is thermodynamic then entropy is necessary - but the theory says it is probable [Le Poidevin] |
22943 | Instantaneous motion is an intrinsic disposition to be elsewhere [Le Poidevin] |
22945 | The dynamic view of motion says it is primitive, and not reducible to objects, properties and times [Le Poidevin] |
22937 | If the present could have diverse pasts, then past truths can't have present truthmakers [Le Poidevin] |
22925 | The present is the past/future boundary, so the first moment of time was not present [Le Poidevin] |
22944 | The primitive parts of time are intervals, not instants [Le Poidevin] |
22942 | If time is infinitely divisible, then the present must be infinitely short [Le Poidevin] |
22946 | The multiverse is distinct time-series, as well as spaces [Le Poidevin] |
15196 | God being inside or outside of time both raise a group of difficult problems [Le Poidevin] |
22941 | How could a timeless God know what time it is? So could God be both timeless and omniscient? [Le Poidevin] |