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)

I critically examine one central line of reasoning in Mario Caimi's book »Kant's B Deduction« (Cambridge Publishing, 2014).

According to a familiar reading of Kant, he denies the possibility alleged by the rationalists of our having non-sensible or intellectual intuition. I argue in this article that he simply holds the possibility to be groundless. To put the contrast in terms of a distinction Kant makes in the A-Paralogisms, he raises a “dogmatic” objection to the rationalists in the former case, and a “critical” one in the latter. By analyzing the two-step argument in the B-Deduction, I defend the (...) “critical” reading, which may, I hope, shed light on how Kant can justify his claim – which may be regarded as a second-order, methodological one pivotal to his Critical project – that possible experience serves as the only guideline for proving that we can cognize objects a priori. (shrink)

In the transcendental deduction, the central argument of the Critique of Pure Reason, Kant seeks to secure the objective validity of our basic categories of thought. He distinguishes objective and subjective sides of this argument. The latter side, the subjective deduction, is normally understood as an investigation of our cognitive faculties. It is identified with Kant’s account of a threefold synthesis involved in our cognition of objects of experience, and it is said to precede and ground (...) Kant’s proof of the validity of the categories in the objective deduction. I challenge this standard reading of the subjective deduction, arguing, first, that there is little textual evidence for it, and, second, that it encourages a problematic conception of how the deduction works. In its place, I present a new reading of the subjective deduction. Rather than being a broad investigation of our cognitive faculties, it should be seen as addressing a specific worry that arises in the course of the objective deduction. The latter establishes the need for a necessary connection between our capacities for thinking and being given objects, but Kant acknowledges that his readers might struggle to comprehend how these seemingly independent capacities are coordinated. Even worse, they might well believe that in asserting this necessary connection, Kant’s position amounts to an implausible subjective idealism. The subjective deduction ismeant to allay these concerns by showing that they rest on a misunderstanding of the relation between these faculties. This new reading of the subjective deduction offers a better fit with Kant’s text. It also has broader implications, for it reveals the more philosophically plausible account of our relation to the world as thinkers that Kant is defending – an account that is largely obscured by the standard reading of the subjective deduction. (shrink)

The deduction of categories in the 1781 edition of the Critique of the Pure Reason (A Deduction) has “two sides”—the “objective deduction” and the “subjective deduction”. Kant seems ambivalent about the latter deduction. I treat it as a significant episode of Kant’s thinking about categories that extended from the early 1770s to around 1790. It contains his most detailed answer to the question about the origin of categories that he formulated in the 1772 letter (...) to Marcus Herz. The answer is that categories are generated a priori through a kind of intellectual “epigenesis”. This account leaves unexplained why precisely such and such categories should be generated. While this observation caused Kant to worry about the hypothetical status of the subjective deduction in 1781, he would come to acquiesce in the recognition that the ground of the possibility of categories is itself inscrutable. I call this his “methodological skepticism”. (shrink)

From the second half of the last century, there has been a widespread view in the Anglophone world that Kant’s transcendental deduction (aka TD) aims to vindicate our common-sense view of the world as composed of public and objective particulars against some unqualified forms of skepticism. This widespread assumption has raised serious doubt not only about the success of TD but also about the very nature of its argument in both editions of the Critique. Yet, if there is (...) a connection between TD and global skepticism, the intriguing question is: Who is this skeptic? According to Strawson, “the skeptic” is a hypothesis of a purely sense-datum experience. In contrast, the fact that TD turns on the key notion of self-consciousness has induced several other scholars to assume that the skeptic is no none but a Cartesian external-world skeptic. None of those readings find textual support or are compatible with the very structure of the first Critique. The question is: Does this mean that TD aims only to undermine empiricism, as Guyer suggests? I do not believe so. I am pretty convinced that TD addresses a peculiar form of global skepticism, namely “Hume’s challenge to reason.” Assuming that we cognize (erkennen) and experience (erfahren) appearances as objects as a requirement of Newtonian physics, TD aims to provide a justification of the principle that nature is uniform that is superior to Hume’s justification. (shrink)

The traditional No-Miracles Argument (TNMA) asserts that the novel predictive success of science would be a miracle, and thus too implausible to believe, if successful theories were not at least approximately true. The TNMA has come under fire in multiple ways, challenging each of its premises and its general argumentative structure. While the TNMA relies on explaining novel predictive success via the truth of the theories, we put forth a deductive version of the No-Miracles argument (DNMA) that avoids inference to (...) the best explanation entirely. Instead, a relatively simple empirical framework and a probabilistic analysis can accomplish the ambitious goals of the TNMA while entirely sidestepping its problems. This close-but-distinct argument has many independent strengths and comparatively few weaknesses. Indeed, objections tailored specifically to the DNMA reveal surprising insights into how exactly NMAs are neither circular nor question-begging, as has been widely speculated. (shrink)

