The debate on how to interpret Kant's transcendental idealism has been prominent for several decades now. In his book Kant's Transcendental Proof of Realism (2004) Kenneth R. Westphal introduces and defends his version of the metaphysical dual-aspect reading. But his real aim lies deeper: to provide a sound transcendental proof for (unqualified) realism, based on Kant's work, without resorting to transcendental idealism. In this sense his aim is similar to that of Peter F. Strawson (...) – although Westphal's approach is far more sophisticated. First he attempts to show that noumenal causation – on the reality of which his argument partly rests – is coherent in and necessary for Kant's transcendental idealism. Westphal then aims to undermine transcendental idealism by two major claims: Kant can neither account for transcendental affinity nor satisfactorily counter Hume's causal scepticism. Finally Westphal defends his alternative for transcendental idealism by showing that it solves these problems and thus offers a genuine transcendental proof for realism. In this paper I will show that all the three steps outlined above suffer from decisive shortcomings, and that consequently, regardless of its merits, Westphal's transcendental argument for realism remains undemonstrated. (shrink)

review of Westphal's Kant's Transcendental Proof of Realism (CUP 2004).

In Part One of Religion within the Bounds of Bare Reason, Kant repeatedly refers to a “proof” that human nature has a necessary and universal “evil propensity,” but he provides only obscure hints at its location. Interpreters have failed to identify such an argument in Part One. After examining relevant passages, summarizing recent attempts to reconstruct the argument, and explaining why these do not meet Kant's stated needs, I argue that the elusive proof must have a transcendental (...) form (called quasi‐transcendental because Kant never uses “transcendental” in Religion). With deceptive simplicity, the section titles of Part One, viewed as components in an architechtonic system of religion, constitute steps in just such a proof. (shrink)

Chains of causes appear when the existence of God is discussed. It is claimed by some that these chains must be finite and terminated by God. But these chains seem endless through our knowledge search. This endlessness for the physical reasons for any world event expresses the greatness and complexity of God’s creation and so the transcendence of God. So, only we can put our hands on physical reasons in an endless forage for knowledge. Yet, the endlessness of the physical (...) causes chains confirms the existence of God, and this is what our paper tries using Zorn’s lemma, an equivalent for one of the most celebrated axioms of mathematics, the Axiom of Choice. (shrink)

Introduction to the Scientific Proof of the Natural Moral Law This paper proves that Aquinas has a means of demonstrating and deriving both moral goodness and the natural moral law from human nature alone. Aquinas scientifically proves the existence of the natural moral law as the natural rule of human operations from human nature alone. The distinction between moral goodness and transcendental goodness is affirmed. This provides the intellectual tools to refute the G.E. Moore (Principles of Ethics) attack (...) against the natural law as committing a "naturalistic fallacy". This article proves that instead Moore commits the fallacy of equivocation between moral goodness and transcendental goodness in his very assertion of a "naturalistic fallacy" by the proponents of the natural moral law. In the process the new deontological/kantian theory of natural law as articulated by John Finnis, Robert George, and Germain Grisez is false historically and philosophically. Ethical naturalism is affirmed as a result. (shrink)

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

In this paper, I want to look at the way in which Deleuze's reading of Kant's transcendental dialectic influences some of the key thèmes of Différence and Répétition. As we shall see, in the transcendental dialectic, Kant takes the step of claiming that reason, in its natural functioning, is prone to misadventures. Whereas for Descartes, for instance, error takes place between two faculties, such as when reason (wrongly) infers that a stick in water is bent on the basis (...) of sensé impressions, Kant postulâtes that reason générâtes illusions internally purely in the course of its natural function. It is thèse illusions which lead reason into antinomy, as on the basis of thèse illusions, it is led to posit an illegitimate concept of the world as a totality. Further, for Kant, the antinomies represent an indirect proof of transcendental idealism, as it is only with the additional assumption of the noumenon, as that which falls outside of appearance, that we are able to résolve the antinomies. Deleuze's work on the image of thought clearly owes a great deal to Kant's theory of transcendental illusion, but the connections between Kant's transcendental dialectic and the structure of Différence and Répétition go deeper than this. Whereas Kant's problem is that reason générâtes contradictions when it assumes that the unconditioned can be given to reason, Deleuze's problem is the impossibility of developing a concept of différence within représentation. Between thèse two problems, there are significant structural parallels - in particular, the attempt to think outside the dichotomy of the finite and the infinité, and the attempt to prevent the application of spatio-temporal predicates to the noumenon. The antinomy of représentation for Deleuze is the inability of représentation to think différence apart from as purely representational or as undifferenciated abyss. As we shall see, Deleuze gives an explanation of this antinomy in terms of the differential calculus, and the notion of the differential in particular. While thèse parallels exist between Kant and Deleuze's thought, there are also some important différences. Although the differential is not determined in relation to représentation, this does not mean that it lacks ail détermination. This opens up a possibility not available in Kant's philosophy, that is, a thinking beyond the limit of représentation. As we shall see, Kant closes off this possibility by giving reason a heuristic function which in effect reinstates représentation. Kant makes this move precisely because the lack of spatiotemporal déterminations of the noumenal means for Kant that the noumenal lacks déterminations altogether. (shrink)

