Kant: Philosophy of Logic, Misc

This book is both a history of philosophy of logic told from the Kantian viewpoint and a reconstruction of Kant’s theory of logic from a historical perspective. Kant’s theory represents a turning point in a history of philosophical debates over the following questions. (1) Is logic a science, instrument, standard of assessment, or mixture of these? (2) If logic is a science, what is the subject matter that differentiates it from other sciences, particularly metaphysics? (3) If logic is a necessary (...) instrument to all philosophical inquiries, how is it so entitled? (4) If logic is both a science and an instrument, how are these two roles related? Kant’s official answer to these questions centers on three distinctions: general versus particular logic; pure versus applied logic; pure general logic versus transcendental logic. The true meaning and significance of each distinction becomes clear, I argue, only if we consider two factors. First, Kant was mindful of various historical views on how logic relates to other branches of philosophy (viz. metaphysics and physics) and to the workings of common human understanding. Second, he first coined ‘transcendental logic’ while struggling to secure metaphysics as a proper “science,” and this conceptual innovation would in turn have profound implications for his mature theory of logic. Against this backdrop, I reassess the place of Kant’s theory in the history of philosophy of logic and highlight certain issues that are still debated today, such as normativity of logic and the challenges posed by logical pluralism. In Chapter 1, “Kant and a Philosophical History of Logic – Methodological Reflections,” I discuss certain exegetical challenges posed by Kant’s logic corpus and argue for a “history of philosophical problems” method by which to reconstruct a Kantian theory of logic. In Chapter 2, “The Nature and Place of Logic – A History of Controversies,” I construct a partial history of philosophy of logic that revolves around the (supposedly) scientific status of logic on the one hand and its value or utility on the other. In Chapter 3, “The Making of a Scientific Logic from Bacon to Wolff,” I examine how four representative early modern philosophers – Francis Bacon, John Locke, G.W. Leibniz, and Christian Wolff – approached the four questions mentioned above. In Chapter 4, “Kant on the Way to His Own Philosophy of Logic,” I consider how Kant, in the decade between around mid-1760s and mid-1770s, navigated between existing accounts of logic until he finally found his own voice. I highlight the breakthroughs that would mark his critical departures from previous views and pave the way for the final articulation of his own view. In Chapter 5, “Logic and the Demands of Kantian ‘Science’,” I zero in on Kant’s official theory of logic in his monumental publication, Critique of Pure Reason. I foreground both what makes the theory original and what leaves it vulnerable to criticisms from post-Kantian thinkers. (shrink)

There can be no doubt that Kant thought we should be reflective: we ought to care to make up our own minds about how things are and what is worth doing. Philosophical objections to the Kantian reflective ideal have centred on concerns about the excessive control that the reflective person is supposed to exert over her own mental life, and Kantians who feel the force of these objections have recently drawn attention to Kant’s conception of moral virtue as it is (...) developed in his later work, chiefly the Metaphysics of Morals. Melissa Merritt’s book is a distinctive contribution to this recent turn to virtue in Kant scholarship. Merritt argues that we need a clearer, and textually more comprehensive, account of what reflection is, in order not only to understand Kant’s account of virtue, but also to appreciate how it effectively rebuts long-standing objections to the Kantian reflective ideal. (shrink)

There are two ways interpreters have tended to understand the nature of the laws of Kant’s pure general logic. On the first, these laws are unconditional norms for how we ought to think, and will govern anything that counts as thinking. On the second, these laws are formal criteria for being a thought, and violating them makes a putative thought not a thought. These traditions are in tension, in so far as the first depends on the possibility of thoughts that (...) violate these laws, and the second makes violation impossible. In this essay I develop an interpretation of Kant’s pure general logic that overcomes this tension. It accounts for the possibility of logical mistakes, as the first tradition does, while still establishing the absolute impossibility of logical aliens, as the second tradition does. I then argue that the formalist insight that illogical exercises of the understanding are not alternative ways coherent thoughts could have been, but are mere confusions, is fundamental for achieving a proper understanding of the absolute normativity of the laws of pure general logic. (shrink)

Kant assents to Leibniz’s claim that purely positive concepts cannot contradict each other. Albeit counter-intuitive, this claim is well-grounded in Kant’s views on contradiction and conceptual content. First, according to Kant, a contradiction only occurs if a predicate is affirmed and negated; second, all concepts except of those that pertain to God covertly contain negative marks. Although I shall argue that Kant’s account fails, it is still interesting in that it tackles an overlooked problem, namely how implicit contradictions are possible.

