Dag Prawitz | Academic Influence

Dag Prawitz's AcademicInfluence.com Rankings

Dag Prawitz

Philosophy

#741

World Rank

#1434

Historical Rank

Logic

#121

World Rank

#292

Historical Rank

philosophy Degrees

Download Badge

Philosophy

Dag Prawitz's Degrees

PhD Philosophy Stockholm University

Why Is Dag Prawitz Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Dag Prawitz is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction. Prawitz is a member of the Norwegian Academy of Science and Letters, of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.

(See a Problem?)

Dag Prawitz's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Natural Deduction: A Proof-Theoretical Study (1965) (1403)
Ideas and Results in Proof Theory (1971) (644)
Proofs and the Meaning and Completeness of the Logical Constants (1979) (151)
Towards A Foundation of A General Proof Theory (1973) (129)
Meaning Approached Via Proofs (2006) (123)
Hauptsatz for higher order logic (1968) (95)
On the idea of a general proof theory (1974) (88)
Meaning and proofs: on the conflict between classical and intuitionistic logic (2008) (85)
A survey of some connections between classical, intuitionistic and minimal logic (1968) (79)
Dummett on a Theory of Meaning and Its Impact on Logic (1987) (71)
A Mechanical Proof Procedure and its Realization in an Electronic Computer (1960) (67)
Logic and Philosophy of Science in Uppsala. (1994) (60)
Remarks on some approaches to the concept of logical consequence (1985) (50)
The epistemic significance of valid inference (2012) (48)
Logical Consequence From a Constructivist Point of View (2007) (38)
Intuitionistic Logic: A Philosophical Challenge (1980) (38)
An improved proof procedure1 (2008) (36)
A proof procedure with matrix reduction (1970) (35)
Explaining Deductive Inference (2015) (26)
Inference and knowledge (2009) (26)
Some Results for Intuitionistic Logic with Second Order Quantification Rules (1970) (25)
Meaning and experience (2005) (25)
Philosophical aspects of proof theory (1981) (24)
Validity of Inferences (2013) (21)
An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited (2014) (20)
Truth and Proof in Intuitionism (2012) (17)
Meaning Theory and Anti-Realism (1994) (17)
Comments on the papers (2008) (16)
Classical versus intuitionistic logic (2015) (16)
Logical Consequence: A Constructivist View (2005) (14)
Truth as an Epistemic Notion (2012) (13)
On the Relation Between Heyting's and Gentzen's Approaches to Meaning (2016) (13)
Completeness and Hauptsatz for second order logic1 (2008) (12)
Logical Consequence From a Constructivist View (2007) (10)
Proofs and Perfect Syllogisms (2011) (10)
Comments on gentzen-type procedures and the classical notion of truth (1975) (10)
Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 (1994) (10)
The Fundamental Problem of General Proof Theory (2019) (10)
Problems for a Generalization of a Verificationist Theory of Meaning (2002) (8)
Proofs as Acts and Proofs as Objects : Some questions for (2007) (7)
Tacit knowledge—an impediment for AI? (1990) (6)
Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects (2009) (5)
Logical Determinism and the Principle of Bivalence (2009) (5)
A note on existential instantiation (1967) (5)
Proof Theory.Proof Theory: Some Personal Recollections.Contributions of the Schutte School in Munich to Proof Theory.Subsystems of Z 2 and Reverse Mathematics.Proof Theory: A Personal Report (1991) (5)
The Seeming Interdependence Between the Concepts of Valid Inference and Proof (2019) (4)
A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic (2015) (4)
Pragmatist and Verifactionist Theories of Meaning (2007) (4)
Logic and Philosophy of Science in Uppsala Papers From the 9th International Congress of Logic, Methodology and Philosophy of Science (1994) (4)
Quine and verificationism (1994) (4)
The status of mathematical knowledge (2014) (4)
A discussion note on utilitarianism1 (2008) (3)
Remarks on Hilbert’s Program for the Foundation of Mathematics (1993) (3)
Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis (2008) (3)
The Concepts of Proof and Ground (2019) (3)
The alternatives to an action (2008) (3)
Some remarks on verificationistic theories of meaning (1987) (3)
Truth from a constructive perspective (2019) (2)
A Short Scientific Autobiography (2015) (2)
Preface: A Selection of Papers Presented at the 9th International Conference of Logic, Methodology and Philosophy of Science (1993) (1)
Assertions in the Context of Inference (2010) (1)
Turing and Wittgenstein — Two Perceptions of Reality (1995) (1)
The Significance of Philosophical Logic (1999) (0)
Harmonising Natural Deduction HartleySlater (2010) (0)
[On food strikes]. (1961) (0)
The Seeming Interdependence Between the Concepts of Valid Inference and Proof (2017) (0)
Progress in Philosophy (1997) (0)
To explain deduction (2018) (0)
The epistemic significance of valid inference (2011) (0)
Review: Paul Strauss, Some Systems of Natural Deduction (1970) (0)
Truth as an Epistemic Notion (2011) (0)
Commentary by the Author and Corrections (1983) (0)
The Fundamental Problem of General Proof Theory (2018) (0)
Review: J. Dopp, Logiques Construites par une Methode de Deduction Naturelle (1969) (0)
In Memoriam: Michael Dummett 1925–2011 (2013) (0)
Dag Prawitz’s Published Books and Papers, by Year (Selected) (2015) (0)
Proofs – are they objective? (2010) (0)
Preface (2004) (0)
A Note on Kanger’s Work on Efficient Proof Procedures (2001) (0)
Critical Studies/Book Reviews (2021) (0)

This paper list is powered by the following services:

Other Resources About Dag Prawitz

en.wikipedia.org

What Schools Are Affiliated With Dag Prawitz?

Dag Prawitz is affiliated with the following schools:

Stockholm University