In the presentation I will analyse Kant’s conception of modalities and consider its relevance to his critical metaphysics. With his Tables of Judgements and of Categories Kant makes an important division between two kinds of modality, of which the former is only logical and the latter transcendental, i.e., objective. Only judgements that are necessary in both ways are properly metaphysical. This distinction is important for Kant’s distinction between Transcendental Analytic and Transcendental Dialectic, i.e., between acceptable and (...) unacceptable metaphysics. I submit that not only is Kant’s theory of modality useful for properly understanding his arguments in the Dialectic, but that only by distinguishing between the two types of modality can one can make sense of his theory that the ideas of reason are simultaneously inevitable and erroneous. This modal analysis thus offers a new and important point of view to Kant’s metaphysics and its critique. (shrink)

This paper draws out and connects two neglected issues in Kant’s conception of a priori knowledge. Both concern topics that have been important to contemporary epistemology and to formal epistemology in particular: knowability and luminosity. Does Kant commit to some form of knowability principle according to which certain necessary truths are in principle knowable to beings like us? Does Kant commit to some form of luminosity principle according to which, if a subject knows a priori, then they can know that (...) they know a priori? I defend affirmative answers to both of these questions, and by considering the special kind of modality involved in Kant’s conceptions of possible experience and the essential completability of metaphysics, I argue that his combination of knowability and luminosity principles leads Kant into difficulty. (shrink)

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

Many have deemed ineluctable the tension between Husserl’s transcendental eidetics and his Crisis method of historical reflection. In this paper, I argue that this tension is an apparent one. I contend that dissolving this tension and showing not only the possibility, but also the necessity of the successful collaboration between these two apparently irreconcilable methods guarantees the very freedom of inquiry Husserl so emphatically stressed. To make this case, I draw from Husserl’s synthetic analyses of type and concept constitution (...) as well as his later work on sedimentation and streaming-in and develop a richer modal taxonomy than the one Husserl proposed. I employ this taxonomy in an examination of the structures and conditions for the possibility of transcendental eidetic variation in order to show this method’s reliance on historically sedimented epistemic and normative resources. This reliance brings to light the necessity for a methodological critique, which is precisely what I take to be the work of teleological–historical reflection as Husserl comes to conceive it in the Crisis. (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)

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

According to the ‘One Object’ reading of Kant's transcendental idealism, the distinction between the appearance and the thing in itself is not a distinction between two objects, but between two ways of considering one and the same object. On the ‘Metaphysical’ version of the One Object reading, it is a distinction between two kinds of properties possessed by one and the same object. Consequently, the Metaphysical One Object view holds that a given appearance, an empirical object, is numerically identical (...) to the thing in itself that appears as that object. I raise various indiscernibility arguments against that view; because an appearance has different spatiotemporal and modal properties than a thing in itself, no appearance can be identical to a thing in itself. I point out that these arguments are similar to arguments against Monism, the view that material objects are numerically identical to the matter of which they are made. I outline some strategies Monists have developed to respond to these indiscernibility arguments and then develop parallel responses on behalf of the Metaphysical One Object view. However, I then raise another indiscernibility argument, to which, I argue, the Metaphysical One Object view cannot respond, even using the resources I have developed thus far. I develop a modified version of the Metaphysical One Object view that can respond to this new indiscernibility argument, but, I argue, this modified version of the One Object view is only a terminological variant of the Two Object view. When the Metaphysical One Object view is fully thought through it becomes the Two Object view. I conclude that Kantian appearances are not numerically identical to the things in themselves that appear to us. (shrink)

Autologos. A dialogue on fundamental logic. - In this dialogue of three dialogue partners, an attempt is made to prove the logical prerequisites of any meaningful dialogue by using transcendental arguments. Among these inescapable logical premises are a semantics as strong as that of modal logic S5, and an epistemic anti-realism.

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 (...) class='Hi'>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)

Until recently, an almost perfect parallelism seemed to hold between theories of identity through time and across possible worlds,as every account in the temporal case(endurantism,perdurantism, exdurantism) was mirrored by a twin account in the modal case (trans-world identity, identity-via-parts, identity-via-counterparts). Nevertheless, in the recent literature, this parallelism has been broken because of the implementation in the debate of the relation of location. In particular, endurantism has been subject to a more in-depth analysis, and different versions of it, corresponding to different (...) ways an entity can be located in time, emerged. In this article, we provide a precise map of the conceptions at stake, complete the debate by introducing a version of endurantism not yet considered in the debate — we call transcendentism — and show that it allows us to provide an effective interpretation of the relation of trans-world identity and an intuitive solution in the temporal case. (shrink)

I take up two questions raised by Luz Christopher Seiberth's meticulous reconstruction of Wilfrid Sellars's theory of intentionality. The first is whether we should regard Sellars as a transcendental phenomenalist in the most interesting sense of the term: as denying that even an ideally adequate conceptual structure would enable us to represent worldly objects as they are in themselves. I agree with Seiberth that the answer is probably yes, but I suggest that this is due not to Sellars's rejection (...) of the Myth of the Given or appeal to image-models (as Seiberth maintains), but to his view of modality as categorial but as absent from the world an sich. The second is whether, as Richard Rorty complained, Sellars's appeal to picturing lands his theory of intentionality in intractable skepticism. Pace Seiberth, I argue that the transcendental role of picturing does not mitigate this problem, and I suggest that Sellars's most fruitful resource for doing so is not his semantic externalism, but his purely pragmatic response to skepticism. (shrink)

This paper is concerned with some aspects of Kant’s transcendental idealism, in particular the claim that objects of experience are nothing but representations in us, and its connection to the distinction of things in themselves and appearances. This claim has prompted phenomenalist readings which have rightly been rejected almost unanimously. Instead it has been suggested to account for Kant’s distinction in terms of mind-dependent or subject-relativized properties and properties which are not mind-dependent or subject-relativized. Along this line, the “nothing (...) but representation”-claim is then sometimes understood in terms of the secondary-quality analogy, which Kant endorses in the Prolegomena, but rejects in the first Critique. As an alternative, I attempt to interpret Kant along the lines of Suárez’s formal/objective distinction and Scotus’s modal explication of being. (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)

Following Elizabeth Anscombe, rights exist within practices. A right consists in a bundle of possible and impossible moves within the relevant social 'game', e.g. the practice of private property. What becomes of basic rights on such a social-constructivist conception? Metaphysically, basic rights do not differ from other rights. The right not to be murdered, however, enjoys a transcendental status within Anscombe's moral philosophy, and this construction might extend to other basic rights: Since practical reasoning is directed at the good (...) life, there can be no sound practical inference concluding in murder. Anscombe's argument for this presupposes a particular conception of human dignity, which is quite similar to the dominant conception in contemporary human rights literature. (shrink)

The aim of the Schematism chapter of the Critique of Pure Reason is to solve the problem posed by the “inhomogeneity” of intuitions and categories: the sensible properties of objects represented in intuition are of a different kind than the properties represented by categories. Kant's solution is to introduce what he calls “transcendental schemata,” which mediate the subsumption of objects under categories. I reconstruct Kant's solution in terms of two substantive premises, which I call Subsumption Sufficiency (i.e., that subsuming (...) an object under a transcendental schema is sufficient to subsume it under the corresponding category) and Real Possibility (i.e., that it is really possible to subsume objects under each of the transcendental schemata). These two principles, together with a trivial modal one (the Subsumption-Possibility Link), entail that it is possible to subsume objects under categories; in other words, the argument of the Schematism is valid. The main work of the paper consists in reconstructing Kant's arguments for, and explanations of, these premises. I argue that they hinge on Kant's claim that transcendental schemata are “time-determinations,” which I interpret to mean: rules for reflexively representing the temporal relations among our own representational states. On the basis of this reading, I reconstruct Kant's argument for Subsumption Sufficiency, category by category. I also explain why Real Possibility follows almost immediately. Granting Kant the argument up to this point in the Critique, the argument of the Schematism is sound. (shrink)

