91 ideas
| 22611 | Metaphysics can criticise interpretations of science theories, and give good feedback [Ingthorsson] |
| 23000 | Vicious regresses force you to another level; non-vicious imply another level [Baron/Miller] |
| 13252 | Some truths have true negations [Beall/Restall] |
| 13247 | A truthmaker is an object which entails a sentence [Beall/Restall] |
| 13249 | (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall] |
| 13243 | Excluded middle must be true for some situation, not for all situations [Beall/Restall] |
| 13242 | It's 'relevantly' valid if all those situations make it true [Beall/Restall] |
| 13246 | Relevant logic does not abandon classical logic [Beall/Restall] |
| 13245 | Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall] |
| 13254 | A doesn't imply A - that would be circular [Beall/Restall] |
| 13255 | Relevant logic may reject transitivity [Beall/Restall] |
| 13250 | Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall] |
| 13235 | Logic studies consequence; logical truths are consequences of everything, or nothing [Beall/Restall] |
| 13238 | Syllogisms are only logic when they use variables, and not concrete terms [Beall/Restall] |
| 13234 | The view of logic as knowing a body of truths looks out-of-date [Beall/Restall] |
| 13232 | Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall] |
| 22609 | Philosophers accepted first-order logic, because they took science to be descriptive, not explanatory [Ingthorsson] |
| 13241 | The model theory of classical predicate logic is mathematics [Beall/Restall] |
| 13253 | There are several different consequence relations [Beall/Restall] |
| 13240 | A sentence follows from others if they always model it [Beall/Restall] |
| 13236 | Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall] |
| 13237 | Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall] |
| 23024 | A traveller takes a copy of a picture into the past, gives it the artist, who then creates the original! [Baron/Miller] |
| 22629 | Basic processes are said to be either physical, or organic, or psychological [Ingthorsson] |
| 23008 | Grounding is intended as a relation that fits dependences between things [Baron/Miller] |
| 22633 | Indirect realists are cautious about the manifest image, and prefer the scientific image [Ingthorsson] |
| 22606 | Neo-Humeans say there are no substantial connections between anything [Ingthorsson] |
| 22631 | Properties are said to be categorical qualities or non-qualitative dispositions [Ingthorsson] |
| 22632 | Physics understands the charge of an electron as a power, not as a quality [Ingthorsson] |
| 22627 | Compound objects are processes, insofar as change is essential to them [Ingthorsson] |
| 22613 | Most materialist views postulate smallest indivisible components which are permanent [Ingthorsson] |
| 22612 | Endurance and perdurance just show the consequences of A or B series time [Ingthorsson] |
| 22625 | Science suggests causal aspects of the constitution and persistance of objects [Ingthorsson] |
| 23018 | How does a changing object retain identity or have incompatible properties over time? [Baron/Miller] |
| 22620 | If causation involves production, that needs persisting objects [Ingthorsson] |
| 13244 | Relevant necessity is always true for some situation (not all situations) [Beall/Restall] |
| 22636 | Every philosophical theory must be true in some possible world, so the ontology is hopeless [Ingthorsson] |
| 22638 | Worlds may differ in various respects, but no overall similarity of worlds is implied [Ingthorsson] |
| 13239 | Judgement is always predicating a property of a subject [Beall/Restall] |
| 13248 | We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall] |
| 13233 | Propositions commit to content, and not to any way of spelling it out [Beall/Restall] |
| 23011 | Modern accounts of causation involve either processes or counterfactuals [Baron/Miller] |
| 22605 | Humeans describe the surface of causation, while powers accounts aim at deeper explanations [Ingthorsson] |
| 22607 | Time and space are not causal, but they determine natural phenomena [Ingthorsson] |
| 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] |
| 22608 | Casuation is the transmission of conserved quantities between causal processes [Ingthorsson] |
| 22621 | Causation as transfer only works for asymmetric interactions [Ingthorsson] |
| 22614 | Interventionist causal theory says it gets a reliable result whenever you manipulate it [Ingthorsson] |
| 22639 | Causal events are always reciprocal, and there is no distinction of action and reaction [Ingthorsson] |
| 22615 | One effect cannot act on a second effect in causation, because the second doesn't yet exist [Ingthorsson] |
| 22616 | Empiricists preferred events to objects as the relata, because they have observable motions [Ingthorsson] |
| 22617 | Science now says all actions are reciprocal, not unidirectional [Ingthorsson] |
| 22619 | Causes are not agents; the whole interaction is the cause, and the changed compound is the effect [Ingthorsson] |
| 22635 | People only accept the counterfactual when they know the underlying cause [Ingthorsson] |
| 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] |
| 22634 | Counterfactuals don't explain causation, but causation can explain counterfactuals [Ingthorsson] |
| 22637 | Counterfactual theories are false in possible worlds where causation is actual [Ingthorsson] |
| 22624 | A cause can fail to produce its normal effect, by prevention, pre-emption, finks or antidotes [Ingthorsson] |
| 22622 | Any process can go backwards or forwards in time without violating the basic laws of physics [Ingthorsson] |
| 22618 | In modern physics the first and second laws of motion (unlike the third) fail at extremes [Ingthorsson] |
| 23009 | There is no second 'law' of thermodynamics; it just reflects probabilities of certain microstates [Baron/Miller] |
| 22630 | If particles have decay rates, they can't really be elementary, in the sense of indivisible [Ingthorsson] |
| 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] |
| 22610 | It is difficult to handle presentism in first-order logic [Ingthorsson] |
| 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] |