This paper attempts to shed light on three sets of issues that bear directly on our understanding of Locke and Kant. The first is whether Kant believes Locke merely anticipates his distinction between analytic and synthetic judgments or also believes Locke anticipates his notion of synthetic a priori cognition. The second is what should we as readers of Kant and Locke should think about Kant’s view whatever it turns out to be, and the third is the nature (...) of Kant’s justification for the comparison he draws between his philosophy and Locke’s. I argue (1) that Kant believes Locke anticipates both the analytic-synthetic distinction and Kant’s notion of synthetic a priori cognition, (2) that the best justification for Kant’s claim draws on Locke’s distinction between trifling and instructive knowledge, (3) that the arguments against this claim developed by Carson, Allison, and Newman fail to undermine it, and (4) that Kant’s own justification for his claim is quite different from what many commentators have thought it was (or should have been). (shrink)

The purpose of this paper is to analyze the theoretical commitments of autopoietic enactivism in relation to Errol E Harris’s dialectical holism in the interest of establishing a common metaphysical ground. This will be undertaken in three stages. First, it is argued that Harris’s reasoning provides a means of developing enactivist ontology beyond discussions limited to cognitive science and into domains of metaphysics that have traditionally been avoided by phenomenologists. Here, I maintain enactivist commitments are consistent with Harris’s reasoning from (...) certain synthetic a priori first principles, to his derivation of a teleological anthropic principle, which asserts the necessity of consciousness within the cosmos. Second, it is proposed that Steven Rosen’s long-standing proposal for a topology of phenomenology may provide a common logical foundation for both Harris and enactivists regarding anthropic reasoning. Third, it is argued that a pragmatic approach to process ontology is the most rigorous way of responding to the realism/anti-realism concerns that inevitably follow. If successful, this work will update Harris’s arguments with contemporary scientific and philosophical terminology and extend enactivism from philosophy of mind, into a general phenomenological ontology. (shrink)

Kant's philosophy promises to explain various synthetic a priori claims. Yet, as several of his commentators have noted, it is hard to see how these explanations could work unless they themselves rested on unexplained synthetic a priori claims. Since Kant appears to demand explanations for all synthetic a priori claims, it would seem that his project fails on its own terms. I argue, however, that Kant holds that explanations are required only for synthetic (...) a priori claims about (purportedly) experience-independent entities, and that his project rests on a rationalist method of reflection that justifies certain basic synthetic a priori claims. (shrink)

The problem of synthetic judgements touches on the question of whether philosophy can draw independent statements about reality in the first place. For Kant, the synthetic judgements a priori formulate the conditions of the possibility for objectively valid knowledge. Despite the principle fallibility of its statements, modern science aims for objective knowledge. This gives the topic of synthetic a priori unbroken currency. This paper aims to show that a modernized version of transcendental philosophy, if it (...) is to be feasible at all, must “bid farewell” to the concept of being “free of empiricism” or the “purity” of the a priori. Approaches to this end can already been found in Kant’s reflections on non-pure synthetic knowledge. Moreover, the a priori validity of knowledge does not exclude the possibility that it can be discovered empirically. In keeping with Kant, Fries and Nelson anticipated this separation (usually first attributed to Reichenbach) between the validity and discovery context of knowledge and pointed out that the a priori could be discovered empirically, but never proven. There are currently still good reasons why transcendental philosophical concepts are of fundamental importance for modern science, although it must not be overlooked that even within the framework of a modernized transcendental philosophy, several unsolved problems remain or are raised. For example, the irredeemability of the universal validity and necessary claims of the a priori, the problem of a clear demarcation between the phenomenal and noumenal world. Moreover, the “beautiful structure” or the Kantian system, which constituted its persuasive power, is lost. (shrink)

ABSTRACT Wilfrid Sellars argued that Kant’s account of the conceptual structures involved in experience can be given a linguistic turn so as to provide an analytic account of the resources a language must have in order to be the bearer of empirical knowledge. In this paper I examine the methodological aspects of Kant’s transcendental philosophy that Sellars took to be fundamental to influential themes in his own philosophy. My first aim here is to clarify and argue for the plausibility of (...) what I claim is Sellars’ interpretation of Kant’s ‘analytic’ transcendental method in the first Critique, based ultimately on non-trivial analytic truths concerning the concept of an object of our possible experience. Kant’s ‘transcendental proofs’ thereby avoid a certain methodological trilemma confronting the candidate premises of any such proof, taken from Sellars’ 1970s undergraduate exam question on Kant. In part II of the essay I conclude by highlighting in general terms how Kant’s method, as interpreted in the analytic manner explained in part I, was adapted by Sellars to produce some of the more influential aspects of his own philosophy, expressed in terms of what he contends is their sustainable reformulation in light of the so-called linguistic turn in twentieth-century philosophy. (shrink)

Many philosophers take the distinguishing mark of their subject to be its a priori status. In their view, where empirical science is based on the data of experience, philosophy is founded on a priori intuitions. In this paper I shall argue that there is no good sense in which philosophical knowledge is informed by a priori intuitions. Philosophical results have just the same a posteriori status as scientific theories. My strategy will be to pose a familiar dilemma (...) for the friends of a priori philosophical intuitions. I shall ask them whether their intuitions are supposed to be analytic or synthetic. And then I shall argue that, if the intuitions are analytic, they may be a priori, but will be philosophically uninteresting; while, if they are synthetic, they may be philosophically interesting, but will not merit being treated as a priori in the context of philosophical debate. At the end of the paper I explain that this does not mean that philosophy should abandon ‘armchair’ methods. We still need to uncover and examine the often unrecognized intuitions that drive our thinking. However this is not because they provide a distinctive source of a priori knowledge, but on the contrary because they may be leading us astray. (shrink)

This article focuses on the distinction between analytic truths and synthetic truths, and between a priori truths and a posteriori truths in philosophy, beginning with a brief historical survey of work on the two distinctions, their relationship to each other, and to the necessary/contingent distinction. Four important stops in the history are considered: two involving Kant and W. V. O. Quine, and two relating to logical positivism and semantic externalism. The article then examines questions that have been raised (...) about the analytic–synthetic and a priori–a posteriori distinctions, such as whether all distinctively philosophical truths fall on one side of the line and whether the distinction is relevant to philosophy. It also discusses the argument that there is a lot more a priori knowledge than we ever thought, and concludes by describing epistemological accounts of analyticity. (shrink)

On rationalist infallibilism, a wide range of both (i) analytic and (ii) synthetic a priori propositions can be infallibly justified, i.e., justified in a way that is truth-entailing. In this paper, I examine the second thesis of rationalist infallibilism, what might be called ‘synthetic a priori infallibilism’. Exploring the seemingly only potentially plausible species of synthetic a priori infallibility, I reject the infallible justification of so-called self-justifying propositions.

The present paper deals with the ontological status of numbers and considers Frege ́s proposal in Grundlagen upon the background of the Post-Kantian semantic turn in analytical philosophy. Through a more systematic study of his philosophical premises, it comes to unearth a first level paradox that would unset earlier still than it was exposed by Russell. It then studies an alternative path, that departin1g from Frege’s initial premises, drives to a conception of numbers as synthetic a priori in (...) a more Kantian sense. On this basis, it tentatively explores a possible derivation of basic logical rules on their behalf, suggesting a more rudimentary basis to inferential thinking, which supports reconsidering the difference between logical thinking and AI. Finally, it reflects upon the contributions of this approach to the problem of the a priori. (shrink)

English title: The Problem of the Synthetic a priori Judgements According to Hermann Lotze. The present article compares Kant’s and Lotze’s concepts of synthetic judgements. Lotze’s aim is a renewing of the Kant’s solutions, what he achieves thanks to introduction of the distinction between analytic (identical) content and synthetic form of these judgements which Kant recognised as synthetic. This distinction makes possible to lay down the concept of intentional sense which has influence over Frege and (...) Husserl. (shrink)

On rationalist infallibilism, a wide range of both (i) analytic and (ii) synthetic a priori propositions can be infallibly justified (or absolutely warranted), i.e., justified to a degree that entails their truth and precludes their falsity. Though rationalist infallibilism is indisputably running its course, adherence to at least one of the two species of infallible a priori justification refuses to disappear from mainstream epistemology. Among others, Putnam (1978) still professes the a priori infallibility of some category (...) (i) propositions, while Burge (1986, 1988, 1996) and Lewis (1996) have recently affirmed the a priori infallibility of some category (ii) propositions. In this paper, I take aim at rationalist infallibilism by calling into question the a priori infallibility of both analytic and synthetic propositions. The upshot will be twofold: first, rationalist infallibilism unsurprisingly emerges as a defective epistemological doctrine, and second, more importantly, the case for the a priori infallibility of one or both categories of propositions turns out to lack cogency. (shrink)

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is to make explicit (...) what is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

ABSTRACT: It is a familiar story that Kant’s defence of our synthetic a priori cognition in the Critique of Pure Reason suffered sharp criticism throughout the extended philosophical revolutions that established analytic philosophy, the pragmatist tradition, and the phenomenological tradition as dominant philosophical movements in the first half of the twentieth century. One of the most important positive adaptations of Kant’s outlook, however, was the combined analytic and pragmatist conceptions of the a priori that were developed by (...) the American philosophers C. I. Lewis (1883–1964) and Wilfrid Sellars (1912–1989), most notably in Lewis’s 1929 classic, Mind and the World Order, followed by Sellars’ critical reworking of Lewis’s outlook in ‘Is There a Synthetic A Priori?’ (1953) and other mid-century articles. Both Lewis and Sellars defended central aspects of Kant’s analysis of our a priori knowledge of mind-independent physical objects and necessary causal connections. But both also radically transformed Kant’s view by defending the idea that there are alternative a priori conceptual frameworks that are subject to an ongoing process of reassessment and replacement on overall pragmatic and explanatory grounds. Furthermore, while Sellars’ answer to his question, ‘Is There a Synthetic A Priori?’ thus represented a partial endorsement of Lewis’s pragmatic relativization of the a priori, I argue that Sellars’ account of meaning diverged from Lewis in ways that constituted a significant improvement upon the previous ‘analytic’ defenses of the a priori, not only in Lewis but in general. This arguably has implications for wider disputes concerning the nature and possibility of a priori knowledge in non-formal domains. (shrink)

In this article I would like to discuss the concept of a priori mainly focusing on Kant’s Copernican revolution. How is metaphysics at all possible and how a priority takes place in Kantian metaphysics are the questions that I have addressed in the first part of my article. In this context, I have explained analytic, synthetic distinction from epistemological, metaphysical and semantical perspectives and I want to show how the concept of a priori and other associated notions (...) are derived from this different perspective. I end my discussion with an account of some fundamental objections raised by Quine and Kripke against Kantian analysis. Quine mainly wants to deny the traditional analytic and synthetic distinction. Besides, Kripke is trying to show that it is not true that the traditional account of the intimate relation between a priori and necessary proposition must be true, i.e., it is mistaken that a priori proposition must be necessary, it may be contingent. I would like to analyse and explain a few obstacles of Quine and Kripke following Putnam’s (externalist approach) and Quassim Cassam’s (non-empirical approach on a priority) line of different arguments. (shrink)

In Glauben und Wissen as well as in the Wissenschaft der Logik Hegel states that the kantian question: «How are synthetical judgements a priori possible?» is speculative in its own. Despite this statement Hegel argues that the results of Kant’s theory of judgement in the Kritik der reinen Vernunft contradicts its speculative sense. So in Hegel’s opinion the question is still waiting for an answer. Aim of this contribution is to make clear how Hegel solves this issue in a (...) speculative way without going back to a precritical philosophy. Focusing on Hegel’s theory of ‘Subjective Spirit’ in the Enzyklopädie this contribution wants to clarify the Hegel’s solution to a pivotal problem of criticism through the sublation of a phenomenological approach to the idea of ‘Reason’ and his theory of intelligence as a part of the ‘Theoretical Spirit’. (shrink)

In order to make sense of Scotus’s claim that rationality is perfected only by the will, a Scotistic doctrine of truth is developed in a speculative way. It is claimed that synthetic a priori truths are truths of the will, which are existential truths. This insight holds profound theological implications and is used on the one hand to criticize Kant's conception of existence, and on the other hand, to offer another explanation of the sense according to which the (...) existence of things is grasped. (shrink)

