Desde "Los límites del sentido" de Strawson, la Deducción trascendental, en la Crítica de la razón pura de Kant, se considera generalmente como demostración de la objetividad del conocimiento como una condición de la unidad de la autoconciencia. Sin embargo, también se reconoce que se encuentran pas..

According to non-conceptualist interpretations, Kant held that the application of concepts is not necessary for perceptual experience. Some have motivated non-conceptualism by noting the affinities between Kant's account of perception and contemporary relational theories of perception. In this paper I argue (i) that non-conceptualism cannot provide an account of the Transcendental Deduction and thus ought to be rejected; and (ii) that this has no bearing on the issue of whether Kant endorsed a relational account of perceptual experience.

I give an argument against nonconceptualist readings of Kants claim that intuitions and concepts constitute two distinct kinds of representation than is assumed by proponents of nonconceptualist readings. I present such an interpretation and outline the alternative reading of the Deduction that results.

Gentzen writes in the published version of his doctoral thesis Untersuchungen über das logische Schliessen that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elimination result. Its proof was organized so that a cut elimination result for an intuitionistic sequent calculus came out as a special case, namely the one in which the sequents (...) have at most one formula in the right, succedent part. Thus, there was no need for a direct proof of normalization for intuitionistic natural deduction. The only traces of such a proof in the published thesis are some convertibilities, such as when an implication introduction is followed by an implication elimination [1934–35, II.5.13]. It remained to Dag Prawitz in 1965 to work out a proof of normalization. Another, less known proof was given also in 1965 by Andres Raggio.We found in February 2005 an early handwritten version of Gentzen's thesis, with exactly the above title, but with rather different contents: Most remarkably, it contains a detailed proof of normalization for what became the standard system of natural deduction. The manuscript is located in the Paul Bernays collection at the ETH-Zurichwith the signum Hs. 974: 271. Bernays must have gotten it well before the time of his being expelled from Göttingen on the basis of the racial laws in April 1933. (shrink)

Chapter 4 of Dennis Schulting’s book Kant’s Radical Subjectivism targets those commentators who take there to be a gap in the transcendental deduction of the categories, arguing instead that there is no gap between the necessary application of the categories and their exemplification in the object of experience. In these comments on the chapter, I suggest a minimal sense in which the fact that there is a gap is non-negotiable. The interesting question is not whether there is a gap (...) which needs to be bridged, but how and why Kant makes the step from subjectivity to objectivity. (shrink)

In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that (i) represents classical proofs in a more natural way than standard Gentzen-style natural deduction, (ii) admits of a simple normalization procedure such that normal proofs enjoy the Weak Subformula Property, (iii) provides the means to prove a Non-contamination Property of normal proofs that is not satisfied by normal proofs in the Gentzen tradition and is useful for applications, especially in (...) formal argumentation, (iv) naturally leads to defining a notion of depth of a proof, to the effect that, for every fixed natural k, normal k-depth deducibility is a tractable problem and converges to classical deducibility as k tends to infinity. (shrink)

A proof of the consistency of Heyting arithmetic formulated in natural deduction is given. The proof is a reduction procedure for derivations of falsity and a vector assignment, such that each reduction reduces the vector. By an interpretation of the expressions of the vectors as ordinals each derivation of falsity is assigned an ordinal less than ε 0, thus proving termination of the procedure.

Natural deduction is the type of logic most familiar to current philosophers, and indeed is all that many modern philosophers know about logic. Yet natural deduction is a fairly recent innovation in logic, dating from Gentzen and Jaśkowski in 1934. This article traces the development of natural deduction from the view that these founders embraced to the widespread acceptance of the method in the 1960s. I focus especially on the different choices made by writers of elementary textbooks—the (...) standard conduits of the method to a generation of philosophers—with an eye to determining what the ‘essential characteristics’ of natural deduction are. (shrink)

It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (⊥). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ⊥. It is, however, not (...) the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation for a given system and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ⊥ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ⊥. (shrink)