This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and its relation to falsity. It is well known both that intuitionism can not deal constructively with negative information, and that defining falsity by means of intuitionistic negation leads, under widely-held assumptions, to a justification of bivalence. For example, we do not want to (...) equate falsity with the non-existence of a proof since this would render a statement such as “pi is transcendental” false prior to 1882. In addition, the intuitionist account of negation as shorthand for the derivation of absurdity is inadequate, particularly outside of purely mathematical contexts. To deal with these issues, I investigate the dual of intuitionistic logic, co-intuitionistic logic, as a logic of refutation, alongside intuitionistic logic of proofs. Direct proof and refutation are dual to each other, and are constructive, whilst there also exist syntactic, weak, negations within both logics. In this respect, the logic of refutation is weakly paraconsistent in the sense that it allows for statements for which, neither they, nor their negation, are refuted. I provide a proof theory for the co-constructive logic, a formal dualizing map between the logics, and a Kripke-style semantics. This is given an intuitive philosophical rendering in a re-interpretation of Kolmogorov’s logic of problems. (shrink)

In this paper, I develop a quasi-transcendental argument to justify Kant’s infamous claim “man is evil by nature.” The cornerstone of my reconstruction lies in drawing a systematic distinction between the seemingly identical concepts of “evil disposition” (böseGesinnung) and “propensity to evil” (Hang zumBösen). The former, I argue, Kant reserves to describe the fundamental moral outlook of a single individual; the latter, the moral orientation of the whole species. Moreover, the appellative “evil” ranges over two different types of moral (...) failure: while an “evil disposition” is a failure to realize the good (i.e., to adopt the motive of duty as limiting condition for all one’s desires), an “evil propensity” is a failure to realize the highest good (i.e., to engage in the collective project of transforming the legal order into an ethical community). This correlation between units of moral analysis and types of obligation suggests a way to offer a deduction of the universal propensity on behalf of Kant. It consists in tracing the source of radical evil to the same subjective necessity that gives rise to the doctrine of the highest good. For, at the basis of Kant’s two doctrines lies the same natural dialectic between happiness and morality. While the highest good brings about the critically acceptable resolution of this dialectic, the propensity to evil perpetuates and aggravates it. Instead of connecting happiness and morality in an objective relation, the human will subordinatesmorality to the pursuit of happiness according to the subjective order of association. If this reading is correct, it would explain why prior attempts at a transcendental deduction have failed: interpreters have looked for the key to the deduction in the body of Kant’s text, where it is not to be found, for it is tucked, instead, in the Preface to the first edition. (shrink)

Recent developments of transcendental arguments reflect the struggle to accommodate Stroud’s devastating objection by giving up on failed expectations in providing proof of what the external-world skeptic calls into question: knowledge of the existence of the outside world. Since Strawson's capitulation in 1984, the truth-direct transcendental arguments have given way to modest belief-direct transcendental arguments that concede that truth-direct transcendental arguments are doomed to fail to establish ambitious conclusions about reality but at the same time (...) hold that they can nonetheless successfully establish modest conceptual connection between the major beliefs within our conceptual scheme. This article seeks the “reactionary” rehabilitation of the old hubris: a new defense of the truth-direct transcendental argument. I set forth a new reconstruction of Kant’s Refutation as a successful truth-directed transcendental argument that meets Stroud’s objection. As with several papers and books about the theme, this article is of a systematic and a historical nature by connecting the contemporary debate about transcendental argument with Kant’s philosophy. (shrink)

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely (...) what is known as geometric logic. (shrink)

In the following paragraphs, I will describe ten strategies through which we can show the weaknesses of every form of theism based on the "One God", while postulating that the Trinity is a good solution. This approach follows up on Swinburne’s claims about the existence of a priori and a posteriori proofs for the existence of the Trinity (his proofs are part of the sixth strategy). Clearly, these strategies are not “new”: they have been advocated by many thinkers in the (...) past and in the present. I merely revived them, and brought them together in a kind of cumulative reasoning: the strength of them arises when these strategies are considered together, showing that the Trinity is a reasonable hypothesis even though it is contradictory. The proposed strategies lead to the conclusion that there must exist in God something similar to what we call ‘real relations’ and ‘multiplicity’; and in order for God to be relational, there must exist in Him some “distincts” that relate to one another. This is postulated by philosophical reasoning, not just by Revelation, and regardless of the choice to support a process metaphysics. As Trinitarian theology contains the mystery of eternal generation, the strategies do account for the fact that in philosophy we contemplate the mystery of eternal self-distinction and of all the other ‘self-actions’ of the One. The eternal generation remains mysterious, but it is the idea that best helps us describe how God is (One and Triune) and how he creates the world. God must be Triune in every theistic system. The One God is, as One, also Triune. The Unity-Trinity of the Principle is the only apophatic point that we can reach from many quarters. Once autonomous paths of reason have established that God is a Person and Persons, One-Multiple, Creator (communicated), Free, Relational and Infinite possibility, it therefore emerges that our most reliable hypothesis is that of the Trinitarian God. (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)

God's necessary existence makes sense. Attempt at a transcendental modal proof. - In this essay I outline a novel three-stage proof of God's necessary existence using transcendental and deductive methods. In the first step of the proof, by retorsion, it is proved that there is at least one sentence that is necessary and inescapable. In the second step, the inescapability of the modal logic supposed in the proof is shown. This step also contains a (...) new argument in favour of epistemic anti-realism. The third step finally proves the necessary existence of the person who proves. The proof thus refers to the subject, the object, and the method of this proof itself. (shrink)

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

