|
A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname). Image File history File links Portal. ...
A logician is a philosopher, mathematician, or other whose topic of scholarly study is logic. ...
A philosopher is a person who thinks deeply regarding people, society, the world, and/or the universe. ...
Leonhard Euler, considered one of the greatest mathematicians of all time A mathematician is a person whose primary area of study and research is the field of mathematics. ...
Logic (from Classical Greek λÏÎ³Î¿Ï logos; meaning word, thought, idea, argument, account, reason, or principle) is the study of the principles and criteria of valid inference and demonstration. ...
The English language is a West Germanic language that originates in England. ...
ABCs redirects here, for the Alien Big Cats, see British big cats. ...
Transliteration is the practice of transcribing a word or text written in one writing system into another writing system. ...
A family name, or surname, is that part of a persons name that indicates to what family he or she belongs. ...
Contents: Top - 0–9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
A
Nathanael (Nate) Leedom Ackerman (born March 4, 1978 in New York City, New York United States) is an Olympic wrestler—taking part in the 2004 Summer Olympics with Team GB. He was educated at the American School in London followed by Harvard University and now the Massachusetts Institute of...
Wilhelm Ackermann (March 29, 1896, Herscheid municipality, Germany â December 24, 1962 Lüdenscheid, Germany ) was a German mathematician best known for the Ackermann function, an important example in the theory of computation. ...
Year 1896 (MDCCCXCVI) was a leap year starting on Wednesday (link will display calendar). ...
Year 1962 (MCMLXII) was a common year starting on Monday (the link is to a full 1962 calendar) of the Gregorian calendar. ...
Sergei Ivanovich Adian, also Adjan (Russian: , born January 1, 1931) is a Russian mathematician. ...
Kazimierz Ajdukiewicz (born on December 12, 1890 in Tarnopol, Galicia (now Ternopil, Ukraine) - April 12, 1963 in Warsaw, Poland) was a Polish philosopher, mathematician and logician. ...
Alice Ambrose Lazerowitz (1906 – January 25, 2001) was an American philosopher. ...
1906 (MCMVI) was a common year starting on Monday (see link for calendar). ...
Year 2001 (MMI) was a common year starting on Monday (link displays the 2001 Gregorian calendar). ...
Alan Ross Anderson, born 1925, was an American logician and professor of philosophy at Yale University and the University of Pittsburgh. ...
For the rap album, see 1924 (album). ...
Year 1972 (MCMLXXII) was a leap year starting on Saturday (link will display full calendar) of the Gregorian calendar. ...
Peter B. Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania. ...
For other uses, see Aristotle (disambiguation). ...
Centuries: 5th century BC - 4th century BC - 3rd century BC Decades: 430s BC 420s BC 410s BC 400s BC 390s BC - 380s BC - 370s BC 360s BC 350s BC 340s BC 330s BC Years: 389 BC 388 BC 387 BC 386 BC 385 BC - 384 BC - 383 BC 382 BC...
Centuries: 5th century BC - 4th century BC - 3rd century BC Decades: 370s BC 360s BC 350s BC 340s BC 330s BC - 320s BC - 310s BC 300s BC 290s BC 280s BC 270s BC 327 BC 326 BC 325 BC 324 BC 323 BC - 322 BC - 321 BC 320 BC 319...
B - Bahmanyar (?, ? - 1067)
- Alexander Bain (?, 1818 - 1903)
- Stefan Banach (Poland, 1892 - 1945)
- Yehoshua Bar-Hillel (Israel, 1915 - 1975)
- Henk Barendregt (?, 1947 - )
- Jon Barwise (USA, 1942 - 2000)
- James Earl Baumgartner (USA, 1943 - )
- Nuel Belnap (1931 - )
- Paul Benacerraf (USA, ? - )
- Johan van Benthem (Netherlands, 1949 - )
- Paul Bernays (Switzerland, 1888 - 1977)
- Evert Willem Beth (Netherlands, 1908 - 1964)
- Jean-Yves Béziau (Switzerland, 1965 - )
- David Blitz (USA, ? - )
- Józef Maria Bocheński (Poland, 1902 - 1995)
- Bernard Bolzano (Czech Republic, 1781 - 1848)
- Andrea Bonomì (?, 1940 - )
- George Boole (UK, 1815 - 1864)
- George Boolos (USA, 1940 - 1996)
- Nicolas Bourbaki (Pseudonym used by a group of French mathematicians)
- Luitzen Egbertus Jan Brouwer (Netherlands, 1881 - 1966)
- Francis Burgersdyk (Netherlands, 1590 - 1629)
Abul Hassan Bahmanyar ibn Marzuban (some sources Daylami) Ajami Adarbayijani[1] (died 1067) was a famous pupil of Avicenna. ...
Alexander Bain A different Alexander Bain invented the electric clock, facsimile machine and earth battery. ...
Stefan Banach Stefan Banach (March 30, 1892 in Kraków, Austria-Hungary now Polandâ August 31, 1945 in Lwów, Soviet Union - occupied Poland), was an eminent Polish mathematician, one of the moving spirits of the Lwów School of Mathematics in pre-war Poland. ...
1892 (MDCCCXCII) was a leap year starting on Friday (see link for calendar). ...
Year 1945 (MCMXLV) was a common year starting on Monday (link will display the full calendar). ...
Yehoshua Bar-Hillel (1915-1975) was a philosopher, mathematician and linguist at MIT and the Hebrew University. ...
Year 1915 (MCMXV) was a common year starting on Friday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Thursday[1] of the 13-day-slower Julian calendar). ...
Year 1975 (MCMLXXV) was a common year starting on Wednesday (link will display full calendar) of the Gregorian calendar. ...
Henk Barendregt (1947) holds the chair of Foundations of Mathematics and Computer Science at Radboud University Nijmegen, The Netherlands, and is adjunct professor at Carnegie Mellon University, Pittsburgh Pennsylvania, USA. At Utrecht University he studied mathematical logic, obtaining his Masters in 1968 and his Ph. ...
Kenneth Jon Barwise (June 29, 1942 - March 5, 2000) was a US mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used. ...
Year 1942 (MCMXLII) was a common year starting on Thursday (the link will display the full 1942 calendar) of the Gregorian calendar. ...
Year 2000 (MM) was a leap year starting on Saturday (link will display full 2000 Gregorian calendar). ...
James Earl Baumgartner is an American mathematician active in set theory, mathematical logic and foundations, and topology. ...
Nuel D. Belnap Jr. ...
Year 1931 (MCMXXXI) was a common year starting on Thursday (link will display full 1931 calendar) of the Gregorian calendar. ...
Paul Benacerraf is an American philosopher of mathematics who has been teaching at Princeton University since he joined the faculty in 1960. ...
Johan (Johannes Franciscus Abraham Karel) van Benthem (June 12, 1949-) is a University Professor (Universiteitshoogleraar) of logic at the Universiteit van Amsterdam (in the ILLC) and professor of philosophy at Stanford University (in the CSLI). ...
Paul Bernays (17 October 1888 â 18 September 1977) was a Swiss mathematician who played a crucial role in the development of mathematical logic in the 20th century. ...
Evert Willem Beth (July 7, 1908 â April 12, 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics. ...
1908 (MCMVIII) was a leap year starting on Wednesday (link will display the full calendar). ...
Also Nintendo emulator: 1964 (emulator). ...
Jean-Yves Béziau (born January 15, 1965 in Orléans, France) is a professor and researcher at the Institute of Logic of the University of Neuchâtel, Switzerland. ...
Year 1965 (MCMLXV) was a common year starting on Friday (link will display full calendar) of the 1965 Gregorian calendar. ...
David Blitz has been a faculty member at Central Connecticut State University since 1989. ...
Józef Maria BocheÅski (born 30 August 1902 in Czuszów, Poland - 1995) was a Polish dominican, logician and philosopher. ...
Bernard Bolzano Bernard (Bernhard) Placidus Johann Nepomuk Bolzano (October 5, 1781 â December 18, 1848) was a Bohemian mathematician, theologian, philosopher, logician and antimilitarist of German mother tongue. ...
Andrea Bonomì (1940-) is an Italian philosopher and logician. ...
George Boole [], (November 2, 1815 â December 8, 1864) was a British mathematician and philosopher. ...
April 5-12: Mount Tambora explodes, changing climate. ...
1864 (MDCCCLXIV) was a leap year starting on Friday (see link for calendar) of the Gregorian calendar or a leap year starting on Sunday of the 12-day-slower Julian calendar. ...
George Stephen Boolos (September 4, 1940, New York City - May 27, 1996) was a philosopher and a mathematical logician. ...
Year 1940 (MCMXL) was a leap year starting on Monday (link will display the full 1940 calendar) of the Gregorian calendar. ...
Year 1996 (MCMXCVI) was a leap year starting on Monday (link will display full 1996 Gregorian calendar). ...
This article is about the group of mathematicians named Nicolas Bourbaki. ...
Luitzen Egbertus Jan Brouwer (February 27, 1881 - December 2, 1966), usually cited as L. E. J. Brouwer, was a Dutch mathematician, a graduate of the University of Amsterdam, who worked in topology, set theory, measure theory and complex analysis. ...
Year 1881 (MDCCCLXXXI) was a common year starting on Saturday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Thursday of the 12-day slower Julian calendar). ...
Year 1966 (MCMLXVI) was a common year starting on Saturday (link will display full calendar) of the 1966 Gregorian calendar. ...
Francis Burgersdyk or Burgersdicius (1590-1629), Dutch logician, was born at Lier, near Delft, and died at Leiden. ...
C - Georg Ferdinand Cantor (Germany, 1845 - 1918)
- Rudolf Carnap (Germany, 1891 - 1970)
- Lewis Carroll (UK, 1832 - 1898)
- Chrysippus (Greece, ? - )
- Alonzo Church (USA, 1903 - 1995)
- Leon Chwistek (Poland, 1884 - 1944)
- Paul Joseph Cohen (USA, 1934 - 2007)
- Garlandus Compotista (?, ? - )
- S. Barry Cooper (Britain, ? - )
- Newton da Costa (Brazil, 1929 - )
- William Craig (USA, - )
- Haskell Curry (USA, 1900 - 1982)
- Tadeusz Czeżowski (Poland, 1889 - 1981)
Georg Ferdinand Ludwig Philipp Cantor (March 3, 1845[1] â January 6, 1918) was a German mathematician. ...
1845 was a common year starting on Wednesday (see link for calendar). ...
1918 (MCMXVIII) was a common year starting on Tuesday of the Gregorian calendar (see link for calendar) or a common year starting on Wednesday of the Julian calendar. ...
Rudolf Carnap (May 18, 1891, Ronsdorf, Germany â September 14, 1970, Santa Monica, California) was an influential philosopher who was active in central Europe before 1935 and in the United States thereafter. ...
Year 1891 (MDCCCXCI) was a common year starting on Thursday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Saturday of the 12-day slower Julian calendar). ...
Year 1970 ([[Rf 1970 == January 1 - The Unix epoch begins at 00:00:00 UTC January 2 - The last studio performance of The Beatles oman numerals|MCMLXX]]) was a common year starting on Thursday (link shows full calendar) of the Gregorian calendar. ...
Charles Lutwidge Dodgson (Lewis Carroll) Charles Lutwidge Dodgson (IPA: ) (January 27, 1832 â January 14, 1898), better known by the pen name Lewis Carroll (), was an English author, mathematician, logician, Anglican clergyman and photographer. ...
Year 1832 (MDCCCXXXII) was a leap year starting on Sunday (link will display the full calendar) of the Gregorian Calendar (or a leap year starting on Friday of the 12-day slower Julian calendar). ...
Year 1898 (MDCCCXCVIII) was a common year starting on Saturday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Monday of the 12-day-slower Julian calendar). ...
Chrysippus of Soli (279-207 BC) was Cleanthess pupil and eventual successor to the head of the stoic philosophy (232-204 BC). ...
â¹ The template below (Expand) is being considered for deletion. ...
1900 (MCMIII) was a common year starting on Thursday (link will display calendar) of the Gregorian calendar or a common year starting on Friday of the 13-day slower Julian calendar. ...
Year 1995 (MCMXCV) was a common year starting on Sunday (link will display full 1995 Gregorian calendar). ...
Leon Chwistek Leon Chwistek (b. ...
Paul Joseph Cohen (April 2, 1934 â March 23, 2007[1]) was an American mathematician. ...
Year 1934 (MCMXXXIV) was a common year starting on Monday (link will display full 1934 calendar) of the Gregorian calendar. ...
Year 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the AD/CE era in the 21st century. ...
Garlandus Compotista also known as Garland the Computist was an early medieval logician of the eleventh-century school of Liège. ...
S. Barry Cooper is a British mathematician and computability theorist. ...
Newton Carneiro Affonso da Costa (born on 16 September in 1929 in Curitiba, Brazil), Professor Emeritus, is a Brazilian mathematician, logician, and philosopher of international reputation. ...
Year 1929 (MCMXXIX) was a common year starting on Tuesday (link will display the full calendar) of the Gregorian calendar. ...
The Right Honourable William Craig (b. ...
Haskell Brooks Curry (September 12, 1900, Millis, Massachusetts - September 1, 1982, State College, Pennsylvania) was an American mathematician and logician. ...
Ä: For the film, see: 1900 (film). ...
Year 1982 (MCMLXXXII) was a common year starting on Friday (link displays the 1982 Gregorian calendar). ...
Tadeusz Czeżowski (b. ...
D T. Edward Damer is a philosopher and author of Attacking Faulty Reasoning, a textbook on logical fallacies. ...
Martin Davis, (born 1926, New York City) is an American mathematician, known for his work on Hilberts tenth problem. ...
The tone or style of this article or section may not be appropriate for Wikipedia. ...
1806 was a common year starting on Wednesday (see link for calendar). ...
1871 (MDCCCLXXI) was a common year starting on Sunday (see link for calendar). ...
Dharmakirti (circa 7th century), was an Indian scholar and one of the Buddhist founders of Indian philosophical logic. ...
DignÄga (5th century AD), was an Indian scholar and one of the Buddhist founders of Indian philosophical logic. ...
Stephen R. Donaho (1965-pres) is an influential American logician, philosopher, and scholar who shocked the philosophical world when he published his revolutionary study Are declarative sentences representational? in the international journal of philosophy, Mind. ...
...
Year 1925 (MCMXXV) was a common year starting on Thursday (link will display the full calendar) of the Gregorian calendar. ...
E Alexander Sergeyevich Esenin-Volpin (Russian: ÐлекÑÐ°Ð½Ð´Ñ Ð¡ÐµÑÐ³ÐµÐµÐ²Ð¸Ñ ÐÑенин-ÐолÑпин; born on May 12, 1924) is a prominent Russian American mathematician. ...
John W. Etchemendy is Stanford Universitys twelfth and current Provost. ...
F Solomon Feferman is a mathematician and philosopher at Stanford University. ...
Richard Ferrybridge[1] was an English logician of the fourteenth century. ...
Hartry H. Field (born 1946) is a philosopher working at New York University (NYU). ...
Kit Fine (born March 26, 1946) is Silver Professor of Philosophy at New York University. ...
Matthew Foreman (born March 21, 1957) is a set theorist at University of California, Irvine. ...
Michael Paul Fourman, FBCS (born 1950-09-12) is Professor of Computer Systems, and Head of the School of Informatics at the University of Edinburgh in Scotland, UK. Fourman is interested in applications of logic in computer science, artificial intelligence, and cognitive science â more specifically, formal models of digital systems...
Adolf Abraham Halevi Fraenkel (February 17, 1891 - October 15, German / Israeli mathematician. ...
Year 1891 (MDCCCXCI) was a common year starting on Thursday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Saturday of the 12-day slower Julian calendar). ...
Year 1965 (MCMLXV) was a common year starting on Friday (link will display full calendar) of the 1965 Gregorian calendar. ...
Roland Fraïssé is a French mathematical logician. ...
Friedrich Ludwig Gottlob Frege (8 November 1848, Wismar â 26 July 1925, IPA: ) was a German mathematician who became a logician and philosopher. ...
Year 1848 (MDCCCXLVIII) was a leap year starting on Saturday (link will display the full calendar) of the Gregorian Calendar (or a leap year starting on Monday of the 12-day slower Julian calendar). ...
Year 1925 (MCMXXV) was a common year starting on Thursday (link will display the full calendar) of the Gregorian calendar. ...
Harvey Friedman is a mathematical logician at The Ohio State University. ...
G - Dov Gabbay (?, 1945 - )
- L.T.F. Gamut (collective pseudonym used by a group of Dutch logicians)
- Robin Gandy (Britain, 1919 - 1995)
- Sol Garfunkel (?, 1943 - )
- Aksapada Gautama (India, c. 6th century B.C. - 5th century B.C.)
- Peter Geach (?, 1916 - )
- Gerhard Gentzen (Germany, 1909 - 1945)
- Joseph Diaz Gergonne (France, 1771 - 1859)
- Jean-Yves Girard
- Kurt Gödel (Austria, USA, 1906 - 1978)
- Jeroen Groenendijk (?, ? - )
Dov Gabbay is Augustus De Morgan Professor of Logic at the Group of Logic, Language and Computation, Department of Computer Science, Kings College London. ...
L.T.F. Gamut was a collective pseudonym for the Dutch logicians Johan van Benthem, Jeroen Groenendijk, Dick de Jongh, Martin Stokhof and Henk Verkuyl. ...
A pseudonym (Greek: , pseudo + -onym: false name) is an artificial, fictitious name, also known as an alias, used by an individual as an alternative to a persons legal name. ...
Robin Oliver Gandy (22 September 1919 - 20 November 1995) was a British mathematician and logician. ...
Solomon Sol Garfunkel (born 1943) is a mathematician who has focused his career on mathematics education. ...
Aksapada Gautama (probably c. ...
(2nd millennium BC - 1st millennium BC - 1st millennium) The 6th century BC started on January 1, 600 BC and ended on December 31, 501 BC. // Monument 1, an Olmec colossal head at La Venta The 5th and 6th centuries BC were a time of empires, but more importantly, a time...
The 5th century BC started the first day of 500 BC and ended the last day of 401 BC. // The Parthenon of Athens seen from the hill of the Pnyx to the west. ...
Peter Thomas Geach (born 1919) is one of the foremost contemporary British philosophers. ...
Gerhard Karl Erich Gentzen (November 24, 1909 â August 4, 1945) was a German mathematician and logician. ...
Year 1909 (MCMIX) was a common year starting on Friday (link will display full calendar) of the Gregorian calendar (or a common year starting on Thursday of the 13-day-slower Julian calendar). ...
Year 1945 (MCMXLV) was a common year starting on Monday (link will display the full calendar). ...
Joseph Diaz Gergonne (19 June 1771 Nancy, France -- 4 May 1859 Montpellier, France) was a French geometer and logician. ...
1771 was a common year starting on Tuesday (see link for calendar). ...
Year 1859 (MDCCCLIX) was a common year starting on Saturday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Thursday of the 12-day slower Julian calendar). ...
Jean-Yves Girard is a French mathematician working in proof theory. ...
Kurt Gödel (IPA: ) (April 28, 1906 Brünn, Austria-Hungary (now Brno, Czech Republic) â January 14, 1978 Princeton, New Jersey) was an Austrian American mathematician and philosopher. ...
1906 (MCMVI) was a common year starting on Monday (see link for calendar). ...
Year 1978 (MCMLXXVIII) was a common year starting on Sunday (link displays the 1978 Gregorian calendar). ...
Jeroen Groenendijk is a Dutch logician and philosopher, working on philosophy of language, formal semantics and pragmatics. ...
H - Susan Haack (UK, 1945 - )
- Wang Hao (China/USA, 1921 - 1995)
- Leo Harrington (USA, ? - )
- Robert S. Hartman (?, 1910 - 1973)
- Georg Wilhelm Friedrich Hegel (?, 1770 - 1831)
- Jean Van Heijenoort (?, 1912 - 1986)
- Leon Henkin
- Jacques Herbrand (France)
- Arend Heyting (1898 - 1980)
- David Hilbert (Germany, 1862 - 1943)
- Jaakko Hintikka (Finland, 1929 - )
- Alfred Horn (USA, 1918 - 2001)
- William Alvin Howard (?, ? - )
- Ehud Hrushovski (Israel, 1959 - )
Susan Haack (born 1945) is an English professor of philosophy and law at the University of Miami in Coral Gables, Florida, in the United States. ...
Year 1945 (MCMXLV) was a common year starting on Monday (link will display the full calendar). ...
Wang Hao (Chinese: çæµ©; pinyin: ; 1921 â 1995) was a Chinese-American logician, philosopher and mathematician. ...
Leo Harrington is a professor of mathematics at the University of California at Berkeley who works in recursion theory, model theory, and set theory. ...
Robert Schirokauer Hartman (January 27, 1910 - September 20, 1973) was a logician and philosopher. ...
Georg Wilhelm Friedrich Hegel (IPA: ) (August 27, 1770 â November 14, 1831) was a German philosopher and, with Johann Gottlieb Fichte and Friedrich Wilhelm Joseph Schelling, one of the representatives of German idealism. ...
Jean van Heijenoort (prounounced highenort) (July 23, 1912, Creil France - March 29, 1986, Mexico City) was a pioneer historian of mathematical logic. ...
Leon Henkin (19 April 1921â1 November 2006) was a logician at the University of California, Berkeley. ...
Jacques Herbrand (February 12, 1908 - July 27, 1932) was a French mathematician who was born in Paris, France and died in La Bérarde, Isère, France. ...
Arend Heyting (May 9, 1898 â July 9, 1980) was a Dutch mathematician and logician. ...
Year 1898 (MDCCCXCVIII) was a common year starting on Saturday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Monday of the 12-day-slower Julian calendar). ...
Year 1980 (MCMLXXX) was a leap year starting on Tuesday (link displays the 1980 Gregorian calendar). ...
David Hilbert (January 23, 1862, Königsberg, East Prussia â February 14, 1943, Göttingen, Germany) was a German mathematician, recognized as one of the most influential and universal mathematicians of the 19th and early 20th centuries. ...
This article is about 1862 . ...
Year 1943 (MCMXLIII) was a common year starting on Friday (the link will display full 1943 calendar) of the Gregorian calendar. ...
Jaakko Hintikka in 2006. ...
Alfred Horn (February 17, 1918 - April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra. ...
1918 (MCMXVIII) was a common year starting on Tuesday of the Gregorian calendar (see link for calendar) or a common year starting on Wednesday of the Julian calendar. ...
Year 2001 (MMI) was a common year starting on Monday (link displays the 2001 Gregorian calendar). ...
William Alvin Howard is a proof theorist most well-known for his work demonstrating formal similarity between intuitionistic logic and the typed lambda-calculus that has come to be known as the Curry-Howard correspondence. ...
Ehud Hrushovski (born 1959) is a logician. ...
I Lyubomir Ivanov Lyubomir Ivanov (born October 7, 1952) is a scientist, non-governmental activist, and Antarctic explorer. ...
Year 1952 (MCMLII) was a leap year starting on Tuesday (link will display full calendar) of the Gregorian calendar. ...
J Giorgi Japaridze is a logician, at Villanova University in Villanova, Pennsylvania. ...
StanisÅaw JaÅkowski StanisÅaw JaÅkowski (1906â1965) was a Polish logician who made important contributions to proof theory and semantics. ...
Richard C. Jeffrey (5 August 1926 â 9 November 2002) was an American philosopher, logician, and probability theorist. ...
Ronald B.Jensen. ...
[William Stanley Jevons] William Stanley Jevons (September 1, 1835 - August 13, 1882), English economist and logician, was born in Liverpool. ...
| Come and take it, slogan of the Texas Revolution 1835 was a common year starting on Thursday (see link for calendar). ...
Year 1882 (MDCCCLXXXII) was a common year starting on Sunday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Friday of the 12-day slower Julian calendar). ...
William Ernest Johnson (June 23, 1858 â January 14, 1931) was a British logician known for his three volume work Logic (1921-1924). ...
Dick de Jongh (born 1939) is a Dutch logician and mathematician. ...
Bjarni Jónsson is a mathematician and logician working in universal algebra and lattice theory. ...
Philip Edward Bertrand Jourdain (1879-1919) was a British logician and follower of Bertrand Russell. ...
K There are many people named David Kaplan. ...
Year 1933 (MCMXXXIII) was a common year starting on Sunday (link will display full calendar) of the Gregorian calendar. ...
Alexander S. (Alekos) Kechris is a descriptive set theorist at Caltech. ...
Stephen Cole Kleene (January 5, 1909 â January 25, 1994) was an American mathematician whose work at the University of Wisconsin-Madison helped lay the foundations for theoretical computer science. ...
Year 1909 (MCMIX) was a common year starting on Friday (link will display full calendar) of the Gregorian calendar (or a common year starting on Thursday of the 13-day-slower Julian calendar). ...
Year 1994 (MCMXCIV) The year 1994 was designated as the International Year of the Family and the International Year of the Sport and the Olympic Ideal by the United Nations. ...
David Kolb (born 1941) is a well-known philosopher and the Charles A. Dana Professor Emeritus of Philosophy at Bates College in Maine. ...
Tadeusz KotarbiÅski (b. ...
Robert Anthony Kowalski (Bob Kowalski, born May 15, 1941 in Bridgeport, Connecticut, USA) is an American logician and computer scientist, who has spent much of his career in the UK. He was educated at the University of Chicago, University of Bridgeport (BA in mathematics, 1963), Stanford University (MSc in mathematics...
Georg Kreisel (born September 15, 1923 in Graz) is an Austrian-born mathematical logician who has studied and worked in Great Britain and America. ...
Saul Aaron Kripke (born in November 13, 1940 in Bay Shore, New York) is an American philosopher and logician now emeritus from Princeton and teaches as distinguished professor of philosophy at CUNY Graduate Center. ...
Year 1940 (MCMXL) was a leap year starting on Monday (link will display the full 1940 calendar) of the Gregorian calendar. ...
Leopold Kronecker Leopold Kronecker (December 7, 1823 - December 29, 1891) was a German mathematician and logician who argued that arithmetic and analysis must be founded on whole numbers, saying, God made the integers; all else is the work of man (Bell 1986, p. ...
L - Christine Ladd-Franklin (?, 1847 - 1930)
- M. C. Laskowski (USA, ?)
- Gottfried Wilhelm Leibniz (Germany, 1646 - 1716)
- Stanisław Leśniewski (Poland, 1886 - 1939)
- Clarence Irving Lewis (USA, 1883 - 1964)
- David Lewis (USA, 1941 - 2001)
- David Kellogg Lewis (?, 1941 - 2001)
- Adolf Lindenbaum (Poland, 1904 - 1941)
- Martin Löb (Germany, 1921 - 2006)
- Paul Lorenzen (Germany, 1915 - 1994)
- Jerzy Łoś (Poland, 1920 - 1998)
- Rudolf Hermann Lotze (Germany 1817 - 1881)
- Leopold Löwenheim (Germany, 1878 - 1957)
- Jan Łukasiewicz (Poland, 1878 - 1956)
Christine Ladd-Franklin (1 December 1847 - 5 March 1930) psychologist and logician was born in Windsor, Connecticut to Eliphalet Ladd and Augusta Niles. ...
Leibniz redirects here. ...
1646 (MDCXLVI) was a common year starting on Monday (see link for calendar) of the Gregorian calendar (or a common year starting on Thursday of the 10-day slower Julian calendar). ...
// Events August 5 - In the Battle of Peterwardein 40. ...
Stanislaw Lesniewski (March 30, 1886âMay 13, 1939) was a Polish mathematician, philosopher and logician. ...
Clarence Irving Lewis (April 12, 1883 Stoneham, Massachusetts - February 3, 1964 Cambridge, Massachusetts) was an American academic philosopher. ...
Year 1883 (MDCCCLXXXIII) was a common year starting on Monday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Saturday of the 12-day slower Julian calendar). ...
Also Nintendo emulator: 1964 (emulator). ...
David K. Lewis David Kellogg Lewis (September 28, 1941 â October 14, 2001) is considered to have been one of the leading analytic philosophers of the latter half of the 20th century. ...
For other uses, see 1941 (disambiguation). ...
Year 2001 (MMI) was a common year starting on Monday (link displays the 2001 Gregorian calendar). ...
David Kellogg Lewis (September 28, 1941 â October 14, 2001) is considered to have been one of the leading analytic philosophers of the latter half of the 20th century. ...
Adolf Lindenbaum (born June 12, 1904 in Warsaw, Poland; died 1941 in Paneriai), was a Polish Jewish logician and mathematician. ...
1904 (MCMIV) was a leap year starting on a Friday (see link for calendar). ...
For other uses, see 1941 (disambiguation). ...
Martin Hugo Löb (31 March 1921 - 21 August 2006) was a German mathematician. ...
Paul Lorenzen (born March 24, 1915 in Kiel, Germany) is a philosopher and mathematician. ...
Jerzy Zygmunt ÅoÅ (March 22, 1920-June 1, 1998) was a Polish mathematician, logician, and philosopher. ...
Rudolf Herman Lotze (May 21, 1817 - July 1, 1881), was a German philosopher. ...
1817 was a common year starting on Wednesday (see link for calendar). ...
Year 1881 (MDCCCLXXXI) was a common year starting on Saturday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Thursday of the 12-day slower Julian calendar). ...
Leopold Löwenheim (1878, Krefeld Germany - 1957, Berlin) was a German mathematician, known for his work in mathematical logic. ...
1878 (MDCCCLXXVIII) was a common year starting on Tuesday (see link for calendar). ...
Year 1957 (MCMLVII) was a common year starting on Tuesday (link displays the 1957 Gregorian calendar). ...
// Jan Åukasiewicz (21 December 1878 - 13 February 1956) was a Polish mathematician born in Lemberg, Galicia, Austria-Hungary (now Lviv, Ukraine). ...
1878 (MDCCCLXXVIII) was a common year starting on Tuesday (see link for calendar). ...
A car from 1956 Year 1956 (MCMLVI) was a leap year starting on Sunday (link will display full calendar) of the Gregorian calendar. ...
M - Hugh MacColl (Scotland 1837 - 1909)
- Saunders MacLane (USA, 1909 - )
- Dugald Macpherson (?, ? - )
- Penelope Maddy (USA, ? - )
- David Makinson (Australia, 1941 - )
- Isaac Malitz (USA, 1947 - )
- Ruth Barcan Marcus (USA, 1921 - )
- Per Martin-Löf (Sweden, 1942 - )
- Donald A. Martin
- Richard Milton Martin (USA, 1916 - 1985)
- Yuri Matiyasevich (Russia/Soviet Union, 1947 - )
- C. A. Meredith (Ireland, 1904 - 1976)
- John Stuart Mill (England, 1806 - 1873)
- Richard Montague (USA, 1930 - 1971)
- Yiannis N. Moschovakis
- Andrzej Mostowski (Poland, 1913 - 1975)
Hugh MacColl (1837-1909) was a Scot who trained as a mathematician and evolved into a logician. ...
Queen Victoria, Queen of the United Kingdom (1837 - 1901) 1837 (MDCCCXXXVII) was a common year starting on Sunday (see link for calendar). ...
Year 1909 (MCMIX) was a common year starting on Friday (link will display full calendar) of the Gregorian calendar (or a common year starting on Thursday of the 13-day-slower Julian calendar). ...
Saunders Mac Lane (born 4 August 1909) is a US mathematician. ...
Year 1909 (MCMIX) was a common year starting on Friday (link will display full calendar) of the Gregorian calendar (or a common year starting on Thursday of the 13-day-slower Julian calendar). ...
H. Dugald Macpherson is a mathematician and logician. ...
Penelope Maddy is Professor of Logic and Philosophy of Science and of Mathematics at the University of California, Irvine. ...
David Clement Makinson is Senior Research Fellow in the Department of Computer Science, Kings College London. ...
Isaac Richard Jay Malitz (born 1947, Cleveland, Ohio) is a logician who introduced the subject of positive set theory in his 1976 Ph. ...
Ruth Barcan Marcus (born 1921) is the philosopher and logician after whom the Barcan formula is named. ...
Year 1921 (MCMXXI) was a common year starting on Saturday (link will display the full calendar). ...
Per Martin-Löf 2004 Per Martin-Löf is a Swedish logician, philosopher, and mathematician born in 1942. ...
Donald A. (Tony) Martin is a set theorist and philosopher of mathematics at UCLA. Among his most notable work are the proofs of Borel determinacy (from ZFC alone), the proof (with John R. Steel) of projective determinacy (from suitable large cardinal axioms), and his work on Martins axiom. ...
Richard Milton Martin (1916-11. ...
Yuri Matiyasevich born March 2, 1947 in Leningrad, is a Russian mathematician. ...
Influential Irish Logician. ...
1904 (MCMIV) was a leap year starting on a Friday (see link for calendar). ...
Year 1976 Pick up sticks(MCMLXXVI) was a leap year starting on Thursday (link will display full calendar) of the Gregorian calendar. ...
John Stuart Mill (20 May 1806 â 8 May 1873), British philosopher, political economist, civil servant and Member of Parliament, was an influential liberal thinker of the 19th century. ...
1806 was a common year starting on Wednesday (see link for calendar). ...
1873 (MDCCCLXXIII) was a common year starting on Wednesday (see link for calendar). ...
Richard Merett Montague (1930â1971) was an American mathematician and philosopher. ...
Year 1930 (MCMXXX) was a common year starting on Wednesday (link will display 1930 calendar) of the Gregorian calendar. ...
Year 1971 (MCMLXXI) was a common year starting on Friday (link will display full calendar) of the 1971 Gregorian calendar. ...
Yiannis N. Moschovakis is a set theorist, descriptive set theorist, and recursion (computability) theorist, at UCLA. For many years he has split his time between UCLA and University of Athens (he is retiring from the latter in July, 2005). ...
Andrzej Mostowski (1 November 1913 - 22 August 1975) was a Polish mathematician. ...
N Reverend Edward Nelson was the father of British naval commander Horatio Nelson. ...
For other persons named John Neumann, see John Neumann (disambiguation). ...
1900 (MCMIII) was a common year starting on Thursday (link will display calendar) of the Gregorian calendar or a common year starting on Friday of the 13-day slower Julian calendar. ...
Year 1957 (MCMLVII) was a common year starting on Tuesday (link displays the 1957 Gregorian calendar). ...
Jean George Pierre Nicod (c. ...
Pyotr Sergeyevich Novikov (August 15, 1901 - January 9, 1975) was a Russian mathematician who was born in Moscow, Russia and died in Moscow, Russia. ...
O William of Ockham (also Occam or any of several other spellings, IPA: ) (c. ...
Piergiorgio Odifreddi (Born in Cuneo, July 13, 1950), is an Italian mathematician, logician and afficianado of the history of science, who is also extremely active as a popular science writer and essayist. ...
Please wikify (format) this article as suggested in the Guide to layout and the Manual of Style. ...
P - Jeff Paris (Britain, ? - )
- Charles Parsons (USA, ? - )
- Solomon Passy (Bulgaria, 1956 - )
- Giuseppe Peano (Italy, 1858 - 1932)
- Charles Peirce (USA, 1839 - 1914)
- Charles Sanders Peirce (USA, 1839 - 1914)
- Chaim Perelman (Poland, ? - )
- Walter Pitts (USA, 1923 - 1969)
- Emil Leon Post (USA, 1897 - 1954)
- Dag Prawitz (Sweden, 1936 - )
- Mojżesz Presburger (Poland 1904 -1943)
- Graham Priest (Australia 1948 - )
- Arthur Prior (New Zealand, 1914 - 1969)
- Hilary Putnam (USA, 1926 - )
Jeff B. Paris is a British Mathematician known for his work on mathematical logic, in particular uncertain reasoning and inductive logic with an emphasis on rationality and common sense principles. ...
Charles Parsons is a distinguished figure in the philosophy of mathematics and son of famous social scientist Talcott Parsons. ...
Solomon Passy (Bulgarian: Соломон ÐаÑи) (born December 22, 1956) is a Bulgarian politician, founder of the Atlantic Club in Bulgaria. ...
Giuseppe Peano Giuseppe Peano (August 27, 1858 â April 20, 1932) was an Italian mathematician and philosopher best known for his contributions to set theory. ...
Year 1858 (MDCCCLVIII) was a common year starting on Friday (link will display the full calendar) of the Gregorian Calendar (or a common year starting on Wednesday of the 12-day slower Julian calendar). ...
Year 1932 (MCMXXXII) was a leap year starting on Friday (the link will display full 1932 calendar) of the Gregorian calendar. ...
Charles Sanders Peirce (IPA: /pÉs/), (September 10, 1839 â April 19, 1914) was an American polymath, physicist, and philosopher, born in Cambridge, Massachusetts. ...
Charles Sanders Peirce Charles Sanders Peirce (September 10, 1839 – April 19, 1914) was an American logician, philosopher, scientist, and mathematician. ...
1839 (MDCCCXXXIX) was a common year starting on Tuesday (see link for calendar). ...
Year 1914 (MCMXIV) was a common year starting on Thursday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Wednesday of the 13-day-slower Julian calendar). ...
Chaïm Perelman (May 20, 1912 â January 22, 1984), a Polish-born philosopher of law, who studied, taught, and lived most of his life in Brussels. ...
Walter Pitts (1923? - 1969) was a logician who worked in the field of cognitive psychology. ...
Year 1923 (MCMXXIII) was a common year starting on Monday (link will display the full calendar) of the Gregorian calendar. ...
Also: 1969 (Stargate SG-1) episode. ...
Emil Leon Post (February 11, 1897 - April 21, 1954) was a Polish-American mathematician and logician. ...
1897 (MDCCCXCVII) was a common year starting on Friday (see link for calendar). ...
Year 1954 (MCMLIV) was a common year starting on Friday (link will display full calendar) of the Gregorian calendar. ...
Dag Prawitz (born 1936) is a Swedish philosopher and logician. ...
1936 (MCMXXXVI) was a leap year starting on Wednesday (link will take you to calendar). ...
Mojżesz Presburger (1904 - 1943) was a Polish mathematician, logician, and philosopher. ...
1904 (MCMIV) was a leap year starting on a Friday (see link for calendar). ...
Year 1943 (MCMXLIII) was a common year starting on Friday (the link will display full 1943 calendar) of the Gregorian calendar. ...
Graham (Grammy) Priest (born 1948) is Boyce Gibson Professor of Philosophy at the University of Melbourne and a regular visitor at St. ...
Year 1948 (MCMXLVIII) was a leap year starting on Thursday (link will display the 1948 calendar) of the Gregorian calendar. ...
Arthur Norman Prior (1914 Masterton, New Zealand - 1969 Trondheim, Norway) was one of the foremost logicians of the twentieth century. ...
Year 1914 (MCMXIV) was a common year starting on Thursday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Wednesday of the 13-day-slower Julian calendar). ...
Also: 1969 (Stargate SG-1) episode. ...
Hilary Whitehall Putnam (born July 31, 1926) is an American philosopher who has been a central figure in Western philosophy since the 1960s, especially in philosophy of mind, philosophy of language, and philosophy of science. ...
Year 1926 (MCMXXVI) was a common year starting on Friday (link will display the full calendar) of the Gregorian calendar. ...
Q W. V. Quine Willard Van Orman Quine (June 25, 1908 - December 25, 2000) was one of the most influential American philosophers and logicians of the 20th century. ...
1908 (MCMVIII) was a leap year starting on Wednesday (link will display the full calendar). ...
Year 2000 (MM) was a leap year starting on Saturday (link will display full 2000 Gregorian calendar). ...
For people named Quine, see Quine (surname). ...
R - Michael O. Rabin (?, 1931 - )
- Constantin Rădulescu-Motru (?, 1868 - 1957)
- Frank Plumpton Ramsey (UK, 1903 - 1930)
- Helena Rasiowa (Poland, 1917 - 1994)
- Carveth Read (Britain, 1848 - 1931)
- Abraham Robinson (Israel, UK, Canada, USA, 1918 - 1974)
- Raphael M. Robinson (USA, 1911 - 1995)
- Hartley Rogers, Jr (?, ? - )
- J. Barkley Rosser (USA, 1907 - 1989)
- Richard Routley (New Zealand, 1935 - 1996)
- Bertrand Russell (UK, 1872 - 1970)
Michael Oser Rabin (born 1931 in Breslau, Germany, today in Poland) is a noted computer scientist and a recipient of the Turing Award, the most prestigious award in the field. ...
Constantin RÄdulescu-Motru Constantin RÄdulescu-Motru (born Constantin RÄdulescu, he added the surname Motru in 1892; February 15, 1868âMarch 6, 1957) was a Romanian philosopher, psychologist, sociologist, logician, academic, dramatist, as well as centre-left nationalist politician with a noted anti-fascist discourse. ...
Frank Plumpton Ramsey (February 22, 1903 - January 19, 1930) was a British mathematician and logician. ...
1900 (MCMIII) was a common year starting on Thursday (link will display calendar) of the Gregorian calendar or a common year starting on Friday of the 13-day slower Julian calendar. ...
Year 1930 (MCMXXX) was a common year starting on Wednesday (link will display 1930 calendar) of the Gregorian calendar. ...
Helena Rasiowa (1917-1994) was a Polish mathematician, considered to be one of the greatest of her time. ...
Carveth Read (1848 â 1931) was a 19th and 20th century British philosopher and logician. ...
Abraham Robinson Abraham Robinson (October 6, 1918 â April 11, 1974) was a mathematician who is most widely known for development of non-standard analysis, a mathematically rigorous system whereby infinitesimal and infinite numbers were incorporated into mathematics. ...
1918 (MCMXVIII) was a common year starting on Tuesday of the Gregorian calendar (see link for calendar) or a common year starting on Wednesday of the Julian calendar. ...
Year 1974 (MCMLXXIV) was a common year starting on Tuesday (link will display full calendar) of the 1974 Gregorian calendar. ...
Raphael Mitchel Robinson (November 2, 1911, National City California - January 27, 1995. ...
Hartley Rogers, Jr is a Professor of Mathematics at the Massachusetts Institute of Technology. ...
John Barkley Rosser Sr. ...
Year 1907 (MCMVII) was a common year starting on Tuesday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Monday of the 13-day-slower Julian calendar). ...
Year 1989 (MCMLXXXIX) was a common year starting on Sunday (link displays 1989 Gregorian calendar). ...
Richard Sylvan, born as Richard Routley (1935 - 16 June,, 1996) was a philosopher and writer. ...
1935 (MCMXXXV) was a common year starting on Tuesday (link will display full calendar). ...
Year 1996 (MCMXCVI) was a leap year starting on Monday (link will display full 1996 Gregorian calendar). ...
Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, (18 May 1872 â 2 February 1970), was a British philosopher, logician, mathematician, advocate for social reform, and pacifist. ...
Year 1872 (MDCCCLXXII) was a leap year starting on Monday (link will display the full calendar) of the Gregorian Calendar (or a leap year starting on Saturday of the 12-day slower Julian calendar). ...
Year 1970 ([[Rf 1970 == January 1 - The Unix epoch begins at 00:00:00 UTC January 2 - The last studio performance of The Beatles oman numerals|MCMLXX]]) was a common year starting on Thursday (link shows full calendar) of the Gregorian calendar. ...
S - Gerald Sacks (USA, ? - )
- Albert of Saxony (Germany, c. 1316 - 1390)
- Rolf Schock (b. France, 1933 - 1986)
- Moses Schönfinkel (USSR, 1889 - 1942)
- Ernst Schröder (Germany, 1841 - 1902)
- Dana Scott (USA, 1932 - )
- Duns Scotus (?, 1266 - 1308)
- John Duns Scotus (England, c. 1266-1308)
- Fyodor Shcherbatskoy (Russia, 1866 - 1942)
- Saharon Shelah (Israel, 1945 - )
- William of Sherwood (England, 1190 - 1249)
- Hui Shi (China, ? - )
- Christoph von Sigwart (Germany, 1830 - 1894)
- Raghunatha Siromani (India, 1470s - 1550s)
- Thoralf Skolem (Norway 1887 - 1963)
- Dimiter Skordev (Bulgaria, 1936 - )
- Theodore Slaman (USA, ? - )
- Raymond Smullyan (USA, 1919 - )
- Robert M. Solovay (USA, ? - )
- Peter of Spain
- John R. Steel
- Martin Stokhof (Netherlands, ? - )
- Nyāya Sūtras (India, ? - )
- Richard Sylvan (?, 1935 - 1996)
Gerald Sacks is a logician who holds a joint appointment at Harvard University and the Massachusetts Institute of Technology. ...
Albert of Saxony (Albertus de Saxonia, c. ...
Events Pope John XXII elected to the papacy. ...
Events Births December 27 - Anne de Mortimer, claimant to the English throne (died 1411) Domenico da Piacenza, Italian dancemaster (died 1470) John Dunstable, English composer (died 1453) Engelbrekt Engelbrektsson, Swedish statesman and rebel leader (died 1436) Humphrey, Duke of Gloucester (died 1447) John VIII Palaeologus Byzantine Emperor (died 1448) Deaths...
Rolf Schock (1933-1986), philosopher and artist, was born in France by German parents. ...
Year 1933 (MCMXXXIII) was a common year starting on Sunday (link will display full calendar) of the Gregorian calendar. ...
Year 1986 (MCMLXXXVI) was a common year starting on Wednesday (link displays 1986 Gregorian calendar). ...
Moses Schönfinkel, also known as Moisei Isaievich Sheinfinkel ШейнÑÐ¸Ð½ÐºÐµÐ»Ñ (September 4, 1889 Ekaterinoslav (now Dnipropetrovsk, Ukraine) â 1942, Moscow) was a Jewish/Soviet logician and mathematician. ...
Year 1889 (MDCCCLXXXIX) was a common year starting on Tuesday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Sunday of the 12-day slower Julian calendar). ...
Year 1942 (MCMXLII) was a common year starting on Thursday (the link will display the full 1942 calendar) of the Gregorian calendar. ...
Ernst Schröder Ernst Schröder (25 November 1841 Mannheim, Germany - 16 June 1902 Karlsruhe Germany) was a German mathematician mainly known for his work on algebraic logic. ...
Dana Stewart Scott (born 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. ...
Blessed John Duns Scotus (c. ...
John Duns Scotus (c. ...
For broader historical context, see 1260s and 13th century. ...
Events Henry VII is elected as king of the Holy Roman Empire. ...
Fyodor Stcherbatskoy Fyodor Ippolitovich Shcherbatskoy or Stcherbatsky (1866-1942) was a Russian Indologist who laid foundations for the scholarly study of Buddhist philosophy. ...
Saharon Shelah (, born July 3, 1945 in Jerusalem) is an Israeli mathematician. ...
Year 1945 (MCMXLV) was a common year starting on Monday (link will display the full calendar). ...
William of Sherwood (or Shyreswood), 1190-1249, was a medieval English logician and teacher. ...
Events March 16 - Massacre and mass-suicide of the Jews of York, England prompted by Crusaders and Richard Malebys kill 150-500 Jews in Cliffords Tower June 10 - Third Crusade: Frederick I Barbarossa drowned in the Saleph River while leading an army to Jerusalem. ...
Events University, the first College at Oxford founded Births Emperor Kameyama of Japan Pope John XXII Frederick I, Margrave of Baden Deaths July 6 - Alexander II of Scotland (b. ...
Hui Shi (æ æ½ Also Hui Shih) (4th century B.C.) Documents of the teachings of Hui Shi are only preserved in the Zhuangzi Chuang Chou. ...
Christoph von Sigwart (1830 - 1894), son of the philosopher Christoph Wilhelm von Sigwart, was a German logician. ...
Liberty Leading the People by Eugène Delacroix commemorates the July Revolution 1830 (MDCCCXXX) was a common year starting on Friday (see link for calendar). ...
1894 (MDCCCXCIV) was a common year starting on Monday (see link for calendar). ...
Raghunatha Siromani (born c. ...
Albert Thoralf Skolem (May 23, 1887 - March 23, 1963) was a Norwegian mathematician. ...
1887 (MDCCCLXXXVII) is a common year starting on Saturday (click on link for calendar) of the Gregorian calendar or a common year starting on Monday of the Julian calendar. ...
Year 1963 (MCMLXIII) was a common year starting on Tuesday (link will display full calendar) of the Gregorian calendar. ...
Dimiter Skordev Dimiter Skordev (born 1936) is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the St. ...
1936 (MCMXXXVI) was a leap year starting on Wednesday (link will take you to calendar). ...
Theodore Slaman is a professor of mathematics at the University of California at Berkeley who works in recursion theory. ...
Raymond Merrill Smullyan (born 1919) is a mathematician, logician, philosopher, and magician. ...
Year 1919 (MCMXIX) was a common year starting on Wednesday (link will display the full calendar). ...
Robert M. Solovay is a set theorist who spent many years as a professor at UC Berkeley. ...
Peter of Spain (thirteenth century) is a Spanish author of Tractatus a standard textbook on logic, and until recently credited with a number of works on medicine. ...
John R. Steel is a set theorist at University of California, Berkeley (formerly at UCLA). ...
Martin Stokhof is a Dutch logician and philosopher. ...
The NyÄya SÅ«tras is an ancient Indian text on of philosophy composed by (also Gotama; c. ...
Richard Sylvan, born as Richard Routley (1935 - 16 June 1996) was a philosopher and writer. ...
T Gaisi Takeuti (Japanese: 竹å
å¤å² Takeutchi Gaishi; born January 25, 1926) is a Japanese mathematician, known for his work in proof theory. ...
// Alfred Tarski (January 14, 1902, Warsaw, Russian-ruled Poland â October 26, 1983, Berkeley, California) was a logician and mathematician who spent four decades as a professor of mathematics at the University of California, Berkeley. ...
Year 1902 (MCMII) was a common year starting on Wednesday (link will display calendar) of the Gregorian calendar (or a common year starting on Tuesday [1] of the 13-day-slower Julian calendar). ...
Year 1983 (MCMLXXXIII) was a common year starting on Saturday (link displays the 1983 Gregorian calendar). ...
Pavel Tichý (18. ...
Anne Sjerp Troelstra (born August 10, 1939 at Maartensdijk (Utrecht), The Netherlands) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute of Logic, Language and Information (ILLC) of the University of Amsterdam. ...
Year 1939 (MCMXXXIX) was a common year starting on Sunday (link will display the full calendar) of the Gregorian calendar. ...
Alan Mathison Turing, OBE, FRS (23 June 1912 â 7 June 1954) was an English mathematician, logician, and cryptographer. ...
1912 (MCMXII) was a leap year starting on Monday in the Gregorian calendar (or a leap year starting on Tuesday in the 13-day-slower Julian calendar). ...
Year 1954 (MCMLIV) was a common year starting on Friday (link will display full calendar) of the Gregorian calendar. ...
Kazimierz Jerzy Skrzypna-Twardowski, Ritter von OgoÅczyk (October 20, 1866, Vienna, Austria â February 11, 1938, Lwów, Poland) was a Polish philosopher and logician. ...
1866 (MDCCCLXVI) is a common year starting on Monday of the Gregorian calendar or a common year starting on Wednesday of the 12-day-slower Julian calendar. ...
Year 1938 (MCMXXXVIII) was a common year starting on Saturday (link will display the full calendar) of the Gregorian calendar. ...
U Udayana also known as Udyanacharya lived in 10th century, near Darbhanga, Bihar state, India. ...
Alasdair Ian Fenton Urquhart, born December 20, 1945, is Professor of Philosophy at the University of Toronto. ...
V Vasiliev, Nicolai Alexandrovich (Vasilev, Vassilieff, Wassilieff), (1880 â 1940) was a Russian logician, philosopher, psychologist, poet, the forerunner of paraconsistent and multi-valued logics. ...
Robert Lawson Vaught (April 4, 1926 Alhambra, California - April 2, 2002) was a mathematical logician, and one of the founders of model theory. ...
Paul of Venice (c 1369 in Udine, Italy â June 15, 1429 in Padua, Italy) was a 15th century philosopher. ...
John Venn. ...
Year 1834 (MDCCCXXXIV) was a common year starting on Wednesday (link will display the full calendar) of the Gregorian Calendar (or a common year starting on Monday of the 12-day slower Julian calendar). ...
Year 1923 (MCMXXIII) was a common year starting on Monday (link will display the full calendar) of the Gregorian calendar. ...
W Isaac Watts (July 17, 1674 â November 25, 1748) is recognised as the Father of English Hymnody, as he was the first prolific and popular English hymnwriter, credited with some 750 hymns. ...
Events February 19 - England and the Netherlands sign the Treaty of Westminster. ...
Year 1748 (MDCCXLVIII) was a leap year starting on Monday (link will display the full calendar) of the Gregorian calendar (or a leap year starting on Friday of the 11-day slower Julian calendar). ...
Richard Whately (February 1, 1787 - October 8, 1863), English logician and theological writer, archbishop of Dublin, was born in London. ...
Alfred North Whitehead, OM (February 15, 1861 Ramsgate, Kent, England â December 30, 1947 Cambridge, Massachusetts, USA) was an English-born mathematician who became a philosopher. ...
Year 1861 (MDCCCLXI) was a common year starting on Tuesday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Sunday of the 12-day slower Julian calendar). ...
Year 1947 (MCMXLVII) was a common year starting on Wednesday (link will display full 1947 calendar) of the Gregorian calendar. ...
Ludwig Josef Johann Wittgenstein (IPA: ) (April 26, 1889 in Vienna, Austria â April 29, 1951 in Cambridge, England) was an Austrian philosopher who contributed several ground-breaking ideas to philosophy, primarily in the foundations of logic, the philosophy of mathematics, the philosophy of language, and the philosophy of mind. ...
Year 1889 (MDCCCLXXXIX) was a common year starting on Tuesday (link will display the full calendar) of the Gregorian calendar (or a common year starting on Sunday of the 12-day slower Julian calendar). ...
Year 1951 (MCMLI) was a common year starting on Monday (link will display the full calendar) of the Gregorian calendar. ...
W. Hugh Woodin is a set theorist at University of California, Berkeley. ...
Year 1955 (MCMLV) was a common year starting on Saturday (link displays the 1955 Gregorian calendar). ...
Statue of Georg Henrik von Wright in University of Helsinki Georg Henrik von Wright (pronounced, roughly, fon vrikt, IPA: [je:Érj hÉn:rik fÉn-vrik:t],) (June 14, 1916 â June 16, 2003) was a Finnish philosopher, who succeeded Ludwig Wittgenstein as professor at the University of Cambridge. ...
X Y Jin Yuelin (Chinese: ) (1895-1984) was a Chinese philosopher and logician. ...
Year 1895 (MDCCCXCV) was a common year starting on Tuesday (link will display full calendar) of the Gregorian calendar (or a common year starting on Sunday of the 12-day-slower Julian calendar). ...
This article is about the year. ...
Z Lotfi A. Zadeh (2004) Lotfi Asker Zadeh (in Persian:ÙØ·ÙÛ Ø¹ÙÛâØ¹Ø³Ú©Ø±Ø²Ø§Ø¯Ù), (born February 4, 1921) is a mathematician and computer scientist, and a professor of computer science at the University of California at Berkeley. ...
Year 1921 (MCMXXI) was a common year starting on Saturday (link will display the full calendar). ...
Ernst Friedrich Ferdinand Zermelo (July 27, 1871, Berlin, German Empire â May 21, 1953, Freiburg im Breisgau, West Germany) was a German mathematician, whose work has major implications for the foundations of mathematics and hence on philosophy. ...
1871 (MDCCCLXXI) was a common year starting on Sunday (see link for calendar). ...
January 7 - President Harry S. Truman announces the United States has developed a hydrogen bomb. ...
Zhuangzi (Traditional: èå; Simplified: åºå, Pinyin: ZhuÄng ZÇ, Wade-Giles: Chuang TzÅ, lit. ...
Alexandr Zinoviev Aleksandr Aleksandrovich Zinovyev (, alternative transliterations: Alexandre, Alexander, Zinoviev, Zinovyev); (September 29, 1922 â May 10, 2006), was a well-known Russian logician, sociologist, writer and satirist. ...
Year 1922 (MCMXXII) was a common year starting on Sunday (link will display full calendar) of the Gregorian calendar. ...
Year 2006 (MMVI) was a common year starting on Sunday of the Gregorian calendar. ...
External links - The MacTutor History of Mathematics archive: http://www-history.mcs.st-and.ac.uk/history/ -- Very complete list of detailed biographies. Many logicians are included.
| Logic | | Main articles | Reason · History of logic · Philosophical logic · Philosophy of logic · Mathematical logic · Metalogic · Logic in computer science Logic (from Classical Greek λÏÎ³Î¿Ï logos; meaning word, thought, idea, argument, account, reason, or principle) is the study of the principles and criteria of valid inference and demonstration. ...
For other uses, see Reason (disambiguation). ...
The history of logic documents the development of logic as it occurs in various rival cultures and traditions in history. ...
Philosophical logic is the application of formal logical techniques to problems that concern philosophers. ...
Philosophy of logic is the branch of philosophy that is concerned with the nature and justification of systems of logic. ...
Mathematical logic is a major area of mathematics, which grew out of symbolic logic. ...
The metalogic of a system of logic is the formal proof supporting its soundness. ...
To meet Wikipedias quality standards, this article or section may require cleanup. ...
| Key concepts and logics | | Reasoning | Deduction · Induction · Abduction Reasoning is the mental (cognitive) process of looking for reasons to support beliefs, conclusions, actions or feelings. ...
Deductive reasoning is the kind of reasoning where the conclusion is necessitated or implied by previously known premises. ...
Aristotle appears first to establish the mental behaviour of induction as a category of reasoning. ...
Abduction, or inference to the best explanation, is a method of reasoning in which one chooses the hypothesis that would, if true, best explain the relevant evidence. ...
| | Informal | Proposition · Inference · Argument · Validity · Cogency · Term logic · Critical thinking · Fallacies · Syllogism Informal logic is the study of arguments as presented in ordinary language, as contrasted with the presentations of arguments in an artificial (technical) or formal language (see formal logic). ...
This article is about the word proposition as it is used in logic, philosophy, and linguistics. ...
Inference is the act or process of deriving a conclusion based solely on what one already knows. ...
In logic, an argument is a set of statements, consisting of a number of premises, a number of inferences, and a conclusion, which is said to have the following property: if the premises are true, then the conclusion must be true or highly likely to be true. ...
In logic, the form of an argument is valid precisely if it cannot lead from true premises to a false conclusion. ...
An argument is cogent if and only if the truth of the arguments premises would render the truth of the conclusion probable (i. ...
Traditional logic, also known as term logic, is a loose term for the logical tradition that originated with Aristotle and survived broadly unchanged until the advent of modern predicate logic in the late nineteenth century. ...
are you kiddin ? i was lookin for it for hours ...
Look up fallacy in Wiktionary, the free dictionary. ...
A syllogism (Greek: â conclusion, inference), usually the categorical syllogism, is a kind of logical argument in which one proposition (the conclusion) is inferred from two others (the premises) of a certain form. ...
| | Mathematical | Set · Syntax · Semantics · Wff · Axiom · Theorem · Consistency · Soundness · Completeness · Decidability · Formal system · Set theory · Proof theory · Model theory · Recursion theory Mathematical logic is a major area of mathematics, which grew out of symbolic logic. ...
In mathematics, a set can be thought of as any collection of distinct objects considered as a whole. ...
Syntax in logic is a systematic statement of the rules governing the properly formed formulas (WFFs) of a logical system. ...
The truth conditions of various sentences we may encounter in arguments will depend upon their meaning, and so conscientious logicians cannot completely avoid the need to provide some treatment of the meaning of these sentences. ...
In logic, WFF is an abbreviation for well-formed formula. ...
This article is about a logical statement. ...
Look up theorem in Wiktionary, the free dictionary. ...
In mathematical logic, a formal system is consistent if it does not contain a contradiction, or, more precisely, for no proposition Ï are both Ï and Â¬Ï provable. ...
(This article discusses the soundess notion of informal logic. ...
In mathematical logic, a theory is complete, if it contains either or as a theorem for every sentence in its language. ...
A logical system or theory is decidable if the set of all well-formed formulas valid in the system is decidable. ...
In logic and mathematics, a formal system consists of two components, a formal language plus a set of inference rules or transformation rules. ...
Set theory is the mathematical theory of sets, which represent collections of abstract objects. ...
Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. ...
In mathematics, model theory is the study of the representation of mathematical concepts in terms of set theory, or the study of the structures that underlie mathematical systems. ...
Recursion theory, or computability theory, is a branch of mathematical logic dealing with generalizations of the notion of computable function, and with related notions such as Turing degrees and effective descriptive set theory. ...
| | Zeroth-order | Boolean functions · Monadic predicate calculus · Propositional calculus · Logical connectives · Truth tables Zeroth-order logic is a term in popular use among practitioners for the subject matter otherwise known as boolean functions, monadic predicate logic, propositional calculus, or sentential calculus. ...
A Boolean function describes how to determine a Boolean value output based on some logical calculation from Boolean inputs. ...
In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. ...
In logic and mathematics, a propositional calculus (or a sentential calculus) is a formal system in which formulas representing propositions can be formed by combining atomic propositions using logical connectives, and a system of formal proof rules allows to establish that certain formulas are theorems of the formal system. ...
In logic, a logical connective is a syntactic operation on sentences, or the symbol for such an operation, that corresponds to a logical operation on the logical values of those sentences. ...
Truth tables are a type of mathematical table used in logic to determine whether an expression is true or whether an argument is valid. ...
| | Predicate | First-order · Quantifiers · Second-order ...
First-order logic (FOL) is a formal deductive system used by mathematicians, philosophers, linguists, and computer scientists. ...
In language and logic, quantification is a construct that specifies the extent of validity of a predicate, that is the extent to which a predicate holds over a range of things. ...
In mathematical logic, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. ...
| | Modal | Deontic · Epistemic · Temporal · Doxastic In formal logic, a modal logic is any logic for handling modalities: concepts like possibility, existence, and necessity. ...
Deontic logic is the field of logic that is concerned with obligation, permission, and related concepts. ...
Michaels the greatest boyfriend in the whole wide world, and Id love to call him in a phonebooth sometime. ...
In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. ...
doxastic logic is a modal logic that is concerned with reasoning about beliefs. ...
| Other non-classical | Computability · Fuzzy · Linear · Relevance · Non-monotonic Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. ...
Introduced by Giorgi Japaridze in 2003, Computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of truth. ...
Fuzzy logic is derived from fuzzy set theory dealing with reasoning that is approximate rather than precisely deduced from classical predicate logic. ...
In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction. ...
Relevance logic, also called relevant logic, is any of a family of non-classical substructural logics that impose certain restrictions on implication. ...
A non-monotonic logic is a formal logic whose consequence relation is not monotonic. ...
| | | Controversies | Paraconsistent logic · Dialetheism · Intuitionistic logic · Paradoxes · Antinomies · Is logic empirical? A paraconsistent logic is a logical system that attempts to deal nontrivially with contradictions. ...
Dialetheism is a paraconsistent logic typified by its tolerance of at least some contradictions. ...
Intuitionistic logic, or constructivist logic, is the logic used in mathematical intuitionism and other forms of mathematical constructivism. ...
Look up paradox in Wiktionary, the free dictionary. ...
Antinomy (Greek anti-, against, plus nomos, law) is a term used in logic and epistemology, which, loosely, means a paradox or unresolvable contradiction. ...
Is logic empirical? is the title of two articles that discuss the idea that the algebraic properties of logic may, or should, be empirically determined; in particular, they deal with the question of whether empirical facts about quantum phenomena may provide grounds for revising classical logic as a consistent logical...
| | Key figures | Aristotle · Boole · Cantor · Carnap · Church · Frege · Gentzen · Gödel · Hilbert · Kripke · Peano · Peirce · Putnam · Quine · Russell · Skolem · Tarski · Turing · Whitehead For other uses, see Aristotle (disambiguation). ...
George Boole [], (November 2, 1815 â December 8, 1864) was a British mathematician and philosopher. ...
Georg Ferdinand Ludwig Philipp Cantor (March 3, 1845[1] â January 6, 1918) was a German mathematician. ...
Rudolf Carnap (May 18, 1891, Ronsdorf, Germany â September 14, 1970, Santa Monica, California) was an influential philosopher who was active in central Europe before 1935 and in the United States thereafter. ...
â¹ The template below (Expand) is being considered for deletion. ...
Friedrich Ludwig Gottlob Frege (8 November 1848, Wismar â 26 July 1925, IPA: ) was a German mathematician who became a logician and philosopher. ...
Gerhard Karl Erich Gentzen (November 24, 1909 â August 4, 1945) was a German mathematician and logician. ...
Kurt Gödel (IPA: ) (April 28, 1906 Brünn, Austria-Hungary (now Brno, Czech Republic) â January 14, 1978 Princeton, New Jersey) was an Austrian American mathematician and philosopher. ...
David Hilbert (January 23, 1862, Königsberg, East Prussia â February 14, 1943, Göttingen, Germany) was a German mathematician, recognized as one of the most influential and universal mathematicians of the 19th and early 20th centuries. ...
Saul Aaron Kripke (born in November 13, 1940 in Bay Shore, New York) is an American philosopher and logician now emeritus from Princeton and teaches as distinguished professor of philosophy at CUNY Graduate Center. ...
Giuseppe Peano Giuseppe Peano (August 27, 1858 â April 20, 1932) was an Italian mathematician and philosopher best known for his contributions to set theory. ...
Charles Sanders Peirce (IPA: /pÉs/), (September 10, 1839 â April 19, 1914) was an American polymath, physicist, and philosopher, born in Cambridge, Massachusetts. ...
Hilary Whitehall Putnam (born July 31, 1926) is an American philosopher who has been a central figure in Western philosophy since the 1960s, especially in philosophy of mind, philosophy of language, and philosophy of science. ...
For people named Quine, see Quine (surname). ...
Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, (18 May 1872 â 2 February 1970), was a British philosopher, logician, mathematician, advocate for social reform, and pacifist. ...
Albert Thoralf Skolem (May 23, 1887 - March 23, 1963) was a Norwegian mathematician. ...
// Alfred Tarski (January 14, 1902, Warsaw, Russian-ruled Poland â October 26, 1983, Berkeley, California) was a logician and mathematician who spent four decades as a professor of mathematics at the University of California, Berkeley. ...
Alan Mathison Turing, OBE, FRS (23 June 1912 â 7 June 1954) was an English mathematician, logician, and cryptographer. ...
Alfred North Whitehead, OM (February 15, 1861 Ramsgate, Kent, England â December 30, 1947 Cambridge, Massachusetts, USA) was an English-born mathematician who became a philosopher. ...
| | Lists | Topics (basic • mathematical logic • basic discrete mathematics • set theory) · Logicians · Rules of inference · Paradoxes · Fallacies · Logic symbols This is a list of topics in logic. ...
For a more comprehensive list, see the List of logic topics. ...
This is a list of mathematical logic topics, by Wikipedia page. ...
This is a list of basic discrete mathematics topics, by Wikipedia page. ...
Set theory Axiomatic set theory Naive set theory Zermelo set theory Zermelo-Fraenkel set theory Kripke-Platek set theory with urelements Simple theorems in the algebra of sets Axiom of choice Zorns lemma Empty set Cardinality Cardinal number Aleph number Aleph null Aleph one Beth number Ordinal number Well...
This is a list of rules of inference. ...
This is a list of paradoxes, grouped thematically. ...
This is a list of fallacies. ...
In logic, a set of symbols is frequently used to express logical constructs. ...
| | Portal · Category · WikiProject · Logic stubs · Mathlogic stubs · Cleanup · Noticeboard | |