Husserl famously argues that it is essential to perception to present the perceived object in perspectives. Hence, there is no – and there cannot be – perception without perspectival givenness. Yet, it seems that there are counterexamples to this essentialist claim, for we seem to be able to imagine beings that do not perceive in perspectives. Recently, there have been some accounts in the literature that critically discuss those counterexamples and assess to what extent they succeed in challenging Husserl’s essentialist (...) claim. In this paper I discuss three different answers to these counterexamples, all of them are found wanting. I offer a novel solution, taking into account some crucial findings of the contemporary debate about imagination and modality. I argue that this new solution is capable of fully vindicating Husserl’s essentialist claim. Finally, I reconstruct Husserl’s own way to treat such counterexamples, in order to showcase the notion of modality Husserlian phenomenology relies on. I argue for the hitherto widely underappreciated point that Husserl’s transcendental phenomenology cannot appeal to strictly absolute modality but that the kind of modality in Husserlian phenomenology is conditional on the facticity that we have the transcendental structure we do in fact have. (shrink)

How should we understand the relationship between the contents of our color, causal, modal, and evaluative beliefs, on the one hand, and color, causal, modal, and evaluative properties, on the other? According to Barry Stroud (2011), because of the nature of the contents of those types of beliefs, we should also think that what he calls a “negative metaphysical verdict” on the latter is not one that we could consistently maintain. The metaphysical project aims to arrive at an improved conception (...) of ourselves and our relation the world, no matter if that conception is positive or negative. But if Stroud is right that we cannot consistently arrive at the view that all of our causal, modal, and evaluative beliefs are systematically false, we will see that we cannot consistently reach the negative verdict. But failure to reach the negative verdict doesn’t mean that we have reached the positive verdict. Stroud calls this philosophical failure “metaphysical dissatisfaction”. In this paper, I argue that we can appropriate a metaepistemological response to the problem of the external world which shares its core features with Stroud’s (2000, 2011) arguments, but which nevertheless leaves us with a distinctive kind of epistemological dissatisfaction. (shrink)

In this paper we focuse on how the first Heidegger changed the essential idea of phenomenology: if the terms of intentionality, pure consciousness, transcendental subject, noema and noesis radically disappear from Heidegger’s conceptuality, what does it mean exactly? Does Heidegger preserve anything from the idea of intentionality, from Husserl’s task of clarifying the aprioristic correlation between consciousness and object, and from Husserl’s relation of foundation of intentional modalities of higher level on modalities of lower level? We want here to (...) emphasize some essential changes concerning the idea of phenomenology: the holistic structure of experience, the task of clarifying the structure of transcendance as a foundation of intentionality, and the inversion of Husserl’s relation of foundation. On the contrary, we show how Husserl’s concept of sense is essentially different from that of ideal signification. (shrink)

In ‘from times to worlds and back again: a transcendentist theory of persistence’ (henceforth TTP) Alessandro Giordani outlines five competitor views regarding the manner in which objects occupy regions along a dimension. These are: (1) classical uni-location (2) bare uni-location (3) multi-location (4) counterpart presence and (5) transcendent presence. Each view comes in both a temporal and modal version and Giordani argues that one ought to prefer transcendentism (i.e. 5) along both dimensions. According to temporal transcendentism, necessarily, no object is (...) exactly located at any region along the temporal dimension. Instead, any object, O, is derivatively present at some region, R, along the temporal dimension in virtue of bearing certain relations to something (according to TTP an event) that occupies R along that dimension. According to modal transcendentism, no object is exactly located at any region along the modal dimension. Instead, any object, O, is derivatively present at some region, R, along the modal dimension in virtue of bearing certain relations to something (according to TTP an event) that occupies R along that dimension. I argue that such a view is under motivated, and, at any rate, may not in fact offer a distinct view. (shrink)

