## The Development of LogicThe primary purpose of this book has not been to recount all that past scholars have said about the science, but rather to record the first appearances of those ideas which seem most important in the logic of our own day. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

THE BEGINNINGS | 1 |

ARISTOTLES ORGAXOX | 23 |

THE MEGARIANS AND THE STOICS | 113 |

ROMAN AND MEDIEVAL LOGIC | 177 |

LOGIC AFTER THE RENAISSANCE | 298 |

MATHEMATICAL ABSTRACTION | 378 |

NUMBERS SETS AND SERIES | 435 |

FREGES GENERAL LOGIC | 478 |

FORMAL DEVELOPMENTS AFTER FREGE | 513 |

THE PHILOSOPHY OF LOGIC AFTER FREGE | 576 |

THE PHILOSOPHY OF MATHEMATICS AFTER | 652 |

THE THEORY OF DEDUCTIVE SYSTEMS | 689 |

APPENDIX OF TRANSLATIONS | 743 |

765 | |

775 | |

### Common terms and phrases

Abelard according algebra antecedent applied argument Aristotle Aristotle's arithmetic assertion axioms belongs Boethius Bolzano calculus called Chrysippus concept conclusion conditional conditional statement connexion consequence consequentia consider context defined definition derived Diogenes Laertius disjunction distinction doctrine entails equivalent example existence existential expression fact false follows formal formula Frege function geometry homo Ibid identity inference interesting interpretation kind language later Leibniz letters logic logicians mathematicians mathematics means medieval ment modal modal logic natural numbers necessary negation notion ordinary paradoxes passage philosophers phrase Plato possible predicate premisses principle Prior Analytics proof proposition propositional functions quantifiers quod real numbers reason reduction reference relation rules rules of inference seems sense sentence Sextus signified signs Socrates statement Stoics suggested supposed suppositio syllogism syllogistic symbolism talk that-P Theophrastus theorem theory things thought tion true truth truth-functional truth-values universal universal quantifier valid variables verb William of Shyreswood word