In the final book of Logical Investigations from 1901, Husserl develops a theory of knowledge based on the intentional structure of consciousness. While there is some textual evidence that Husserl considered this to entail a critique of Kantian philosophy, he did not elaborate substantially on this. This paper reconstructs the covert critique of Kant’s theory of knowledge which LI contains. With respect to Kant, I discuss three core aspects of his theory of knowledge which, as Husserl’s reflections on Kant indicate, (...) Husserl was familiar with. These are the cooperation of two faculties for the justification of beliefs; the concept of a priori structures of knowledge Kant operated with; and the delivered transcendental proof of these structures. Regarding Logical Investigations, I first briefly outline the intentional structure of consciousness as presented in the fifth book and then turn to the theory of knowledge in the sixth book. I then clarify, partially on the basis of manuscripts and lecture notes, the covert critique of the three core aspects of Kant’s theory which the sixth book contains. (shrink)

"Time. Perception. Imagination. Phenomenological Studies on the Question of Time by Augustine, Kant and Husserl". (rus), SPb, 2013. Summary: The monograph is devoted to the key elements of the philosophy of time which determine the necessity of historicism in the analysis of subjectivity. The main idea which defined the composition and design of this work is to trace how the Kantian definition of time as the “form of inner sense” is revealed in Husserl’s phenomenology. The original intention was to understand (...) all three components of this definition. Firstly, what is the inner form, in terms of phenomenology, what are the principles of its constitution and how one can talk about the property of formation? Secondly, what is the meaning of the term "inner" in philosophy, where the division into internal and external has always been a formality, not affecting the essence of things? And finally, what sort of “sensibility” is assumed in transcendental science, bound to become the basis of understanding the history and culture. Presumably, these three Kantian concepts constituted the original plan to analyze the nature of cognitive capabilities of the subject, claiming the gnoseological stage on which the philosophy of time is unfolded. In other words, this work deals with the historical and philosophical analysis of the phenomenological principles by which the concept of time as developed in the twentieth century emerged in the framework of phenomenology. The analyze of the structure of the subject assumes that time, perception and imagination combine in a special type of inner synthesis, which may not be relevant to certain aspects of the method but maintain the basis for a kind of anthropology of time, in continuation of the traditional “inner” contemplation. I consider the inner structure of time with the account of philosophy of St. Augustine, who in many respects not only anticipated the conclusions of phenomenology, but also in his reflections encompassed deeper layers of inner experience. The first chapter is devoted to the doctrine of St. Augustine, in which the theory of time is analyzed in conjunction with the doctrine of “inner word”, specifics of memory representations and notion of inner sense. Additionally, I consider St. Augustine’s reflections about numbers that constitute the basis of aesthetic perception of music (De Musica). Thus, the philosophy of St. Augustine already covers the whole spectrum of anthropology of time, including the question of relation between time and eternity, which remains practically unexplored in phenomenology and serves as the proof of that in interactions between philosophy and theology the tradition remains important. The second chapter of this study is devoted to analysis of the transcendental aesthetic of Kant, which includes all the methodological possibilities of considering the category of time as a formal condition for any experience, consequentially serving as a foundation for further logical development by Husserl, which includes the critical disengagement of the founder of phenomenology from Kant's transcendentalism. Particular attention is paid to the origin of the concept of inner sense, as well as possible interpretations of the function of imagination, which as a transcendental ability remains the most interesting type of synthesis. Handwritten fragments of Kant’s works are also of interest to the character of the imagery as considered in detail by Husserl. Chapter three discusses the phenomenology of inner time consciousness, represented in those important aspects, without which it is impossible to speak about the internal structure of temporal experience - the subjectivity of time, retention, "living present", and the character of synthesis. Particular attention is paid to Husserl's polemics with those representatives of psychological branch in the studies of consciousness, whose ideas greatly influenced the very motivation for creating the method. Apart from the well-known criticism of Brentano, the third chapter highlights the rarely analyzed psychological ideas that motivated the choice of Husserl’s terminology - the "Präsenzzeit” by W. Stern, the "psychological analysis" by A. Meinong, and the “fusion” (Verschmelzung) by K. Stumpf. Chapter four deals with the need to analyze the specifics of image as an element of consciousness and imagery as such, which includes a system of objectified acts. Thus is revealed the very nature of synthetic connections in the acts of consciousness, as well as the presumably imaginative character of the constitution of temporal form. (shrink)

There are passages in Kant’s writings according to which empirical intuitions have to be (a) singular, (b) object-dependent, and (c) immediate. It has also been argued that empirical intuitions (d) are not truth-apt, and (e) need to provide the subject with a proof of the possibility of the cognized object. Having relied on one or another of the a-e constraints, the naïve realist readers of Kant have argued that it is not possible for empirical intuitions to be representations. Instead (...) they have argued for a relationalist reading of empirical intuitions in terms of an acquaintance relation between the subject and the intuited object. -/- For the sake of argument, I will grant the naïve realist reader of Kant that empirical intuitions should satisfy all the a-e constraints. Nevertheless, by incorporating these constraints, one by one, into a representationalist theory of empirical intuitions, I will show that not only doesn’t a naïve realist reading of empirical intuitions follow, but also that the naïve realist has hastily overlooked a range of perfectly representationalist readings of intuitions available to Kant and his representationalist allies. On the positive side, I will argue that there is an extra constraint on intuitions—i.e., that givenness does not require presence to consciousness—that directly goes against any naïve realist account of intuitions. (shrink)