In his book The Things We Mean, Stephen Schiffer advances a subtle defence of what he calls the ‘face-value’ analysis of attributions of belief and reports of speech. Under this analysis, ‘Harold believes that there is life on Venus’ expresses a relation between Harold and a certain abstract object, the proposition that there is life on Venus. The present essay first proposes an improvement to Schiffer’s ‘pleonastic’ theory of propositions. It then challenges the face-value analysis. There will be such things (...) as propositions only if they possess conditions of identity and distinctness. By analyzing Frege’s theory of propositions (Gedanken), I argue that such conditions may be found for the special case of beliefs and sayings advanced as premises and conclusions of deductive arguments. These conditions, however, are not applicable to most ordinary beliefs and sayings. Ordinary attributions and reports, then, do not place thinkers and speakers in relations to propositions. A bonus is exposure of the fallacy in the Putnam-Taschek objection to Frege’s theory of sense and reference. (shrink)

James Van Cleve has argued that Kant’s Transcendental Deduction of the categories shows, at most, that we must apply the categories to experience. And this falls short of Kant’s aim, which is to show that they must so apply. In this discussion I argue that once we have noted the differences between the first and second editions of the Deduction, this objection is less telling. But Van Cleve’s objection can help illuminate the structure of the B Deduction, (...) and it suggests an interesting reason why the rewriting might have been thought necessary. (shrink)

Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective (...) Bayesianism or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

I take up Kant's remarks about a " transcendental deduction" of the "concepts of space and time". I argue for the need to make a clearer assessment of the philosophical resources of the Aesthetic in order to account for this transcendental deduction. Special attention needs to be given to the fact that the central task of the Aesthetic is simply the "exposition" of these concepts. The Metaphysical Exposition reflects upon facts about our usage to reveal our commitment to (...) the idea that these concepts refer to pure intuitions. But the legitimacy of these concepts still hangs in the balance: these concepts may turn out to refer to nothing real at all. The subsequent Transcendental Exposition addresses this issue. The objective validity of the concepts of space and time, and hence their transcendental deduction, hinges on careful treatment of this last point. (shrink)

The objective Bayesian view of proof (or logical probability, or evidential support) is explained and defended: that the relation of evidence to hypothesis (in legal trials, science etc) is a strictly logical one, comparable to deductive logic. This view is distinguished from the thesis, which had some popularity in law in the 1980s, that legal evidence ought to be evaluated using numerical probabilities and formulas. While numbers are not always useful, a central role is played in uncertain reasoning by (...) the ‘proportional syllogism’, or argument from frequencies, such as ‘nearly all aeroplane flights arrive safely, so my flight is very likely to arrive safely’. Such arguments raise the ‘problem of the reference class’, arising from the fact that an individual case may be a member of many different classes in which frequencies differ. For example, if 15 per cent of swans are black and 60 per cent of fauna in the zoo is black, what should I think about the likelihood of a swan in the zoo being black? The nature of the problem is explained, and legal cases where it arises are given. It is explained how recent work in data mining on the relevance of features for prediction provides a solution to the reference class problem. (shrink)

I defend an interpretation of the first Critique’s category of totality based on Kant’s analysis of totality in the third Critique’s Analytic of the mathematical sublime. I show, firstly, that in the latter Kant delineates the category of totality — however general it may be — in relation to the essentially singular standpoint of the subject. Despite the fact that sublime and categorial totality have a significantly different scope and function, they do share such a singular baseline. Secondly, I argue (...) that Kant’s note (in the first Critique’s metaphysical deduction) that deriving the category of totality requires a special act of the understanding can be seen as a ‘mark’ of that singular baseline. This way, my aesthetical ‘detour’ has the potential of revealing how the subjective aspects of object-constitution might be accounted for in the very system of the categories (of quantity) itself. (shrink)

Kant’s argument in § 38 of the *Critique of Judgment* is subject to a dilemma: if the subjective condition of cognition is the sufficient condition of the pleasure of taste, then every object of experience must produce that pleasure; if not, then the universal communicability of cognition does not entail the universal communicability of the pleasure. Kant’s use of an additional premise in § 21 may get him out of this difficulty, but the premises themselves hang in the air and (...) have no independent plausibility. What Kant offers as a proof of our right to make judgments of taste is more charitably construed as an indirect argument for the adequacy of a speculative explanation of a *presumed* right to make judgments of taste. (shrink)

