18915 | If facts are the truthmakers, they are not in the world |

18919 | There are no 'falsifying' facts, only an absence of truthmakers |

18913 | Traditional term logic struggled to express relations |

18909 | Aristotelian sentences are made up by one of four 'formative' connectors |

18907 | Term logic rests on negated terms or denial, and that propositions are tied pairs |

18912 | Was logic a branch of mathematics, or mathematics a branch of logic? |

18922 | Logical syntax is actually close to surface linguistic form |

18905 | Propositions can be analysed as pairs of terms glued together by predication |

18908 | Standard logic only negates sentences, even via negated general terms or predicates |

18917 | Existence and nonexistence are characteristics of the world, not of objects |

18916 | Facts are not in the world - they are properties of the world |

18921 | Individuals are arranged in inclusion categories that match our semantics |

18918 | Terms denote objects with properties, and statements denote the world with that property |

18920 | 'Socrates is wise' denotes a sentence; 'that Socrates is wise' denotes a proposition |

18906 | Negating a predicate term and denying its unnegated version are quite different |