In the first part of the paper I reconstruct Kant’s proof of the existence of a ‘most real being’ while also highlighting the theory of modality that motivates Kant’s departure from Leibniz’s version of the proof. I go on to argue that it is precisely this departure that makes the being that falls out of the pre-critical proof look more like Spinoza’s extended natura naturans than an independent, personal creator-God. In the critical period, Kant seems to think (...) that transcendental idealism allows him to avoid this conclusion, but in the last section of the paper I argue that there is still one important version of the Spinozistic threat that remains. -/- . (shrink)

What is the highest good actually good for in Kant’s third Critique? While there are well-worked out answers to this question in the literature that focus on the highest good’s practical importance, this paper argues that there is an important function for the highest good that has to do exclusively with contemplation. This important function becomes clear once one notices that coherent [konsequent] thinking, for Kant, was synonymous with "bündiges" thinking, and that both are connected with the highest good in (...) the third Critique’s moral proof for God’s existence. I show that the original meaning of "bündig," which is from the carpentry trade and has been forgotten, illuminates the stakes of the highest good in Kant’s system. For us, as proverbial carpenters of reason, coherence is essential for the intellectual activity of constructing a philosophical worldview in his transcendental idealism. I motivate the reading further by showing how this function can neatly reconstruct Kant’s proof for God’s existence in the third Critique. I conclude by sketching Kant’s reasons for why the project of creating a coherent worldview grounded in the highest good is worth the labor costs. (shrink)

The first part of this paper surveys five perspectives in Kant’s philosophy on the quantity of retribution to be inflicted on wrongdoers, ordered by two dimensions of difference – whether they are theoretical or practical perspectives, and the quantity of retribution they prescribe: (1) theoretical zero, the perspective of theoretical philosophy; (2) practical infinity, the perspective of God and conscience; (3) practical equality, the perspective of punishment in public law; (4) practical degrees, the perspective we adopt in private relations to (...) others and (5) practical zero, a perspective I argue is entailed by Kant’s doctrine of strict right, which is his justification of coercing compliance with public law. Kant acknowledges 1–4 but not 5. The second part draws on Kant’s account of the burden of proof in criminal law to argue that Kant is wrong to adopt 3 in responding to criminals, and that we ought to adopt 5 instead. (shrink)

The story of eternity is not as simple as a secularization narrative implies. Instead it follows something like the trajectory of reversal in Kant’s practical proof for the existence of god. In that proof, god emerges not as an object of theoretical investigation, but as a postulate required by our practical engagement with the world; so, similarly, the eternal is not just secularized out of existence, but becomes understood as an entailment of, and somehow imbricated in, the conditions (...) of our practical existence. -/- The sections that follow discuss some of those central figures in modern European philosophy whose views prominently feature some consideration of eternity. I start with Kant in section I. Kant’s critique of speculative theology is well-known, and this hostility would appear to make it unlikely that the eternal, with all its theological baggage, would feature prominently in Kant’s critical philosophy. But in fact Kant’s transcendental idealism endorses no fewer than three different concepts of the eternal, including what turns out to be the most historically influential idea: that practical reason involves a kind of eternal, non-temporal action. Kant shifts this notion of a non-temporal act from its original theological context of god’s actus purus to a practical context, setting the stage for Schelling’s and Kierkegaard’s later development of this theme. Before detailing this trajectory however, section II is devoted to Hegel, the philosopher whose radical historicism is perhaps more than any other thinker responsible for making “the nineteenth century preeminently the historical century.”4 Hegel is not fertile soil for the concept of the eternal, but his historicism does turn out, at a crucial moment in the philosophy of nature, to presuppose a certain conception of eternity as an eternal present. Perhaps more importantly for the further development of eternity in nineteenth century thought however is that both Schelling and Kierkegaard situate their views of the eternal in the context of a collective rejection of Hegel. Section III discusses Schelling, who returns to Kant’s conception of non-temporal choice, seeing human capacities for free eternal self-creation as rivaling god’s. Such powers are required, Schelling argues, to resist the sublimation of the individual human person into the blankness of the Absolute. Section IV briefly consider Schopenhauer’s view that the in-itself of everything is an endlessly striving will. Section V concerns Kierkegaard who is strongly committed to the eternal, and indeed criticizes Hegel for compromising his conception of the eternal by thinking it temporally; but he is obsessed by the paradoxical question of our practical “access” to the eternal within a particular temporal moment: the decisive moment, imbued with significance that can turn life around and create a new person, pushing Schelling’s concerns even further. The remaining, shorter sections, present briefer accounts of more recent figures who make important use of some conception of the eternal: Nietzsche’s eternal return (section VI), Agamben’s (1942-) theory of sovereignty (section VII) and finally Alain Badiou’s unapologetic attempt to resuscitate eternity as the condition of revolutionary political change (Section VIII). I end with a concluding meditation (Section IX). (shrink)

