104 ideas
13466 | We are all post-Kantians, because he set the current agenda for philosophy [Hart,WD] |
13477 | The problems are the monuments of philosophy [Hart,WD] |
2797 | As coherence expands its interrelations become steadily tighter, culminating only in necessary truth [Dancy,J] |
13515 | To study abstract problems, some knowledge of set theory is essential [Hart,WD] |
13469 | Tarski showed how we could have a correspondence theory of truth, without using 'facts' [Hart,WD] |
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] |
13504 | Truth for sentences is satisfaction of formulae; for sentences, either all sequences satisfy it (true) or none do [Hart,WD] |
13503 | A first-order language has an infinity of T-sentences, which cannot add up to a definition of truth [Hart,WD] |
13500 | Conditional Proof: infer a conditional, if the consequent can be deduced from the antecedent [Hart,WD] |
13502 | ∃y... is read as 'There exists an individual, call it y, such that...', and not 'There exists a y such that...' [Hart,WD] |
13456 | Set theory articulates the concept of order (through relations) [Hart,WD] |
13497 | Nowadays ZFC and NBG are the set theories; types are dead, and NF is only useful for the whole universe [Hart,WD] |
13443 | ∈ relates across layers, while ⊆ relates within layers [Hart,WD] |
13442 | Without the empty set we could not form a∩b without checking that a and b meet [Hart,WD] |
13493 | In the modern view, foundation is the heart of the way to do set theory [Hart,WD] |
13495 | Foundation Axiom: an nonempty set has a member disjoint from it [Hart,WD] |
13461 | We can choose from finite and evident sets, but not from infinite opaque ones [Hart,WD] |
13462 | With the Axiom of Choice every set can be well-ordered [Hart,WD] |
13516 | If we accept that V=L, it seems to settle all the open questions of set theory [Hart,WD] |
13441 | Naïve set theory has trouble with comprehension, the claim that every predicate has an extension [Hart,WD] |
13494 | The iterative conception may not be necessary, and may have fixed points or infinitely descending chains [Hart,WD] |
13457 | A 'partial ordering' is irreflexive and transitive; the sets are ordered, but not the subsets [Hart,WD] |
13458 | A partial ordering becomes 'total' if any two members of its field are comparable [Hart,WD] |
13460 | 'Well-ordering' must have a least member, so it does the natural numbers but not the integers [Hart,WD] |
13490 | Von Neumann defines α<β as α∈β [Hart,WD] |
13481 | Maybe sets should be rethought in terms of the even more basic categories [Hart,WD] |
13506 | The universal quantifier can't really mean 'all', because there is no universal set [Hart,WD] |
13512 | Modern model theory begins with the proof of Los's Conjecture in 1962 [Hart,WD] |
13505 | Model theory studies how set theory can model sets of sentences [Hart,WD] |
13511 | Model theory is mostly confined to first-order theories [Hart,WD] |
13513 | Models are ways the world might be from a first-order point of view [Hart,WD] |
13496 | First-order logic is 'compact': consequences of a set are consequences of a finite subset [Hart,WD] |
13484 | Berry's Paradox: we succeed in referring to a number, with a term which says we can't do that [Hart,WD] |
13482 | The Burali-Forti paradox is a crisis for Cantor's ordinals [Hart,WD] |
13507 | The machinery used to solve the Liar can be rejigged to produce a new Liar [Hart,WD] |
9117 | The smallest heap has four objects: three on the bottom, one on the top [Hart,WD, by Sorensen] |
13459 | The less-than relation < well-orders, and partially orders, and totally orders the ordinal numbers [Hart,WD] |
13491 | The axiom of infinity with separation gives a least limit ordinal ω [Hart,WD] |
13463 | There are at least as many infinite cardinals as transfinite ordinals (because they will map) [Hart,WD] |
13492 | Von Neumann's ordinals generalise into the transfinite better, because Zermelo's ω is a singleton [Hart,WD] |
13446 | 19th century arithmetization of analysis isolated the real numbers from geometry [Hart,WD] |
13509 | We can establish truths about infinite numbers by means of induction [Hart,WD] |
13474 | Euclid has a unique parallel, spherical geometry has none, and saddle geometry has several [Hart,WD] |
13471 | Mathematics makes existence claims, but philosophers usually say those are never analytic [Hart,WD] |
13488 | Mass words do not have plurals, or numerical adjectives, or use 'fewer' [Hart,WD] |
2781 | Realism says that most perceived objects exist, and have some of their perceived properties [Dancy,J] |
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] |
13480 | Fregean self-evidence is an intrinsic property of basic truths, rules and definitions [Hart,WD] |
2794 | Knowing that a cow is not a horse seems to be a synthetic a priori truth [Dancy,J] |
13476 | The failure of key assumptions in geometry, mereology and set theory throw doubt on the a priori [Hart,WD] |
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] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
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] |
13475 | The Fregean concept of GREEN is a function assigning true to green things, and false to the rest [Hart,WD] |
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] |