John Corcoran was an American logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran's papers have been translated into Spanish, Portuguese, Persian, and Arabic; his 1989 "signature" essay was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice.
John Corcoran (logician)
The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic.
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