I distinguish two theses regarding technological successors to current humans (posthumans): an anthropologically bounded posthumanism (ABP) and an anthropologically unbounded posthumanism (AUP). ABP proposes transcendental conditions on agency that can be held to constrain the scope for “weirdness” in the space of possible posthumans a priori. AUP, by contrast, leaves the nature of posthuman agency to be settled empirically (or technologically). Given AUP there are no “future proof” constraints on the strangeness of posthuman agents. -/- In Posthuman Life (...) I defended AUP via a critique of Donald Davidson’s work on intentionality and a “naturalistic deconstruction” of transcendental phenomenology (See also Roden 2013). In this paper I extend this critique to Robert Brandom’s account of the relationship between normativity and intentionality in Making It Explicit (MIE) and in other writings. -/- Brandom’s account understands intentionality in terms of the capacity to undertake and ascribe inferential normative commitments. It makes “first class agency” dependent on the ability to participate in discursive social practices. It implies that posthumans – insofar as they qualify as agents at all – would need to be social and discursive beings. -/- The problem with this approach, I will argue, is that it replicates a problem that Brandom discerns in Dennett’s intentional stance approach. It tells us nothing about the conditions under which a being qualifies as a potential interpreter and thus little about the conditions for meaning, understanding or agency. -/- I support this diagnosis by showing that Brandom cannot explain how a non-sapient community could bootstrap itself into sapience by setting up a basic deontic scorekeeping system without appealing (along with Davidson and Dennett) to the ways in which an idealized observer would interpret their activity. -/- This strongly suggests that interpretationist and pragmatist accounts cannot explain the semantic or the intentional without regressing to assumptions about ideal interpreters or background practices whose scope they are incapable of delimiting. It follows that Anthropologically Unbounded Posthumanism is not seriously challenged by the claim that agency and meaning are “constituted” by social practices. -/- AUP implies that we can infer no claims about the denizens of “Posthuman Possibility Space” a priori, by reflecting on the pragmatic transcendental conditions for semantic content. We thus have no reason to suppose that posthuman agents would have to be subjects of discourse or, indeed, members of communities. The scope for posthuman weirdness can be determined by recourse to engineering alone. (shrink)

The nature of Kant’s criticism of his pre-Critical ‘possibility proof’ for the existence of God, implicit in the account of the Transcendental Ideal in the Critique of Pure Reason, is still under dispute. Two issues are at stake: the error in the proof and diagnosis of the reason for committing it. I offer a new way to connect these issues. In contrast with accounts that locate the motivation for the error in reason’s interest in an unconditioned causal (...) ground of all contingent existence, I argue that it lies in reason’s interest in another kind of unconditioned ground, collective unity. Unlike the conception of the former, that of the latter directly explains the problematic ontological assumption of the possibility proof, the existence of intelligible objects as the ground of possibility. I argue that such Platonic entities are assumed because they are amenable to the kind of unity prescribed by reason. However, since the interest in collective unity has a legitimate regulative use when applied to the systematic unity of nature, the conception of God entailed by the possibility proof is retained as a regulative idea of reason. (shrink)

Can we find propositions that cannot rationally be denied in any possible world without assuming the existence of that same proposition, and so involving ourselves in a contradiction? In other words, can we find transworld propositions needing no further foundation or justification? Basically, three differing positions can be imagined: firstly, a relativist position, according to which ultimately founded propositions are impossible; secondly, a meta-relativist position, according to which ultimately founded propositions are possible but unnecessary; and thirdly, an absolute position, according (...) to which such propositions are necessary. In this short essay I show that under the premise of modal logic S5 with constant domain there are ultimately founded propositions and that their existence is even necessary, and I will give some reasons for the superiority of S5 over other logics. (shrink)

In this article we provide a mathematical model of Kant?s temporal continuum that satisfies the (not obviously consistent) synthetic a priori principles for time that Kant lists in the Critique of pure Reason (CPR), the Metaphysical Foundations of Natural Science (MFNS), the Opus Postumum and the notes and frag- ments published after his death. The continuum so obtained has some affinities with the Brouwerian continuum, but it also has ‘infinitesimal intervals’ consisting of nilpotent infinitesimals, which capture Kant’s theory of rest (...) and motion in MFNS. While constructing the model, we establish a concordance between the informal notions of Kant?s theory of the temporal continuum, and formal correlates to these notions in the mathematical theory. Our mathematical reconstruction of Kant?s theory of time allows us to understand what ?faculties and functions? must be in place for time to satisfy all the synthetic a priori principles for time mentioned. We have presented here a mathematically precise account of Kant?s transcendental argument for time in the CPR and of the rela- tion between the categories, the synthetic a priori principles for time, and the unity of apperception; the most precise account of this relation to date. We focus our exposition on a mathematical analysis of Kant’s informal terminology, but for reasons of space, most theorems are explained but not formally proven; formal proofs are available in (Pinosio, 2017). The analysis presented in this paper is related to the more general project of developing a formalization of Kant’s critical philosophy (Achourioti & van Lambalgen, 2011). A formal approach can shed light on the most controversial concepts of Kant’s theoretical philosophy, and is a valuable exegetical tool in its own right. However, we wish to make clear that mathematical formalization cannot displace traditional exegetical methods, but that it is rather an exegetical tool in its own right, which works best when it is coupled with a keen awareness of the subtleties involved in understanding the philosophical issues at hand. In this case, a virtuous ?hermeneutic circle? between mathematical formalization and philosophical discourse arises. (shrink)

