44 ideas
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] |
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] |
16643 | Accidents always remain suited to a subject [Bonaventura] |
8502 | Realism doesn't explain 'a is F' any further by saying it is 'a has F-ness' [Devitt] |
8503 | The particular/universal distinction is unhelpful clutter; we should accept 'a is F' as basic [Devitt] |
8501 | Quineans take predication about objects as basic, not reference to properties they may have [Devitt] |
17368 | Essentialism concerns the nature of a group, not its category [Devitt] |
17370 | Things that gradually change, like species, can still have essences [Devitt] |
16696 | Successive things reduce to permanent things [Bonaventura] |
17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
9354 | Why should necessities only be knowable a priori? That Hesperus is Phosporus is known empirically [Devitt] |
19565 | How could the mind have a link to the necessary character of reality? [Devitt] |
17714 | Aristotelians dislike the idea of a priori judgements from pure reason [Mares] |
9353 | We explain away a priori knowledge, not as directly empirical, but as indirectly holistically empirical [Devitt] |
9356 | The idea of the a priori is so obscure that it won't explain anything [Devitt] |
19564 | Some knowledge must be empirical; naturalism implies that all knowledge is like that [Devitt] |
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] |
17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
17708 | Maybe space has points, but processes always need regions with a size [Mares] |
17369 | We name species as small to share properties, but large enough to yield generalisations [Devitt] |
17367 | Species are phenetic, biological, niche, or phylogenetic-cladistic [Devitt, by PG] |
17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |
17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |