Many philosophers have become sceptical of the use of thought experiments in theorising about personal identity. In large part this is due to work in experimental philosophy that appears to confirm long held philosophical suspicions that thought experiments elicit inconsistent judgements about personal identity, and hence judgements that are thought to be the product of cognitive biases. If so, these judgements appear to be useless at informing our theories of personal identity. Using the methods of experimental philosophy, we investigate whether (...) people exhibit inconsistent judgements and, if they do, whether these judgements are likely to be the source of cognitive bias or, instead, sensitivity to some relevant factor. We do not find that people’s judgements are sensitive to any of the factors we investigate (relevant or irrelevant), nor that people have inconsistent judgements across cases. Rather, people’s judgements are best explained by them having a very minimal account of what it takes for a person to survive. Since this pattern of judgements is no reason to think that we are subject to cognitive bias, we see no reason, as things stand, to be sceptical of our judgements. (shrink)

A satisfactory theory of linguistic communication must explain how it is that, through the interpersonal exchange of auditory, visual, and tactile stimuli, the communicative preconditions for the acquisition of testimonial knowledge regularly come to be satisfied. Without an account of knowledge-yielding communication this success condition for linguistic theorizing is left opaque, and we are left with an incomplete understanding of testimony, and communication more generally, as a source of knowledge. This paper argues that knowledge-yielding communication should be modelled on knowledge (...) itself. It is argued that knowledge-yielding communication occurs iff interlocutors coordinate on truth values in a non-lucky and non-deviant way. This account is able to do significant explanatory work: it sheds light on the nature of referential communication, and it allows us to capture, in an informative way, the sense in which interlocutors must entertain similar propositions in order to communicate successfully. (shrink)

Climate change and decarbonization raise complex justice questions that researchers and policymakers must address. The distributions of greenhouse gas emissions rights and mitigation efforts have dominated justice discourses within scenario research, an integrative element of the IPCC. However, the space of justice considerations is much larger. At present, there is no consistent approach to comprehensively incorporate and examine justice considerations. Here we propose a conceptual framework grounded in philosophical theory for this purpose. We apply this framework to climate mitigation scenarios (...) literature as proof of concept, enabling a more holistic and multidimensional investigation of justice. We identify areas of future research, including new metrics of service provisioning essential for human well-being. [Can be freely read by clicking the ReadCube link below.]. (shrink)

In this paper I argue that the enkratic principle in its classic formulation may not be a requirement of rationality. The investigation of whether it is leads to some important methodological insights into the study of rationality. I also consider the possibility that we should consider rational requirements as a subset of a broader category of agential requirements.

It is often assumed that concepts from the formal sciences, such as mathematics and logic, have to be treated differently from concepts from non-formal sciences. This is especially relevant in cases of concept defectiveness, as in the empirical sciences defectiveness is an essential component of lager disruptive or transformative processes such as concept change or concept fragmentation. However, it is still unclear what role defectiveness plays for concepts in the formal sciences. On the one hand, a common view sees formal (...) concepts to be protected against defects because of their precise and stable nature. On the other, studies going back as far as Lakatos (1963) showcase the changeability of such concepts. -/- In this paper, I will investigate if and how defectiveness based on the occurrence of inconsistencies can appear with formal concepts. To make the case as strong as possible, I employ a strict notion of formal concept that assumes the concept to have a fixed and definite extension. I will show that there are indeed certain types of defectiveness that cannot occur with such concepts; but that there are other types of defectiveness that do occur. This means that while formal concepts have to be treated differently than non-formal concepts, questions about defectiveness---as raised in the conceptual engineering debate and philosophy of science---can still be applied to them. I will highlight this point by showing how formal sciences have special strategies available to them that allow them to resolve defectiveness of their concepts in a flexible and informative manner. (shrink)