George Boole emerged from the British tradition of the “New Analytic”, known for the view that the laws of logic are laws of thought. Logicians in the New Analytic tradition were influenced by the work of Immanuel Kant, and by the German logicians Wilhelm Traugott Krug and Wilhelm Esser, among others. In his 1854 work An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Boole argues that the laws of thought acquire (...) normative force when constrained to mathematical reasoning. Boole’s motivation is, first, to address issues in the foundations of mathematics, including the relationship between arithmetic and algebra, and the study and application of differential equations (Durand-Richard, van Evra, Panteki). Second, Boole intended to derive the laws of logic from the laws of the operation of the human mind, and to show that these laws were valid of algebra and of logic both, when applied to a restricted domain. Boole’s thorough and flexible work in these areas influenced the development of model theory (see Hodges, forthcoming), and has much in common with contemporary inferentialist approaches to logic (found in, e.g., Peregrin and Resnik). (shrink)

The expression “linguistic Kantianism” is widely used to refer to ideas about thought and cognition being determined by language — a conception characteristic of 20th century analytic philosophy. In this article, I conduct a comparative analysis of Kant’s philosophy and views falling under the umbrella expression “linguistic Kantianism.” First, I show that “linguistic Kantianism” usually presupposes a relativistic conception that is alien to Kant’s philosophy. Second, I analyse Kant’s treatment of linguistic determinism and the place of his ideas in the (...) 18th century intellectual milieu and provide an overview of relevant contemporary literature. Third, I show that authentic Kantianism and “linguistic Kantianism” belong to two different types of transcendentalism, to which I respectively refer as the “transcendentalism of the subject” and the “transcendentalism of the medium.” The transcendentalism of the subject assigns a central role to the faculties of the cognising subject. The transcendentalism of the medium assigns the role of an “active” element neither to the external world nor to the faculties of the cognising subject, but to something in between — language, in the case of “linguistic Kantianism.” I conclude that the expression “linguistic Kantianism” can be misleading when it comes to the origins of this theory. It would be more appropriate to refer to this theory by the expression “linguistic transcendentalism,” thus avoiding an incorrect reference to Kant. (shrink)

In this paper, I shed light on Kant’s notion of Erkenntnis or cognition by focusing on texts pertaining to Kant’s thoughts on logic. Although a passage from Kant’s Logik is widely referred to for understanding Kant’s conception of Erkenntnis, this work was not penned by Kant himself but rather compiled by Benjamin Jäsche. So, it is imperative to determine its fidelity to Kant’s thought. I compare the passage with other sources, including Reflexionen and students’ lecture notes. I argue that several (...) of the text’s peculiarities stem from Jäsche rather than Kant, but that nevertheless Jäsche largely got Kant's view right, with two major exceptions. First, Jäsche’s text fails to reproduce Kant’s key thesis that kennen and verstehen are jointly sufficient for Erkenntnis. Second, Jäsche’s text gives the false impression that Kant holds that animals have consciousness. (shrink)

According to received wisdom, Kant takes the laws of logic to be normative laws of thought. This has been challenged by Tolley (2006). In this paper, I defend the received wisdom, but with an important modification: Kant's logical laws are constitutive norms for thought. The laws of logic do tell us what thinking is, not because all thoughts are in conformity with logical laws, but because all thoughts are, by nature, subject to the standard of logic.

The aim of Kant’s Sources in Translation is to retrieve the rich intellectual world that influenced Kant’s philosophical development. In its first stage, the series makes available the most important textbooks Kant used throughout his long teaching career. Many of these textbooks are in Latin or in German and remain inaccessible to Anglophone readers. Lacking this material, however, it is difficult to appreciate Kant’s originality and process of philosophical maturation, for readers are unable to understand what prompted Kant to introduce (...) a distinction, offer a qualification, attack a position, or develop a new thesis. This background is essential to understand the genesis of Kant’s thought. -/- This volume provides a translation of Georg Friedrich Meier’s Auszugaus der Vernunftlehre, the textbook that serves not only as the basis for Kant’s lectures on logic and related Reflexionen but is also crucial for studying the so-called Jäsche Logic of 1800, which is redacted from the marginal and interleave notes found in Kant’s personal copy of Meier’s book. Given the recent growth in scholarship on Kant’s logic, normative epistemology, and the psychology of belief, this volume makes a major contribution to contemporary debates in the field. (shrink)

