1.Previous
3.Next

and gives the symbols their usual meaning. There are also non-standard models of arithmetic.

History

Early logic systems includes Indian logic of Panini, syllogistic logic of Aristotle, propositional logic of Stoicism, and Chinese logic of Gongsun Long (c. 325-250 BCE). In more recent times, contributors include George Boole, Augustus De Morgan,

1.Previous
3.Next