Dag Prawitz
YOU?
Author Swipe
View article: The aim and validity of inference and argument
The aim and validity of inference and argument Open
An inference can be seen as a speech act, in which one passes from a number of assertions called premisses to another assertion, the conclusion, which is presented as supported or justified by the premisses. To justify the assertion that a…
View article: The Validity of Inference and Argument
The Validity of Inference and Argument Open
It has been common in contemporary logic and philosophy of logic to identify the validity of an inference with its conclusion being a (logical) consequence of its premisses.
View article: The Fundamental Problem of General Proof Theory
The Fundamental Problem of General Proof Theory Open
I see the question what it is that makes an inference valid and thereby gives a proof its epistemic power as the most fundamental problem of general proof theory. It has been surprisingly neglected in logic and philosophy of mathematics wi…
View article: The Seeming Interdependence Between the Concepts of Valid Inference and Proof
The Seeming Interdependence Between the Concepts of Valid Inference and Proof Open
We may try to explain proofs as chains of valid inference, but the concept of validity needed in such an explanation cannot be the traditional one. For an inference to be legitimate in a proof it must have sufficient epistemic power, so th…
View article: On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning Open
Proof-theoretic semantics explains meaning in terms of proofs. Two different concepts of proof are in question here. One has its roots in Heyting's explanation of a mathematical proposition as the expression of the intention of a construct…