In this chapter, I discuss some problems of Kant’s logic corpus while recognizing its richness and potential value. I propose and explain a methodic way to approach it. I then test the proposal by showing how we may use various mate- rials from the corpus to construct a Kantian demonstration of the formal rules of thinking (or judging) that lie at the base of Kant’s Metaphysical Deduction. The same proposal can be iterated with respect to other topics. The said demonstration (...) will have cleared the path for such iterations. (shrink)

For Kant, ‘reflection’ is a technical term with a range of senses. I focus here on the senses of reflection that come to light in Kant's account of logic, and then bring the results to bear on the distinction between ‘logical’ and ‘transcendental’ reflection that surfaces in the Amphiboly chapter of the Critique of Pure Reason. Although recent commentary has followed similar cues, I suggest that it labours under a blind spot, as it neglects Kant's distinction between ‘pure’ and ‘applied’ (...) general logic. The foundational text of existing interpretations is a passage in Logik Jäsche that appears to attribute to Kant the view that reflection is a mental operation involved in the generation of concepts from non-conceptual materials. I argue against the received view by attending to Kant's division between ‘pure’ and ‘applied’ general logic, identifying senses of reflection proper to each, and showing that none accords well with the received view. Finally, to take account of Kant's notio.. (shrink)

At A71/B96–7 Kant explains that singular judgements are ‘special’ because they stand to the general ones as Einheit to Unendlichkeit. The reference to Einheit brings to mind the category of unity and hence raises a spectre of circularity in Kant’s explanation. I aim to remove this spectre by interpreting the Einheit-Unendlichkeit contrast in light of the logical distinctions among universal, particular and singular judgments shared by Kant and his logician predecessors. This interpretation has a further implication for resolving a controversy (...) over the correlation between the logical moments of quantity (universal, particular, singular) and the categorial ones (unity, plurality, totality). (shrink)

Kant identifies knowledge [Wissen], belief [Glaube], and opinion [Meinung] as our three primary modes of “holding-to-be-true” [Fürwahrhalten]. He also identifies opinion as making up the greatest part of our cognition. After a preliminary sketch of Kant’s system of propositional attitudes, this paper will explore what he says about the norms governing opinion and empirical hypotheses. The final section will turn to what, in the Critique of Pure Reason and elsewhere, Kant refers to as “General Applied Logic”. It concerns the “contingent (...) conditions of the subject, which can hinder or promote” good inquiry; and, though rarely mentioned in the secondary literature, it offers Kant’s methodological alternative to the traditional epistemological goal of finding “a sufficient and at the same time general criterion of truth”. (shrink)

In §12 of his 1837 magnum opus, the Wissenschaftslehre, Bolzano remarks that “In the new logic textbooks one reads almost constantly that ‘in logic one must consider not the material of thought but the mere form of thought, for which reason logic deserves the title of a purely formal science’” (WL §12, 46).1 The sentence Bolzano quotes is his own summary of others’ philosophical views; he goes on to cite Jakob, Hoffbauer, Metz, and Krug as examples of thinkers who held (...) that logic abstracts from the matter of thought and considers only its form. Although Bolzano does not mention Kant by name here, Kant does of course hold that “pure general logic”, what Bolzano would consider logic in the traditional sense (the theory of propositions, representations, inferences, etc.), is formal. As Kant remarks in the Introduction to the 2nd edition of Kritik der reinen Vernunft , (pure general) logic is “justified in abstracting – is indeed obliged to abstract – from all objects of cognition and all of their differences; and in logic, therefore, the understanding has to do with nothing further than itself and its own form” (KrV, Bix).2. (shrink)

There has been a groundswell of interest in the account of modality that Kant sets forth in his pre-Critical Only Possible Argument. Andrew Chignell's reconstruction of Kant's theistic argument in terms of what he calls has a prima facie advantage in that it appears to be able to block the plurality objection (namely, that even if every modal fact presupposes some ground, this does not entail that all modal facts share the same ground). I argue that it is both textually (...) and philosophically problematic to interpret Kant's argument in terms of real harmony. Then, I set forth an alternative response to the plurality objection which does not require the adoption of the problematic notion of real harmony. Instead, I argue that the objection can be overcome by observing that the argument seeks to ground modal facts as a totality and that, according to Kant, such relations can be accounted for only by their schematization in a single intellect. (shrink)