The article discusses some facts of C. G. Jung's direct appeal to the ideas of I. Kant. The main part of the article is preceded by statistical data on the mention of various philosophers in the Collected Works of Jung. It is not surprising that Kant leads in the number of links to his ideas or personality in Jung’s heritage. Then I show examples of the mention of Kant in Jung’s correspondence, which allow understand the fundamental philosophical background of analytical (...) psychology better. For this purpose in particular I give excerpts from which it becomes clear that the creator of the analytical psychology, unlike his predecessor C. G. Carus, never hypostasized the collective unconscious, because Jung believed that this is a thing in itself. Also by correspondence it is clear that Jung grasped Kant’s criticism of the rational proofs of existence of God well. Then I point out how apriorism is manifested in analytical psychology. Also I explain briefly how to understand that archetypes and instincts are necessary a priori conditions for the formation of psychic experience. In conclusion, the reasons are given for which Kant and Jung rejected the fundamental possibility of the existence of psychology in the status of strict science. -/- В статье рассматриваются некоторые факты прямого обращения К. Г. Юнга к идеям И. Канта. Основная часть статьи предваряется статистическими данными по упоминанию различных философов в 20-томном академическом собрании сочинений Юнга. Совершенно не удивительно, что по количеству ссылок лидирует Кант. Далее приводятся конкретные примеры упоминания родоначальника немецкой классической философии в переписке Юнга, что позволяет лучше понять фундаментальную философскую подоплёку аналитической психологии. Так, приводятся отрывки, из которых становится ясно, что создатель аналитической психологии, в отличие от своего предшественника К. Г. Каруса, никогда не гипостазировал коллективное бессознательное, считая, что это вещь в себе. Также по переписке видно, что Юнг усвоил произведённую Кантом критику доказательств бытия Божия. Затем в статье указывается, каким образом в аналитической психологии проявляется априоризм. Кратко объясняется, как следует понимать то, что архетипы и инстинкты являются необходимыми априорными условиями формирования психического опыта. В заключение приводятся основания, по которым Кант и Юнг отвергали принципиальную возможность существования психологии в статусе строгой науки, и которые до сих пор не преодолены. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. Social science, liberal arts, history, and philosophy are meant first of all. That kind of theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted (...) rather a metamathematical axiom about the relation of mathematics and reality. The main statement is formulated as follows: Any scientific theory admits isomorphism to some mathematical structure in a way constructive. Its investigation needs philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. The sketch of the proof is organized in five steps: a generalization of epoché; involving transfinite induction in the transition between Peano arithmetic and set theory; discussing the finiteness of Peano arithmetic; applying transfinite induction to Peano arithmetic; discussing an arithmetical model of reality. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. The present paper follows a pathway grounded on Husserl’s phenomenology and “bracketing reality” to achieve the generalized arithmetic necessary for the principle to be founded in alternative ontology, in which there is no reality external to mathematics: reality is included within mathematics. That latter mathematics is able to self-found itself and can be called Hilbert mathematics in honour of Hilbert’s program for self-founding mathematics on the base of arithmetic. The principle of universal mathematizability is consistent to Hilbert mathematics, but not to Gödel mathematics. Consequently, its validity or rejection would resolve the problem which mathematics refers to our being; and vice versa: the choice between them for different reasons would confirm or refuse the principle as to the being. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. The Schrödinger equation in quantum mechanics is involved to illustrate that ontology. Thus the problem which of the two mathematics is more relevant to our being is discussed again in a new way A few directions for future work can be: a rigorous formal proof of the principle as an independent axiom; the further development of information ontology consistent to both kinds of mathematics, but much more natural for Hilbert mathematics; the development of the information interpretation of quantum mechanics as a mathematical one for information ontology and thus Hilbert mathematics; the description of consciousness in terms of information ontology. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs (...) philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. A comparison to Mach’s doctrine is used to be revealed the fundamental and philosophical reductionism of Husserl’s phenomenology leading to a kind of Pythagoreanism in the final analysis. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. Thus the problem which of the two mathematics is more relevant to our being is discussed. An information interpretation of the Schrödinger equation is involved to illustrate the above problem. (shrink)

The study pursues, in a historical as well as in a systematic-analytical way, the reading of Descartes' philosophy as a project of a fundamental critique of theology and transcendence. Besides the exclusion of everything 'theological' from the field of rational discourse and its relegation to the field of fideism, this also involves the reinterpretation of the concept of 'God' as Descartes uses it, in a sense that is to be purified of transcendental, but especially of theistic implications.

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...) This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

