112 ideas
| 2797 | As coherence expands its interrelations become steadily tighter, culminating only in necessary truth [Dancy,J] |
| 19023 | Slippery slope arguments are challenges to show where a non-arbitrary boundary lies [Vetter] |
| 2768 | The correspondence theory also has the problem that two sets of propositions might fit the facts equally well [Dancy,J] |
| 2769 | If one theory is held to be true, all the other theories appear false, because they can't be added to the true one [Dancy,J] |
| 2765 | Rescher says that if coherence requires mutual entailment, this leads to massive logical redundancy [Dancy,J] |
| 2766 | Even with a tight account of coherence, there is always the possibility of more than one set of coherent propositions [Dancy,J] |
| 19033 | Deontic modalities are 'ought-to-be', for sentences, and 'ought-to-do' for predicates [Vetter] |
| 19032 | S5 is undesirable, as it prevents necessities from having contingent grounds [Vetter] |
| 19036 | The Barcan formula endorses either merely possible things, or makes the unactualised impossible [Vetter] |
| 10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
| 10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
| 10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
| 10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
| 10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
| 10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
| 10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
| 10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
| 10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
| 10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
| 10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
| 10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
| 19034 | The world is either a whole made of its parts, or a container which contains its parts [Vetter] |
| 19015 | Grounding can be between objects ('relational'), or between sentences ('operational') [Vetter] |
| 19012 | The Humean supervenience base entirely excludes modality [Vetter] |
| 2781 | Realism says that most perceived objects exist, and have some of their perceived properties [Dancy,J] |
| 19024 | A determinate property must be a unique instance of the determinable class [Vetter] |
| 17954 | Essence is a thing's necessities, but what about its possibilities (which may not be realised)? [Vetter] |
| 19021 | I have an 'iterated ability' to learn the violin - that is, the ability to acquire that ability [Vetter] |
| 19016 | We should think of dispositions as 'to do' something, not as 'to do something, if ....' [Vetter] |
| 19017 | Nomological dispositions (unlike ordinary ones) have to be continually realised [Vetter] |
| 19014 | How can spatiotemporal relations be understood in dispositional terms? [Vetter] |
| 17953 | Real definition fits abstracta, but not individual concrete objects like Socrates [Vetter] |
| 17952 | Modal accounts make essence less mysterious, by basing them on the clearer necessity [Vetter] |
| 19030 | Why does origin matter more than development; why are some features of origin more important? [Vetter] |
| 19040 | We take origin to be necessary because we see possibilities as branches from actuality [Vetter] |
| 19008 | The modern revival of necessity and possibility treated them as special cases of quantification [Vetter] |
| 19029 | It is necessary that p means that nothing has the potentiality for not-p [Vetter] |
| 17959 | Metaphysical necessity is even more deeply empirical than Kripke has argued [Vetter] |
| 17955 | Possible worlds allow us to talk about degrees of possibility [Vetter] |
| 17957 | Maybe possibility is constituted by potentiality [Vetter] |
| 19010 | All possibility is anchored in the potentiality of individual objects [Vetter] |
| 19013 | Possibility is a generalised abstraction from the potentiality of its bearer [Vetter] |
| 19028 | Possibilities are potentialities of actual things, but abstracted from their location [Vetter] |
| 23705 | A potentiality may not be a disposition, but dispositions are strong potentialities [Vetter, by Friend/Kimpton-Nye] |
| 19009 | Potentiality does the explaining in metaphysics; we don't explain it away or reduce it [Vetter] |
| 19019 | Potentiality is the common genus of dispositions, abilities, and similar properties [Vetter] |
| 19027 | Potentiality logic is modal system T. Stronger systems collapse iterations, and necessitate potentials [Vetter] |
| 19022 | Water has a potentiality to acquire a potentiality to break (by freezing) [Vetter] |
| 19025 | Potentialities may be too weak to count as 'dispositions' [Vetter] |
| 19031 | There are potentialities 'to ...', but possibilities are 'that ....'. [Vetter] |
| 17958 | The apparently metaphysically possible may only be epistemically possible [Vetter] |
| 17956 | Closeness of worlds should be determined by the intrinsic nature of relevant objects [Vetter] |
| 19011 | If worlds are sets of propositions, how do we know which propositions are genuinely possible? [Vetter] |
| 19037 | Are there possible objects which nothing has ever had the potentiality to produce? [Vetter] |
| 2745 | A pupil who lacks confidence may clearly know something but not be certain of it [Dancy,J] |
| 2755 | If senses are fallible, then being open to correction is an epistemological virtue [Dancy,J] |
| 5677 | Naïve direct realists hold that objects retain all of their properties when unperceived [Dancy,J] |
| 5678 | Scientific direct realism says we know some properties of objects directly [Dancy,J] |
| 5681 | Maybe we are forced from direct into indirect realism by the need to explain perceptual error [Dancy,J] |
| 5683 | Indirect realism depends on introspection, the time-lag, illusions, and neuroscience [Dancy,J, by PG] |
| 5682 | Internal realism holds that we perceive physical objects via mental objects [Dancy,J] |
| 2778 | Phenomenalism includes possible experiences, but idealism only refers to actual experiences [Dancy,J] |
| 5684 | Eliminative idealists say there are no objects; reductive idealists say objects exist as complex experiences [Dancy,J] |
| 2777 | Extreme solipsism only concerns current experience, but it might include past and future [Dancy,J] |
| 2794 | Knowing that a cow is not a horse seems to be a synthetic a priori truth [Dancy,J] |
| 2780 | Perception is either direct realism, indirect realism, or phenomenalism [Dancy,J] |
| 5679 | We can't grasp the separation of quality types, or what a primary-quality world would be like [Dancy,J] |
| 5680 | For direct realists the secondary and primary qualities seem equally direct [Dancy,J] |
| 2782 | We can be looking at distant stars which no longer actually exist [Dancy,J] |
| 2775 | It is not clear from the nature of sense data whether we should accept them as facts [Dancy,J] |
| 2784 | Appearances don't guarantee reality, unless the appearance is actually caused by the reality [Dancy,J] |
| 2785 | Perceptual beliefs may be directly caused, but generalisations can't be [Dancy,J] |
| 2788 | If perception and memory are indirect, then two things stand between mind and reality [Dancy,J] |
| 2787 | Memories aren't directly about the past, because time-lags and illusions suggest representation [Dancy,J] |
| 2791 | Phenomenalism about memory denies the past, or reduces it to present experience [Dancy,J] |
| 2790 | I can remember plans about the future, and images aren't essential (2+3=5) [Dancy,J] |
| 2754 | Foundations are justified by non-beliefs, or circularly, or they need no justification [Dancy,J] |
| 2749 | For internalists we must actually know that the fact caused the belief [Dancy,J] |
| 2770 | Internalists tend to favour coherent justification, but not the coherence theory of truth [Dancy,J] |
| 2752 | Foundationalism requires inferential and non-inferential justification [Dancy,J] |
| 2771 | Foundationalists must accept not only the basic beliefs, but also rules of inference for further progress [Dancy,J] |
| 2756 | If basic beliefs can be false, falsehood in non-basic beliefs might by a symptom [Dancy,J] |
| 2753 | Beliefs can only be infallible by having almost no content [Dancy,J] |
| 2773 | Coherentism gives a possible justification of induction, and opposes scepticism [Dancy,J] |
| 2779 | Idealists must be coherentists, but coherentists needn't be idealists [Dancy,J] |
| 2786 | For coherentists justification and truth are not radically different things [Dancy,J] |
| 2767 | If it is empirical propositions which have to be coherent, this eliminates coherent fiction [Dancy,J] |
| 2776 | Externalism could even make belief unnecessary (e.g. in animals) [Dancy,J] |
| 2746 | How can a causal theory of justification show that all men die? [Dancy,J] |
| 2747 | Causal theories don't allow for errors in justification [Dancy,J] |
| 2772 | Coherentism moves us towards a more social, shared view of knowledge [Dancy,J] |
| 2743 | What is the point of arguing against knowledge, if being right undermines your own argument? [Dancy,J] |
| 2751 | Probabilities can only be assessed relative to some evidence [Dancy,J] |
| 19018 | Explanations by disposition are more stable and reliable than those be external circumstances [Vetter] |
| 19020 | Grounding is a kind of explanation, suited to metaphysics [Vetter] |
| 2757 | The argument from analogy rests on one instance alone [Dancy,J] |
| 2758 | You can't separate mind and behaviour, as the analogy argument attempts [Dancy,J] |
| 2744 | Verificationism (the 'verification principle') is an earlier form of anti-realism [Dancy,J] |
| 2760 | Logical positivism implies foundationalism, by dividing weak from strong verifications [Dancy,J] |
| 2761 | If the meanings of sentences depend on other sentences, how did we learn language? [Dancy,J] |
| 2763 | There is an indeterminacy in juggling apparent meanings against probable beliefs [Dancy,J] |
| 2762 | Charity makes native beliefs largely true, and Humanity makes them similar to ours [Dancy,J] |
| 7260 | If there are intuited moral facts, why should we care about them? [Dancy,J] |
| 7261 | Internalists say that moral intuitions are motivating; externalist say a desire is also needed [Dancy,J] |
| 7262 | Obviously judging an action as wrong gives us a reason not to do it [Dancy,J] |
| 7265 | Moral facts are not perceived facts, but perceived reasons for judgements [Dancy,J] |
| 18681 | The base for values has grounds, catalysts and intensifiers [Dancy,J, by Orsi] |
| 19039 | The view that laws are grounded in substance plus external necessity doesn't suit dispositionalism [Vetter] |
| 19038 | Dispositional essentialism allows laws to be different, but only if the supporting properties differ [Vetter] |
| 17993 | Laws are relations of kinds, quantities and qualities, supervening on the essences of a domain [Vetter] |
| 19026 | If time is symmetrical between past and future, why do they look so different? [Vetter] |
| 19041 | Presentists explain cross-temporal relations using surrogate descriptions [Vetter] |