| Origin | Khaset civilization |
| Major types | Classical logic • Modern logic • Mathematical logic • Non-classical logic |
| Seminal figures | Tashen • Socrates • Aristotle • Gottlob Frege • George Boole |
| Alternative names | Deductive reasoning • Deductive logic |
| Cultural influences | Greek philosophy • Indian mathematics |
| Earliest written record | Logic of Khaset by Tashen (3rd millennium BCE) |
