# logics

## Haskell Brooks Curry and Computational Logic

On September 12, 1900, American mathematician and logician Haskell Brooks Curry was born. Curry’s research in the foundations of mathematics led him to the development of combinatory logic. Later, this seminal work found significant application in computer science, especially in the design of programming languages. Curry is also known for Curry’s paradox and the Curry–Howard correspondence. There are three programming languages named after him, Haskell, Brook and Curry, as well as the concept of…

## Bernard Bolzano and the Theory of Knowledge

On October 5, 1781, Bohemian mathematician, logician, philosopher, theologian and Catholic priest of Italian extraction Bernard Bolzano was born. Bolzano made significant contributions to both mathematics and the theory of knowledge. He provided a more detailed proof for the binomial theorem and suggested the means of distinguishing between finite and infinite classes. His major work, Wissenschaftslehre (1837), contains various contributions to logic and semantics concerning the relations of compatibility, derivability, and consequence,…

## John Venn and the Venn Diagram

On August 4, 1834, English logician and philosopher John Venn was born. He is best known for his contribution of the eponymous Venn diagram, used in the fields of set theory, probability, logic, statistics, and computer science. “I began at once somewhat more steady work on the subjects and books which I should have to lecture on. I now first hit upon the diagrammatical device of representing propositions by inclusive and exclusive circles.…

## Rudolf Carnap and the Logical Structure of the World

On May 18, 1891, German-born philosopher Rudolf Carnap was born. He was a major member of the Vienna Circle and an advocate of logical positivism and made significant contributions to logic and the philosophy of science. To avoid the ambiguities resulting from the use of ordinary language, he made a logical analysis of language. He believed in studying philosophical issues in artificial languages constructed under the rules of logic and mathematics, which…

## Charles Sanders Peirce – One of the Founders of Semiotics

On September 10, 1839, mathematician, philosopher and logician Charles Sanders Peirce, the founder of philosophical ‘pragmatism’ was born. “Few persons care to study logic, because everybody conceives himself to be proficient enough in the art of reasoning already.” — Charles Sanders Peirce, [10] Studying Kant’s Critique of Pure Reason Peirce was born in Cambridge, Massachusetts, the second of five children of Sarah and Benjamin Peirce (1809-1880). His father was professor of astronomy…
Relation Browser
Timeline
0 Recommended Articles:
0 Recommended Articles: