Stig Gustaf Kanger

Background

Kanger, Stig Gustaf was born on July 10, 1924 in China.

Education

University of Stockholm. In fis: Literary influences include Frege, Russell. Carnap. Tarski, Church, Gentzen and Quine.

Personal influences include Anders Wedberg.

Career

Associate Professor, in Theoretical Philosophy, Stockholm University, 1957 63: Acting Professor. Abo Academy, Finland, 1963-1968. Professor of Theoretical Philosophy, Uppsala University, 1968-1988.

Achievements

• Stig Gustaf Kanger has been listed as a noteworthy philosophy educator by Marquis Who's Who.

Works

More photos

• book

  • Provability in Logic

Views

Although Kanger’s greatest achievements were m pure logic he also made important contributions to philosophy by applying logical techniques within ethical theory, philosophy of law, philosophy of language and philosophy of science. His dissertation. Provability in Logic (1957), contains major contributions to two central areas of logicBy combining Gentzen’s sequent calculus with the model theory of Tarski, he obtains new and simplified proofs of central metalogical results like Godel’s completeness theorem, LowenheimSkolem’s theorem and Gentzen’s Hauptsatz. He also develops a new semantic theory for various modal logics and connects it with sequent calculi for these logics. This work makes Kanger one of the founders of possible-worlds semantics.