91 ideas
4697 | There has been a distinct 'Social Turn' in recent philosophy, like the earlier 'Linguistic Turn' [O'Grady] |
21634 | Metaphysics is (supposedly) first the ontology, then in general what things are like [Hofweber] |
18835 | Logic doesn't have a metaphysical basis, but nor can logic give rise to the metaphysics [Rumfitt] |
21666 | 'Fundamentality' is either a superficial idea, or much too obscure [Hofweber] |
4731 | Good reasoning will avoid contradiction, enhance coherence, not ignore evidence, and maximise evidence [O'Grady] |
4735 | Just as maps must simplify their subject matter, so thought has to be reductionist about reality [O'Grady] |
4703 | The epistemic theory of truth presents it as 'that which is licensed by our best theory of reality' [O'Grady] |
4701 | To say a relative truth is inexpressible in other frameworks is 'weak', while saying it is false is 'strong' [O'Grady] |
18819 | The idea that there are unrecognised truths is basic to our concept of truth [Rumfitt] |
18826 | 'True at a possibility' means necessarily true if what is said had obtained [Rumfitt] |
21640 | 'It's true that Fido is a dog' conjures up a contrast class, of 'it's false' or 'it's unlikely' [Hofweber] |
18803 | Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables [Rumfitt] |
18814 | 'Absolute necessity' would have to rest on S5 [Rumfitt] |
18798 | It is the second-order part of intuitionistic logic which actually negates some classical theorems [Rumfitt] |
18799 | Intuitionists can accept Double Negation Elimination for decidable propositions [Rumfitt] |
18830 | Most set theorists doubt bivalence for the Continuum Hypothesis, but still use classical logic [Rumfitt] |
18843 | The iterated conception of set requires continual increase in axiom strength [Rumfitt] |
18836 | A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt] |
18837 | A set can be determinate, because of its concept, and still have vague membership [Rumfitt] |
18845 | If the totality of sets is not well-defined, there must be doubt about the Power Set Axiom [Rumfitt] |
18815 | Logic is higher-order laws which can expand the range of any sort of deduction [Rumfitt] |
4705 | Logical relativism appears if we allow more than one legitimate logical system [O'Grady] |
18804 | The case for classical logic rests on its rules, much more than on the Principle of Bivalence [Rumfitt] |
18805 | Classical logic rules cannot be proved, but various lines of attack can be repelled [Rumfitt] |
18827 | If truth-tables specify the connectives, classical logic must rely on Bivalence [Rumfitt] |
21657 | Since properties can have properties, some theorists rank them in 'types' [Hofweber] |
18813 | Logical consequence is a relation that can extended into further statements [Rumfitt] |
18808 | Normal deduction presupposes the Cut Law [Rumfitt] |
4700 | A third value for truth might be "indeterminate", or a point on a scale between 'true' and 'false' [O'Grady] |
18840 | When faced with vague statements, Bivalence is not a compelling principle [Rumfitt] |
18802 | In specifying a logical constant, use of that constant is quite unavoidable [Rumfitt] |
4704 | Wittgenstein reduced Russell's five primitive logical symbols to a mere one [O'Grady] |
21653 | Maybe not even names are referential, but are just by used by speakers to refer [Hofweber] |
21636 | 'Singular terms' are not found in modern linguistics, and are not the same as noun phrases [Hofweber] |
21637 | If two processes are said to be identical, that doesn't make their terms refer to entities [Hofweber] |
21643 | The inferential quantifier focuses on truth; the domain quantifier focuses on reality [Hofweber] |
18800 | Introduction rules give deduction conditions, and Elimination says what can be deduced [Rumfitt] |
18809 | Logical truths are just the assumption-free by-products of logical rules [Rumfitt] |
18807 | Monotonicity means there is a guarantee, rather than mere inductive support [Rumfitt] |
21644 | Numbers are used as singular terms, as adjectives, and as symbols [Hofweber] |
21646 | The Amazonian Piraha language is said to have no number words [Hofweber] |
18842 | Maybe an ordinal is a property of isomorphic well-ordered sets, and not itself a set [Rumfitt] |
21665 | The fundamental theorem of arithmetic is that all numbers are composed uniquely of primes [Hofweber] |
21649 | How can words be used for counting if they are objects? [Hofweber] |
18834 | Infinitesimals do not stand in a determinate order relation to zero [Rumfitt] |
18846 | Cantor and Dedekind aimed to give analysis a foundation in set theory (rather than geometry) [Rumfitt] |
21647 | Logicism makes sense of our ability to know arithmetic just by thought [Hofweber] |
21648 | Neo-Fregeans are dazzled by a technical result, and ignore practicalities [Hofweber] |
21664 | Supervenience offers little explanation for things which necessarily go together [Hofweber] |
21660 | Reality can be seen as the totality of facts, or as the totality of things [Hofweber] |
4711 | Anti-realists say our theories (such as wave-particle duality) give reality incompatible properties [O'Grady] |
4698 | What counts as a fact partly depends on the availability of human concepts to describe them [O'Grady] |
21661 | There are probably ineffable facts, systematically hidden from us [Hofweber] |
4715 | We may say that objects have intrinsic identity conditions, but still allow multiple accounts of them [O'Grady] |
21652 | Our perceptual beliefs are about ordinary objects, not about simples arranged chair-wise [Hofweber] |
18839 | An object that is not clearly red or orange can still be red-or-orange, which sweeps up problem cases [Rumfitt] |
18838 | The extension of a colour is decided by a concept's place in a network of contraries [Rumfitt] |
18816 | Metaphysical modalities respect the actual identities of things [Rumfitt] |
18825 | S5 is the logic of logical necessity [Rumfitt] |
18824 | Since possibilities are properties of the world, calling 'red' the determination of a determinable seems right [Rumfitt] |
18828 | If two possibilities can't share a determiner, they are incompatible [Rumfitt] |
21663 | Counterfactuals are essential for planning, and learning from mistakes [Hofweber] |
4719 | Maybe developments in logic and geometry have shown that the a priori may be relative [O'Grady] |
18821 | Possibilities are like possible worlds, but not fully determinate or complete [Rumfitt] |
18831 | Medieval logicians said understanding A also involved understanding not-A [Rumfitt] |
4720 | Sense-data are only safe from scepticism if they are primitive and unconceptualised [O'Grady] |
4722 | Modern epistemology centres on debates about foundations, and about external justification [O'Grady] |
4724 | Internalists say the reasons for belief must be available to the subject, and externalists deny this [O'Grady] |
18820 | In English 'evidence' is a mass term, qualified by 'little' and 'more' [Rumfitt] |
4723 | Coherence involves support from explanation and evidence, and also probability and confirmation [O'Grady] |
4709 | Ontological relativists are anti-realists, who deny that our theories carve nature at the joints [O'Grady] |
4725 | Contextualism says that knowledge is relative to its context; 'empty' depends on your interests [O'Grady] |
4732 | One may understand a realm of ideas, but be unable to judge their rationality or truth [O'Grady] |
21654 | The "Fido"-Fido theory of meaning says every expression in a language has a referent [Hofweber] |
18817 | We understand conditionals, but disagree over their truth-conditions [Rumfitt] |
4710 | Verificationism was attacked by the deniers of the analytic-synthetic distinction, needed for 'facts' [O'Grady] |
21641 | Inferential role semantics is an alternative to semantics that connects to the world [Hofweber] |
21638 | Syntactic form concerns the focus of the sentence, as well as the truth-conditions [Hofweber] |
21658 | Properties can be expressed in a language despite the absence of a single word for them [Hofweber] |
21659 | 'Being taller than this' is a predicate which can express many different properties [Hofweber] |
21655 | Compositonality is a way to build up the truth-conditions of a sentence [Hofweber] |
21656 | Proposition have no content, because they are content [Hofweber] |
21635 | Without propositions there can be no beliefs or desires [Hofweber] |
21662 | Do there exist thoughts which we are incapable of thinking? [Hofweber] |
4717 | If we abandon the analytic-synthetic distinction, scepticism about meaning may be inevitable [O'Grady] |
18829 | The truth grounds for 'not A' are the possibilities incompatible with truth grounds for A [Rumfitt] |
21645 | 'Semantic type coercion' is selecting the reading of a word to make the best sense [Hofweber] |
21639 | 'Background deletion' is appropriately omitting background from an answer [Hofweber] |
4706 | Early Quine says all beliefs could be otherwise, but later he said we would assume mistranslation [O'Grady] |
4734 | Cryptographers can recognise that something is a language, without translating it [O'Grady] |
4727 | The chief problem for fideists is other fideists who hold contrary ideas [O'Grady] |