In a recent article in this journal [Phil. Math., II, v.4 (1989), n.2, pp.?- ?] J. Fang argues that we must not be fooled by A.J. Ayer (God rest his soul!) and his cohorts into believing that mathematical knowledge has an analytic a priori status. Even computers, he reminds us, take some amount of time to perform their calculations. The simplicity of Kant's infamous example of a mathematical proposition (7+5=12) is "partly to blame" for "mislead[ing] scholars in the direction (...) of neglecting the temporal element"; yet a brief instant of time is required to grasp even this simple truth. If Kant were alive today, "and if he had had a little more mathematical savvy", Fang explains, he could have used the latest example of the largest prime number (391,581 x 2 216,193 - 1) as a better example of the "synthetic a priori" character of mathematics. The reason Fang is so intent upon emphasizing the temporal character of mathematics is that he wishes to avoid "the uncritical mixing of ... a theology and a philosophy of mathematics." For "in the light of the Computer Age today: finitism is king!" Although Kant's aim was explicitly "to study the 'human' ... faculty", Fang claims that even he did not adequatley emphasize "the clearly and concretely distinguishable line of demarcation between the human and divine faculties.". (shrink)

Three classic distinctions specify that truths can be necessary versus contingent,analytic versus synthetic, and a priori versus a posteriori. The philosopher reading this article knows very well both how useful and ordinary such distinctions are in our conceptual work and that they have been subject to many and detailed debates, especially the last two. In the following pages, I do not wish to discuss how far they may be tenable. I shall assume that, if they are reasonable and (...) non problematic in some ordinary cases, then they can be used in order to understand what kind of knowledge the maker’s knowledge is. By this I mean the sort of knowledge that Alice enjoys when she holds the information that Bob’s coffee is sweetened because she just put two spoons of sugar in it herself. The maker’s knowledge tradition is quite important but it is not mainstream in modern and analytic epistemology and lacks grounding in terms of exactly what sort of knowledge one is talking about. My suggestion is that this grounding can be provided by a minimalist approach, based on an information-theoretical analysis. In the article, I argue that we need to decouple a fourth distinction, namely informative versus uninformative, from the previous three and, in particular, from its implicit association with analytic versus synthetic and a priori versus a posteriori; such a decoupling facilitates, and is facilitated by, moving from a monoagent to a multiagent approach: the distinctions qualify a proposition, a message, or some information not just in themselves but relationally, with respect to an informational agent; the decoupling and the multiagent approach enable a re-mapping of currently available positions in epistemology on these four dichotomies; within such a re-mapping, two positions, capturing the nature of a witness’ knowledge and of a maker’s knowledge, can best be described as contingent, synthetic, a posteriori, and uninformative and as contingent, synthetic, weakly a priori, and uninformative respectively. In the conclusion, I indicate why the analysis of the maker’s knowledge has important consequences in all those cases in which the poietic intervention on a system determines the truth of the model of that system. (shrink)

Sektion Erkenntnistheorie, 29.09.2014, XXIII. Kongress der Deutschen Gesellschaft für Philosophie 2014 in Münster. -/- The problem of synthetic judgments touches upon the question whether philosophy is in fact capable of making independent truth statements. According to Kant, synthetic judgments formulate the conditions for the possibility of objectively valid knowledge a priori. As far as empirical attempts at reinterpretation of the aprioristic fall short of this ambition, Kant’s a priori goes deeper. This is because modern science strives (...) towards objective knowledge, although its statements are fundamentally fallible. The topic of synthetic a priori thus continues to be relevant. -/- This paper will show that, in order to be viable at all, a modernized version of transcendental philosophy must ‘depart from’ the concepts of “independence from empirics” and/or the “purity” of the aprioristic. Kant’s reflections on non-pure synthetic a priori knowledge already contain attempts at this. Furthermore, the aprioristic validity of knowledge does not exclude the possibility, that it can be discovered empirically. Fries and, subsequently, Nelson proceeded with this separation (initially ascribed to Reichenbach) between the contexts of validity and discovery of knowledge, pointing out that the a priori can indeed be discovered empirically, yet never be proven. -/- Currently, there are still a number of valid reasons for arguing that concepts from transcendental philosophy continue to be of fundamental importance for the modern sciences. However, it must not be neglected that, even within a modernized framework of transcendental philosophy various unsolved problems remain and/or are created (such as the unfeasibility of the aprioristic claim to general validity and necessity, the problem of drawing a clear boundary between the noumenal and phenomenal worlds). Moreover, the “beautiful structure” of the Kantian system, which constitutes much of its persuasive strength, is lost. (shrink)

Kant maintains that his Critique of Pure Reason follows a “synthetic method” which he distinguishes from the analytic method of the Prolegomena by saying that the Critique “rests on no other science” and “takes nothing as given except reason itself”. The paper presents an account of the synthetic method of the Critique, showing how it is related to Kant’s conception of the Critique as the “science of an a priori judging reason”. Moreover, the author suggests, understanding its (...) synthetic method sheds light on the structure of the Transcendental Deduction, and its function in the work as a whole. (shrink)