I defend the thesis that Kantian analytic judgments are about objects (as opposed to concepts) against two challenges raised by recent scholars. First, can it accommodate cases like “A two-sided polygon is two-sided”, where no object really falls under the subject-concept as Kant sees it? Second, is it compatible with Kant’s view that analytic judgments make no claims about objects in the world and that we can know them to be true without going beyond the given concepts? I address these (...) challenges in two steps. First, given Kant’s distinction between an object in general = x from an object of sensible intuition, I argue that analytic judgments are about objects in the former sense, no matter whether the purported objects can be given in our intuition. Second, using Kant’s method of representing certain logical relations of concepts with such figures as circles, I construct a model to show that analytic truths are truths about objects in general = x and yet can be determined solely by the intensional relation between the given concepts plus certain Kantian-logical laws. Analytic truths are thus shown as formal in the Kantian sense that they do not presuppose the purported objects as givable in our intuition. This account of the formality of analytic truths captures Kant’s diagnosis of the Leibnizian illusion that we can make material claims about the world by analytically true judgments. (shrink)

This paper advances an assessment of Kant’s Critique of Pure Reason made from a bird’s eye view. Seen from this perspective, the task of Kant’s work was to ground the spontaneity of human reason, preserving at the same time the strict methods of science and mathematics. Kant accomplished this objective by reviving an old philosophical discipline: the peirastic dialectic of Plato and Aristotle. What is more, he managed to combine it with logic. From this blend, Kant’s transcendental idealism appeared as (...) a new logic that paralleled Aristotle’s syllogistic logic. The first result of this move was that philosophy became a formal study that treats even such subjects as ethics with rigour. Another outcome was that it established philosophy as a professional – school – discipline. In the twentieth century academy, this development was echoed by the emergence of analytic philosophy, in which Kant’s new logic evolved into a philosophical logic. (shrink)

It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual notion of logical (...) extension according to which the extension of a concept is the multitude of objects falling under it. I begin by defending this ascription in response to three reasons that are commonly invoked against it. First, I explain that this ascription is compatible with Kant’s philosophical reflections on the nature and boundary of a formal logic. Second, I show that the objectual notion of extension I ascribe to Kant can be traced back to many of the early modern works of logic with which he was more or less familiar. Third, I argue that such a notion of extension makes perfect sense of a pivotal principle in Kant’s logic, namely the principle that the quantity of a concept’s extension is inversely proportional to that of its intension. In the process, I tease out two important features of the Kantian objectual notion of logical extension in terms of which it markedly differs from the modern one. First, on the modern notion the extension of a concept is the sum of the objects actually falling under it; on the Kantian notion, by contrast, the extension of a concept consists of the multitude of possible objects—not in the metaphysical sense of possibility, though—to which a concept applies in virtue of being a general representation. While the quantity of the former extension is finite, that of the latter is infinite—as is reflected in Kant’s use of a plane-geometrical figure (e.g., circle, square), which is continuum as opposed to discretum, to represent the extension in question. Second, on the modern notion of extension, a concept that signifies exactly one object has a one-member extension; on the Kantian notion, however, such a concept has no extension at all—for a concept is taken to have extension only if it signifies a multitude of things. This feature of logical extension is manifested in Kant’s claim that a singular concept (or a concept in its singular use) can, for lack of extension, be figuratively represented only by a point—as opposed to an extended figure like circle, which is reserved for a general concept (or a concept in its general use). Precisely on account of these two features, the Kantian objectual extension proves vital to Kant’s theory of logical quantification (in universal, particular and singular judgments, respectively) and to his view regarding the formal truth of analytic judgments. (shrink)

Drawing on the original conception of Kant’s synthetic a priori and the relevant related developments in philosophy, this book presents a reconstruction of the intellectual history of the conception of quantity and offers an entirely ...

Both Kant's architectonic and the Yijing can be structured as four perspectival levels: 0 + 4 + 12 + = 64. The first, unknowable level is unrepresentable. The geometry of logic provides well‐structured maps for levels two to four. Level two consists of four basic gua , corresponding to Kant's category‐headings . Level three's twelve gua, derived logically from the initial four, correspond to Kant's twelve categories. Level four correlates the remaining 48 gua to Kant's theory of the four university (...) faculties , and to four categorially organized domains comprising his philosophical system. (shrink)