In recent work, Robert Brandom has articulated important connections between the deontic normative statuses of entitlement and commitment and the alethic modal statuses of possibility and necessity. In this paper, I articulate an until now unexplored connection between Brandom’s core normative statuses of entitlement and commitment and the agentive modal statuses of ability and compulsion. These modals have application not only in action, but also in perception and inference, and, in both of these cases, there is a direct mapping between (...) the normative statuses that one bears towards various claims, articulated from the perspective of the attributor of commitments and entitlements, and the agentive modal statuses that one bears towards various judgments, articulated from the perspective of the undertaker of commitments. I will highlight this correspondence, focusing on the case of perception, and show how it sheds light on the account of mindedness that emerges from Brandom’s theory of discursive practice. (shrink)

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

Dynamic Theodicy (DT) is a broad concept we bring up to designate some modern Philosophical Theology attempts to reconcile the necessary and perfect existence of God with the contingent characteristics of human life. In this paper we analyze such approaches and discuss how they have become incomprehensible because the metaphysical assumptions implicit in these explanations have lost their intrinsic relation to the natural human desire for salvation. In the first part we show Charles Hartshorne's DT-model, arising from the modal logic (...) of perfection, and the modern rational problems of this position in making infinite-necessary Being (God) and finite-contingent being (human) compatible. We note that at the heart of the contradictions in this DT account is a dialectical mode of thinking that makes it difficult to find a correct solution to this dichotomy, and to assume a human desire that could be considered related to lifelong goals. In the second part, supported by the proposal of Hans Urs von Balthasar's DT, we develop the concepts of bodily vulnerability, corporeal intentionality, and natural desire for salvation, which come from an Aristotelian-Thomistic thought. This theory is established in order to build an argument, following Alasdair MacIntyre’s ethical framework, on how to make possible the recovery of a metaphysical and anthropological desire that transcends natural aging and goes beyond death. We conclude that both human dependence and the virtues that arise naturally when human beings decide to seek the good of their transcendent condition, make it possible to recover the natural desire for salvation through divine and human love. (shrink)