In this paper I present an interpretation of Immanuel Kant’s transcendental deduction of the categories (a dangerous interpretation it turns out), based primarily on the “two-step” argument of the B deduction of the Critique of Pure Reason. I undertake to show that Kant’s distinction between the “pure forms of intuition” and “pure formal intuition” is successful in its attempt to prove that all sensible intuitions presuppose the a priori categories, in a way which is compatible, I claim, with Kant’s (...) statements (in the Aesthetic and elsewhere) that sensible intuition is prior to all concepts; and therefore that the Transcendental Aesthetic presupposes the Transcendental Analytic. Thus my Interpretation is a "conceptualist" reading of the deduction, in holding that perception, as receptivity, presupposes an underlying spontaneity of the pure understanding and categories. The categories are held to be not just compatible with all possible sensible intuitions, but through their "transcendental content" constitutive of the relation of sensible intuitions to objects - and this explains how our thought can represent objects a priori. It is one of the claims of my interpretation that the logical forms of judgment of general logic derive from the pure categories of transcendental logic, rather than vice-versa. I.e. that the logical forms through which we make empirical judgments by combining analytical concepts in inner sense in time, are originally grounded in an atemporal categorial synthesis in pure intuition (i.e. in the form of time but not the dimension of time), referring an outer intuition in general to the transcendental object of intuition (as “something in general” outside sensibility or receptivity), thereby providing the synthetic unity of the manifold which “..all analysis presupposes.” My conceptualist reading of the deduction, I claim, avoids the problems associated with other conceptualist readings, for example inconsistency with the text (“Intuitions are prior to all concepts.” etc.) and blurring of the distinction between receptivity and spontaneity. In my paper I prove that the categories can correctly be held to provide the a priori unity of intuitions, notwithstanding the fact that the latter are “prior to all concepts,” because this unity is not provided by the categories as fully-fledged concepts in the empirical subject, but as the transcendental logical form of these concepts, as a unity in the pure understanding - and the categories therefore require their empirical content or application for their objective reality as concepts. I.e. the categories, as logical functions of judgment for transcendental apperception, in the pure forms of intuition, are prior to all "concepts", correctly speaking, as well as prior to all intuitions, and provide the necessary unity of both. Likewise, at the empirical level my version of conceptualism cannot be accused of blurring the distinction between receptivity and spontaneity, or sensibility and understanding, because although the transcendental content of the categories, as a logical function of judgment in the pure forms of intuition, in transcendental apperception, is in necessary relation to sensibility (in combining the manifold in the pure or formal representation of the transcendental object) their empirical content is not. - At the empirical level the divide between spontaneity (as judgment in the empirical subject) and receptivity (as the effect of transcendental synthesis and the transcendental object on outer and inner sense) remains intact. Conceptualist readings of the deduction also have to avoid infringing Kant’s requirement that the sensible manifold originally be given prior to and independently of all acts of the understanding, or otherwise to qualify the requirement in some way - e.g. by taking a Hegelian direction, such as that taken by John McDowell. On my reading of the deduction the sensible manifold given indeterminately in the pure forms of space and time must be given prior to the categorial synthesis of the manifold in the pure representation of the transcendental object, i.e. in the pure 'concept' of an object in general affecting sensibility. Therefore Kant’s requirement for an undetermined manifold given prior to, and independently of, all acts of the understanding (“..the manifold to be intuited must be given prior to the synthesis of understanding, and independently of it. How this takes place, remains here undetermined” [cf.B145/146]) is not infringed. In a later section of the paper, however, I will argue that the transcendental object (of intuition) does have pure theoretical reason as one of its two interacting immanent aspects, but is distinct from pure theoretical reason in the other of its (the transcendental object of intuition's) two interacting immanent aspects, i.e. pure will, which adds a Schopenhauerian element to my interpretation (which will be argued for in a way which supports Kantian optimism over Schopenhauerian pessimism however, in regard to the freedom of the will). Another perceived inconsistency in the deduction, which my interpretation can explain, is Kant’s description (in the B deduction) of the principle of the necessary synthetic unity of apperception as analytic, while in the A deduction it is described as synthetic. I explain this as a difference in the reference of terms such as “my representations” in the two versions - a transcendental reference in the B version but an empirical and transcendental reference in the A version of the principle. I also show that the first part of the two-step B deduction can correctly be characterised by Kant as analytic and the second, concluding part, synthetic (a point of dispute amongst Kant scholars) because transcendental logic (which refers to both the analytic and synthetic aspects of the principle of apperception) “does not abstract from the pure content of knowledge.” While being a “double aspect” rather than “two world” view of transcendental Idealism (because objects of intuition are comprised of both the empirical and transcendental object, i.e. transcendental referent, of intuition, my view differs significantly from the “double aspect” interpretation of Henry Allison (which distinguishes empirical reality from the “God’s eye” view). The view of transcendental idealism resulting from my reading of the deduction, I claim, allows a full empirical realism, because empirical intuitions, as objects of cognition, are the appearance of both the transcendental subject and the transcendental object (i.e. transcendental referent ) of transcendental synthesis (both as “something in general” outside sensibility or receptivity, or rather outside sensibility as receptivity). I conclude that Kant succeeds (although only with the addition of what I have called my 'Schopenhauerian element') in his attempt to prove that we have a transcendental unity of apperception which both constitutes, and is constituted by, the relation of sensible representations to objects, and that since transcendental apperception is the a priori underlying ground of empirical apperception, the categories (as the logical functions of judgment by which transcendental apperception relates sensible representations to objects) are the a priori underlying ground of all experience, and are therefore valid synthetically a priori for all objects of experience. (shrink)

A theory of knowledge is the explanation of things in terms of the possibilities and capabilities of the human way of knowing. The human knowledge is the representation of the things apprehended sensitively either through the senses or intuition. A theory of knowledge concludes about the reality of the things studied. As such it is a priori speculation, based on synthetic a priori statements. Its conclusions constitute interpretation, that is, hermeneutics. Linguistics as the science studying real language, (...) that is, the language spoken, reverts to human subjects in as much as they speak, say and know. Language thus must be studied as a theory of knowledge. (shrink)

Lecture Notes On Eric Schmid's "Prospectus to a Homotopic Metatheory of Language" Presented at the Book Release Event at Triest Gallery (NYC) on January 19, 2024 -/- Prospectus to a Homotopic Metatheory of Language by Eric Schmid proposes that mathematics does not involve the discovery of a synthetic a priori. In other words, mathematics is not a stable transcendent object of knowledge. Instead, Schmid defines math as a language that depends on an infinitely large network topology of inferences. (...) Importantly, this metatheory can be applied not just to the disciplinary specific languages of computer & natural science, but also ordinary & public languages. Mathematics is not the discovery of transcendent concepts, but a dynamic evolving language of inquiry. (shrink)

Amongst the entities making up social reality, are there necessary relations whose necessity is not a mere reflection of the logical connections between corresponding concepts? We distinguish three main groups of answers to this question, associated with Hume and Adolf Reinach at opposite extremes, and with Searle who occupies a position somewhere in the middle. We first set forth Reinach’s views on what he calls ‘material necessities’ in the realm of social entities. We then attempt to show that Searle has (...) not identified a sustainable position somewhere between the Humean and the Reinachian extremes. This is because Searle’s position is threatened by circularity, and to steer clear of that danger it must incorporate at least some elements of Reinach’s essentialism. (shrink)

This dissertation concerns the methodology Kant employs in the first two sections of the Groundwork of the Metaphysics of Morals (Groundwork I-II) with particular attention to how the execution of the method of analysis in these sections contributes to the establishment of moral metaphysics as a science. My thesis is that Kant had a detailed strategy for the Groundwork, that this strategy and Kant’s reasons for adopting it can be ascertained from the Critique of Pure Reason (first Critique) and his (...) lectures on logic, and that understanding this strategy gains us interpretive insight into Kant’s moral metaphysics. At the most general level of methodology, Kant says there are four steps for the establishment of any science: 1) make distinct the idea of the natural unity of its material 2) determine the special content of the science 3) articulate the systematic unity of the science 4) critique the science to determine its boundaries The first two of these steps are accomplished by the genetically scholastic method of analysis, paradigmatically the method whereby confused and obscure ideas are made clear and distinct, thereby logically perfecting them and transforming them into possible grounds of cognitive insight that are potentially complete and adequate to philosophical purposes. The analysis of Groundwork I is a paradigmatic analysis that makes distinct what is contained in common understanding, i.e. its Inhalt or intension, making distinct the higher partial concepts that together define the concept of morality. The analysis of Groundwork II is an employment more specifically of the method of logical division, which makes distinct what is contained under the concept, i.e. its Umfang, by which the extension or object of morality is determined. Part I introduces Kant’s conception of moral metaphysical science and why he took it to be in need of establishment, explains the general method for establishing science and the scholastic method of analysis by which its first two steps are to be accomplished, then provides an interpretation of Groundwork I as an execution of this method. Part II details Kant’s determination of the special content of moral science in Groundwork II in relation to the central problem for moral metaphysics – how synthetic a priori practical cognition is possible. (shrink)