Kant’s Metaphysical Deduction of the Categories justifies their apriority, i.e. that their contents originate in the understanding itself, while the Transcendental Deduction justifies their objectivity, both in that they purport to represent objects of experience and that they do so successfully. The apriority of the categories, as explained in terms of acts of synthesis required for having sensible intuitions of objects, is justified by establishing their generic identity with logical functions of judgment, i.e. acts of judgment required for (...) referring concepts to objects. The objective purport of the categories is justified by establishing that sensible intuitions fall under them. To finally justify that the categories represent successfully, i.e. that the objects of our intuitions fall under them, it is established that the representations of space and time do, namely by showing that the features addressed in their Metaphysical Expositions, too, are to be explained in terms of acts of synthesis. (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 the Critique of Pure Reason and elsewhere, Kant uses the term ‘object’ in various ways and often without clearly signaling its different meanings. As a result, it is hard to gauge the extent to which Kant’s account of the object of cognition breaks new ground. In this article, I take the Critique to establish what is required to generate an object of cognition per se soleley by examining the various ways in which the human mind can objectify the content (...) of its representations. To clarify this endeavor, I distinguish four different ways in which the term ‘object’ is used in the Critique, namely, to refer to (1) material things, (2) the content of any type of thought, (3) the mind-immanent correlate of a cognition in the broad sense of the term, and (4) the mind-immanent correlate of a cognition in the strict sense of the term. On my reading, the fourth meaning of the term ‘object’ is key to the Transcendental Deduction and completes Kant’s unprecedented conception of the cognitive acts by means of which the human mind produces objects of cognition out of a manifold of representations. (shrink)

The present PhD thesis is concerned with the question whether good reasoning requires that the subject has some cognitive grip on the relation between premises and conclusion. One consideration in favor of such a requirement goes as follows: In order for my belief-formation to be an instance of reasoning, and not merely a causally related sequence of beliefs, the process must be guided by my endorsement of a rule of reasoning. Therefore I must have justified beliefs about the relation between (...) my premises and my conclusion. -/- The rationality of a belief often depends on whether it is rightly connected to other beliefs, or more generally to other mental states —the states capable of providing a reason to holding the belief in question. For instance, some rational beliefs are connected to other beliefs by being inferred from them. It is often accepted that the connection implies that the subject in some sense ‘takes the mental states in question to be reason-providing’. But views on how exactly this is to be understood differ widely. They range from interpretations according to which ‘taking a mental state to be reason-providing’ imposes a mere causal sustaining relation between belief and reason-providing state to interpretations according to which one ‘takes a mental state to be reason-providing’ only if one believes that the state is reason-providing. The most common worry about the latter view is that it faces a vicious regress. In this thesis a different but in some respects similar interpretation of ‘taking something as reason-providing’ is given. It is argued to consist of a disposition to react in certain ways to information that challenges the reason-providing capacity of the allegedly reason-providing state. For instance, that one has inferred A from B partly consists in being disposed to suspend judgment about A if one obtains a reason to believe that B does not render A probable. The account is defended against regress-objections and the suspicion of explanatory circularity. (shrink)

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)

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)

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...) should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (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)

I argue that Kant’s primary epistemological concern in the Critique of Pure Reason’s transcendental deduction is empirical cognition. I show how empirical cognition is best understood as “rational sensory discrimination”: the capacity to discriminate sensory objects through the use of concepts and with a sensitivity to the normativity of reasons. My dissertation focuses on Kant’s starting assumption of the transcendental deduction, which I argue to be the thesis that we have empirical cognition. I then show how Kant’s own (...) subjective deduction fleshes out his conception of empirical cognition and is intertwined with key steps in the transcendental deduction’s arguments that the categories have objective validity and that we have synthetic a priori cognition. (shrink)

In this paper, I propose a new nonconceptual reading of the B-Deduction. As Hanna correctly remarks (Int J Philos Stud 19(3):399–415, 2011: 405), the word “cognition” (Erkenntnis/cognition) has, in both editions of the first Critique, a wide sense, meaning nonconceptual cognition, and a narrow meaning, in Kant’s own words “an objective perception” (A320/B377). To be sure, Kant assumes the first meaning to account for why the Deduction is unavoidable. If we take this meaning as a premise of (...) the B-Deduction, then there is a gap in the argument since the categories are certainly not conditions for non-conceptual cognition (Kantian nonconceptualism). Still, I believe it is not this wide meaning but rather the narrow one that figures in any premise of the B-Deduction. Thus, in the reading that I am proposing, categories are not conditions for representing something (I call this the intentionality thesis), or even conditions for representing something objectively (I call this the objectivity thesis). Instead, they are conditions for the recognition that what we represent through the senses exists mind-independently. In the first step of the B-Deduction, this cognition in the narrow sense takes the form of propositional thinking (transcendental apperception) that the nonconceptually represented object of the sensible intuition exists objectively. In contrast, in the second step of the B-Deduction, this cognition in the narrow sense takes the form of the apprehension (figurative synthesis) of what our human senses represent nonconceptually as existing objectively. (shrink)

The paper offers a model of Kant's claim that unity of consciousness entails objectivity of experience. This claim has nothing especially to do with thought, language or the categories but is a general truth about arbitrary signaling systems of the sort modeled in the paper. In conclusion I draw some consequences for various forms of idealism.