Kant's A-Edition objective deduction is naturally (and has traditionally been) divided into two arguments: an " argument from above" and one that proceeds " von unten auf." This would suggest a picture of Kant's procedure in the objective deduction as first descending and ascending the same ladder, the better, perhaps, to test its durability or to thoroughly convince the reader of its soundness. There are obvious obstacles to such a reading, however; and in this chapter I will argue (...) that the arguments from above and below constitute different, albeit importantly inter-related, proofs. Rather than drawing on the differences in their premises, however, I will highlight what I take to be the different concerns addressed and, correspondingly, the distinct conclusions reached by each. In particular, I will show that both arguments can be understood to address distinct specters, with the argument from above addressing an internal concern generated by Kant’s own transcendental idealism, and the argument from below seeking to dispel a more traditional, broadly Humean challenge to the understanding’s role in experience. These distinct concerns also imply that these arguments yield distinct conclusions, though I will show that they are in fact complementary. (shrink)

The framework of natural deduction is extended by permitting rules as assumptions which may be discharged in the course of a derivation. this leads to the concept of rules of higher levels and to a general schema for introduction and elimination rules for arbitrary n-ary sentential operators. with respect to this schema, (functional) completeness "or", "if..then" and absurdity is proved.

Hence, there is still controversy over which of the two versions of the deduction deserves priority and whether indeed any distinction between them can be maintained that would go beyond questions of presentation and involve the structure of the proof itself. Schopenhauer and Heidegger held that the first edition alone fully expresses Kant's unique philosophy, while Kant himself, as well as many other Kantians, have only seen a difference in the method of presentation.