This dissertation is concerned with two of the largest questions that we can ask about the nature of physical reality: first, whether physical reality begin to exist and, second, what criteria would physical reality have to fulfill in order to have had a beginning? Philosophers of religion and theologians have previously addressed whether physical reality began to exist in the context of defending the Kal{\'a}m Cosmological Argument (KCA) for theism, that is, (P1) everything that begins to exist has a cause (...) for its beginning to exist, (P2) physical reality began to exist, and, therefore, (C) physical reality has a cause for its beginning to exist. While the KCA has traditionally been used to argue for God's existence, the KCA does not mention God, has been rejected by historically significant Christian theologians such as Thomas Aquinas, and raises perennial philosophical questions -- about the nature and history of physical reality, the nature of time, the nature of causation, and so on -- that should be of interest to all philosophers and, perhaps, all humans. While I am not a religious person, I am interested in the questions raised by the KCA. In this dissertation, I articulate three necessary conditions that physical reality would need to fulfill in order to have had a beginning and argue that, given the current state of philosophical and scientific inquiry, we cannot determine whether physical reality began to exist. -/- Friends of the KCA have sought to defend their view that physical reality began to exist in two distinct ways. As I discuss in chapter 2, the first way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a priori arguments meant to show that, as a matter of metaphysical necessity, the past must be finite. If the past is necessarily finite, then the past history of physical reality is necessarily finite. And if having a finite past suffices for having a beginning, then, since the past history of physical reality is necessarily finite, physical reality necessarily began to exist. I show that the arguments which have been offered thus far for the view that the past is necessarily finite do not succeed. Moreover, as I elaborate on in chapter 5, having a finite past does not suffice for having a beginning. -/- As I discuss in chapter 3, the second way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a posteriori arguments meant to show that we have empirical evidence that physical reality has a finite past history. For example, the big bang is sometimes claimed to have been the beginning of physical reality and, since we have excellent empirical evidence for the big bang, we have excellent empirical evidence for the beginning of physical reality. The big bang can be understood in two ways. On the one hand, the big bang can be understood as a theory about the history and development of the observable universe. Understood in that sense, then I agree that the big bang is supported by excellent empirical evidence and by a scientific consensus. On the other hand, some authors (particularly science popularizers, science journalists, and religious apologists) have wrongly interpreted big bang theory as a theory about the beginning of the whole of physical reality. As I argue, while a beginning of physical reality may be consistent with classical big bang theory, classical big bang theory does not provide good reason for thinking that physical reality began to exist. -/- In part II, I turn to discussing three necessary, but not necessarily sufficient, conditions for physical reality to have a beginning. Before discussing the three conditions, in chapter 4, I introduce three metaphysical accounts of the nature of time (A-theory, B-theory, and C-theory) as well as some formal machinery that will subsequently become useful in the dissertation. I introduce the first of the three conditions in chapter 5. According to the Modal Condition, physical reality began to exist only if, at the closest possible worlds without time, physical reality does not exist. I show that this condition helps us to make sense of various views in both theology and philosophy of physics. In chapter 6}, I introduce the second of my three conditions, the Direction Condition, according to which, roughly, physical reality began to exist only if all space-time points agree about the direction of time, so that all space-time points can agree that physical reality's putative beginning took place in their objective past. In chapter 7, I discuss the third condition, the Boundary Condition, according to which physical reality began to exist only if there is a past temporal boundary such that physical reality did not exist before the boundary. I show that there are two senses in which physical reality could be said to have had a past temporal boundary. Lastly, in chapter 8, I show that there is a relationship between my three conditions and classical big bang theory, even though the relationship is not the one usually identified in the literature. -/- In part III, I present four arguments for the view that, at the present stage of philosophical and scientific inquiry, we cannot know whether physical reality satisfies the three necessary conditions to have had a beginning and, consequently, we cannot know whether physical reality had a beginning. As I will prove in chapter 9, no set of observations that we currently have, when conjoined with General Relativity, entails that physical reality satisfies the Direction or Boundary Conditions. As I show in chapter 10, considerations in the philosophical foundations of statistical mechanics entail either that the Cosmos violates the Modal Condition or else that there is a transcendental condition on the possibility of our knowledge of the past that prevents our access to data we would need to gather to determine whether physical reality satisfies the Boundary Condition. In chapter 11, I show that there are a number of live cosmological models according to which physical reality does not satisfy the Boundary Condition. As long as we don't know whether any of those cosmological models are correct, we do not know whether physical reality satisfies the Boundary Condition. Lastly, I turn to confirmation theory and show that, at our present stage of inquiry, ampliative inferences for the conclusion that physical reality satisfies the Modal, Direction, and Boundary Conditions are not successful. (shrink)

A tese central deste trabalho consiste em reconstruir em bases filosóficas as linhas gerais da teoria aristotélica da verdade mostrando, a partir da análise do Livro IV da Metafísica, que esta teoria está fundada naquilo que é chamado nesta investigação de princípio transcendental de verdade, o qual é constituído pela bi- implicação modal dos princípios de não-contradição, do terceiro excluído e de identidade.

ABSTRACT: In a previous article (O’Shea 2006) I provided a concise overview of the reception of Kant’s philosophy among analytic philosophers during the periods from the ‘early analytic’ reactions to Kant in Frege, Russell, Carnap and others, to the systematic Kant-inspired works in epistemology and metaphysics of C. I. Lewis and P. F. Strawson, in particular. In this chapter I use the recently reinvigorated work of Wilfrid Sellars (1912–1989) in the second half of the twentieth century as the basis for (...) presenting some of the most familiar ‘analytic Kantian’ themes that continue to animate current debates. I also argue that the complex relationships between Sellars’ philosophy and Kant’s thought are often misunderstood. Overall the chapter examines Sellars’ analytic appropriations of Kant in three topic-areas of significant current philosophical debate: (1) conceptual analysis and the structure of human knowledge; (2) laws of nature, the causal modalities, and the pragmatic or relative a priori; and (3) the disputes concerning Kant and nonconceptual content. (shrink)