This article explores some open questions related to the problem of verification of theories in the context of empirical sciences by contrasting three epistemological frameworks. Each of these epistemological frameworks is based on a corresponding central metaphor, namely: (a) Neo-empiricism and the gambling metaphor; (b) Popperian falsificationism and the scientific tribunal metaphor; (c) Cognitive constructivism and the object as eigen-solution metaphor. Each of one of these epistemological frameworks has also historically co-evolved with a certain statistical theory and method for testing (...) scientific hypotheses, respectively: (a) Decision theoretic Bayesian statistics and Bayes factors; (b) Frequentist statistics and p-values; (c) Constructive Bayesian statistics and e-values. This article examines with special care the Zero Probability Paradox (ZPP), related to the verification of sharp or precise hypotheses. Finally, this article makes some remarks on Lakatos’ view of mathematics as a quasi-empirical science. (shrink)

This dissertation articulates our human capacity to judge as a capacity for knowledge, specifically for empirical knowledge, and for knowledge of itself as such. I interpret and draw on the account of such knowledge presented by Kant’s Critique of Pure Reason, situate this account historically, and relate it to relevant contemporary debates. The first chapter motivates my project by assessing the insights and shortcomings of Cartesian epistemology. I argue that while Descartes draws on the essential self-consciousness of judgement to show (...) that the cogito is knowledge, he fails, by his own standards, to secure this status for any judgement beyond the cogito. I conclude that self-consciousness alone is empty, but that, since we can judge beyond the cogito, judgement can be given content from elsewhere. The next chapter evaluates the empiricist doctrine that operations of the senses by themselves give content to judgement and can vindicate it as empirical knowledge. I contend that Kant deepens Hume’s finding, that empiricism fails to enable us to explain empirical knowledge, into the more radical insight that empiricism fails to enable us to understand the senses as providing any content. I conclude that the senses alone are blind and that our account of empirical knowledge must privilege neither sensory givenness nor intellectual self-consciousness. The third chapter contrasts two readings of Kant on the cooperation between sensibility and understanding in empirical knowledge. I argue, against many Kantians, that the Transcendental Deduction shows that instead of understanding this cooperation compositionally – so that operations of sensibility are intelligible independently of acts of the understanding – we must conceive of it hylomorphically – so that the operations of sensibility and understanding constitute the mutually dependent matter and form of empirical knowing respectively. The final chapter substantiates this hylomorphism by explicating the form of knowledge as synthesis. Following Kant, I argue that inference is a species of synthesis and provide a synthetic explanation of inference. The resulting account simultaneously illustrates synthesis, addresses a prominent contemporary problem regarding the nature of inference, and explains how our capacity to know provides not just isolated glimpses of empirical reality, but a unified conception of it. (shrink)

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate (...) calculus with a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

Dieter Henrich’s reconstruction of the transcendental deduction in "Identität und Objektivität" has been criticised (probably unfairly) by Guyer and others for assuming that we have a priori Cartesian certainty about our own continuing existence through time. In his later article "The Identity of the Subject in the Transcendental Deduction", Henrich addresses this criticism and proposes a new, again entirely original argument for a reconstruction. I attempt to elucidate this argument with reference to Evans’s theory of the Generality Constraint (...) and a remark of Strawson’s in Individuals. Its logical form of a sentence-operator requires that the "I think" be capable of accompanying every thought that we can form. Henrich seems to rely on this point, claiming in addition that we must be aware of this property of the "I think". I object that we cannot assume everyone to be capable of doing the philosophy of her own situation. (shrink)

Abstract: This paper traces a Kantian and pragmatist line of thinking that connects the ideas of conceptual content, object cognition, and modal constraints in the form of counterfactual sustaining causal laws. It is an idea that extends from Kant’s Critique of Pure Reason through C. I. Lewis’s Mind and the World-Order to the Kantian naturalism of Wilfrid Sellars and the analytic pragmatism of Robert Brandom. Kant put forward what I characterize as a modal conception of objectivity, which he developed as (...) an extended argument stretching from the transcendental deduction through the analogies of experience to the regulative maxims of reason and reflective judgment. In related ways in Lewis and Sellars, the very idea of an object of knowledge (and of intentionality more generally) is connected with a certain lawfulness or modal constraint the necessary representation of which, they argue, is an achievement of conceptualization. While Sellars agreed with the spirit of Lewis’s famous pragmatic conception of the a priori, Sellars’s conception of meaning and conceptual content differed in crucial ways with important consequences for this issue. I argue furthermore that a certain phenomenalist temptation threatens to spoil this insight both among some of Kant’s interpreters and in Lewis’s thought. Finally, I point out that Brandom’s “Kant-Sellars thesis” provides new support for this line of thought. Although questions concerning idealism continue to raise controversies for neo-Kantians and pragmatists, the line of thought itself represents a distinctive and still promising approach to questions concerning intentionality and conceptual content. (shrink)

