Background
Prawitz, Dag Hjalmar was born on May 16, 1936 in Stockholm. Son of Håkan Axel and Birgit (Olbers) Prawitz.
( An innovative approach to the semantics of logic, proof...)
An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system of inference. Gerhard Gentzen invented proof-theoretic semantics in the early 1930s, and Dag Prawitz, the author of this study, extended its analytic proofs to systems of natural deduction. Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The concept of natural deduction follows a truly natural progression, establishing the relationship between a noteworthy systematization and the interpretation of logical signs. As this survey explains, the deduction's principles allow it to proceed in a direct fashion — a manner that permits every natural deduction's transformation into the equivalent of normal form theorem. A basic result in proof theory, the normal form theorem was established by Gentzen for the calculi of sequents. The proof of this result for systems of natural deduction is in many ways simpler and more illuminating than alternative methods. This study offers clear illustrations of the proof and numerous examples of its advantages.
http://www.amazon.com/gp/product/0486446557/?tag=2022091-20
Theoretical philosophy educator
Prawitz, Dag Hjalmar was born on May 16, 1936 in Stockholm. Son of Håkan Axel and Birgit (Olbers) Prawitz.
Fil.Lic., Stockholm University, 1960. Fil.Dr., Stockholm University, 1965.
Docent Stockholm University, 1965-1967, 70-71, professor, since 1977. Docent Lund (Sweden) University, 1967-1969. Visiting assistant professor Stanford (California) University, 1969-1970.
Professor Oslo University, 1971-1977, University Rome, 1983. Member Swedish Council for Research in Humanities and Social Sciences, 1986-1992, vice president, 1989-1990. 1st vice president division logic, methodology and philosophy of science International Union of History and Philosophy of Science, 1991-1995.
Editor, director Thales Public House, Sweden, since 1985.
( An innovative approach to the semantics of logic, proof...)
President Rolf Schock Foundation, Sweden, since 1988. Member Royal Swedish Academy of Sciences (chairman class X since 1995), Institute International Philosophy (vice president 1992-1994), Academy Europaea (chairman subject committee of philosophy 1989-1993).
Married Daniela Montelatici, September 16, 1977. Children: Camilla, Erik, Livia.