8092 | Logic was merely a branch of rhetoric until the scientific 17th century |

8081 | 'No councillors are bankers' and 'All bankers are athletes' implies 'Some athletes are not councillors' |

8085 | Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens |

8086 | Predicate logic retains the axioms of propositional logic |

8091 | Situation theory is logic that takes account of context |

8087 | Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic |

8089 | Montague's intensional logic incorporated the notion of meaning |

8082 | Where a conditional is purely formal, an implication implies a link between premise and conclusion |

8072 | Sentences of apparent identical form can have different contextual meanings |

8075 | Space and time are atomic in the arrow, and divisible in the tortoise |

8088 | People still say the Hopi have no time concepts, despite Whorf's later denial |

8073 | How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? |

8076 | The distinction between sentences and abstract propositions is crucial in logic |