97 ideas
2797 | As coherence expands its interrelations become steadily tighter, culminating only in necessary truth [Dancy,J] |
2768 | The correspondence theory also has the problem that two sets of propositions might fit the facts equally well [Dancy,J] |
2765 | Rescher says that if coherence requires mutual entailment, this leads to massive logical redundancy [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] |
2766 | Even with a tight account of coherence, there is always the possibility of more than one set of coherent propositions [Dancy,J] |
9724 | Until the 1960s the only semantics was truth-tables [Enderton] |
9703 | 'dom R' indicates the 'domain' of objects having a relation [Enderton] |
9705 | 'fld R' indicates the 'field' of all objects in the relation [Enderton] |
9704 | 'ran R' indicates the 'range' of objects being related to [Enderton] |
9710 | We write F:A→B to indicate that A maps into B (the output of F on A is in B) [Enderton] |
9707 | 'F(x)' is the unique value which F assumes for a value of x [Enderton] |
13201 | ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton] |
9712 | A relation is 'symmetric' on a set if every ordered pair has the relation in both directions [Enderton] |
9713 | A relation is 'transitive' if it can be carried over from two ordered pairs to a third [Enderton] |
13204 | The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton] |
13206 | A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton] |
9699 | The 'powerset' of a set is all the subsets of a given set [Enderton] |
9700 | Two sets are 'disjoint' iff their intersection is empty [Enderton] |
9702 | A 'domain' of a relation is the set of members of ordered pairs in the relation [Enderton] |
9701 | A 'relation' is a set of ordered pairs [Enderton] |
9706 | A 'function' is a relation in which each object is related to just one other object [Enderton] |
9708 | A function 'maps A into B' if the relating things are set A, and the things related to are all in B [Enderton] |
9709 | A function 'maps A onto B' if the relating things are set A, and the things related to are set B [Enderton] |
9711 | A relation is 'reflexive' on a set if every member bears the relation to itself [Enderton] |
9714 | A relation satisfies 'trichotomy' if all pairs are either relations, or contain identical objects [Enderton] |
9717 | A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second [Enderton] |
13200 | Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton] |
13199 | The empty set may look pointless, but many sets can be constructed from it [Enderton] |
13203 | The singleton is defined using the pairing axiom (as {x,x}) [Enderton] |
9715 | An 'equivalence relation' is a reflexive, symmetric and transitive binary relation [Enderton] |
9716 | We 'partition' a set into distinct subsets, according to each relation on its objects [Enderton] |
13202 | Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton] |
13205 | We can only define functions if Choice tells us which items are involved [Enderton] |
9722 | Inference not from content, but from the fact that it was said, is 'conversational implicature' [Enderton] |
9718 | Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton] |
9721 | A logical truth or tautology is a logical consequence of the empty set [Enderton] |
9994 | A truth assignment to the components of a wff 'satisfy' it if the wff is then True [Enderton] |
9719 | A proof theory is 'sound' if its valid inferences entail semantic validity [Enderton] |
9720 | A proof theory is 'complete' if semantically valid inferences entail proof-theoretic validity [Enderton] |
9995 | Proof in finite subsets is sufficient for proof in an infinite set [Enderton] |
9996 | Expressions are 'decidable' if inclusion in them (or not) can be proved [Enderton] |
9997 | For a reasonable language, the set of valid wff's can always be enumerated [Enderton] |
2781 | Realism says that most perceived objects exist, and have some of their perceived properties [Dancy,J] |
594 | Speusippus suggested underlying principles for every substance, and ended with a huge list [Speussipus, by Aristotle] |
9723 | Sentences with 'if' are only conditionals if they can read as A-implies-B [Enderton] |
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] |
5682 | Internal realism holds that we perceive physical objects via mental objects [Dancy,J] |
5683 | Indirect realism depends on introspection, the time-lag, illusions, and neuroscience [Dancy,J, by PG] |
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] |
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] |
2632 | Speusippus said things were governed by some animal force rather than the gods [Speussipus, by Cicero] |