This paper argues that ordinary object languages for fundamental physics are incomplete, essentially because they are extensional, and consequently lack any adequate formal representation of contingency. It is shown that it is impossible to formulate adequate deduction systems for general transformations in such languages. This is argued in detail for the time reversal transformation. Two important controversies about the application of time reversal in quantum mechanics are summarized at the start, to provide the context of this problem, and show (...) its serious implications, but the aim here is not to solve these problems. The flaw is not special to quantum mechanics: it is a general feature traced to extensionality, and demonstrated through a simple example in classical physics. It is proposed that this defect can be overcome by extending to an intensional semantics, but this involves extending the usual formalism of physics. A detailed proposal for such an extension is given in Part 2. (shrink)

In this review essay, I raise three principal concerns relating to Schulting’s project of deriving the categories from apperception as elaborated in his recent book Kant’s Deduction and Apperception (Palgrave Macmillan, 2012). First, I claim that Schulting overlooks a key ambiguity relating to ‘ableiten’ and which contrasts with his strictly logical understanding of that term. Second, I dispute on textual and philosophical grounds Schulting’s characterization of the subject’s consciousness of its own identity in terms of the analytic unity of (...) apperception. Finally, I raise an objection to Schulting’s account of the derivation of the concept of substance from apperception, as I claim that at best Kant allows that the logical function underlying this category (rather than the category itself) can be so derived, and I note that this objection can be extrapolated to apply to the other derivations of the categories Schulting offers. (shrink)

This study purports a unifying view of the ontology of mathematics and fiction presented in Husserl’s 1894 manuscript “Intentional Objects” [Intentionale Gegenstände] in relation to his theory of manifolds. In particular, I clarify that Husserl’s argument supposes deductive systems of mathematical theories and fictional work as well as their “correlates,” which are mathematical manifolds in the former cases. This unifying view concretizes the concept of manifolds as an ontological concept that is not bound to mathematics. Although mathematical and fictional objects (...) differ in whether they are purely formal or materially filled, the concept of manifolds can be extended to admit materially filled objects, thus encompassing the two into the unitary theory of manifolds. By contrast, reviewing the subsequent developments of Husserl’s theory of manifolds naturally leads to restricting its concept to be strictly formal. This notion is consistent with the view that describes manifolds as forms of worlds and states of affairs; however, I suggest that the concept of the manifold is more fundamental than the concept of the world and state of affairs. (shrink)

As soon as you believe an imagination to be nonfictional, this imagination becomes your ontological theory of the reality. Your ontological theory (of the reality) can describe a system as the reality. However, actually this system is only a theory/conceptual-space/imagination/visual-imagery of yours, not the actual reality (i.e., the thing-in-itself). An ontological theory (of the reality) actually only describes your (subjective/mental) imagination/visual-imagery/conceptual-space. An ontological theory of the reality, is being described as a situation model (SM). There is no way to prove/disprove (...) that there is only one reality, or there are two realities (i.e., “subjective reality” and “objective reality”). So, every ontology talk/theory/imagination about the two realities is only a talk/theory/imagination – we will never know whether it is true or not. The conventionally-called “physical/objective reality/world” around my conventionally-called “physical/objective body” is actually a geometric mathematical model (being generated/mathematically-modeled by my brain) – it's actually a subset/component/part/element of my brain’s mind/consciousness/manifest-image. Our cosmos is an autonomous objective parallel computing automaton (aka state machine) which evolves by itself automatically/unintentionally – wave-particle duality and Heisenberg’s uncertainty principle can be explained under this SM of my brain. Each elementary particle (as a building block of our cosmos) is an autonomous mathematical entity itself (i.e., a thing in itself). Our cosmos has the same nature as a Game of Life system – both are autonomous objective parallel-computing automata. Cosmos (as a state machine) is indistinguishable from a digital simulation – my consciousness (as something nonphysical) is not cosmos (as a state machine). If we are happy to accept randomness/stochasticity, then it is obviously possible that all other worlds in the many-worlds interpretation (MWI) actually do not exist (objectively). As one metaphysical option, we can treat all other worlds as subjective only (even if they are actually objective). Under the context of this metaphysical option, we are only living in one world (i.e., the world we are currently living in; this world) – we are not living in many worlds at the same time parallelly. Under the context of this metaphysical option, there is only one possible future. The relationship among any number of elementary particles, is governed/described by Schrodinger equation. If (in theory) Schrodinger equation can’t be used to reliably forecast whether I will go to McDonald for dinner in this world (based on the current state of all elementary particles of the cosmos), then what can Schrodinger equation do? The conventionally-called “space” does not exist objectively. “Time” and “matter” are not physical. Consciousness is the subjective-form (aka quale) of the mathematical models (of the objective cosmos) which are intracorporeally/subjectively used by the control logic of a Turing machine’s program fatedly. A Turing machine’s mind/consciousness/manifest-image or deliberate decisions/choices should not be able to actually/objectively change/control/drive the (autonomous or fated) worldline of any elementary particle within this world (i.e., the world we are currently living in, under the context of MWI). Besides the Schrodinger equation (or another mathematical equation/function which is yet to be discovered) which is a valid/correct/factual causality of our cosmos/state-machine, every other causality (of our cosmos/state-machine) is either invalid/incorrect/counterfactual or can be proved by deductive inference based on the Schrodinger equation (or the aforementioned yet-to-be-discovered mathematical equation/function) only. Closed causality entails no causality. Consciousness plays no causal role (“epiphenomenalism”), or in other words, any cognitive/behavioural activity can in principle be carried out without consciousness (“conscious inessentialism”). If the “loop quantum gravity” theory is correct, then time/space does not actually/objectively exist in the objective-evolution of the objective cosmos, or in other words, we should not use the subjective/mental concept of “time”, “state” or “space” to describe/imagine the objective-evolution of our cosmos. (shrink)

Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The objective of this research is to verify if logically valid deductions leave any cerebral electrical trait that is distinct from the trait left by non-valid deductions. 23 subjects with an average age of 20.35 years were registered with MEG and placed into a two conditions paradigm (100 trials (...) for each condition) which each presented the exact same relational complexity (same variables and content) but had distinct logical complexity. Both conditions show the same electromagnetic components (P3, N4) in the early temporal window (250–525 ms) and P6 in the late temporal window (500–775 ms). The significant activity in both valid and invalid conditions is found in sensors from medial prefrontal regions, probably corresponding to the ACC or to the medial prefrontal cortex. The amplitude and intensity of valid deductions is significantly lower in both temporal windows (p = 0.0003). The reaction time was 54.37% slower in the valid condition. Validity leaves a minimal but measurable hypoactive electrical trait in brain processing. The minor electrical demand is attributable to the recursive and automatable character of valid deductions, suggesting a physical indicator of computational deductive properties. It is hypothesized that all valid deductions are recursive and hypoactive. (shrink)

