40 ideas
8368 | A correct definition is what can be substituted without loss of meaning [Ducasse] |
9470 | Modal logic is not an extensional language [Parsons,C] |
13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
22886 | The modern idea of 'limit' allows infinite quantities to have a finite sum [Bardon] |
18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
22914 | An equally good question would be why there was nothing instead of something [Bardon] |
13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
8367 | Causation is defined in terms of a single sequence, and constant conjunction is no part of it [Ducasse] |
8372 | We see what is in common between causes to assign names to them, not to perceive them [Ducasse] |
8369 | Causes are either sufficient, or necessary, or necessitated, or contingent upon [Ducasse] |
8373 | When a brick and a canary-song hit a window, we ignore the canary if we are interested in the breakage [Ducasse] |
8370 | A cause is a change which occurs close to the effect and just before it [Ducasse] |
8371 | Recurrence is only relevant to the meaning of law, not to the meaning of cause [Ducasse] |
8374 | We are interested in generalising about causes and effects purely for practical purposes [Ducasse] |
22902 | Why does an effect require a prior event if the prior event isn't a cause? [Bardon] |
22905 | Becoming disordered is much easier for a system than becoming ordered [Bardon] |
22913 | The universe expands, so space-time is enlarging [Bardon] |
22889 | We should treat time as adverbial, so we don't experience time, we experience things temporally [Bardon, by Bardon] |
22900 | How can we question the passage of time, if the question takes time to ask? [Bardon] |
22898 | What is time's passage relative to, and how fast does it pass? [Bardon] |
22897 | The A-series says a past event is becoming more past, but how can it do that? [Bardon] |
22896 | The B-series is realist about time, but idealist about its passage [Bardon] |
22901 | The B-series needs a revised view of causes, laws and explanations [Bardon] |
22903 | The B-series adds directionality when it accepts 'earlier' and 'later' [Bardon] |
22910 | To define time's arrow by causation, we need a timeless definition of causation [Bardon] |
22909 | We judge memories to be of the past because the events cause the memories [Bardon] |
22904 | The psychological arrow of time is the direction from our memories to our anticipations [Bardon] |
22906 | The direction of entropy is probabilistic, not necessary, so cannot be identical to time's arrow [Bardon] |
22907 | It is arbitrary to reverse time in a more orderly universe, but not in a sub-system of it [Bardon] |
22883 | It seems hard to understand change without understanding time first [Bardon] |
22890 | We experience static states (while walking round a house) and observe change (ship leaving dock) [Bardon] |
22884 | The motion of a thing should be a fact in the present moment [Bardon] |
22892 | Experiences of motion may be overlapping, thus stretching out the experience [Bardon] |
22912 | Time travel is not a paradox if we include it in the eternal continuum of events [Bardon] |
22911 | At least eternal time gives time travellers a possible destination [Bardon] |
22882 | We use calendars for the order of events, and clocks for their passing [Bardon] |