Arthur Pap worked in analytic philosophy while maintaining a strong Kantian or neo-Kantian element throughout his career, stemming from his studying with Ernst Cassirer. I present these elements in the different periods of Pap’s works, showing him to be a consistent critic of logical empiricism, which Pap shows to be incapable of superseding the Kantian framework. Nevertheless, Pap’s work is definitely analytic philosophy, both in terms of the content and the style. According to Pap, the central topics of analytic philosophy (...) concern meaning, modality, and analysis. Pap was also influenced by pragmatism, especially in his dissertation, although he does not fully embrace it in either its classical or its Quinean form. (shrink)

The purpose of this study is to propose new similarity measures namely rough variational coefficient similarity measure under the rough neutrosophic environment. The weighted rough variational coefficient similarity measure has been also defined. The weighted rough variational coefficient similarity measures between the rough ideal alternative and each alternative are xxxxx calculated to find the best alternative. The ranking order of all the alternatives can be determined by using the numerical values of similarity measures. Finally, an illustrative example has been provided (...) to show the effectiveness and validity of the proposed approach. Comparisons of decision results of existing rough similarity measures have been provided. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators and the (...) pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

Modal ontolojik argüman, Tanrı’nın varlığını sadece bilfiil gerçek olan bu dünyada değil, bütün mümkün dünyalarda göstermeye yönelik bir argümandır. Anselm’in (1033-1109) Proslogion adlı eserinin 3. bölümünde “kendisinden daha büyüğü düşünülemeyen” şeklinde tanımlanan; Tanrı’nın var olmamasının da düşünülemeyeceğini, bu yüzden de varolmamasının imkansızlığı üzerinde kurulu yeni bir argüman bulunduğunu öne süren bazı araştırmacılar, bu argümanı mümkün dünyalar semantiği yardımıyla formüle edip, “modal ontolojik argüman” şeklinde adlandırmışlardır. Çok farklı şekillerde formüle edilmiş bu argüman kabaca Tanrı’nın mümkünse zorunlu olması, dolayısıyla bilfiil gerçek olan (...) bu dünyada da var olması gerektiğini savunur. (shrink)

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are explored.

The paper defends the view that that a significant part of metaphysics should be understood as conceptual engineering, and explores its epistemological advantages and metaphysical implications. It discusses the challenge raised by moderate modal skepticism, which points out the lack of reliable methods for verifying modal statements through thought experiments. As I argue, a normative stance on metaphysical methodology, understanding it as engaging in conceptual engineering project, justifies the use of this method. By adopting an approach where the method of (...) cases offers reasons for adopting specific normative constraints on concept usage, the method becomes justifiable. Consequently, it can be employed to justify the revision of conceptual schemes and, in turn, validate certain modal claims about entities falling under the scrutinized concepts. The paper explores how this approach can methodologically enrich conceptual engineering-focused perspectives in metaphysics and examines its metaphysical consequences. In particular, it demonstrates that despite the mind-dependency of the method of cases results, it still leaves room for a metaphysically realistic viewpoint. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

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

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of (...) Fine's logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

It is widely held that metaphysical modality is the broadest non-epistemic, alethic modality, and that /a posteriori/ modal essentialist truths, like that gold has atomic number 79, enjoy the necessity of the broadest alethic modality. One prominent argument for these conclusions--given by Cian Dorr, John Hawthorne, and Juhani Yli-Vakkuri--rests upon an extremely dubious premise: that certain pairs of properties—e.g., being gold and being made of atoms containing 79 protons—are one and the very same property. The two properties (...) are seen to be distinct on independent philosophical grounds. Metaphysical modality is in fact a restricted alethic modality. In particular, mathematical modality is broader than metaphysical modality. Arguably, the broadest alethic modality is logical modality, which is distinct from metaphysical modality. Even if it is metaphysically necessary that gold have atomic number 79, there is no logical/analytical inconsistency in the supposition that it does not. (shrink)