In “The Zygote Argument is Invalid: Now What?” (2015), Kristin Mickelson published an objection to the Zygote Argument that she first presented in 2012 as workshop comments on a draft of Mele's "Manipulation, Moral Responsibility, and Bullet-Biting" (2013). Assuming that the phrase "determinism precludes free will" means something like determinism-related causal factors are what prevent people from acting freely when determinism is true, Mele's original Zygote Argument was invalid. At the workshop, Mickelson presented Mele with two options to address the (...) problem, a premise-preserving option and a conclusion-preserving option. That is, Mele could change the conclusion of the original argument to the negative, non-explanatory thesis entailed by its original two premises, or find a way to add premises that would support the positive, explanatory conclusion of the original argument (which, notably, is the conclusion that Pereboom supports using best-explanation reasoning in his Four-Case Argument). Mickelson used this as an opportunity to explain the key contribution that best-explanation reasoning makes to manipulation arguments -- and why the best variant of the manipulation argument might conclude that incompatibilism is FALSE. In response to Mickelson's objection, Mele changed the conclusion of the argument before "Manipulation, Moral Responsibility, and Bullet-Biting" went to print, choosing Mickelson's proposal to change its conclusion over the suggestion to change its premises. However, Mele failed to mention Mickelson's invalidity objection in print and that he changed the conclusion of his argument as a direct response to it; nor did Mele mention the costs that Mickelson outlined for the premise-preserving solution that he adopted or the benefits of a conclusion-preserving solution. At the same time, Mele began using the term 'incompatibilism' to pick out the negative, non-explanatory claim supported by the newly revised Zygote Argument--and also started to claim (without providing evidence) that those who use the term 'incompatibilism' to denote the explanatory claim deterministic causal factors *make it the case* that no one acts freely when determinism is true" is guilty of using the term in a nonstandard and nontraditional way that he had "never had any use for"--failing to mention that he clearly used the term in this explanatory sense in his 2005 critique of the Four-Case Argument, which is to be expected give that Derk Pereboom uses the explanatory definition (as do Kadri Vihvelin, Carolina Sartorio, and *most* other contributors to the free-will literature). In THIS reply essay, Mickelson responds to an attempt by Gabriel De Marco (FSU, advisor Alfred Mele) to defend the original Zygote Argument from Mickelson's 2012/2015 critique. Unfortunately, both of De Marco's proposed "solutions" are non-starters. The first is a non-starter because De Marco merely repeats the premise-preserving solution that Mickelson offered to Mele in 2012 and that Mele adopted in print in 2013. In other words, De Marco took credit for the premise-preserving solution to the invalidity objection that Mickelson developed (although he does *redescribe* Mickelson's solution in his own idiosyncratic jargon) and Mele had already adopted in print. De Marco's second solution is a non-starter because it is constituted by a patently invalid argument. Contrary to De Marco's proposal, it's not true that the conjunction of possibilism and incompossibilism deductively entails the positive, diagnostic claim that deterministic causal factors beyond one's control preclude (destroy, undermine, is antagonistically relevant to) free will when determinism is true. *My thanks to the editors of Philosophia for publishing this reply when PhilStudies would not. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial (...) philosophic problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

