• Publications
  • Influence
JACQUES HERBRAND : LIFE , LOGIC , AND AUTOMATED DEDUCTION
The lives of mathematical prodigies who passed away very early after groundbreaking work invoke a fascination for later generations: The early death of Niels Henrik Abel (1802–1829) from ill healthExpand
  • 8
  • 1
The heritage of S. A. Janovskaja
A survey is provided of the Soviet-Russian logician and historian Sof'ja A. Janovskaya (1896–1966). She wrote survey articles on logic, and also historical and philosophical essays on logic and onExpand
  • 5
  • 1
Peirce's Truth-functional Analysis and the Origin of the Truth Table
We explore the technical details and historical evolution of Charles Peirce's articulation of a truth table in 1893, against the background of his investigation into the truth-functional analysis ofExpand
  • 14
The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory
Warren Goldfarb (1971, p. 17) wrote that “Herbrand’s work had an immediate impact on the Hilbert school,” and quotes Paul Bernays (Hilbert and Bernays, 1934, 1939, vol. 1, “Foreword”) to the effectExpand
  • 12
How Peircean was the “‘Fregean’ revolution” in logic?
The historiography of logic conceives of a Fregean revolution in which modern mathematical logic (also called symbolic logic) has replaced Aristotelian logic. The preeminent expositors of thisExpand
  • 9
  • PDF
Jean van Heijenoort’s Contributions to Proof Theory and Its History
  • I. Anellis
  • Philosophy, Computer Science
  • Logica Universalis
  • 1 April 1992
TLDR
Jean van Heijenoort was best known for his editorial work in the history of mathematical logic. Expand
  • 5
Russell and His Sources for Non-Classical Logics
  • I. Anellis
  • Mathematics, Computer Science
  • Logica Universalis
  • 5 August 2009
TLDR
There are competing claims as to whether or not Bertrand Russell countenanced, or even contributed to, issues of modality and to modal logic, and to other types of nonclassical logics. Expand
  • 6
...
1
2
3
4
5
...