Based on Lindström's characterization, first order logic is, up to equivalence, the only abstract logic which is countably compact and has Löwenheim number ω.
Trudy Govier, Douglas Walton, Michael Gilbert, Harvey Seigal, Michael Scriven, and John Woods (to name only a few) are other prominent authors in this tradition.
George Boolos (1940–1996), American philosopher and mathematical logician
In 1948, Bertrand Russell wrote: "I once received a letter from an eminent logician, Mrs. Christine Ladd-Franklin, saying that she was a solipsist, and was surprised that there were no others. Coming from a logician and a solipsist, her surprise surprised me." (Russell, p. 180).
Cooper Harold Langford (25 August 1895, Dublin, Logan County, Arkansas – 28 August 1964) was an analytic philosopher and mathematical logician who co-authored the book Symbolic Logic (1932) with C. I. Lewis.
A notable example of this is the trivalent logic developed by Polish logician and mathematician Jan Łukasiewicz.
John Venn (1834–1923), logician and inventor of the Venn Diagram, was born in Drypool, son of Rev. Henry Venn, Rector of Drypool
He was the last dissertation student of the 20th century logician Alonzo Church and currently teaches at Stony Brook University.
Kurt Gödel (28 April 1906 – 14 January 1978), an Austrian (later American) logician, mathematician and philosopher
Henry Gordon Rice, American logician and mathematician, author of Rice's theorem
Exhibitions have included Crocheting the Hyperbolic Plane at Machine Project in Los Angeles and Philosophical Toys at apexart in New York, (co-curated by Sina Najafi of Cabinet.) The latter show included the drawings and models of Shea Zellweger an outsider logician who has spent the past 50 years exploring the geometric relationships underlying in modern logic.
Groenendijk wrote a joint Ph.D. dissertation with Martin Stokhof on the formal semantics of questions, under the supervision of Renate Bartsch and Johan van Benthem.
Johann Heinrich Bisterfeld (1605 – 16 February 1655) was a German philosopher, logician and encyclopedic writer from Siegen.
John Newsome Crossley, DPhil, MA (Oxon), (born 1937, Yorkshire, England) is a British-Australian mathematician and logician who writes in the field of logic in computer science, history of mathematics and medieval history.
Bonifaty Mikhailovich Kedrov (1903—1985), Soviet researcher, philosopher, logician, chemist and psychologist
A. H. Lightstone (1926 – 1976), Canadian logician, mathematician, and Queen's University professor
As a 22 year old undergraduate student Lu solved the mathematical problem, the Seetapun Enigma, which was proposed by English logician David Seetapun in the 1990s and had not yet been solved.
The Polish logician and philosopher, Jan Łukasiewicz, began to create systems of many-valued logic in 1920, using a third value, "possible", to deal with Aristotle's paradox of the sea battle.
Nae Ionescu (1890–1940), Romanian philosopher, logician, mathematician, academic, writer and journalist
Platon Poretsky (1846–1907), Russian astronomer, mathematician, and logician
She is the daughter of the philosopher and logician Timothy Smiley.
Richard Swineshead (fl. c. 1340–1354), English mathematician, logician and natural philosopher
A "Dublin University man born in a Georgian villa near Phoenix Park," he is said to have "the Celt's far vision of weird and hidden things, but the logician's quick eye for the outwardly unconvincing.... In youth he had felt the hidden beauty and ecstasy of things, and had been a poet; but poverty and sorrow and exile had turned his gaze in darker directions, and he had thrilled at the imputations of evil in the world around."
Commendatory Latin verses by Drant are prefixed to John Foxe's Acts and Monuments, 1570; John Sadler's translation of Vegetius's Tactics, 1572; Peter Carter's annotations to John Seton's Dialectica, 1574; Alexander Neville's Kettus, 1575; Llodowick Lloyd's Pilgrimage of Princes, n.
The infinite Thompson groups F, T and V studied by the logician Richard Thompson.
Both are named in honor of the English logician Alan Turing, albeit the research in Turing switches is not based on Turing's research.
Jacopo Zabarella (5 September 1532 – 15 October 1589), Italian Aristotelian philosopher and logician