48 ideas
9023 | If you say that a contradiction is true, you change the meaning of 'not', and so change the subject [Quine] |
4036 | What matters is not how many entities we postulate, but how many kinds of entities [Armstrong, by Mellor/Oliver] |
9012 | Talk of 'truth' when sentences are mentioned; it reminds us that reality is the point of sentences [Quine] |
9011 | Truth is redundant for single sentences; we do better to simply speak the sentence [Quine] |
9013 | We can eliminate 'or' from our basic theory, by paraphrasing 'p or q' as 'not(not-p and not-q)' [Quine] |
9020 | My logical grammar has sentences by predication, then negation, conjunction, and existential quantification [Quine] |
9028 | Maybe logical truth reflects reality, but in different ways in different languages [Quine] |
10014 | Quine rejects second-order logic, saying that predicates refer to multiple objects [Quine, by Hodes] |
10828 | Quantifying over predicates is treating them as names of entities [Quine] |
9024 | Excluded middle has three different definitions [Quine] |
10012 | Quantification theory can still be proved complete if we add identity [Quine] |
9016 | Names are not essential, because naming can be turned into predication [Quine] |
9015 | Universal quantification is widespread, but it is definable in terms of existential quantification [Quine] |
9025 | You can't base quantification on substituting names for variables, if the irrationals cannot all be named [Quine] |
9026 | Some quantifications could be false substitutionally and true objectually, because of nameless objects [Quine] |
10705 | Putting a predicate letter in a quantifier is to make it the name of an entity [Quine] |
9027 | A sentence is logically true if all sentences with that grammatical structure are true [Quine] |
15754 | Without properties we would be unable to express the laws of nature [Armstrong] |
4034 | Whether we apply 'cold' or 'hot' to an object is quite separate from its change of temperature [Armstrong] |
8535 | To the claim that every predicate has a property, start by eliminating failure of application of predicate [Armstrong] |
9017 | Predicates are not names; predicates are the other parties to predication [Quine] |
8537 | Tropes fall into classes, because exact similarity is symmetrical and transitive [Armstrong] |
8538 | Trope theory needs extra commitments, to symmetry and non-transitivity, unless resemblance is exact [Armstrong] |
8539 | Universals are required to give a satisfactory account of the laws of nature [Armstrong] |
8529 | Deniers of properties and relations rely on either predicates or on classes [Armstrong] |
8532 | Resemblances must be in certain 'respects', and they seem awfully like properties [Armstrong] |
8530 | Change of temperature in objects is quite independent of the predicates 'hot' and 'cold' [Armstrong] |
8536 | We want to know what constituents of objects are grounds for the application of predicates [Armstrong] |
8531 | In most sets there is no property common to all the members [Armstrong] |
9018 | A physical object is the four-dimensional material content of a portion of space-time [Quine] |
15753 | Essences might support Resemblance Nominalism, but they are too coarse and ill-defined [Armstrong] |
9019 | Four-d objects helps predication of what no longer exists, and quantification over items from different times [Quine] |
9014 | Some conditionals can be explained just by negation and conjunction: not(p and not-q) [Quine] |
7301 | The phenomenalist says that to be is to be perceivable [Cardinal/Hayward/Jones] |
7302 | Linguistic phenomenalism says we can eliminate talk of physical objects [Cardinal/Hayward/Jones] |
7303 | If we lack enough sense-data, are we to say that parts of reality are 'indeterminate'? [Cardinal/Hayward/Jones] |
7299 | Primary qualities can be described mathematically, unlike secondary qualities [Cardinal/Hayward/Jones] |
7300 | An object cannot remain an object without its primary qualities [Cardinal/Hayward/Jones] |
7297 | My justifications might be very coherent, but totally unconnected to the world [Cardinal/Hayward/Jones] |
9009 | Single words are strongly synonymous if their interchange preserves truth [Quine] |
8533 | Predicates need ontological correlates to ensure that they apply [Armstrong] |
4035 | There must be some explanation of why certain predicates are applicable to certain objects [Armstrong] |
9007 | It makes no sense to say that two sentences express the same proposition [Quine] |
9008 | There is no rule for separating the information from other features of sentences [Quine] |
9010 | We can abandon propositions, and just talk of sentences and equivalence [Quine] |
9021 | A good way of explaining an expression is saying what conditions make its contexts true [Quine] |
8541 | Regularities theories are poor on causal connections, counterfactuals and probability [Armstrong] |
8540 | The introduction of sparse properties avoids the regularity theory's problem with 'grue' [Armstrong] |