In this paper I discuss Kant's and Bolzano's differing perspectives on ordinary natural language. I argue that Kant does not see ordinary language as providing semantically organized content and that, as a result, Kant does not believe that ordinary language is sufficiently well-developed to support philosophical analysis and definition. By contrast, for Bolzano, the content given in ordinary language are richly structured entities he calls 'propositions in themselves'. This contrast in views is used to explain Bolzano's criticism of Kant's belief (...) that definition is impossible for philosophical concepts. It is also used to explain Bolzano's criticism of Kant's methods of exposition of philosophical concepts. (shrink)

Here I revisit Bolzano's criticisms of Kant on the nature of logic. I argue that while Bolzano is correct in taking Kant to conceive of the traditional logic as a science of the activity of thinking rather than the content of thought, he is wrong to charge Kant with a failure to identify and examine this content itself within logic as such. This neglects Kant's own insistence that traditional logic does not exhaust logic as such, since it must be supplemented (...) by a transcendental logic that will in fact study nothing other than thought's content. Once this feature of Kant's views is brought to light, a much deeper accord emerges between the two thinkers than has hitherto been appreciated, on both the nature of the content that is at issue in logic and the sense of logic's generality and formality. (shrink)

Throughout his career, Bolzano presents his account of knowledge and science as an alternative to 'the Critical philosophy' of Kant and his followers. The aim of this essay is to evaluate the success of Bolzano's own account—and especially, its heavy emphasis on the objectivity of cognitive content—in enabling him to escape what he takes to be the chief shortcomings of the 'subjective idealist philosophy'. I argue that, because Bolzano's own position can be seen to be beset by problems that are (...) both recognizably similar to, and possibly even worse than, those that he takes to afflict Kant's account of the elements of our knowledge, Bolzano's attempt to fully overcome the alleged vices of Kant's idealism by 'extruding' semantic content from the mind must be judged to be less than satisfactory. (shrink)

Many scholars claimed that, according to Immanuel Kant, some judgements lack a truth-value: analytic judgements, judgements about items of which humans cannot have experience, judgements of perception, and non-assertoric judgements. However, no one has undertaken an extensive examination of the textual evidence for those claims. Based on an analysis of Kant's texts, I argue that: (1) according to Kant, only judgements of perception are not truth-apt. All other judgements are truth-apt, including analytic judgements and judgements about items of which humans (...) cannot have experience. (2) Kant sometimes states that truth-apt judgements are actual bearers of truth or falsity only when they are taken to state what is actually the case. Kant calls these judgements assertoric. Other texts ascribe truth and falsity to judgements, regardless of whether they are assertoric. Kant's views on truth-aptness raise challenges for correspondentist and coherentist interpretations of Kant's theory of truth; they rule out the identification of Kant's crucial notion of objective validity with truth-aptness; and they imply that Kant was not a verificationist about truth or meaning. (shrink)

Since the 1970s, debates about Hegel’s Science of Logic have largely turned around the metaphysical or non-metaphysical nature of this work. This debate has certainly issued many important contributions to Hegel scholarship. Yet it presupposes, in my view, a set of oppositions that thwart an adequate assessment of Hegel’s indebtedness to Kant. I hope to show in this paper that Hegel is deeply indebted to Kant, but not to the Kant who is commonly brought into play to argue for the (...) non-metaphysical nature of the Science of Logic. If Kant ’s own Critique of Pure Reason defies oppositions such as that between epistemology and metaphysics, then they cannot be employed to determine the extent to which Hegel’s Logic moves beyond Kant. By focusing instead on the system of pure reason that Kant intended to elaborate, I hope to bring out the ontological thrust of both Kant’s transcendental philosophy and Hegel’s Science of Logic. My paper thus intends to highlight the deep continuity between Kant’s transcendental philosophy and Hegel’s Logic, yet without reducing the latter to the kind of epistemology commonly attributed to Kant. (shrink)

Abstract In this Paper I interpret Charles S. Peirce?s method of prescision as a transcendental method. In order to do so, I argue that Peirce?s pragmatism can be interpreted in a transcendental light only if we use a non?justificatory understanding of transcendental philosophy. I show how Peirce?s prescision is similar to some abstracting procedure that Immanuel Kant used in his Critique of Pure Reason. Prescision abstracts from experience and thought in general those elements without which such experience and thought would (...) be unaccountable. Similarly, in the Aesthetics, Kant isolated the a priori forms of intuition by showing how they could be abstracted from experience in general, while experience in general cannot be thought without them. However, if Peirce?s and Kant?s methods are similar in this respect, they reached very different conclusions. (shrink)

