27 ideas
| 14231 | We should always apply someone's theory of meaning to their own utterances [Liggins] |
| 17325 | Truth-maker theory can't cope with non-causal dependence [Liggins] |
| 18915 | If facts are the truthmakers, they are not in the world [Engelbretsen] |
| 18919 | There are no 'falsifying' facts, only an absence of truthmakers [Engelbretsen] |
| 17318 | Truthmakers for existence is fine; otherwise maybe restrict it to synthetic truths? [Liggins] |
| 18913 | Traditional term logic struggled to express relations [Engelbretsen] |
| 18907 | Term logic rests on negated terms or denial, and that propositions are tied pairs [Engelbretsen] |
| 18912 | Was logic a branch of mathematics, or mathematics a branch of logic? [Engelbretsen] |
| 18922 | Logical syntax is actually close to surface linguistic form [Engelbretsen] |
| 18905 | Propositions can be analysed as pairs of terms glued together by predication [Engelbretsen] |
| 18908 | Standard logic only negates sentences, even via negated general terms or predicates [Engelbretsen] |
| 14232 | We normally formalise 'There are Fs' with singular quantification and predication, but this may be wrong [Liggins] |
| 17320 | Either p is true or not-p is true, so something is true, so something exists [Liggins] |
| 18917 | Existence and nonexistence are characteristics of the world, not of objects [Engelbretsen] |
| 17326 | The dependence of {Socrates} on Socrates involves a set and a philosopher, not facts [Liggins] |
| 17327 | Non-causal dependence is at present only dimly understood [Liggins] |
| 17322 | Necessities supervene on everything, but don't depend on everything [Liggins] |
| 18916 | Facts are not in the world - they are properties of the world [Engelbretsen] |
| 18921 | Individuals are arranged in inclusion categories that match our semantics [Engelbretsen] |
| 14233 | Nihilists needn't deny parts - they can just say that some of the xs are among the ys [Liggins] |
| 12887 | A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim] |
| 17324 | 'Because' can signal an inference rather than an explanation [Liggins] |
| 17321 | Value, constitution and realisation are non-causal dependences that explain [Liggins] |
| 17323 | If explanations track dependence, then 'determinative' explanations seem to exist [Liggins] |
| 18918 | Terms denote objects with properties, and statements denote the world with that property [Engelbretsen] |
| 18920 | 'Socrates is wise' denotes a sentence; 'that Socrates is wise' denotes a proposition [Engelbretsen] |
| 18906 | Negating a predicate term and denying its unnegated version are quite different [Engelbretsen] |