The epistemic significance of valid inference

2012

Dag Prawitz

Synthese 187 (3)

Truth and proof in intuitionism

2012

Dag Prawitz

in: Epistemology versus ontology, Berlin,

Proofs verifying programs and programs producing proofs

a conceptual analysis

2008

Dag Prawitz

in: Deduction, computation, experiment, Berlin,

Meaning approached via proofs

2006

Dag Prawitz

Synthese 148 (3)

The significance of philosophical logic

1999

Dag Prawitz

in: In search of a new humanism, Berlin,

Preface

1996

Jaakko Hintikka, Dag Prawitz

Synthese 106 (1)

Meaning and experience

1994

Dag Prawitz

Synthese 98 (1)

Dummett on a theory of meaning and its impact on logic

1987

Dag Prawitz

in: Michael Dummett, Berlin,

Some remarks on verificationistic theories of meaning

1987

Dag Prawitz

Synthese 73 (3)

Philosophical aspects of proof theory

1981

Dag Prawitz

in: Philosophie du langage, logique philosophique / Philosophy of language, philosophical logic, Berlin,