It seems beyond doubt that a thinker can come to know a conclusion by deducing it from premisses that he knows already, but philosophers have found it puzzling how a thinker could acquire knowledge in this way. Assuming a broadly externalist conception of knowledge, I explain why judgements competently deduced from known premisses are themselves knowledgeable. Assuming an exclusionary conception of judgeable content, I further explain how such judgements can be informative. (According to the exclusionary conception, which I develop from (...) some remarks in Ramsey, a judgement's content is given by the hitherto live possibilities that it excludes or rules out.) I propose that the value of logic lies in its allowing us to combine different sources of knowledge, so that we can learn things that we could not learn from those sources individually. I conclude by arguing that while single-conclusion logics possess that value, multiple-conclusion logics do not. (shrink)

Considering the instability of nonlinear dynamics, the deductive inference rule Modus ponens itself is not enough to guarantee the validity of reasoning sequences in the real physical world, and similar results cannot necessarily be obtained from similar causes. Some kind of stability hypothesis should be added in order to draw meaningful conclusions. Hence, the uncertainty of deductive inference appears to be like that of inductive inference, and the asymmetry between deduction and induction becomes unrecognizable such as to undermine the (...) basis for the fundamental cleavage between analytic truth and synthetic truth, as W. V. O. Quine pointed out. Induction is not inferior to deduction from a pragmatic point of view. (shrink)

Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs. (Translation of our German paper (...) "Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie"; online available at http://philpapers.org/rec/CORERE.). (shrink)

This paper is about the nature of the relationship between (1) the doctrine of Non-Conceptualism about mental content, (2) Kant's Transcendental Idealism, and (3) the Transcendental Deduction of the Pure Concepts of the Understanding, or Categories, in the B (1787) edition of the Critique of Pure Reason, i.e., the B Deduction. Correspondingly, the main thesis of the paper is this: (1) and (2) yield serious problems for (3), yet, in exploring these two serious problems for the B (...) class='Hi'>Deduction, we also discover some deeply important and perhaps surprising philosophical facts about Kant's theory of cognition and his metaphysics. (shrink)

Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert's style of proof and Gentzen's deductive systems. In this context we call it CED (Calculus of Equational Deduction). This deductive method promotes logical equivalence over implication and shows that there are easy ways to prove predicate formulas without the introduction of hypotheses or metamathematical tools such as the deduction theorem. Moreover, syntactic considerations (in Dijkstra's words, "letting the (...) symbols do the work") have led to the "calculational style," an impressive array of techniques for elegant proof constructions. In this paper, we formalize intuitionistic predicate logic according to CED with similar success. In this system (I-CED), we prove Leibniz's principle for intuitionistic logic and also prove that any (intuitionistic) valid formula of predicate logic can be proved in I-CED. (shrink)

In this paper, I discuss the debate on Kant and nonconceptual content. Inspired by Kant’s account of the intimate relation between intuition and concepts, McDowell (1996) has forcefully argued that the relation between sensible content and concepts is such that sensible content does not severally contribute to cognition but always only in conjunction with concepts. This view is known as conceptualism. Recently, Kantians Robert Hanna and Lucy Allais, among others, have brought against this view the charge that it neglects the (...) possibility of the existence of essentially nonconceptual content that is not conceptualised or subject to conceptualisation. Their critique of McDowell amounts to nonconceptualism. However, both views, conceptualist and nonconceptualist, share the assumption that intuition is synthesised content in Kant’s sense. My interest is not in the validity of the philosophical positions of conceptualism or nonconceptualism per se. I am particularly interested in the extent to which the views that McDowell and Hanna and Allais respectively advance are true to Kant, or can validly be seen as Kantian positions. I argue that although McDowell is right that intuition is only epistemically relevant in conjunction with concepts, Hanna and Allais are right with regard to the existence of essentially nonconceptual content (intuitions) independently of the functions of the understanding, but that they are wrong with regard to non-conceptualised intuition being synthesised content in Kant’s sense. Kantian conceptualists (Bowman 2011; Griffith 2012; Gomes 2014) have responded to the recent nonconceptualist offensive, with reference to A89ff./B122ff. (§13)—which, confusingly, the nonconceptualists also cite as evidence for their contrary reading—by arguing that the nonconceptualist view conflicts with the central goal of the Transcendental Deduction, namely, to argue that all intuitions are subject to the categories. I contend that the conceptualist reading of A89ff./B122ff. is unfounded, but also that the nonconceptualists are wrong to believe that intuitions as such refer strictly to objects independently of the functions of the understanding, and that they are mistaken about the relation between figurative synthesis and intellectual synthesis. I argue that Kant is a conceptualist, albeit not in the sense that standard conceptualists assume. Perceptual knowledge is always judgemental, though without this resulting in the standard conceptualist claim that, necessarily, all intuitions or all perceptions per se stand under the categories (strong conceptualism). I endorse the nonconceptualist view that, for Kant, perception per se, i.e. any mere or ‘blind’ intuition of objects (i.e. objects as indeterminate appearances) short of perceptual knowledge, does not necessarily stand under the categories. Perception is not yet perceptual knowledge. In this context, I point out the common failure in the literature on the Transcendental Deduction, both of the conceptualist and nonconceptualist stripe, to take account of the modal nature of Kant’s argument for the relation between intuition and concept insofar as cognition should arise from it. (shrink)

This paper examines Hobbes’s criticisms of Robert Boyle’s air-pump experiments in light of Hobbes’s account in _De Corpore_ and _De Homine_ of the relationship of natural philosophy to geometry. I argue that Hobbes’s criticisms rely upon his understanding of what counts as “true physics.” Instead of seeing Hobbes as defending natural philosophy as “a causal enterprise … [that] as such, secured total and irrevocable assent,” 1 I argue that, in his disagreement with Boyle, Hobbes relied upon his understanding of natural (...) philosophy as a mixed mathematical science. In a mixed mathematical science one can mix facts from experience with causal principles borrowed from geometry. Hobbes’s harsh criticisms of Boyle’s philosophy, especially in the _Dialogus Physicus, sive De natura aeris_, should thus be understood as Hobbes advancing his view of the proper relationship of natural philosophy to geometry in terms of mixing principles from geometry with facts from experience. Understood in this light, Hobbes need not be taken to reject or diminish the importance of experiment/experience; nor should Hobbes’s criticisms in _Dialogus Physicus_ be understood as rejecting experimenting as ignoble and not befitting a philosopher. Instead, Hobbes’s viewpoint is that experiment/experience must be understood within its proper place – it establishes the ‘that’ for a mixed mathematical science explanation. (shrink)

We examine Charles S. Peirce's mature views on the logic of science, especially as contained in his later and still mostly unpublished writings. We focus on two main issues. The first concerns Peirce's late conception of retroduction. Peirce conceived inquiry as performed in three stages, which correspond to three classes of inferences: abduction or retroduction, deduction, and induction. The question of the logical form of retroduction, of its logical justification, and of its methodology stands out as the three major (...) threads in his later writings. The other issue concerns the second stage of scientific inquiry, deduction. According to Peirce's later formulation, deduction is divided not only into two kinds but also into two sub-stages: logical analysis and mathematical reasoning, where the latter is either corollarial or theorematic. Save for the inductive stage, which we do not address here, these points cover the essentials of Peirce's latest thinking on the l.. (shrink)

In "Beyond the Myth of the Myth: A Kantian Theory of Non-Conceptual Content", Robert Hanna argues for a very strong kind of non-conceptualism, and claims that this kind of non-conceptualism originally has been developed by Kant. But according to "Kant's Non-Conceptualism, Rogue Objects and the Gap in the B Deduction", Kant's non-conceptualism poses a serious problem for his argument for the objective validity of the categories, namely the problem that there is a gap in the B Deduction. This (...) gap is that the B Deduction goes through only if conceptualism is true, but Kant is a non-conceptualist. In this paper I argue, contrary to what Hanna claims, that there is not a gap in the B Deduction. (shrink)

The articles in this volume deal with the main inferential methods that can be applied to different kinds of experimental evidence.

Natural deduction systems for classical, intuitionistic and modal logics were deeply investigated by Prawitz [D. Prawitz, Natural Deduction: A Proof-theoretical Study, in: Stockholm Studies in Philosophy, vol. 3, Almqvist and Wiksell, Stockholm, 1965. Reprinted at: Dover Publications, Dover Books on Mathematics, 2006] from a proof-theoretical perspective. Prawitz proved weak normalization for classical logic only for a language without logical or, there exists and with a restricted application of reduction ad absurdum. Reduction steps related to logical or, there exists (...) and classical negation bring about many problems solved only rather recently. For classical S5 modal logic, Prawitz defined a normalizable system, but for a language without logical or, there exists, ◊ and, for a propositional language without ◊, Medeiros [M.da P.N. Medeiros, A new S4 classical modal logic in natural deduction, Journal of Symbolic Logic 71 799–809] presented a normalizable system for classical S4. We can mention many cut-free Gentzen systems for S4, S5 and K45/K45D, some normalizable natural deduction systems for intuitionistic modal logics and one more for full classical S4, but not for full classical S5. Here our focus is on the definition of a classical and normalizable natural deduction system for S5, taking not only □ and ◊ as primitive symbols, but also all connectives and quantifiers, including classical negation, disjunction and the existential quantifier. The normalization procedure is based on the strategy proposed by Massi [C.D.B. Massi, Provas de normalizaçaõ para a lógica clássica, Ph.D. Thesis, Departamento de Filosofia, UNICAMP, Campinas, 1990] and Pereira and Massi [L.C. Pereira, C.D.B. Massi, Normalização para a lógica clássica, in: O que nos faz pensar, Cadernos de Filosofia da PUC-RJ, vol. 2, 1990, pp. 49–53] for first-order classical logic to cope with the combined use of classical negation, disjunction and the existential quantifier. Here we extend such results to deal with □ and ◊ too. The elimination rule for ◊ uses the notions of connection and of essentially modal formulas already proposed by Prawitz for the introduction of □. Beyond weak normalization, we also prove the subformula property for full S5. (shrink)

Most philosophers hold that the use of our deductive powers confers an especially strong warrant on some of our mathematical and logical beliefs. By contrast, many of the same philosophers hold that it is a matter of serious debate whether any inductive inferences are cogent. That is, they hold that we might well have no warrant for inductively licensed beliefs, such as generalizations. I argue that we cannot know that we know logical and mathemati- cal truths unless we use induction. (...) Our confidence in our logical and mathematical powers is not justified if we are inductive scep- tics. This means that inductive scepticism leads to a deductive scep- ticism. I conclude that we should either be philosophical sceptics about our knowledge of deduction and induction, or accept that some of our inductive inferences are cogent. (shrink)

One recent trend in Kant scholarship has been to read Kant as undertaking a project in philosophical semantics, as opposed to, say, epistemology, or transcendental metaphysics. This trend has evolved almost concurrently with a debate in contemporary philosophy of mind about the nature of concepts and their content. Inferentialism is the view that the content of our concepts is essentially inferentially articulated, that is, that the content of a concept consists entirely, or in essential part, in the role that that (...) concept plays in a system of inferences. By contrast, relationalism is the view that this content is fixed by a mental or linguistic item's standing in a certain relation to its object. The historical picture of Kant and the contemporary debate about concepts intersect in so far as contemporary inferentialists about conceptual content often cite Immanuel Kant not only as one of the founding fathers of a tradition that leads more or less straightforwardly to contemporary inferentialism, but also as the philosopher who first saw the fatal flaws in any attempt to articulate the content of our concepts relationally. (shrink)

Termination for classical natural deduction is difficult in the presence of commuting/permutative conversions for disjunction. An approach based on reducibility candidates is presented that uses non-strictly positive inductive definitions.It covers second-order universal quantification and also the extension of the logic with fixed points of non-strictly positive operators, which appears to be a new result.Finally, the relation to Parigot’s strictly positive inductive definition of his set of reducibility candidates and to his notion of generalized reducibility candidates is explained.

Lucy Allais seeks to provide a reading of the Transcendental Deduction of the Categories which is compatible with a nonconceptualist account of Kant’s theory of intuition. According to her interpretation, the aim of the Deduction is to show that a priori concept application is required for empirical concept application. I argue that once we distinguish the application of the categories from the instantiation of the categories, we see that Allais’s reconstruction of the Deduction cannot provide an answer (...) to Hume’s problem about our entitlement to use a priori concepts when thinking about the objects of empirical intuition. If the Deduction is to provide a response to Hume, Allais’s interpretation must be rejected. (shrink)

The two major options on which the current debate on the interpretation of quantum mechanics relies, namely realism and empiricism, are far from being exhaustive. There is at least one more position available, which is metaphysically as agnostic as empiricism, but which shares with realism a committment to considering the structure of theories as highly significant. The latter position has been named transcendentalism after Kant. In this paper, a generalized version of Kant's method is used. This yields a reasoning that (...) one is entitled to call a transcendental deduction of some major formal features of quantum mechanics. (shrink)

This short blog article presents a solution to the “Scandal of Deduction,” the counter-intuitive finding that no new information is generated by either deduction or deterministic computation. I argue that, since physical computation necessarily involves communications, we cannot expect computation to reduce our uncertainty until it has been completed and its output received as a “message.” This has a number of implications for how we understand semantic theories of information.

Few of Kant’s doctrines are as difficult to understand as that of self-affection. Its brief career in the published literature consists principally in its unheralded introduction in the Transcendental Aesthetic and unexpected re-appearance at a key moment in the Deduction chapter in the B edition of the first Critique. Kant’s commentators, confronted with the difficulty of this doctrine, have naturally resorted to various strategies of clarification, ranging from distinguishing between empirical and transcendental self-affection, divorcing self-affection from the claims of (...) self-knowledge with which Kant explicitly connects it, and, perhaps least justified of all, ignoring the doctrine altogether. Yet the connection between self-affection and central Critical doctrines (such as the transcendental synthesis of the imagination) marks all of these strategies as last resorts. In this paper, I seek to provide a clearer outline of the constellation of those issues which inform Kant’s discussion of self-affection. More particularly, I intend to explain the crucial role played by self-affection in the account of the transcendental conditions of perception provided late in the B Deduction. (shrink)

A normalization procedure is given for classical natural deduction with the standard rule of indirect proof applied to arbitrary formulas. For normal derivability and the subformula property, it is sufficient to permute down instances of indirect proof whenever they have been used for concluding a major premiss of an elimination rule. The result applies even to natural deduction for classical modal logic.

This article aims to dualize several results concerning various types (including possibly Cut-free and Identity-free systems) of canonical multiple-conclusion sequent calculi, i.e. Gentzen-style deduction systems for sequents, equipped with well-behaved forms of left and right introduction rules for logical expressions. In this opportunity, we focus on a different kind of calculi that we dub cocanonical, that is, Gentzen-style deduction systems for sequents, equipped with well-behaved forms of left and right elimination rules for logical expressions. These systems, simply put, (...) have rules that proceed from sequents featuring complex formulas to sequents featuring their component subformulas. Our main goals are to prove soundness and completeness results for the target systems’ consequence relations in terms of their characteristic 3- or 4-valued non-deterministic matrices. (shrink)