Williamsonian modal epistemology is characterized by two commitments: realism about modality, and anti-exceptionalism about our modal knowledge. Williamson’s own counterfactual-based modal epistemology is the best known implementation of WME, but not the only option that is available. I sketch and defend an alternative implementation which takes our knowledge of metaphysical modality to arise, not from knowledge of counterfactuals, but from our knowledge of ordinary possibility statements of the form ‘x can F’. I defend this view against a criticism (...) indicated in Williamson’s own work, and argue that it is better connected to the semantics of modal language. (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)

Communication facilitates coordination, but coordination might fail if there's too much uncertainty. I discuss a scenario in which vagueness-driven uncertainty undermines the possibility of publicly sharing a belief. I then show that asserting an epistemic modal sentence, 'Might p', can reveal the speaker's uncertainty, and that this may improve the chances of coordination despite the lack of a common epistemic ground. This provides a game-theoretic rationale for epistemic modality. The account draws on a standard relational semantics for epistemic (...) class='Hi'>modality, Stalnaker's theory of assertion as informative update, and a Bayesian framework for reasoning under uncertainty. (shrink)

I critically examine the claim that modal collapse arguments against the traditional doctrine of divine simplicity (DDS) are in general fallacious. In a recent paper, Christopher Tomaszewski alleges that modal collapse arguments against DDS are invalid, owing to illicit substitutions of nonrigid singular terms into intensional contexts. I show that this is not, in general, the case. I show, further, that where existing modal collapse arguments are vulnerable to this charge the arguments can be repaired without any apparent dialectical impropriety. (...) I conclude that the genuine debate over modal collapse and divine simplicity and modal collapse is substantially a controversy over the metaphysics of divine action, and that this constitutes a fruitful direction in which to take future discussions of the subject. (shrink)

Kriegel described the problem of intentional inexistence as one of the ‘perennial problems of philosophy’, 307–340, 2007: 307). In the same paper, Kriegel alluded to a modal realist solution to the problem of intentional inexistence. However, Kriegel does not state by name who defends the kind of modal realist solution he has in mind. Kriegel also points out that even what he believes to be the strongest version of modal realism does not pass the ‘principle of representation’ and thus modal (...) realism is not an adequate solution to the problem of intentional inexistence. In this paper, I respond to Kriegel by defending a modal realist solution that he did not consider in 2007, called ‘extended modal realism’. EMR is a version of modal realism where possible worlds are not completely isolated as they are under the Lewisian model. Rather, under EMR worlds are, in a way, spatiotemporally related. The fact EMR worlds are related allows EMR to sufficiently pass the principle of representation and thus can be deemed a legitimate solution to the problem of intentional inexistence. I conclude that either EMR can pass the principle of representation in some cases or, and I think the more sensible option, we give up on the principle of representation altogether. (shrink)

According to Amie Thomasson’s modal normativism, the function of modal discourse is to convey semantic rules. But what is a "semantic rule"? I raise three worries according to which there is no conception of a semantic rule that can serve the needs of a modal normativist. The first worry focuses on de re and a posteriori necessities. The second worry concerns Thomasson's inferential specification of the meaning of modal terms. The third worry asks about the normative status of semantic rules.

The epistemology of modality has focused on metaphysical modality and, more recently, counterfactual conditionals. Knowledge of kinds of modality that are not metaphysical has so far gone largely unexplored. Yet other theoretically interesting kinds of modality, such as nomic, practical, and ‘easy’ possibility, are no less puzzling epistemologically. Could Clinton easily have won the 2016 presidential election—was it an easy possibility? Given that she didn’t in fact win the election, how, if at all, can we know (...) whether she easily could have? This paper investigates the epistemology of the broad category of ‘objective’ modality, of which metaphysical modality is a special, limiting case. It argues that the same cognitive mechanisms that are capable of producing knowledge of metaphysical modality are also capable of producing knowledge of all other objective modalities. This conclusion can be used to explain the roles of counterfactual reasoning and the imagination in the epistemology of objective modality. (shrink)