:Recently, Allais, Hanna and others have argued that Kant is a nonconceptualist about intuition and that intuitions refer objectively, independently of the functions of the understanding. Kantian conceptualists have responded, which the nonconceptualists also cite as textual evidence for their reading) that this view conflicts with the central goal of Kant’s Transcendental Deduction: to argue that all intuitions are subject to the categories. I argue that the conceptualist reading of KrV, A 89 ff./B 122 ff. is unfounded. Further, I (...) argue that the nonconceptualists are wrong to believe that intuitions as such refer objectively and that they are mistaken about the relation between figurative synthesis and intellectual synthesis. (shrink)

Does Kant hold that we can have intuitions independently of concepts? A striking passage from § 13 of the Critique of Pure Reason appears to say so explicitly. However, it also conjures up a scenario where the categories are inapplicable to objects of intuition, a scenario presumably shown impossible by the following Transcendental Deduction. The seemingly non-conceptualist claim concerning intuition have therefore been read, by conceptualist interpreters of Kant, as similarly counterpossible. I argue that the passage in question best (...) supports an underappreciated middle position where intuition requires a pre-conceptual use of the understanding. Such pre-conceptual use of the understanding faces both textual and systematic objections. I show that these objections can be rebutted. (shrink)

This paper presents a uniform general account of regress problems in the form of a pentalemma—i.e., a set of five mutually inconsistent claims. Specific regress problems can be analyzed as instances of such a general schema, and this Regress Pentalemma Schema can be employed to generate deductively valid arguments from the truth of a subset of four claims to the falsity of the fifth. Thus, a uniform account of the nature of regress problems allows for an improved understanding of specific (...) regress objections or arguments, and, correspondingly, of the general logical geography of the debate about infinite regresses. This uniform approach is illustrated by a treatment of the classical epistemological problem of justification, but it encompasses a whole variety of cases including explanation and ontological grounding. Furthermore, this general account is compared and contrasted with the existing literature discussing argument schemata for regress objections, particularly with the work of Jan Willem Wieland. It is shown how such other schemata can be incorporated and superseded by the general Regress Pentalemma Schema. (shrink)

In this chapter I advance a moderately conceptualist interpretation of Kant’s account of the threefold synthesis in the A-Deduction. Often the first version of TD, the A-Deduction, is thought to be less conceptualist than the later B-version from 1787 (e.g. Heidegger 1991, 1995). Certainly, it seems that in the B-Deduction Kant puts more emphasis on the role of the understanding in determining the manifold of representations in intuition than he does in the A-Deduction. It also appears (...) that in the A-Deduction the seemingly pre-conceptual aspects of a priori synthesis, namely those of the synthesis of apprehension and the imagination, are more prominently featured than in the B-Deduction. And the fact that in the A-Deduction judgement does not appear to play any significant role reinforces the view that the A-Deduction is less strongly conceptualist. I believe that Kant is a conceptualist also in the A-Deduction (as much as in the B-Deduction) in the sense that all syntheses, which are expounded in the second section of the A-Deduction, must be seen as involving the categories or the understanding as the seat of the categories. However, despite some apparent strong modal claims regarding apperception in the A-Deduction, I argue that Kant is a moderate conceptualist in the sense that he allows for the real possibility that some representations are apprehended that are not subsumed or subsumable under the categories, or determined or determinable by the understanding as the seat of the categories. Not all representations must be synthesised and hence be conceptualised (by means of the categories), nor are all representations necessarily conceptualisable (by means of the categories). Often it is argued that the application of the categories must be seen as separate from or prior to conceptualisation (that is, employment of concepts in a judgement), so that the categories must be considered to apply to representations at least to the extent that the productive imagination or recognitive synthesis is involved, even if no empirical concepts are applied in an actual judgement. But it is difficult to see how categories can apply outside the context of an actual judgement in which ipso facto empirical concepts are employed, because, after all, categories are nothing but logical functions of judgement (e.g. B143). More in particular, I shall argue for the claims that (1) appearances to the contrary, all three levels of syntheses in the A-Deduction, including the synthesis of recognition, are interdependent and are not to be seen as operating singly or independently of each other, and hence of the categories; (2) ‘mere’ apprehension, or ‘mere’ intuition, is not dependent on the understanding and the application or possible application of the categories; and that (3) ‘mere’ apprehension does not even invoke a priori synthesis of apprehension and hence is as such fully lawless in terms of Kantian a priori laws. In this context, I also address Kant’s argument in the A-Deduction about the role of the imagination in the production of spatial objects and explain his apt use of the example of cinnabar to show that the kind of association that is at issue here concerns the possibility of knowledge, not the possibility of mere association, as is often assumed. (shrink)