‘Performative’ transcendental arguments exploit the status of a subcategory of self-falsifying propositions in showing that some form of skepticism is unsustainable. The aim of this paper is to examine the relationship between performatively inconsistent propositions and transcendental arguments, and then to compare performative transcendental arguments to modest transcendental arguments that seek only to establish the indispensability of some belief or conceptual framework. Reconceptualizing transcendental arguments as performative helps focus the intended dilemma for the skeptic: performative (...) transcendental arguments directly confront the skeptic with the choice of abandoning either skepticism or some other deep theoretical commitment. Many philosophers, from Aristotle and St. Thomas Aquinas to Jaakko Hintikka, C.I. Lewis, and Bernard Lonergan, have claimed that some skeptical propositions regarding knowledge, reason, and/or morality can be shown to be self-defeating; that is to say, they have claimed that the very upholding of some skeptical position is in some way incompatible with the position being upheld, or with the implied, broader dialectical position of the skeptic in question. Statements or propositions alleged to have this characteristic also sometimes are called ‘self-falsifying,’ ‘self-refuting,’ ‘self-stultifying,’ ‘self-destructive,’ or ‘pointless.’ However, proponents of the strategy of showing skepticism to be self-defeating have not in general adequately distinguished between two types of self-defeating proposition: self-falsifying and self-stultifying. In the first part of this paper I distinguish between self-falsifying and self-stultifying propositions, and introduce the notion of performative self-falsification. In the second part I discuss classical transcendental arguments, ‘modest’ transcendental arguments, and objections to each. In the third part I introduce two types of transcendental argument—each labeled “performative”—corresponding to two types of performatively self-falsifying proposition, and I compare them to modest transcendental arguments. (shrink)

The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation (...) schemes, in particular, as a methodology for the study of mathematical practice is thereby demonstrated. Argumentation schemes represent an almost untapped resource for mathematics education. Notably, they provide a consistent treatment of rigorous and non-rigorous argumentation, thereby working to exhibit the continuity of reasoning in mathematics with reasoning in other areas. Moreover, since argumentation schemes are a comparatively mature methodology, there is a substantial body of existing work to draw upon, including some increasingly sophisticated software tools. Such tools have significant potential for the analysis and evaluation of mathematical argumentation. The first four sections of the paper address the relationships of evidence to proof, proof to derivation, argument to proof, and argument to evidence, respectively. The final section directly addresses some of the educational implications of an argumentation scheme account of mathematical reasoning. (shrink)

The chapter discusses Quentin Meillassoux's recent interpretation and critique of Heidegger's philosophical position, which he describes as "strong correlationism." It emphasizes the fact that Meillassoux situates Heidegger in the post-Kantian tradition of transcendental idealism that he defines in terms of a focus on the correlation between being and thinking. It is argued that Meillassoux's "speculative" attempt to overcome the Kantian philosophical framework in the name of absolute contingency should be understood as a further development and dialectical overcoming of its (...) ultimate contemporary form, the Heideggerian philosophy of finitude. (shrink)

Transcendental philosophy was not born like Athena out of Zeus’s head, mature and in full armour from the very beginning. That is why in both prefaces to the Critique of Pure Reason (1781 and 1787) Kant introduces the concept of transcendental philosophy as an “idea.” The idea understood architectonically develops slowly and only gradually acquires a definite form. As witnessed by the works of Kant himself and of his predecessors and followers, the idea of transcendental philosophy has (...) undergone a series of changes and adjustments compared to the initial plan. In this context, my goal is not simply exegesis and historical investigation of transcendental philosophy, but also to look at it from a systematic and methodological perspective. I examine the concept of transcendental philosophy from the viewpoint of programmatic metaphilosophy. The first part discusses programmatics as a distinct subsection of metaphilosophy. I argue that Kant’s architectonic methodology and the methodology of Lakatos can be used to understand the inception, development and degradation of philosophical systems. In the second part I look at the project of transcendental philosophy and the stages of its development from the standpoint of architectonics. The third part shows that Lakatos’s methodology can provide a detailed insight into the elements of transcendental philosophy, a clear idea of its logic and identify the component parts that can be improved and developed. In spite of the different levels of detailing and epistemological prerequisites, the methodologies of Kant and Lakatos can be combined to achieve a metaphilosophically informed and progressive understanding of philosophical projects. (shrink)

Should we use the same standard of proof to adjudicate guilt for murder and petty theft? Why not tailor the standard of proof to the crime? These relatively neglected questions cut to the heart of central issues in the philosophy of law. This paper scrutinises whether we ought to use the same standard for all criminal cases, in contrast with a flexible approach that uses different standards for different crimes. I reject consequentialist arguments for a radically flexible standard (...) of proof, instead defending a modestly flexible approach on non-consequentialist grounds. The system I defend is one on which we should impose a higher standard of proof for crimes that attract more severe punishments. This proposal, although apparently revisionary, accords with a plausible theory concerning the epistemology of legal judgments and the role they play in society. (shrink)

Logic diagrams have seen a resurgence in their application in a range of fields, including logic, biology, media science, computer science and philosophy. Consequently, understanding the history and philosophy of these diagrams has become crucial. As many current diagrammatic systems in logic are based on ideas that originated in the 18th and 19th centuries, it is important to consider what motivated the use of logic diagrams in the past and whether these reasons are still valid today. This paper proposes that (...) transcendental philosophy was a key inspiration for the development of logic diagrams and that such diagrams can be employed in transcendental arguments, even after the linguistic turn. (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)

Which rules for aggregating judgments on logically connected propositions are manipulable and which not? In this paper, we introduce a preference-free concept of non-manipulability and contrast it with a preference-theoretic concept of strategy-proofness. We characterize all non-manipulable and all strategy-proof judgment aggregation rules and prove an impossibility theorem similar to the Gibbard--Satterthwaite theorem. We also discuss weaker forms of non-manipulability and strategy-proofness. Comparing two frequently discussed aggregation rules, we show that “conclusion-based voting” is less vulnerable to manipulation than “premise-based (...) voting”, which is strategy-proof only for “reason-oriented” individuals. Surprisingly, for “outcome-oriented” individuals, the two rules are strategically equivalent, generating identical judgments in equilibrium. Our results introduce game-theoretic considerations into judgment aggregation and have implications for debates on deliberative democracy. (shrink)