The practice of scientific modelling often resorts to hypothetical, false, idealised, targetless, partial, generalised, and other types of modelling that appear to have at least partially non-actual targets. In this paper, I will argue that we can avoid a commitment to non-actual targets by sketching a framework where models are understood as having networks of possibilities as their targets. This raises a further question: what are the truthmakers for the modal claims that we can derive from models? I propose that (...) we can find truthmakers for the modal claims derived from models in actuality, even in the case of supposedly non-actual targets. I then put this framework to use by examining a case study concerning the modelling of superheavy elements. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

A new argument is offered which proceeds through epistemic possibility (for all S knows, p), cutting a trail from modality to Millianism, the controversial thesis that the semantic content of a proper name is simply its bearer. New definitions are provided for various epistemic modal notions. A surprising theorem about epistemic necessity is proved. A proposition p can be epistemically necessary for a knowing subject S even though p is /a posteriori/ and S does not know p. The identity (...) relation is well-behaved in metaphysically possible worlds but can go rogue in epistemically possible worlds. Whereas it can be epistemically possible that Lewis Carroll is not Charles Lutwidge Dodgson, this is not epistemically possible in the manner that anti-Millianism requires. (shrink)

Boris Kment takes a new approach to the study of modality that emphasises the origin of modal notions in everyday thought. He argues that the concepts of necessity and possibility originate in counterfactual reasoning, which allows us to investigate explanatory connections. Contrary to accepted views, explanation is more fundamental than modality.

‘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)

What does 'might' mean? One hypothesis is that 'It might be raining' is essentially an avowal of ignorance like 'For all I know, it's raining'. But it turns out these two constructions embed in different ways, in particular as parts of larger constructions like Wittgenstein's 'It might be raining and it's not' and Moore's 'It's raining and I don't know it', respectively. A variety of approaches have been developed to account for those differences. All approaches agree that both Moore sentences (...) and Wittgenstein sentences are classically consistent. In this paper I argue against this consensus. I adduce a variety of new data which I argue can best be accounted for if we treat Wittgenstein sentences as being classically inconsistent. This creates a puzzle, since there is decisive reason to think that 'Might p' is classically consistent with 'Not p'. How can it also be that 'Might p and not p' and 'Not p and might p' are classically inconsistent? To make sense of this situation, I propose a new theory of epistemic modals and their interaction with embedding operators. This account makes sense of the subtle embedding behavior of epistemic modals, shedding new light on their meaning and, more broadly, the dynamics of information in natural language. -/- . (shrink)

In this paper, I reflect on the idea, hinted at by Kant in a footnote to §16 of the B- Deduction that is not often discussed (KrV B 134n.), that transcendental logic is the ground of logic as a whole. This has important repercussions for the way we should see the role of transcendental logic with respect to the question of truth as well as the nature and scope of transcendental logic in relation to cognition, and in (...) relation to general or formal logic as such. To illustrate one of the ways in which transcendental logic is fundamental to our way of thinking, I address an issue that is brought up by Kant’’s counterfactual claim at B 132 that if a representation is not accompanied by an ‘‘I’’ thought, it is ‘‘either impossible’’ or at least ‘‘nothing for me’’, suggesting to some recent commentators that by the former Kant means the impossibility of thinking contradictory thoughts. Unlike these commentators, I do not think Kant is saying here that we cannot think contradictory thoughts. To believe he is betrays a misunderstanding of the metaphysical nature of transcendental logic, or so I shall argue. It is because transcen- dental logic is a metaphysical logic that Kant can claim that transcendental logic grounds even the whole of logic, including the possibility of thinking contradictory thoughts. (shrink)

According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. Drawing on lessons from (...) these failures, I propose a new version of a modal account, inspired by Ruth Barcan Marcus's defense of the coherence of quantified modal logic, according to which an object has a property essentially just in case (i) it has it in every world in which it exists, (ii) the property is discriminating (or non-trivial), and (iii) the property is qualitative. The resulting account of essence does not face any of the standard objections other accounts face, and I defend it from other potential objections. (shrink)