There are at least five ‘core’ notions of community found in Kant's works: 1. The scientific notion of interaction. This concept is introduced in the Third Analogy and developed in the Metaphysical Foundations of Natural Science. 2. A metaphysical idea. The idea of a world of individuals (monads) in interaction. This idea was developed in Kant’s precritical period and can be found in his metaphysics lectures. 3. A moral ideal. The idea of a realm of ends. 4. A political ideal. (...) The idea of a juridical community (or community of communities) governed by juridical laws. 5. A theological ideal. What Kant calls ‘the kingdom of heaven’, and which can be thought of as a community of holy beings, or angels. In this paper I focus on the relationship between the first, second and fourth of these notions. My argument is that Kant’s notion of a juridical community governed by juridical laws is modelled on the metaphysical idea of the world. This metaphysical idea of a world is, in turn, modelled on the category of community introduced in the first Critique and developed in his logic lectures. (shrink)

It is commonly accepted by Kant scholars that Kant held that all necessary truths are a priori, and all a priori knowledge is knowledge of necessary truths. Against the prevailing interpretation, I argue that Kant was agnostic as to whether necessity and a priority are co-extensive. I focus on three kinds of modality Kant implicitly distinguishes: formal possibility and necessity, empirical possibility and necessity, and noumenal possibility and necessity. Formal possibility is compatibility with the forms of experience; empirical possibility is (...) compatibility with the causal powers of empirical objects; noumenal possibility is compatibility with the causal powers of things in themselves. Because we cannot know the causal powers of things in themselves, we cannot know what is noumenally necessary and what is noumenally contingent. Consequently, we cannot know whether noumenal necessity is co-extensive with a priority. Therefore, for all we know, some a priori propositions are noumenally contingent, and some a posteriori propositions are noumenally necessary. Thus, contrary to the received interpretation, Kant distinguishes epistemological from metaphysical modality. (shrink)

This chapter begins with a discussion of humanist criticisms of scholastic logic. It then discusses the evolution of the scholastic tradition and the influence of Renaissance Aristotelianism, Descartes and his influence, the Port-Royal Logic, the emergence of a logic of cognitive faculties, logic and mathematics in the late 17th century, Gottfried Wilhelm Leibniz's role in the history of formal logic, and Kant's influence on logic.

Martin offers an intriguing account of nineteenth century challenges to the traditional theory of judgment as a synthesis of subject and predicate (the synthesis theory)--criticisms motivated largely by the problem posed by existential judgments, which need not have two terms at all. Such judgments led to a theory of "thetic" judgments, whose essential feature is to "posit" something, rather than to combine terms (as in synthetic judgment). I argue, however, that Kant's official definition of judgment already implicitly recognizes the importance (...) of positing, and that its (otherwise confusing) abstract generality actually affords Kant's own logic an adequate way to accommodate existential judgments within the traditional synthesis theory. Preservation of a synthetic account of judgment is also found to be independently important for Kant's larger aims in the theory of cognition. (shrink)

On the ground of Kant’s reformulation of the principle of con- tradiction, a non-classical logic KC and its extension KC+ are constructed. In KC and KC+, \neg(\phi \wedge \neg\phi),  \phi \rightarrow (\neg\phi \rightarrow \phi), and  \phi \vee \neg\phi are not valid due to specific changes in the meaning of connectives and quantifiers, although there is the explosion of derivable consequences from {\phi, ¬\phi} (the deduc- tion theorem lacking). KC and KC+ are interpreted as fragments of an S5-based first-order (...) modal logic M. The quantification in M is combined with a “subject abstraction” device, which excepts predicate letters from the scope of modal operators. Derivability is defined by an appropriate labelled tableau system rules. Informally, KC is mainly ontologically motivated (in contrast, for example, to Jaśkowski’s discussive logic), relativizing state of affairs with respect to conditions such as time. (shrink)

In the Critique of Pure Reason, Kant uses the term “logic” in a bewildering variety of ways, at times making it close to impossible to determine whether he is referring to (among others) general logic, transcendental logic, transcendental analytic, a "special" logic relative to a specific science, a "natural" logic, a logic intended for the "learned" (Gelehrter), some hybrid of these logics, or even some still-more abstract notion that ranges over all of these uses. This paper seeks to come to (...) grips with Kant's complex use of "logic." Kant is standardly regarded as saying that since Aristotle, there need be no more concern about logic as a discipline or a field of study, and that Aristotle (with some minor embellishments, in terms of presentation) is the last word in logic. I argue here that, in spite of Hegel, Peirce, Strawson, and others, one must take into consideration Kant’s sophisticated critique of Aristotle’s logic in order to see Kant’s own conception of logic in contrast to that of Aristotle’s. In this way, Kant's strategy in the First Critique—grounded as it is in logic—becomes more plausible, defensible, and, consequently, more attractive. (shrink)

