74 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] |
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] |
21640 | 'It's true that Fido is a dog' conjures up a contrast class, of 'it's false' or 'it's unlikely' [Hofweber] |
10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
10857 | Set theory made a closer study of infinity possible [Clegg] |
10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
10871 | Axiom of Existence: there exists at least one set [Clegg] |
10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
4705 | Logical relativism appears if we allow more than one legitimate logical system [O'Grady] |
21657 | Since properties can have properties, some theorists rank them in 'types' [Hofweber] |
4700 | A third value for truth might be "indeterminate", or a point on a scale between 'true' and 'false' [O'Grady] |
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] |
10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
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] |
10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
10860 | An ordinal number is defined by the set that comes before it [Clegg] |
10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
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] |
10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
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] |
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] |
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] |
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] |
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] |
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] |