Traditionally transcendental logic has been set apart from formal logic. Transcendental logic had to deal with the conditions of possibility of judgements, which were presupposed by formal logic. Defined as a purely philosophical enterprise transcendental logic was considered as being a priori delivering either analytic or even synthetic a priori results. In this paper it is argued that this separation from the (empirical) cognitive sciences should be given up. Transcendental logic should be understood as focusing on specific (...) questions. These do not, as some recent analytic philosophy has it, include a refutation of scepticism. And they are not to be separated from meta-logical investigations. Transcendental logic properly understood, and redefined along these theses, should concern itself with the (formal) re-construction of the presupposed necessary conditions and rules of linguistic communication in general. It aims at universality and reflexive closure. (shrink)

Sofern man die Existenz objektiver Erkenntnisse anerkennt, ist man mit der Frage nach den Bedingungen der Möglichkeit für diese Erkenntnisse konfrontiert. Der Grund muss in Voraussetzungen liegen, die selbst wiederum empirisch nicht zu rechtfertigen sind. Zwar verwerfen Popper und Carnap den Begriff des "synthetischen Urteils a priori", doch die Voraussetzung, dass es "in der Natur gesetzlich zugeht", räumen beide ein. Diese empirisch nicht zu rechtfertigende Prämisse ist ein synthetisches Urteil a priori. Gemäß Kant ist innerhalb der Klasse der (...) Erkenntnisse a priori zwischen reinen und nicht-reinen Erkenntnissen a priori zu unterscheiden. Es in vorliegender Arbeit argumentativ dafür plädiert, Naturgesetze als apriorische Erkenntnisse zu betrachten, die der Klasse der nicht-reinen synthetischen Urteile a priori zuzurechnen sind. Vor diesem Hintergrund kommt die Arbeit zu der Schlussthese: Ein empirischer (d. h. empirische Begriffe enthaltender) Satz (etwa ein Naturgesetz) kann über den (empirisch nicht einlösbaren, aber als Postulat durchaus sinnvollen) Anspruch auf allgemeine und notwendige Geltung verfügen und somit Bedingungen der Möglichkeit für objektive Erkenntnis formulieren. Doch sind für die Entdeckung empirischer Sätze mit Anspruch auf allgemeine und notwendige Geltung empirische Studien (etwa das physikalische Experiment) erforderlich. (shrink)

This chapter considers Kant's relation to Hume as Kant himself understood it when he wrote the Critique of Pure Reason and the Prolegomena. It first seeks to refine the question of Kant's relation to Hume's skepticism, and it then considers the evidence for Kant's attitude toward Hume in three works: the A Critique, Prolegomena, and B Critique. It argues that in the A Critique Kant viewed skepticism positively, as a necessary reaction to dogmatism and a spur toward critique. In his (...) initial statement of the critical philosophy Kant treated Hume as an ally in curbing dogmatism, but one who stopped short of what was really needed: a full critique of reason, to establish the boundaries of metaphysical cognition. Kant found fault with Hume's analyses of cognition and experience, and specifically his failure to see the crucial importance of synthetic a priori cognition in metaphysics. In particular, he held that Hume's empiricist account of cognition could neither explain the synthetic a priori cognition actually found in mathematics and natural science, nor provide a principled account of the limits on what can be known--and what can be thought--through the pure concepts of the understanding. According to Kant, Hume therefore failed in his attempt to determine the limits of metaphysics, whereas he was able to succeed because his transcendental philosophy provided a thorough account of cognition, its structure and limits. In the Prolegomena and the B Critique Kant distinguished his position more sharply from Hume's. He also adopted a more negative attitude toward "skeptical idealism" than before; but he attributed such skepticism to Descartes, not Hume. Prior to the B Critique Kant did not see Hume as attacking natural science or ordinary cognition. In none of the three works was Kant's main aim to "answer the skeptic." His primary aim was to firmly establish the boundary of metaphysics, by discovering the elements of human cognition and fixing its proper domain. His purported discoveries about the limits of metaphysical cognition meant that the traditional objects of metaphysical knowledge, God, the soul, and the world as it is in itself, are unknowable, hence that traditional metaphysics itself is impossible. Besides settling the possibility or impossibility of metaphysics, his findings would also prevent the illegitimate extension of principles of sensibility to God and the noumenal self, an extension that would threaten the metaphysics of morals by incorrectly denying the thinkability of noumenal freedom, and that might otherwise lead to "materialism, fatalism, atheism, and freethinking unbelief" (B xxxiv). (shrink)

