History of logic
Videos
The history of logic deals with the study of the development of the science of valid inference. Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristo
Umaswati (2nd century AD), author of first Jain work in Sanskrit, Tattvārthasūtra, expounding the Jain philosophy in a most systematized form acceptable to all sects of Jainism
Painting of Nāgārjuna from the Shingon Hassozō, a series of scrolls authored by the Shingon school of Buddhism. Japan, Kamakura period (13th–14th century)
Parmenides has been called the discoverer of logic.
Plato's Academy mosaic
Mathematical logic
Videos
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly address
History of logic
…in the two-thousand-year history of logic, and is arguably one of the most important and remarkable events in human intellectual history. Progress in mathematical logic in the first few decades of the twentieth century, particularly arising from the work of Gödel and Tarski, had a significant impact on analytic philosophy…
Portrait of young Kurt Gödel as a student in Vienna, 1925