This 2007 book examines the possibilities for the rehabilitation of Hegelian thought within analytic philosophy. From its inception, the analytic tradition has in general accepted Bertrand Russell's hostile dismissal of the idealists, based on the claim that their metaphysical views were irretrievably corrupted by the faulty logic that informed them. These assumptions are challenged by the work of such analytic philosophers as John McDowell and Robert Brandom, who, while contributing to core areas of the analytic movement, nevertheless have found in (...) Hegel sophisticated ideas that are able to address problems which still haunt the analytic tradition after a hundred years. Paul Redding traces the consequences of the displacement of the logic presupposed by Kant and Hegel by modern post-Fregean logic, and examines the developments within twentieth-century analytic philosophy which have made possible an analytic re-engagement with a previously dismissed philosophical tradition. (shrink)

The book is an analysis of Kant’s uses and definitions of the three concepts ‘transcendental philosophy’, ‘ontology’ and ‘logic’. It first focuses on Kant’s definitions of ‘transcendental’ in the Critique of Pure Reason, where the term is used for the very first time with a programmatic meaning, as the qualification of Kant’s specific philosophical standpoint. Secondly, it reconstructs Kant’s position towards metaphysics and ontology in his pre-critical and critical writings, as well as its premises in the Leibnizian and Wolffian metaphysics. (...) It last examines the meaning of the concept of logic in Kant's philosophy. All this shows that a new conception of metaphysics emerges from Kant’s critique and within the critical period. (shrink)

Immanuel Kant is often regarded as an exponent of the ‘individualist’ tradition in epistemology, according to which testimony is not a fundamental source of knowledge. The present paper argues that this view is far from accurate. Kant devotes ample space to discussions of testimony and, in his lectures on logic, arrives at a distinct and stable philosophical position regarding testimony. Important elements of this position consist in (a) acknowledging the ineliminability of testimony; (b) realizing that testimony can establish empirical knowledge (...) with certainty; (c) establishing a presumptive principle regarding the acceptance of testimony; (d) arguing for a symmetry between knowledge based on experience and knowledge based on testimony. Rejecting testimony as a fundamental source of knowledge merely on the basis that no theoretically necessary ground for its truth can be given, would, as Kant puts it, indicate ‘a lack of moral interest’. Such ‘incredulity’ would be a form of ‘logical egoism’: it demonstrates an unwillingness or inability to think oneself in the place of others, yet this we must do if we are to trust our own judgements. While Kant strongly endorses testimony as a source of empirical knowledge, he does, however, make one important restriction: ‘Propositions of reason’ (Vernunftwahrheiten), such as universal moral principles, may not be adopted on the basis of testimony. I argue that this distinction, between testimonial knowledge of empirical matters of fact and individual knowledge of propositions of reason, is an important element of Kant’s epistemology of testimony, as it explains how his strong endorsement of testimony as a source of knowledge can be squared with his equally strong demand for intellectual autonomy. Finally, I comment on the overall implications of this account for Kant’s discussion, elsewhere in his work, of the public nature of communication. (shrink)

resumo A terceira Crítica configura um papel inédito para a reflexão: a conformação da natureza em gêneros e espécies aparece como pressuposto de uma forma de pensar que é vaga na medida em que empresta sentido a modos particulares de finalidade. No entanto, como esse sentido vai ser pensado depende de uma leitura da lógica formal, quer porque fica subordinada a uma gramática universal, no caso de Husserl, quer porque se dissolve ela mesma numa linguagem, como em Wittgenstein. palavras-chaves sentido (...) - lógica formal - jogo de linguagem. (shrink)

: The object of G. F. Meier's Vernunftlehre and its abridgement for courses, the Auszug aus der Vernunftlehre, does not consist exclusively in the elaboration of the formal aspects of logic, but rather in the individuation of the elements of thought and language, which make human understanding possible. Instead of limiting himself to formal truth, Meier investigates the realms of epistemic, aesthetic, and historic truths, of horizons, and prejudices. Kant used both Meier's Vernunftlehre and its Auszug for about forty years (...) in his logic-lectures. Kant's Logik, and also his Kritik der reinen Vernunft, were thus strongly influenced by Meier. (shrink)