Kant holds that in order to have knowledge of an object, a subject must be able to “prove” that the object is really possible—i.e., prove that there is neither logical inconsistency nor “real repugnance” between its properties. This is (usually) easy to do with respect to empirical objects, but (usually) impossible to do with respect to particular things-in-themselves. In the first section of the paper I argue that an important predecessor of Kant’s account of our ignorance of real possibility can (...) be found in Locke’s Essay Concerning Human Understanding. In the middle sections I discuss the way in which our inability to prove the real possibility of things-in-themselves motivates Kant’s famous prohibition on certain kinds of knowledge-claims about them. In the final section I examine Hegel’s attempts to dissolve this problem of real repugnance and thereby remove an inherited obstacle to speculative knowledge of the supersensible. -/- . (shrink)

Empirical work has lately confirmed what many philosophers have taken to be true: people are ‘biased toward the future’. All else being equal, we usually prefer to have positive experiences in the future, and negative experiences in the past. According to one hypothesis, the temporal metaphysics hypothesis, future-bias is explained either by our beliefs about temporal metaphysics—the temporal belief hypothesis—or alternatively by our temporal phenomenology—the temporal phenomenology hypothesis. We empirically investigate a particular version of the temporal belief hypothesis according to (...) which future-bias is explained by the belief that time robustly passes. Our results do not match the apparent predictions of this hypothesis, and so provide evidence against it. But we also find that people give more future-biased responses when asked to simulate a belief in robust passage. We take this to suggest that the phenomenology that attends simulation of that belief may be partially responsible for future-bias, and we examine the implications of these results for debates about the rationality of future-bias. (shrink)

Empirical evidence suggests that a majority of people believe that time robustly passes, and that many also report that it seems to them, in experience, as though time robustly passes. Non-dynamists deny that time robustly passes, and many contemporary non-dynamists—deflationists—even deny that it seems to us as though time robustly passes. Non-dynamists, then, face the dual challenge of explaining why people have such beliefs and make such reports about their experiences. Several philosophers have suggested the stable-self explanation, according to which (...) what partly explains one or both of the explananda is that people believe themselves to have a stable persisting self which is imagined either as moving through time, or as being stationary, with time moving around it. This paper empirically investigates this explanation. We found, however, no evidential support for the stable-self explanation, leaving the non-dynamist but also, we will argue, the dynamist, with an extant explanatory challenge. (shrink)

We survey recent developments in the theory of class forcing for- malized in the second-order set-theoretic setting.

This is a discussion of the state of discussion on pragmatic reasons for belief.

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan formulas, (...) and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)

The National Library of France owns an uncommon illuminated manuscript of the Book of Job : the Parisinus graecus 135. Written in Greek in 1361/62, it is illustrated with a very large iconographic cycle , which combines Byzantine and gothic styles. The examination of the historical background allows us to bring forth the general meaning of the manuscript and to locate its origin with some probability in the Papal entourage and the Byzantine latinophile circles. The analysis of the iconographic cycle (...) of the manuscript shows that it is likely inspired by the theology developed in the literal commentary of Thomas of Aquinas on the Book of Job. Remarkably, this author is intensively translated in Greek in the middle of the fourteenth century in Byzantium under the aegis of the Emperor John VI Cantacuzenus. (shrink)