The justificatory force of empirical reasoning always depends upon the existence of some synthetic, a priori justification. The reasoner must begin with justified, substantive constraints on both the prior probability of the conclusion and certain conditional probabilities; otherwise, all possible degrees of belief in the conclusion are left open given the premises. Such constraints cannot in general be empirically justified, on pain of infinite regress. Nor does subjective Bayesianism offer a way out for the empiricist. Despite often-cited convergence (...) theorems, subjective Bayesians cannot hold that any empirical hypothesis is ever objectively justified in the relevant sense. Rationalism is thus the only alternative to an implausible skepticism. (shrink)

As most of its readers are aware, the Critique of Pure Reason is primarily concerned not with empirical, but with a priori knowledge. For the most part, the Kant of the first Critique tends to assume that experience, and the knowledge that is based on it, is unproblematic. The problem with which he is concerned is that of how we can be capable of substantive knowledge independently of experience. At the same time, however, the notion of experience plays a (...) crucial role in the central arguments of the Critique. For, again as most readers of the Critique know, Kant aims to show how we can have synthetic a priori knowledge by showing that the categories, or pure concepts of the understanding, are conditions of the possibility of experience. This means that, whether or not Kant is concerned with the notion of experience for its own sake, his account of a priori knowledge carries with it at least some commitments regarding the character of experience. If the account of a priori knowledge is to be successful, then experience has to be the kind of thing for which the categories can, in principle, serve as conditions of possibility. More specifically, experience must involve not only the senses, but also thought or understanding, for otherwise the claim that it presupposes a certain specific set of concepts is simply unintelligible. And indeed at least some parts of the Critique, in particular the so-called subjective deduction in the first edition, and the briefer passages which correspond to it in the second edition, seem to be intended to show how this requirement is met. That is, they are concerned not so much with showing that experience is governed by the categories, as with elaborating a view of experience as involving conceptual activity überhaupt. (shrink)

The aim of the Analytic of Concepts is to derive and deduce a set of pure concepts of the understanding, the categories, which play a central role in Kant’s explanation of the possibility of synthetic a priori cognition and judgment. This chapter is structured around two questions. First, what is a pure concept of the understanding? Second, what is involved in a deduction of a pure concept of the understanding? In answering the first, we focus on how the (...) categories differ from the pure forms of sensibility and examine whether they are known only to be the pure forms of human thinking or rather the forms of discursive cognition as such. In answering the second, we draw a distinction between the application and the exemplification of the categories and use it to identify different ways of understanding Kant’s project in the Transcendental Deduction of the Categories. These questions connect because the answer to the first determines how we should understand the kind of entitlement which is to be established in the Deduction. (shrink)

The chapter examines Kant’s thesis about the ‘radical evil in human nature’ developed in his Religion within the Boundaries of Mere Reason. According to this thesis, the human moral condition is corrupt by default and yet by own deed; and this corruption is the origin (root, radix) of human badness in all its variety, banality, and ubiquity. While Kant clearly takes radical evil to be endemic in human nature, controversy reigns about how to understand this. Some assume this can only (...) be a synthetic a priori claim about the necessity of radical evil (and thus one requiring a transcendental deduction). However, Kant indicates that while radical evil is inevitable it is not, for that, strictly necessary. The best way to understand this is through a teleological approach that explains how we inevitably bring this corruption upon ourselves in the course of our development. The chapter thereby joins other teleological accounts, but distinctively argues that Kant draws on Stoic natural teleology (specifically the doctrine of oikeiōsis), which he knows through Seneca and Cicero. This background allows us to make sense of the structure of Kant’s argument in ways that shed fresh light on the philosophical content of the thesis about radical evil. It also allows us to see that another hotly debated issue — namely, whether radical evil should be understood in ‘psychological’ or ‘social’ terms — is spurious: we see that these are flip sides of one coin, and are better placed to register the broader ethical significance of this result. (shrink)

Maimon’s theory of the differential has proved to be a rather enigmatic aspect of his philosophy. By drawing upon mathematical developments that had occurred earlier in the century and that, by virtue of the arguments presented in the Essay and comments elsewhere in his writing, I suggest Maimon would have been aware of, what I propose to offer in this paper is a study of the differential and the role that it plays in the Essay on Transcendental Philosophy (1790). In (...) order to do so, this paper focuses upon Maimon’s criticism of the role played by mathematics in Kant’s philosophy, to which Maimon offers a Leibnizian solution based on the infinitesimal calculus. The main difficulties that Maimon has with Kant’s system, the second of which will be the focus of this paper, include the presumption of the existence of synthetic a priori judgments, i.e. the question quid facti, and the question of whether the fact of our use of a priori concepts in experience is justified, i.e. the question quid juris. Maimon deploys mathematics, specifically arithmetic, against Kant to show how it is possible to understand objects as having been constituted by the very relations between them, and he proposes an alternative solution to the question quid juris, which relies on the concept of the differential. However, despite these arguments, Maimon remains sceptical with respect to the question quid facti. (shrink)

The received view in the history of the philosophy of psychology is that the logical positivists—Carnap and Hempel in particular—endorsed the position commonly known as “logical” or “analytical” behaviourism, according to which the relations between psychological statements and the physical-behavioural statements intended to give their meaning are analytic and knowable a priori. This chapter argues that this is sheer legend: most, if not all, such relations were viewed by the logical positivists as synthetic and knowable only a posteriori. (...) It then traces the origins of the legend to the logical positivists’ idiosyncratic extensional or at best weakly intensional use of what are now considered crucially strongly intensional semantic notions, such as “translation,” “meaning” and their cognates, focussing on a particular instance of this latter phenomenon, arguing that a conflation of explicit definition and analyticity may be the chief source of the legend. (shrink)

This chapter introduces the articles by Marie C. Swabey, Thelma Z. Lavine, Grace A. de Laguna and Dorothy Walsh on the objectivity of scientific knowledge. We will see Swabey placing herself outside the historicist traditions of (later) authors (e.g., Thomas Kuhn), and arguing that the rationality and objectivity of science are grounded in synthetic a priori justified logical principles. Lavine and de Laguna, by contrast, embrace socio-historical approaches to the study of science, thus anticipating later developments in philosophy (...) of science. Still, whereas Lavine embraces a relativist notion of objectivity, de Laguna argues that science, at least in some respects, actually is universally valid. Walsh, finally, like Swabey, believes in context-independent objectivity that is grounded in metaphysics, but like de Laguna and Lavine, contends that such objectivity is discipline-specific. (shrink)

