I discuss Prawitz’s claim that a non-reliabilist answer to the question “What is a proof?” compels us to reject the standard Bolzano-Tarski account of validity, andto account for the meaning of a sentence in broadly verificationist terms. I sketch what I take to be a possible way of resisting Prawitz’s claim---one that concedes the anti-reliabilist assumption from which Prawitz’s argument proceeds.

Externalists in epistemology often reject the KK principle – which says that if a person knows that p, then they know that they know that p. This paper argues that one standard argument against the KK principle that many externalists make is fallacious, as it involves illicit substitution into an intensional context. The fallacy is exposed and discussed.

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...) introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence. (shrink)

Mathematical rigor is commonly formulated by mathematicians and philosophers using the notion of proof gap: a mathematical proof is rig­orous when there is no gaps in the mathematical reasoning of the proof. Any philosophical approach to mathematical rigor along this line requires then an account of what a proof gap is. However, the notion of proof gap makes sense only relatively to a given conception of valid mathematical reasoning, i.e., to a given conception of the validity of mathematical inference. A (...) proof gap can in particular be conceived as a failure in drawing a valid mathematical inference. The aim of this paper is to discuss two possible views of the validity of math­ematical inference with respect to their capacity to yield a plausible account of the intuitive notion(s) of proof gap present in mathematical practice. The first view is the one provided by the contemporary standards of mathematical rigor: a mathematical inference is valid if and only if its conclusion can be formally derived from its premises. We will argue that this conception does not lead to a plausible account of the intuitive notion(s) of proof gap. The second view is based on a new account of the validity of inference proposed by Prawitz: an inference is valid if and only if it consists in an operation that provides a ground for its conclusion given (previously obtained) grounds for its premises. We will first specify Prawitz's account to mathematical inference and we will then argue that the resulting ground-based account is able to capture various intuitive notions of proof gap as different types of failure in drawing valid mathematical inferences. We conclude that the ground-based account ap­pears of particular interest for the philosophy of mathematical practice, and we finally raise several challenges facing a full development of a ground-based account of the notions of mathematical rigor, proof gap and the validity of mathematical inference. (shrink)

This paper sharpens the distinction between inferential and logcon arguments. Inferential arguments represent possible inferences, logcon ones need not. This distinction clarifies the roles that arguments play in accounting for the normativity of validity for inferential reasoning and in establishing the theoretical connection between validity and logical consequence. There are two related takeaways. First, the normativity of validity for inferential reasoning is grounded on the notion of an inferential argument. This will account for the use of validity to judge inference (...) in the face of well-known skepticism that a theory of validity has any special relevance to inferential reasoning. Second, a valid logcon argument needn't be an inferential argument. Accordingly, the normativity of validity for inferential reasoning doesn't require that every valid logcon argument be an inferential argument. The takeaways harmonize the use of validity to evaluate inferential reasoning with the use of the concept of logical consequence to characterize validity. (shrink)

There are several issues with the standard approach to the relationship between conditionals and assertions, particularly when the antecedent of a conditional is false. One prominent alternative is to say that conditionals do not express propositions, but rather make conditional assertions that may generate categorical assertions of the consequent in certain circumstances. However, this view has consequences that jar with standard interpretations of the relationship between proofs and assertion. Here, I analyse this relationship, and say that, on at least one (...) understanding of proof, conditional assertions may reflect the dynamics of proving, which generate categorical assertions. In particular, when we think about the relationship between assertion and proof as rooted in a dialogical approach to both, the distinction between conditional and categorical assertions is quite natural. (shrink)

The concept of “necessity of thought” plays a central role in Dag Prawitz’s essay “Logical Consequence from a Constructivist Point of View” (Prawitz 2005). The theme is later developed in various articles devoted to the notion of valid inference (Prawitz, 2009, forthcoming a, forthcoming b). In section 1 I explain how the notion of necessity of thought emerges from Prawitz’s analysis of logical consequence. I try to expound Prawitz’s views concerning the necessity of thought in sections 2, 3 and 4. (...) In sections 5 and 6 I discuss some problems arising with regard to Prawitz’s views. (shrink)

This paper examines the relationship between the KK principle and the epistemological theses of externalism and internalism. In particular we examine arguments from Okasha :80–86, 2013) and Greco :169–197, 2014) which deny that we can derive the denial of the KK principle from externalism.

This paper develops and motivates a paraconsistent approach to semantic paradox from within a modest inferentialist framework. I begin from the bilateralist theory developed by Greg Restall, which uses constraints on assertions and denials to motivate a multiple-conclusion sequent calculus for classical logic, and, via which, classical semantics can be determined. I then use the addition of a transparent truth-predicate to motivate an intermediate speech-act. On this approach, a liar-like sentence should be “weakly asserted”, involving a commitment to the sentence (...) and its negation, without rejecting the sentence. From this, I develop a proof-theory, which both determines a typical paraconsistent model theory, and also gives us a nice way to understand classical recapture. (shrink)