O presente artigo brota da constatação de que, desde os sens inícios, com Frege, Russell e Wittgenstein, a filosofia analítica partiu do pressuposto de que Kant era o seu principal inimigo de entre os grandes autores da história da filosofia. Uma vez eliminados o papel fundamental da ideia de um sujeito de conhecimento e o psicologismo que daí se seguia, e reposto no seu devido lugar, quer dizer, depurado de implicações epistemológicas espúrias, o estatuto da lógica como empreendimento radical de (...) fundação da matemática e da ciência de modo geral, Kant foi declarado oficialmente morto. O desenvolvimento da lógica, contudo, cedo mostrou que os problemas fundamentals da filosofia analítica, contra todas as expectativas, continuavam, no essencial, a ser justamente aqueles que tinham ocupado o filósofo de Königsberg na 'Crítica da Razão Pura', sem que se vislumbrasse qualquer solução definitiva ou satisfatória a seu respeito. Assim, na sequência da mais recente historiografia e do seu próprio trabalho sobre o assunto, o autor do presente artigo desenvolve o tratamento da questão no que se refere ao Círculo de Viena, mostrando explicitamente as motivações anti-kantianas desse movimento bem como as origens das mesmas nos primórdios da filosofia analítica. Destacam-se os compromissos e cumplicidade de ambas, jamais confessados ou admitidos pelos respectivos autores, com o kantismo. /// The present article claims that right from its foundations, with Frege, Russell and Wittgenstein, analytical philosophy set out from the presupposition that Kant was its principal enemy throughout the history of philosophy. Once eliminated the fundamental role of the idea of a subject of knowledge and the psychologism that followed from it, and returned to its proper place, that is, stripped of illegitimate epistemological implications, the function of logic as a radical enterprise on the foundations of mathematics and of science in general, Kant was declared officially dead. The development of logic, even so, showed early on that the fundamental problems of analytical philosophy, against all expectations, continued, essentially, to be exactly those that occupied the philosopher from Kbnigsberg in the 'Critic of Pure Reason', without any definitive or satisfying solution in sight. Hence, the author of the present article, following the most recent historiography and his own work on the subject, develops this perspective in regard to the Vienna Circle, showing that the anti-kantian motivations of this movement and its origins in the beginnings of analytical philosophy do not preclude compromises and complicities of both with Kantism, a fact that, according to the author of the article, was never confessed or admitted by the thinkers here in question. (shrink)

OVER THE PAST FEW DECADES many attempts have been made to defend Hegel’s philosophy against those who denounce it as crypto-theological, dogmatic metaphysics. This was done first of all by foregrounding Hegel’s indebtedness to Kant, that is, by interpreting speculative science as a radicalization of Kant’s critical project. This emphasis on Hegel’s Kantian roots has resulted in a shift from the Phenomenology of Spirit to the Science of Logic. Robert Pippin’s Hegel’s Idealism: The Satisfactions of Self-Consciousness can be considered as (...) having made one of the most influential contributions to this shift. Pippin’s “nonmetaphysical” interpretation of Hegel rightly contends that the Science of Logic does not pertain to a reality existing independently of thought, but to “thought’s attempt to determine a priori what can be a possible thought of anything at all.” For Pippin this entails that Hegel should be regarded as appropriating “Kant’s claim about the ‘self-conscious,’ ultimately the ‘spontaneously’ self-conscious, character of all possible experience.” I agree with Pippin that one cannot understand Hegel unless “one understands the Hegelian investment, the original engagement with Kant’s critical philosophy.” I would hold, however, that Pippin’s interpretation of this engagement threatens to lose sight of the proper achievement of Hegel’s philosophy. By arguing that the unity of self-consciousness constitutes the “original source of Hegel’s hermetic claim about thought’s self-determination,” Pippin to my mind ignores, first, that Hegel takes the Kantian notion of self-consciousness to be nothing more than the concrete manifestation of the pure concept and, second, that Kant’s transcendental philosophy, though radically critical of the dogmatic metaphysics of his day, does all but abandon the possibility of a critical ontology. Defending Hegel against his antimetaphysical critics, Pippin is right in taking Hegel into the Kantian camp, but he does this by sacrificing the question as to the possibility of ontology, a question I believe to be pivotal for both Kant and Hegel. (shrink)