The Development of LogicThis book is an attempt to trace the development of formal logic from its origin with the Greeks to the present day. |
Contents
THE BEGINNINGS | 1 |
ARISTOTLES ORGANON | 23 |
THE MEGARIANS AND THE STOICS | 113 |
Copyright | |
37 other sections not shown
Common terms and phrases
Abelard according algebra antecedent applied argument Aristotle Aristotle's arithmetic assertion axioms Begriffsschrift belongs Boethius Bolzano calculus called Chrysippus concept conclusion conditional conditional statement connexion consequence consequentia 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 interpretation kind language later Leibniz letters logic logicians mathematicians mathematics means medieval ment modal modal logic natural numbers necessary negation notion Omnis ordinary paradoxes philosophers phrase Plato possible predicate premisses Principia Mathematica principle Prior Analytics proof proposition 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 valid variables verb William of Shyreswood word