60 ideas
22611 | Metaphysics can criticise interpretations of science theories, and give good feedback [Ingthorsson] |
17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
18789 | Intuitionist logic looks best as natural deduction [Mares] |
18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
22609 | Philosophers accepted first-order logic, because they took science to be descriptive, not explanatory [Ingthorsson] |
18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
18782 | The connectives are studied either through model theory or through proof theory [Mares] |
18783 | Many-valued logics lack a natural deduction system [Mares] |
18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
17715 | The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares] |
17716 | Mathematics is relations between properties we abstract from experience [Mares] |
18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
22629 | Basic processes are said to be either physical, or organic, or psychological [Ingthorsson] |
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] |
22620 | If causation involves production, that needs persisting objects [Ingthorsson] |
17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
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] |
17714 | Aristotelians dislike the idea of a priori judgements from pure reason [Mares] |
17705 | Empiricists say rationalists mistake imaginative powers for modal insights [Mares] |
17700 | The most popular view is that coherent beliefs explain one another [Mares] |
17704 | Operationalism defines concepts by our ways of measuring them [Mares] |
17710 | Aristotelian justification uses concepts abstracted from experience [Mares] |
17706 | The essence of a concept is either its definition or its conceptual relations? [Mares] |
18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
17701 | Possible worlds semantics has a nice compositional account of modal statements [Mares] |
17702 | Unstructured propositions are sets of possible worlds; structured ones have components [Mares] |
20930 | The existence of law is one thing, its merits and demerits another [Austin,J] |
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] |
22608 | Casuation is the transmission of conserved quantities between causal processes [Ingthorsson] |
22614 | Interventionist causal theory says it gets a reliable result whenever you manipulate it [Ingthorsson] |
22621 | Causation as transfer only works for asymmetric interactions [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] |
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] |
22630 | If particles have decay rates, they can't really be elementary, in the sense of indivisible [Ingthorsson] |
17708 | Maybe space has points, but processes always need regions with a size [Mares] |
22610 | It is difficult to handle presentism in first-order logic [Ingthorsson] |