Just as Quine and others have argued for a deflationism about the property of truth, Sinan Dogramaci has argued for a deflationism about rationality. Specifically, Dogramaci claims that we have no reason to think that the basic, deductive, epistemic rules we call “rational” have any sort of “unifying property.” A “unifying property” is a property that is necessary, sufficient, and explanatorily illuminating. My goal in this paper is to undermine Dogramaci’s argument for this radical position. I do this by first (...) outlining Dogramaci’s distinctive view on the function of our epistemically evaluative terms. This view, called epistemic communism, has it that the function of terms like “rational” is to support the coordination of our community on a single set of epistemic rules. I offer a reconstruction of Dogramaci’s argument from epistemic communism to deflationism about rationality. I next raise an objection to Dogramaci’s argument: different sets of epistemic rules do not equally support the coordinative function. Dogramaci has a response to this objection, but I argue that this response is less than satisfactory. I illustrate that this response is unsatisfactory by employing work by David Enoch and Joshua Schechter. After pushing my objection to Dogramaci’s argument, I develop, on Dogramaci’s behalf, an objection to my non-deflationary attempt to undermine his argument. In the final section of the paper, I reply to this objection offered on Dogramaci’s behalf and conclude that whether we are epistemic communists or not, we need not accept deflationism. (shrink)

I argue that Kant thought his Transcendental Deduction of the Pure Concepts could reach skeptical empiricists like Hume by providing an overlooked explanation of the mind's a priori relation to the objects of experience. And he thought empiricists may be motivated to listen to this explanation because of an instability and dissatisfaction inherent to empiricism.

How the mind works have always been one of the most important and fascinating puzzles. For a long time, countless scholars have devoted themselves to this research, but there has no decisive progress been made yet. We believe that the fundamental reason for this situation is that the research paradigm learned from the study of objective sciences such as physics is not applicable to the study of the mind. In this paper, we suggest that the proper way to study (...) the mind is to think of it as a computational system that can program itself. In this self-programming system, there are two key components: storage structure and bootstrap program. In this paper, we only focus on analyzing the principle of the storage structure. Although this paper does not give a full mechanism of the self-programming system, the mere study of the storage structure can generate some important findings. Specifically, by using the storage structure, the problem of induction can be solved; And the mechanism of deduction and causality can easily be explained. Some of our findings sharply contrast with the existing theories. For example, we argue that the validity of induction is attributed to the intention of self-programming systems, not because it can be justified as mainstream inductivists try to prove. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial (...) philosophic problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. -/- KEY WORDS: hypothesis, theorem, argumentation, proof, deduction, premise-conclusion argument, valid, inference, implication, epistemic, ontic, cogent, fallacious, paradox, formal, validation. (shrink)

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...) contextualism, and pluralism. Besides the new spirit there have been quiet developments in logic and its history and philosophy that could radically improve logic teaching. One rather conspicuous example is that the process of refining logical terminology has been productive. Future logic students will no longer be burdened by obscure terminology and they will be able to read, think, talk, and write about logic in a more careful and more rewarding manner. Closely related is increased use and study of variable-enhanced natural language as in “Every proposition x that implies some proposition y that is false also implies some proposition z that is true”. Another welcome development is the culmination of the slow demise of logicism. No longer is the teacher blocked from using examples from arithmetic and algebra fearing that the students had been indoctrinated into thinking that every mathematical truth was a tautology and that every mathematical falsehood was a contradiction. A fifth welcome development is the separation of laws of logic from so-called logical truths, i.e., tautologies. Now we can teach the logical independence of the laws of excluded middle and non-contradiction without fear that students had been indoctrinated into thinking that every logical law was a tautology and that every falsehood of logic was a contradiction. This separation permits the logic teacher to apply logic in the clarification of laws of logic. This lecture expands the above points, which apply equally well in first, second, and third courses, i.e. in “critical thinking”, “deductive logic”, and “symbolic logic”. (shrink)

Objective: In this essay, I will try to track some historical and modern stages of the discussion on the Gettier problem, and point out the interrelations of the questions that this problem raises for epistemologists, with sceptical arguments, and a so-called problem of relevance. Methods: historical analysis, induction, generalization, deduction, discourse, intuition results: Albeit the contextual theories of knowledge, the use of different definitions of knowledge, and the different ways of the uses of knowledge do not resolve all (...) the issues that the sceptic can put forward, but they can be productive in giving clarity to a concept of knowledge for us. On the other hand, our knowledge will always have an element of intuition and subjectivity, however not equating to epistemic luck and probability. Significance novelty: the approach to the context in general, not giving up being a Subject may give us a clarity about the sense of what it means to say – “I know”. (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.

The objective of this research programme is to contribute to the establishment of the emerging science of Formal Ontology in Information Systems via a collaborative project involving researchers from a range of disciplines including philosophy, logic, computer science, linguistics, and the medical sciences. The re­searchers will work together on the construction of a unified formal ontology, which means: a general framework for the construction of ontological theories in specific domains. The framework will be constructed using the axiomatic-deductive method of (...) modern formal ontology. It will be tested via a series of applications relating to on-going work in Leipzig on medical taxonomies and data dictionaries in the context of clinical trials. This will lead to the production of a domain-specific ontology which is designed to serve as a basis for applications in the medical field. (shrink)