47 ideas
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] |
19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
21640 | 'It's true that Fido is a dog' conjures up a contrast class, of 'it's false' or 'it's unlikely' [Hofweber] |
9358 | There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI] |
21657 | Since properties can have properties, some theorists rank them in 'types' [Hofweber] |
9357 | Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI] |
9364 | Names represent a uniformity in experience, or they name nothing [Lewis,CI] |
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] |
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] |
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] |
21661 | There are probably ineffable facts, systematically hidden from us [Hofweber] |
19121 | We can reduce properties to true formulas [Halbach/Leigh] |
19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
21652 | Our perceptual beliefs are about ordinary objects, not about simples arranged chair-wise [Hofweber] |
9362 | Necessary truths are those we will maintain no matter what [Lewis,CI] |
21663 | Counterfactuals are essential for planning, and learning from mistakes [Hofweber] |
9365 | We can maintain a priori principles come what may, but we can also change them [Lewis,CI] |
9361 | We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI] |
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] |
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] |
9363 | Science seeks classification which will discover laws, essences, and predictions [Lewis,CI] |