This paper argues that Frege's notoriously long commitment to Kant's thesis that Euclidean geometry is synthetic _a priori_ is best explained by realizing that Frege uses ‘intuition’ in two senses. Frege sometimes adopts the usage presented in Hermann Helmholtz's sign theory of perception. However, when using ‘intuition’ to denote the source of geometric knowledge, he is appealing to Hermann Cohen's use of Kantian terminology. We will see that Cohen reinterpreted Kantian notions, stripping them of any psychological connotation. Cohen's defense (...) of his modified Kantian thesis on the unique status of the Euclidean axioms presents Frege's own views in a much more favorable light. (shrink)

A study of the background of Husserl’s early thinking in the perceptual psychology of Carl Stumpf and of the implications of Stumpfian ideas for an understanding of Husserl’s phenomenology. Other topics treated include the ontology of part, whole and dependence; gestalt theory; and Husserl’s notion of the synthetic a priori.

Kant’s theory of cognition aimed to explain the possibility of scientific knowledge. Aesthetics and life science were not considered by Kant in the context of cognition. By contrast, Cassirer set himself a philosophical task to extend Kant’s theory of cognition to all forms of culture, including pre-scientific knowledge and aesthetics. The present study demonstrates how Cassirer explained the possibility of different objective forms, named symbolic, by employing and transforming Kant’s theory of cognition. For this goal, Cassirer took the following steps: (...) modified the definitions of a priori synthesis (the act of understanding) and pure intuition (the forms of space and time) - main building blocks of Kant’s cognition; indicated the necessary correlation of intuition and synthesis; characterized a priori synthesis and the intuition as notions which include contradicted meanings. Cassirer called this contradiction “twofold oppositions” as characteristic of a priori synthesis. The first argument of the article is that the possibility of various synthetic acts is rooted in the nature of a priori synthesis which carries together two different meanings: the act of uniting elements and the initial unity. One synthetic act forms the world of nature and is connected to scientific space and time, and the other is the product of immediate perceptional space and time, from which the world of myth and aesthetics appears. Thus, Cassirer expanded the scope of “pure” synthesis. The second argument is that Cassirer specified a priori synthesis and pure intuition as a functional concept. The functional concept belongs to the model of concept as-relation that Cassirer has elaborated. It includes moments that are separated and united simultaneously. This definition of concept breaks the rules of consistency. The concept of as-relation justifies the contradictory characteristics of a priori synthesis and pure intuition, which include both the combination of moments in a synthesizing act and the initial unity of intuition. (shrink)

This paper concerns the three great modal dichotomies: (i) the necessary/contingent dichotomy; (ii) the a priori/empirical dichotomy; and (iii) the analytic/synthetic dichotomy. These can be combined to produce a tri-dichotomy of eight modal categories. The question as to which of the eight categories house statements and which do not is a pivotal battleground in the history of analytic philosophy, with key protagonists including Descartes, Hume, Kant, Kripke, Putnam and Kaplan. All parties to the debate have accepted that some (...) categories are void. This paper defends the contrary view that all eight categories house statements—a position I dub ‘octopropositionalism’. Examples of statements belonging to all eight categories are given. (shrink)

ABSTRACT Kant famously claims that we have all freely chosen evil. This paper offers a novel account of the much-debated justification for this claim. I reconstruct Kant’s argument from his affirmation that we all have a price – we can all succumb to temptation. I argue that this follows a priori from a theoretical principle of the Critique of Pure Reason, namely that all empirical powers have a finite, changeable degree, an intensive magnitude. Because of this, our reason can (...) always be overpowered by sensible inclinations. Kant moreover holds that this necessary feature of our moral psychology should not have been the case: We ought to instead be like the divine human being, for whom the moral law yields a greater incentive than any possible temptation. On Kant’s view, we are thus responsible for having a price, and the synthetic a priori fact that we do proves that we each made an initial choice of evil. (shrink)

“The A2 is Light,” Schelling explains to us in the Presentation of My System of Philosophy. Is such a statement meaningful, so that its truth value can be asked? Is it an empirical statement, which can be tested and possibly confirmed through observations? Or is it a synthetic a priori judgment independent of observations? Such questions are not easy to answer, and they are related to the logical status of Schelling’s theory as a whole. That such questions became (...) important stems from the peculiarity of the philosophical systems that were developed in Jena after 1800. They were called “systems of absolute idealism,” but it is not clear what this means. These systems include not only Schelling’s but also Hegel’s and Krause’s. In the following, some commonalities, as well as specific particularities, of these systems will be examined in more detail from the standpoint of methodology. (shrink)

Kant's arguments for the synthetic a priori status of geometry are generally taken to have been refuted by the development of non-Euclidean geometries. Recently, however, some philosophers have argued that, on the contrary, the development of non-Euclidean geometry has confirmed Kant's views, for since a demonstration of the consistency of non-Euclidean geometry depends on a demonstration of its equi-consistency with Euclidean geometry, one need only show that the axioms of Euclidean geometry have 'intuitive content' in order to show (...) that both Euclidean and non-Euclidean geometry are bodies of synthetic a priori truths. Michael Friedman has argued that this defence presumes a polyadic conception of logic that was foreign to Kant. According to Friedman, Kant held that geometrical reasoning itself relies essentially on intuition, and that this precludes the very possibility of non-Euclidean geometry. While Friedman's characterization of Kant's views on geometrical reasoning is correct, I argue that Friedman's conclusion that non-Euclidean geometries are logically impossible for Kant is not. I argue that Kant is best understood as a proto-constructivist and that modern constructive axiomatizations (unlike Hilbert-style axiomatizations) of both Euclidean and non-Euclidean geometry capture Kant's views on the essentially constructive nature of geometrical reasoning well. (shrink)