How is it that a speaker _S_ can at once make it obvious to an audience _A_ that she intends to communicate some proposition _p_, and yet at the same time retain plausible deniability with respect to this intention? The answer is that _S_ can bring it about that _A_ has a high justified credence that ‘_S_ intended _p_’ without putting _A_ in a position to know that ‘_S_ intended _p_’. In order to achieve this _S_ has to exploit a (...) sense in which communication can be lottery-like. After defending this view of deniability I argue that it compares favorably to a rival account recently developed by Dinges and Zakkou (Mind, https://doi.org/10.1093/mind/fzac056, 2023 ). (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

This paper argues that underlying social biases are able to affect the processes underlying linguistic interpretation. The result is a series of harms systematically inflicted on marginalised speakers. It is also argued that the role of biases and stereotypes in interpretation complicates Miranda Fricker's proposed solution to epistemic injustice.

Penelope Maddy’s Second Philosophy is one of the most well-known ap- proaches in recent philosophy of mathematics. She applies her second-philosophical method to analyze mathematical methodology by reconstructing historical cases in a setting of means-ends relations. However, outside of Maddy’s own work, this kind of methodological analysis has not yet been extensively used and analyzed. In the present work, we will make a first step in this direction. We develop a general framework that allows us to clarify the procedure and (...) aims of the Second Philosopher’s investigation into set-theoretic methodology; pro- vides a platform to analyze the Second Philosopher’s methods themselves; and can be applied to further questions in the philosophy of set theory. (shrink)

In the late 1940s and early 1950s Lorenzen developed his operative logic and mathematics, a form of constructive mathematics. Nowadays this is mostly seen as the precursor to the more well-known dialogical logic and one could assumed that the same philosophical motivations were present in both works. However we want to show that this is not always the case. In particular, we claim, that Lorenzen’s well-known rejection of the actual infinite as stated in Lorenzen (1957) was not a major motivation (...) for operative logic and mathematics. In this article, we claim that this is in fact not the case. Rather, we argue for a shift that happened in Lorenzen’s treatment of the infinite from the early to the late 1950s. His early motivation for the development of operativism is concerned with a critique of the Cantorian notion of set and related questions about the notion of countability and uncountability; only later, his motivation switches to focusing on the concept of infinity and the debate about actual and potential infinity. (shrink)

The fallacy fallacy is either the misdiagnosis of fallacy or the supposition that the conclusion of a fallacy must be a falsehood. This paper explores the relevance of these and related errors of reasoning for the appraisal of arguments, especially within virtue theories of argumentation. In particular, the fallacy fallacy exemplifies the Owl of Minerva problem, whereby tools devised to understand a norm make possible new ways of violating the norm. Fallacies are such tools and so are vices. Hence a (...) similar problem arises with argumentative vices. Fortunately, both instances of the problem have a common remedy. (shrink)

A cause is proportional to its effect when, roughly speaking, it is at the right level of detail. There is a lively debate about whether proportionality is a necessary condition for causation. One of the main arguments against a proportionality constraint on causation is that many ordinary and seemingly perfectly acceptable causal claims cite causes that are not proportional to their effects. In this paper, I suggest that proponents of a proportionality constraint can respond to this objection by developing an (...) idea that is present in Yablo’s early work on proportionality, but which has strangely been ignored by both Yablo and others in the subsequent debate. My suggestion is that proportionality—and, indeed, causation itself—is relative to a domain of events. At the metaphysical level, this means that the causal relation has an extra relatum—namely, a domain of events. At the level of language, it introduces a new way in which causal claims are context-sensitive: what is expressed by a causal claim depends on the contextually relevant domain of events. As I argue, this suggestion allows us to accommodate the truth of ordinary causal claims while extending the explanatory benefits of a proportionality constraint. (shrink)

Virtue theories of argumentation (VTA) emphasize the roles arguers play in the conduct and evaluation of arguments, and lay particular stress on arguers’ acquired dispositions of character, that is, virtues and vices. The inspiration for VTA lies in virtue epistemology and virtue ethics, the latter being a modern revival of Aristotle’s ethics. Aristotle is also, of course, the father of Western logic and argumentation. This paper asks to what degree Aristotle may thereby be claimed as a forefather by VTA.

An important advance in normativity research over the last decade is an increased understanding of the distinction, and difference, between normativity and rationality. Normativity concerns or picks out a broad set of concepts that have in common that they are, put loosely, guiding. For example, consider two commonly used normative concepts: that of a normative reason and that of ought. To have a normative reason to perform some action is for there to be something that counts in favour of performing (...) that action. Likewise with ought, when there is sufficient evidence for something, one ought to believe it (at least under normal circumstances). Not all guidance need be directed towards a specific state or a specific action. Subject to the requirements of normativity, too, are relations. It is commonly believed, for example, that we ought not to hold contradictory beliefs.1 At least some of the requirements that concern relations amongst an agent’s mental states are, or seem, distinctive. Agents who fail to satisfy these requirements are considered, at least to some degree, irrational. On many current views, being irrational is distinct in some way from not being how one ought to be; rationality is a concept distinct from normativity. Much of the literature on this topic over the last decade stems from attempts to capture the characteristic features of the requirements of rationality. Two influential views in particular did much to set the agenda. The first of these two was put forward John Broome.2 His view, the particulars of which I shall discuss in more detail below, is that the requirements of rationality could be expressed using a normative relation, which he calls a ‘normative requirement’. Normative requirements are conditionals governed by an all-thingsconsidered ought. In the case of rationality, the conditional is made up entirely of mental states.. (shrink)

David Lewis—famously—never tasted vegemite. Did he have any knowledge of what it's like to taste vegemite? Most say 'no'; I say 'yes'. I argue that knowledge of what it’s like varies along a spectrum from more exact to more approximate, and that phenomenal concepts vary along a spectrum in how precisely they characterize what it’s like to undergo their target experiences. This degreed picture contrasts with the standard all-or-nothing picture, where phenomenal concepts and phenomenal knowledge lack any such degreed structure. (...) I motivate the degreed picture by appeal to (1) limits in epistemic abilities such as recognition, imagination, and inference, and (2) the semantics of ‘knows what it’s like’ expressions. I argue that approximate phenomenal knowledge cannot be explained merely via determinable or vague phenomenal concepts. I develop a framework for systematizing approximate knowledge of phenomenal character. And I explain how my view challenges some standard assumptions about the acquisition conditions, requirements for mastery, and referential mechanisms of phenomenal concepts. (shrink)

Disagreements that resist rational resolution, often termed “deep disagreements”, have been the focus of much work in epistemology and informal logic. In this paper, I argue that they also deserve the attention of philosophers of mathematics. I link the question of whether there can be deep disagreements in mathematics to a more familiar debate over whether there can be revolutions in mathematics. I propose an affirmative answer to both questions, using the controversy over Shinichi Mochizuki’s work on the abc conjecture (...) as a potential example of both phenomena. I conclude by investigating the prospects for the resolution of mathematical deep disagreements in virtue-theoretic approaches to informal logic and mathematical practice. (shrink)

It is widely held that our beliefs can be epistemically faultless despite being morally flawed. Theories of moral encroachment challenge this, holding that moral considerations bear on the epistemic status of our attitudes. According to attitude-based theories of moral encroachment, morality encroaches upon the epistemic standing of our attitudes on the grounds that we can morally injure others with our epistemic practices. In this paper, I aim to show that current attitude-based theories have asymmetric mechanisms: moral features only make it (...) harder for attitudes to secure epistemic merits. I argue that, if attitudes can incur moral injury, failure to form attitudes can too. To make sense of this, I contend, attitude-based accounts require symmetric mechanisms, allowing that moral considerations make it both harder and easier for attitudes to attain epistemic merits. I maintain that, once we recognize this, attitude-based encroachment views must soon concede that they sometimes demand we believe against the evidence. (shrink)

I argue that assertoric content functions as a means for us to track the responsibilities undertaken by communicators, and that distinctively assertoric commitments are distinguished by being generated directly in virtue of the words the speaker uses. This raises two questions: (a) Why are speakers responsible for the content thus generated? (b) Why is it important for us to distinguish between commitments in terms of their manner of generation? I answer the first question by developing a novel responsibility based metasemantics. (...) I answer the second by reference to the conflicting pressures governing the resources we have available for appraising speech. (shrink)

In this chapter, I present and explore various arguments for skepticism that are related to memory. My focus will be on the aspects of the arguments that are unique to memory, which are not shared, for example, by the more often explored skeptical arguments related to perception. -/- Here are some interesting upshots. First, a particular problem for justifiably concluding that one's memory is reliable is that any reasoning in favor of this conclusion will either result in epistemically circularity or (...) not be sufficient to justify the conclusion. Second, since many beliefs stored in memory do not appear to be based on evidence, it might also appear to follow that they are not justified. Third, although many stored memory beliefs are not based on stored memory experiences in the same way that perceptual beliefs are based on perceptual experiences, skeptical scenarios loom just as problematically for memory beliefs as they do for perceptual beliefs. (shrink)

A famous mathematical theorem says that the sum of an infinite series of numbers can depend on the order in which those numbers occur. Suppose we interpret the numbers in such a series as representing instances of some physical quantity, such as the weights of a collection of items. The mathematics seems to lead to the result that the weight of a collection of items can depend on the order in which those items are weighed. But that is very hard (...) to believe. A puzzle then arises: How do we interpret the metaphysical significance of this mathematical theorem? I first argue that prior solutions to the puzzle lead to implausible consequences. Then I develop my own solution, where the basic idea is that the weight of a collection of items is equal to the limit of the weights of its finite subcollections contained within ever-expanding regions of space. I show how my solution is intuitively plausible and philosophically motivated, how it reveals an underexplored line of metaphysical inquiry about quantities and locations, and how it elucidates some classic puzzles concerning supertasks. (shrink)

Is a human more conscious than an octopus? In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a (...) degreed property to count as degrees of consciousness, and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (shrink)

A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

Libraries provide resources for knowledge acquisition, recreation, personal interests and inter-personal relationships for all categories of users. It enables the individual to obtain spiritual, inspirational, and recreational activities through reading, and therefore the opportunity of interacting with the society’s wealth and accumulated knowledge. This study examined the undergraduate students’ use of University library services and resources. It was affirmed the undergraduate utilized the University Libraries as learning centre. This was shown by the massive turn out to patronize the library services (...) and resources weekly. (shrink)

I argue that experiences can have microphenomenal structures, where the macrophenomenal properties we introspect are realized by non-introspectible microphenomenal properties. After explaining what it means to ascribe a microstructure to experience, I defend the thesis against its principal philosophical challenge, discuss how the thesis interacts with other philosophical issues about experience, and consider our prospects for investigating the microphenomenal realm.

We typically judge that hasteners are causes of what they hasten, while delayers are not causes of what they delay. These judgements, I suggest, are sensitive to an underlying metaphysical distinction. To see this, we need to pay attention to a relation that I call positive security-dependence, where an event E security-depends positively on an earlier event C just in case E could more easily have failed to occur if C had not occurred. I suggest that we judge that an (...) event C is a cause of a later event E only if E security-depends positively on C. This explains our causal judgements in typical cases of hastening and delaying as well as in atypical cases, where we judge that hasteners are not causes of what they hasten or that delayers are causes of what they delay. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

In this chapter I hope to persuade you that defective contexts are more ubiquitous than we typically assume. In doing, so I will draw attention to a number of pressing social and theoretical issues which arise once we start to consider defective contexts. I will proceed by pointing to a number of ways in which defective contexts can emerge without self-correcting in the manner envisioned by Stalnaker. First I will consider situations in which some, but not all interlocutors recognise that (...) the context is defective. I will then consider cases of opaquely defective contexts, and the question of what it is for a context to be “close enough” to being non-defective. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

In The Age of the World Picture, philosopher Martin Heidegger claims that scientific representations do not reduce themselves to pure appropriations of what they present. Rather, they convey investigations that confine being to rules of appropriation. Those rules govern how natural science accesses phenomena. The choice of natural science as the predominant mode of representation of reality entails what Heidegger calls a process of objectification (Vergegenständlichung). In his Zollikon Seminars, Heidegger questions the tribute paid by the sciences of the mind (...) to the logic of the natural sciences, and stresses that Freud, by thinking of the mind as a machine driven by instinctive powers, assigns to human phenomena the objective features set by the natural sciences. This paper purports to show that Winnicott, by formulating a theory of personal maturing, disagrees with the objectifying requirements of the natural sciences. For Winnicott, traditional psychoanalysis uses categories that are inadequate for describing the changes babies undergo in the environment that gives them care and attention, because its analysis is confined to the field of libido relations. With that in mind, it is not possible to speak about human maturation processes using an objectifying language; Winnicott stresses (in The newborn and his mother) that “I cannot sacrifice a patient on the altar of science”. This paper argues that Winnicott disagrees with the naturalistic imperative, which reduces the real to what is objective and places physics as a model for the sciences. The paper also broaches on the issue of how far the considerations of Heidegger and Winnicott regarding access to human phenomena allow us to discuss the current overwhelming process of medicating everyday life. (shrink)

Once upon a time, not too long ago, the question about apes and ethics had to do with moral standing—do apes have interests or rights that humans ought to respect? Given the fifty years of research on great ape cognition, life history, social organization, and behavior, the answer to that question seems obvious. Apes have emotions and projects, they can be harmed, and they have important social relationships.

This paper defines and defends a notion of teleological function which is fit to figure in explanations concerning how organic systems, and the items which compose them, are able to perform certain activities, such as surviving and reproducing or pumping blood. According to this notion, a teleological function of an item (such as the heart) is a typical way in which items of that type contribute to some containing system's ability to do some activity. An account of what it is (...) for an item to contribute to a containing system's ability to perform an activity is provided. I argue that the view acquires its normative status in virtue of the fact that it obeys a function-accident distinction and obeys a function-dysfunction distinction; that the view is ahistorical; and, that its ahistoricity provides it with an advantage over one of its main competitors. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

This chapter discusses Kant's 1763 "possibility proof" for the existence of God. I first provide a reconstruction of the proof in its two stages, and then revisit my earlier argument according to which the being the proof delivers threatens to be a Spinozistic-panentheistic God—a being whose properties include the entire spatio-temporal universe—rather than the traditional, ontologically distinct God of biblical monotheism. I go on to evaluate some recent alternative readings that have sought to avoid this result by arguing that the (...) relevant facts about real modality can be ultimately grounded in God’s powers or thoughts – or that Kant just leaves the grounding relations mysterious. I argue that the textual and philosophical costs of each of these alternative readings are formidable. The chapter concludes with a discussion of the fate of the proof in the critical period. Some commentators think that it disappears altogether, or that it is downgraded such that it produces a mere regulative idea of God as the most real being. I suggest that the proof survives but that the mode of assent it licenses towards its conclusion changes from knowledge to a certain kind of Belief (Glaube). (shrink)

Abstract:This article provides a novel interpretation of the so-called transition to self-consciousness in The Phenomenology of Spirit, where Hegel argues that the failure of the protagonist consciousness to formulate an understanding of the world in terms of forces and laws necessitates the shift to an investigation of its own self-conscious subjectivity. The author argues that we can make sense of the transition by attending to Hegel's account of the metaphysical structure of forces and laws, on the one hand, and the (...) structure of self-consciousness, on the other. Following this approach, she argues that the transition represents the realization by the protagonist consciousness that the object of phenomenological inquiry must be metaphysically self-determining (or "infinite," in Hegel's terminology). The standpoint of self-consciousness accordingly emerges because the protagonist consciousness takes itself qua subject to exhibit the requisite self-determining structure. In addition to making sense of the transition to self-consciousness, this line of argumentation illuminates Hegel's subsequent focus on the activity of "desire.". (shrink)

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for example, (...) consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (shrink)

Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of mathematical reasoning closely resemble patterns of reasoning in nonmathematical domains. Hence the tools developed to understand informal reasoning, collectively known as argumentation theory, are also applicable to much mathematical argumentation. This chapter investigates some of the details of that application. Consideration is given to the many contrasting meanings (...) of the word “argument”; to some of the specific argumentation-theoretic tools that have been applied to mathematics, notably Toulmin layouts and argumentation schemes; to some of the different ways that argumentation is implicated in mathematical practices; and to the social aspects of mathematical argumentation. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)