84 ideas
| 21634 | Metaphysics is (supposedly) first the ontology, then in general what things are like [Hofweber] |
| 16415 | Esoteric metaphysics aims to be top science, investigating ultimate reality [Hofweber] |
| 16413 | Science has discovered properties of things, so there are properties - so who needs metaphysics? [Hofweber] |
| 21666 | 'Fundamentality' is either a superficial idea, or much too obscure [Hofweber] |
| 14092 | Philosophers are often too fussy about words, dismissing perfectly useful ordinary terms [Rosen] |
| 14100 | Figuring in the definition of a thing doesn't make it a part of that thing [Rosen] |
| 21640 | 'It's true that Fido is a dog' conjures up a contrast class, of 'it's false' or 'it's unlikely' [Hofweber] |
| 17990 | Instances of minimal truth miss out propositions inexpressible in current English [Hofweber] |
| 13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
| 13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
| 13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
| 13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
| 18851 | Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen] |
| 13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
| 13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
| 21657 | Since properties can have properties, some theorists rank them in 'types' [Hofweber] |
| 13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
| 21653 | Maybe not even names are referential, but are just by used by speakers to refer [Hofweber] |
| 10001 | An adjective contributes semantically to a noun phrase [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] |
| 16416 | The quantifier in logic is not like the ordinary English one (which has empty names, non-denoting terms etc) [Hofweber] |
| 21643 | The inferential quantifier focuses on truth; the domain quantifier focuses on reality [Hofweber] |
| 10007 | Quantifiers for domains and for inference come apart if there are no entities [Hofweber] |
| 17988 | Quantification can't all be substitutional; some reference is obviously to objects [Hofweber] |
| 13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
| 14096 | Explanations fail to be monotonic [Rosen] |
| 9998 | What is the relation of number words as singular-terms, adjectives/determiners, and symbols? [Hofweber] |
| 10002 | '2 + 2 = 4' can be read as either singular or plural [Hofweber] |
| 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] |
| 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] |
| 10003 | Why is arithmetic hard to learn, but then becomes easy? [Hofweber] |
| 10008 | Arithmetic is not about a domain of entities, as the quantifiers are purely inferential [Hofweber] |
| 10005 | Arithmetic doesn’t simply depend on objects, since it is true of fictional objects [Hofweber] |
| 10000 | We might eliminate adjectival numbers by analysing them into blocks of quantifiers [Hofweber] |
| 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] |
| 10006 | First-order logic captures the inferential relations of numbers, but not the semantics [Hofweber] |
| 14097 | Things could be true 'in virtue of' others as relations between truths, or between truths and items [Rosen] |
| 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] |
| 14095 | Facts are structures of worldly items, rather like sentences, individuated by their ingredients [Rosen] |
| 21661 | There are probably ineffable facts, systematically hidden from us [Hofweber] |
| 17989 | Since properties have properties, there can be a typed or a type-free theory of them [Hofweber] |
| 14093 | An 'intrinsic' property is one that depends on a thing and its parts, and not on its relations [Rosen] |
| 8915 | How we refer to abstractions is much less clear than how we refer to other things [Rosen] |
| 18852 | A Meinongian principle might say that there is an object for any modest class of properties [Rosen] |
| 21652 | Our perceptual beliefs are about ordinary objects, not about simples arranged chair-wise [Hofweber] |
| 18850 | 'Metaphysical' modality is the one that makes the necessity or contingency of laws of nature interesting [Rosen] |
| 18849 | Metaphysical necessity is absolute and universal; metaphysical possibility is very tolerant [Rosen] |
| 18857 | Standard Metaphysical Necessity: P holds wherever the actual form of the world holds [Rosen] |
| 14094 | The excellent notion of metaphysical 'necessity' cannot be defined [Rosen] |
| 18858 | Sets, universals and aggregates may be metaphysically necessary in one sense, but not another [Rosen] |
| 18856 | Non-Standard Metaphysical Necessity: when ¬P is incompatible with the nature of things [Rosen] |
| 18848 | Something may be necessary because of logic, but is that therefore a special sort of necessity? [Rosen] |
| 18855 | Combinatorial theories of possibility assume the principles of combination don't change across worlds [Rosen] |
| 21663 | Counterfactuals are essential for planning, and learning from mistakes [Hofweber] |
| 14101 | Are necessary truths rooted in essences, or also in basic grounding laws? [Rosen] |
| 18853 | A proposition is 'correctly' conceivable if an ominiscient being could conceive it [Rosen] |
| 10004 | Our minds are at their best when reasoning about objects [Hofweber] |
| 8917 | The Way of Abstraction used to say an abstraction is an idea that was formed by abstracting [Rosen] |
| 8912 | Nowadays abstractions are defined as non-spatial, causally inert things [Rosen] |
| 8913 | Chess may be abstract, but it has existed in specific space and time [Rosen] |
| 8914 | Sets are said to be abstract and non-spatial, but a set of books can be on a shelf [Rosen] |
| 8916 | Conflating abstractions with either sets or universals is a big claim, needing a big defence [Rosen] |
| 8918 | Functional terms can pick out abstractions by asserting an equivalence relation [Rosen] |
| 8919 | Abstraction by equivalence relationships might prove that a train is an abstract entity [Rosen] |
| 21654 | The "Fido"-Fido theory of meaning says every expression in a language has a referent [Hofweber] |
| 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] |
| 14099 | 'Bachelor' consists in or reduces to 'unmarried' male, but not the other way around [Rosen] |
| 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] |
| 17991 | Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber] |
| 18854 | The MRL view says laws are the theorems of the simplest and strongest account of the world [Rosen] |
| 14098 | An acid is just a proton donor [Rosen] |