Logician in the context of Argument

Euclid (/ˈjuːklɪd/; Ancient Greek: Εὐκλείδης; fl. 300 BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the Elements treatise, which established the foundations of geometry that largely dominated the field until the early 19th century. His system, now referred to as Euclidean geometry, involved innovations in combination with a synthesis of theories from earlier Greek mathematicians, including Eudoxus of Cnidus, Hippocrates of Chios, Thales and Theaetetus. With Archimedes and Apollonius of Perga, Euclid is generally considered among the greatest mathematicians of antiquity, and one of the most influential in the history of mathematics.

Very little is known of Euclid's life, and most information comes from the scholars Proclus and Pappus of Alexandria many centuries later. Medieval Islamic mathematicians invented a fanciful biography, and medieval Byzantine and early Renaissance scholars mistook him for the earlier philosopher Euclid of Megara. It is now generally accepted that he spent his career in Alexandria and lived around 300 BC, after Plato's students and before Archimedes. There is some speculation that Euclid studied at the Platonic Academy and later taught at the Musaeum; he is regarded as bridging the earlier Platonic tradition in Athens with the later tradition of Alexandria.

Abductive reasoning (also called abduction, abductive inference, or retroduction) is a form of logical inference that seeks the simplest and most likely conclusion from a set of observations. It was formulated and advanced by the American philosopher and logician Charles Sanders Peirce beginning in the latter half of the 19th century.

Abductive reasoning, unlike deductive reasoning, yields a plausible conclusion but does not definitively verify it. Abductive conclusions do not eliminate uncertainty or doubt, which is expressed in terms such as "best available" or "most likely". While inductive reasoning draws general conclusions that apply to many situations, abductive conclusions are confined to the particular observations in question.

In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something"). It is sometimes also used to refer to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, with important contributions by Hans Kamp. It has been further developed by computer scientists, notably Amir Pnueli, and logicians.

Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems. For instance, one may wish to say that whenever a request is made, access to a resource is eventually granted, but it is never granted to two requestors simultaneously. Such a statement can conveniently be expressed in a temporal logic.

Saul Aaron Kripke (/ˈkrɪpki/; November 13, 1940 – September 15, 2022) was an American analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. From the 1960s until his death, he was a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.

Kripke made influential and original contributions to logic, especially modal logic. His principal contribution is a semantics for modal logic involving possible worlds, now called Kripke semantics. He received the 2001 Schock Prize in Logic and Philosophy.

Peter Abelard (12 February 1079 – 21 April 1142) was a medieval French scholastic philosopher, leading logician, theologian, teacher, musician, composer, and poet.

In philosophy he is celebrated for his logical solution to the problem of universals via nominalism and conceptualism and his pioneering of intent in ethics. Often referred to as the "Descartes of the twelfth century", he is considered a forerunner of Rousseau, Kant, and Spinoza. He is sometimes credited as a chief forerunner of modern empiricism.

Kurt Friedrich Gödel (/ˈɡɜːrdəl/ GUR-dəl; German: [ˈkʊʁt ˈɡøːdl̩] ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly influenced scientific and philosophical thinking in the 20th century (at a time when Bertrand Russell, Alfred North Whitehead, and David Hilbert were using logic and set theory to investigate the foundations of mathematics), building on earlier work by Frege, Richard Dedekind, and Georg Cantor.

Gödel's discoveries in the foundations of mathematics led to the proof of his completeness theorem in 1929 as part of his dissertation to earn a doctorate at the University of Vienna, and the publication of Gödel's incompleteness theorems two years later, in 1931. The incompleteness theorems address limitations of formal axiomatic systems. In particular, they imply that a formal axiomatic system satisfying certain technical conditions cannot decide the truth value of all statements about the natural numbers, and cannot prove that it is itself consistent. To prove this, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.

Gerhard Karl Erich Gentzen (24 November 1909 – 4 August 1945) was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died of starvation in a Czech prison camp in Prague in 1945.

Arthur Norman Prior (4 December 1914 – 6 October 1969), usually cited as A. N. Prior, was a New Zealand–born logician and philosopher. Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971).

Willard Van Orman Quine (/kwaɪn/ KWYNE; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". He was the Edgar Pierce Chair of Philosophy at Harvard University from 1956 to 1978.

Quine was a teacher of logic and set theory. He was famous for his position that first-order logic is the only kind worthy of the name, and developed his own system of mathematics and set theory, known as New Foundations. In the philosophy of mathematics, he and his Harvard colleague Hilary Putnam developed the Quine–Putnam indispensability argument, an argument for the reality of mathematical entities. He was the main proponent of the view that philosophy is not conceptual analysis, but continuous with science; it is the abstract branch of the empirical sciences. This led to his famous quip that "philosophy of science is philosophy enough". He led a "systematic attempt to understand science from within the resources of science itself" and developed an influential naturalized epistemology that tried to provide "an improved scientific explanation of how we have developed elaborate scientific theories on the basis of meager sensory input". He also advocated holism in science, known as the Duhem–Quine thesis.

George Boole (/buːl/ BOOL; 2 November 1815 – 8 December 1864) was an English autodidact, mathematician, philosopher and logician who served as the first professor of mathematics at Queen's College, Cork in Ireland. He worked in the fields of differential equations and algebraic logic, and is best known as the author of The Laws of Thought (1854), which contains Boolean algebra. Boolean logic, essential to computer programming, is credited with helping to lay the foundations for the Information Age.

Boole was the son of a shoemaker. He received a primary school education and learned Latin and modern languages through various means. At 16, he began teaching to support his family. He established his own school at 19 and later ran a boarding school in Lincoln. Boole was an active member of local societies and collaborated with fellow mathematicians. In 1849, he was appointed the first professor of mathematics at Queen's College, Cork (now University College Cork) in Ireland, where he met his future wife, Mary Everest. He continued his involvement in social causes and maintained connections with Lincoln. In 1864, Boole died due to fever-induced pleural effusion after developing pneumonia.

Polish notation (PN), also known as normal Polish notation (NPN), Łukasiewicz notation, Warsaw notation, Polish prefix notation, Eastern Notation or simply prefix notation, is a mathematical notation in which operators precede their operands, in contrast to the more common infix notation, in which operators are placed between operands, as well as reverse Polish notation (RPN), in which operators follow their operands. It does not need any parentheses as long as each operator has a fixed number of operands. The description "Polish" refers to the nationality of logician Jan Łukasiewicz, who invented Polish notation in 1924.

The term Polish notation is sometimes taken (as the opposite of infix notation) to also include reverse Polish notation.

John Venn, FRS, FSA (4 August 1834 – 4 April 1923) was an English mathematician, logician and philosopher noted for introducing Venn diagrams, which are used in logic, set theory, probability, statistics, and computer science. In 1866, Venn published The Logic of Chance, a groundbreaking book which espoused the frequency theory of probability, arguing that probability should be determined by how often something is forecast to occur as opposed to "educated" assumptions. Venn then further developed George Boole's theories in the 1881 work Symbolic Logic, where he highlighted what would become known as Venn diagrams.

Hermann Klaus Hugo Weyl (/vaɪl/; German: [vaɪl]; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist, logician and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, he is associated with the University of Göttingen tradition of mathematics, represented by Carl Friedrich Gauss, David Hilbert and Hermann Minkowski.

His research has had major significance for theoretical physics as well as purely mathematical disciplines such as number theory. He was one of the most influential mathematicians of the twentieth century, and an important member of the Institute for Advanced Study during its early years.

System F (also polymorphic lambda calculus or second-order lambda calculus) is a typed lambda calculus that introduces, to simply typed lambda calculus, a mechanism of universal quantification over types. System F formalizes parametric polymorphism in programming languages, thus forming a theoretical basis for languages such as Haskell and ML. It was discovered independently by logician Jean-Yves Girard (1972) and computer scientist John C. Reynolds.

Whereas simply typed lambda calculus has variables ranging over terms, and binders for them, System F additionally has variables ranging over types, and binders for them. As an example, the fact that the identity function can have any type of the form A → A would be formalized in System F as the statement

Reverse Polish notation (RPN), also known as reverse Łukasiewicz notation, Polish postfix notation or simply postfix notation, is a mathematical notation in which operators follow their operands, in contrast to prefix or Polish notation (PN), in which operators precede their operands. The notation does not need any parentheses for as long as each operator has a fixed number of operands.

The term postfix notation describes the general scheme in mathematics and computer sciences, whereas the term reverse Polish notation typically refers specifically to the method used to enter calculations into hardware or software calculators, which often have additional side effects and implications depending on the actual implementation involving a stack. The description "Polish" refers to the nationality of logician Jan Łukasiewicz, who invented Polish notation in 1924.

Newton Carneiro Affonso da Costa (16 September 1929 – 16 April 2024) was a Brazilian mathematician, logician, and philosopher, best known for establishing and pioneering the field of paraconsistent logic. Born in Curitiba, he studied engineering and mathematics at the Federal University of Paraná in Curitiba and the title of his 1961 Ph.D. dissertation was Topological spaces and continuous functions.

Frederic Brenton Fitch (September 9, 1908 – September 18, 1987) was an American logician, a Sterling Professor at Yale University.