In this dissertation, we shall investigate whether Tennant's criterion for paradoxicality(TCP) can be a correct criterion for genuine paradoxes and whether the requirement of a normal derivation(RND) can be a proof-theoretic solution to the paradoxes. Tennant’s criterion has two types of counterexamples. The one is a case which raises the problem of overgeneration that TCP makes a paradoxical derivation non-paradoxical. The other is one which generates the problem of undergeneration that TCP renders a non-paradoxical derivation paradoxical. Chapter 2 deals (...) with the problem of undergeneration and Chapter 3 concerns the problem of overgeneration. Chapter 2 discusses that Tenant’s diagnosis of the counterexample which applies CR−rule and causes the undergeneration problem is not correct and presents a solution to the problem of undergeneration. Chapter 3 argues that Tennant’s diagnosis of the counterexample raising the overgeneration problem is wrong and provides a solution to the problem. Finally, Chapter 4 addresses what should be explicated in order for RND to be a proof-theoretic solution to the paradoxes. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings (...) of modal operators in terms of rules of inference. (shrink)

Smith argues that, unlike other forms of evidence, naked statistical evidence fails to satisfy normic support. This is his solution to the puzzles of statistical evidence in legal proof. This paper focuses on Smith’s claim that DNA evidence in cold-hit cases does not satisfy normic support. I argue that if this claim is correct, virtually no other form of evidence used at trial can satisfy normic support. This is troublesome. I discuss a few ways in which Smith can respond.

The standard of proof in criminal trials in many liberal democracies is proof beyond a reasonable doubt, the BARD standard. It is customary to describe it, when putting a number on it, as requiring that the fact finder be at least 90% certain, after considering the evidence, that the defendant is guilty. Strikingly, no good reason has yet been offered in defense of using that standard. A number of non-consequentialist justifications that aim to support an even higher standard (...) have been offered; all are morally unsound. Meanwhile, consequentialist arguments plausibly support a substantially lower standard — in some cases so low as to undermine the idea that punishment is what is at stake. In this paper, I offer a new retributive justification that supports excluding the instrumental benefits of punishment from the balance that sets the standard. The resulting balance supports a standard arguably in the ballpark of the customary understanding of BARD: a standard requiring that the fact finder have a high, though not maximally high, degree of confidence that the defendant is guilty. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of (...) finite-valued first order logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to (...) allow double negation elimination for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

: According to Kant, the arguments of rational psychology are formal fallacies that he calls transcendental paralogisms. It remains heavily debated whether there actually is any formal error in the inferences Kant presents: according to Grier and Allison, they are deductively invalid syllogisms, whereas Bennett, Ameriks, and Van Cleve deny that they are formal fallacies. I advance an interpretation that reconciles these extremes: transcendental paralogisms are sound in general logic but constitute formal fallacies in transcendental logic. By (...) formalising the paralogistic inference, I will pinpoint the error as an illegitimate existential presupposition. Since - unlike transcendental logic - general logic abstracts from all objects, this error can only be detected in transcendental logic. (shrink)

A characterization of transcendental arguments is proffered, whereby they yield conclusions about how things are via intermediate conclusions about how we must think that they are. A variant kind of argument is then introduced. Arguments of this variant kind are dubbed ‘conative’ transcendental arguments: these yield conclusions about how it is desirable for things to be via intermediate conclusions about how we must desire that they are. The prospects for conative transcendental arguments are considered. It is argued (...) that, although they can never be of practical use, they may nevertheless be of use in dissolving certain applications of the debate—initiated by Bernard Williams—about whether anyone can have an ‘external’ reason to do anything, that is to say a reason that is not grounded in some desire of the person’s, in a suitably broad sense of ‘desire’. The relevance of conative transcendental arguments to this debate is that they highlight desires that we cannot help having and with respect to which the debate lacks any suitable focus. In the final section of the essay five conative transcendental arguments deriving from the work of five moral philosophers are briefly considered. (shrink)

Lonergan’s treatment of transcendental method in the first chapter of <Method in Theology> presents a bit of a puzzle. Something about heightening consciousness at the level of experience is different from the reflexive operations by which we objectify this heightened experience. Lonergan’s summary statement of transcendental method makes no explicit reference to what this difference is. In this paper, I work out an interpretation of transcendental method in which I relate the problem of being explicit about heightening (...) consciousness at the level of experience to the problem of objectifying the subject-as-subject: both are a matter of performance. In this regard I identify a performative mode of subjective operation – in addition to the direct and introspective modes that Lonergan identifies in <Insight> – and develop an account of this mode of operation as it is manifested experientially in feelings and existentially in action. I relate the notion of feelings as data of consciousness to Lonergan’s account of the unity-in-tension of human consciousness, various forms and degrees of tension being the primary feeling-states of conscious experience. Finally, I note the significance of transcendental method in action with regard to understanding the subtleties of subject-to-subject communication in the encounter of patient and clinician as part of a philosophy of health on which I am working. (shrink)