27 ideas
| 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] |
| 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] |
| 10397 | Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P] |
| 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] |
| 18917 | Existence and nonexistence are characteristics of the world, not of objects [Engelbretsen] |
| 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] |
| 10396 | If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [Abelard, by King,P] |
| 10395 | Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P] |
| 15384 | Only words can be 'predicated of many'; the universality is just in its mode of signifying [Abelard, by Panaccio] |
| 8481 | The de dicto-de re modality distinction dates back to Abelard [Abelard, by Orenstein] |
| 15385 | Abelard's problem is the purely singular aspects of things won't account for abstraction [Panaccio on Abelard] |
| 18918 | Terms denote objects with properties, and statements denote the world with that property [Engelbretsen] |
| 15383 | Nothing external can truly be predicated of an object [Abelard, by Panaccio] |
| 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] |
| 6613 | The natural kinds are objects, processes and properties/relations [Ellis] |
| 10398 | Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P] |
| 6616 | Least action is not a causal law, but a 'global law', describing a global essence [Ellis] |
| 6615 | A species requires a genus, and its essence includes the essence of the genus [Ellis] |
| 6614 | A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis] |
| 6612 | Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis] |