In this issue of Studies in Transcendental Philosophy five scholars enquire about the theoretical aspects of Kant’s transcendental philosophy related to the notions of subject, self-consciousness, and self-knowledge. Andrew Brook examines Kant’s views on transcendental apperception at the end of the Critical Period, focusing on Opus Postumum which contains some of Kant’s most important reflections on the subjective dimension. As is known, the self-conscious act designated by the proposition ‘I think’ is an act of spontaneity, and this spontaneity is the (...) reason that the subject calls itself an intelligence. In his article Addison Ellis examines the theoretical and practical dimension of spontaneity, calling into question the distinction between a merely ‘relative’ spontaneity and one that is ‘absolute’. Luca Forgione points to two forms of self-consciousness introduced by Kant: inner sense, based on a sensory form of self-awareness, and transcendental apperception. Through the notion of inner sense, Kant also allows for an introspective account of self-awareness; nonetheless, Kant holds an utterly sophisticated notion of basic self-consciousness provided for by the notion of transcendental apperception. Roberto Horácio de Sá Pereira’s article presents a systematic and a historical approach, linking the contemporary debate on transcendental argument to Kant’s philosophy. It addresses both Stroud’s objection and Strawson’s perspective on transcendental argument and introduces a new reconstruction of Kant’s Refutation as successful truth-directed transcendental argument. In contrast to the contemporary movement of transhumanism and its claims that creatures like us can exist independently of our bodies, Robert Hanna develops a generalist perspective on the subjective dimension, according to which all rational human creature are synthetic a priori necessarily, essentially embodied Kantian selves. I would like to thank the authors for participating in this issue and for helping to make it really special. (shrink)

We aim to show that Kant’s theory of time is consistent by providing axioms whose models validate all synthetic a priori principles for time proposed in the Critique of Pure Reason. In this paper we focus on the distinction between time as form of intuition and time as formal intuition, for which Kant’s own explanations are all too brief. We provide axioms that allow us to construct ‘time as formal intuition’ as a pair of continua, corresponding to time (...) as ‘inner sense’ and the external representation of time as a line Both continua are replete with infinitesimals, which we use to elucidate an enigmatic discussion of ‘rest’ in the Metaphysical foundations of natural science. Our main formal tools are Alexandroff topologies, inverse systems and the ring of dual numbers. (shrink)

In this critical review of Robert Hanna's ingenious book (2006), I aim to support Hanna‟s main insightful reading of Kant, namely what he calls “a priori truth with a human face," without appealing to Kant's divide between a priori and a posteriori and analytic and synthetic truths. My suggestion is that transcendental propositions are necessary neither in the usual epistemological sense that analytic propositions are, let alone in the metaphysical sense that some empirical propositions are. Instead, they (...) are necessary in the theoretical domain in the weak alternative sense that they make possible the empirical recognition of appearances as an object as an indispensable condition of our self-consciousness experience, and they are a priori in the practical domain in the sense that their truth is vital for our self-comprehension as human beings. (shrink)

In the present paper, I try to shed some light on the Munich-Göttingen conception of essences, laws of essence, and ideal objects. I first start with a preliminary account of their conception of the synthetic a priori at the basis of their conception of essence (§2); I then offer a first characterization of this conception, which I label as metaphysical realism (§3), highlighting its key concept: foundation (§4). In the last four sections (§§5-8), I discuss different outcomes of (...) this conception of essences: the nature of laws of essences (§5), different categories of essences (§6) and anumericity (§7). (shrink)

In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic current in psychology (...) and cognitive science is completely mistaken. We aim to give the reader a more accurate picture of mathematical logic and, in doing so, hope to show that logic, properly conceived, is still a very helpful tool in cognitive science. The main thrust of the book is therefore constructive. We give a number of examples in which logical theorizing helps in understanding and modeling observed behavior in reasoning tasks, deviations of that behavior in a psychiatric disorder (autism), and even the roots of that behavior in the evolution of the brain. (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)

This paper discusses the philosophical basis of mathematics by examining the perspectives of Kant and Hegel. It explores how Kant’s concept of the synthetic a priori, grounded in the intuitions of space and time, serves as a foundation for understanding mathematics. The paper then integrates Hegelian dialectics to propose a broader conception of mathematics, suggesting that the relationship between space and time is dialectically embedded in reality. By introducing the idea of a hypothetical transcendental subject, the paper attempts (...) to overcome a potential limitation of Kant’s framework, particularly regarding the application of mathematical truths to pre-human reality. This synthesis of Kantian and Hegelian thoughts offers a lens through which the connection between mathematics and reality can be understood, while also acknowledging limitations in both philosophical systems. (shrink)

In this work Husserl makes the distinction between expressions and indications that Derrida will later plant the bomb of Husserl's own Phenomenology of Internal Time Consciousness underneath it in order to undermine the dream for presence and inaugurate Deconstruction. Logic, as Husserl sees it, is concerned in the first place with meanings (propositions, concepts) and with associated meaning-instantiating acts. Most importantly, it is concerned with that sort of deductively closed collection of meanings which constitutes a scientific theory. For Husserl, as (...) for Bolzano, logic is a theory of science. Only where we have an appropriate unity and organization also on the side of the objects (states of affairs, properties) to which the relevant acts refer, however, will we have a scientific theory, so that the unity which is characteristic of the latter must involve both (1) an interconnection of truths (or of propositional meanings in general), and (2) an interconnection of the things to which these truths (and the associated cognitive acts) are directed. Where formal logic relates in the first place to meaning categories such as proposition, concept, subject and predicate, its sister discipline of formal ontology relates to object categories such as object and property, relation and relatum, manifold, part, whole, state of affairs, existence and so on. Logic in a broader sense therefore seeks to delimit the concepts which belong to the idea of a unity of theory in relation to both meanings and objects, and the truths of logic are all the necessary truths relating to those categories of constituents, on the side of both meanings and objects, from out of which science as such is necessarily constituted (including what we might think of as bridge-categories such as identity and truth which span the division between meanings and objects). The best way to deal with Husserl's theory of formal ontology, therefore, is to explicate both the connections between the formal and material, and those between the ontological and the logical. In introducing his distinction between formal and material ontology, Husserl asserts that the former is descriptive and involves analytic a priori judgements, and that the latter involves synthetic a priori judgements. In its most general sense formal ontology concerns itself with characterizing the simple 'something'. The sphere of material ontology in this sense are the laws of non-independence (2) which delimit the ontological regions. For the genetic interpretation, material ontology precedes formal ontology; for the descriptive interpretation it is the other way round (1913, art. 10). Here emerges 'the fundamental distinction between formal and material ontology': namely, the distinction between analytic a priori and synthetic a priori (Introduction to Formale und transzendentale Logik, 1929). (shrink)