Mathematician:Jan Łukasiewicz

From ProofWiki
Jump to: navigation, search


Polish philosopher who contributed significantly to logic.

Most famous for his innovation Polish notation, a technique which allows one to write expressions without the need for parentheses.




Theorems and Definitions


  • 1903: On Induction as Inversion of Deduction
  • 1906: Analysis and Construction of the Concept of Cause
  • 1910: On Aristotle's Principle of Contradiction
  • 1913: On the Reversibility of the Relation of Ground and Consequence
  • 1920: On Three-valued Logic
  • 1921: Two-valued Logic
  • 1922: A Numerical Interpretation of the Theory of Propositions
  • 1928: Concerning the Method in Philosophy
  • 1929: Elementy Logiki Matematycznej (Elements of Mathematical Logic)
  • 1929: On Importance and Requirements of Mathematical Logic
  • 1930: Philosophical Remarks on Many-Valued Systems of Propositional Logic
  • 1930: Untersuchungen über den Aussagenkalkül ("Investigations into the Sentential Calculus") (Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III Vol. 23: 30 – 50) (with Alfred Tarski)
  • 1931: Comments on Nicod's Axiom and the 'Generalizing Deduction'
  • 1934: On Science
  • 1934: Importance of Logical Analysis for Knowledge
  • 1934: Outlines of the History of the Propositional Logic
  • 1936: Logistic and Philosophy
  • 1937: In Defense of the Logistic
  • 1938: On Descartes's Philosophy
  • 1943: The Shortest Axiom of the Implicational Calculus of Propositions
  • 1951: On Variable Functors of Propositional Arguments
  • 1951: Aristotle's Syllogistic from the Standpoint of Modern Formal Logic
  • 1952: On the Intuitionistic Theory of Deduction
  • 1957: Aristotle's Syllogistic from the Standpoint of Modern Formal Logic (2nd Edition, enlarged)
  • 1958: Elementy logiki matematycznej (translated as Elements of Mathematical Logic by Olgierd Wojtasiewicz in 1964)