(Open Access.) Quantifiers frequently figure in works of fiction. But occurrences of quantificational expressions within fictions seem no more inevitably to be associated with real domains than uses of names within fictions seem inevitably to be associated with existing referents. The paper outlines some philosophical puzzles resulting from this apparent lack of associated domains, puzzles that are broadly analogous to more familiar ones raised by the apparently nonreferential nature of many fictional names. The paper argues, in the light (...) of an important disanalogy between quantifiers and names, that the quantificational puzzles are substantive, in that they cannot be resolved merely by appealing to the possibility of empty domains. It then argues that, despite the cited parallels between occurrences of quantifiers and names within fictions, promising treatments of fictional names do not always straightforwardly generalise to provide accounts of the quantificational phenomena: the quantificational puzzles are therefore not only substantive but also distinctive. The paper provides further testament to the depth and interest of the problems involving content that are generated by fiction, by identifying a very wide range of previously neglected cases, while also helping to situate within a broader context the notoriously hard philosophical challenges posed by fictional names. (shrink)

The present paper presents experimental evidence confirming that contextually mismatching scalar implicatures can be generated even when quantifiers range over empty domains. In the literature, this possibility has been interpreted as providing further evidence for a grammatical approach to scalar implicatures. The main result presented here is that scalar sentences with empty domains are judged as more infelicitous when associated with a mismatching implicature than variants with the same empty domains but associated with a (...) non-mismatching implicature. We interpret this result as suggesting that the infelicity judgment associated with the first kind of sentence stems from the cumulative effect of the mismatching implicature and the contextual domain emptiness. Compared to previous literature on blind implicatures, our results indicate that the body of knowledge involved in relevance assignments is restricted to ignoring existential determination while still considering the properties attributed to nonexistent entities. They also show that, while not blocking implicature generation, contextual domain emptiness plays a role in speakers’ evaluation of scalar sentences, reflecting the unconscious nature of scalar implicature generation. (shrink)

The paper shows that for any invalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two kinds of (...) import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL. (shrink)

Two strong contenders for scalar implicature (SI) computation are the pragmatic and the grammatical theories. While the former sustains that context plays a major role, the latter suggests context is required but is lexically and monotonically constrained (Chierchia 2012). In particular, this paper discusses a processing account for SIs that is dependent on the satisfaction of the Strawsonian presupposition of existence, necessary for the realization of the asymmetric entailment pattern among relevant alternatives. This observation complies with the principles of the (...) grammatical view, for it predicts SIs in the presence of contextually empty domains, unlike the pragmatic account whose necessary access to contextual information will cause propositions with empty domains to always return a truth value false, hence blocking any inference. I present online experimental evidence of an acceptability judgment task and recorded response times of both existential and universal sentences containing entities of three kinds: existent (type-a), non-existent but conceivable (type-b), and non-existent and inconceivable (type-c). The data of 25 Colombian Spanish speaking participants were collected using PsychoPy, powered by Pavlovia. The results suggest SIs are computed in types a and b but relatively unsuccessful in type-c. I conclude that the relevant entailment pattern for implicature computation is the Strawson-entailment relation which, combined with the grammatical account, correctly predicts SIs with non-existent but conceivable entities but avoids inference with inconceivable terms. (shrink)

Empty individual expressions are needed to reconstruct the actual use of scientific language as well as to make logic free from existence assumptions. According to Quine, a language must be extensional to be adequate for the purposes of science. By means of Lambert's non-extensionality argument it can be demonstrated that a language containing empty individual expressions cannot be extensional as long as truth-values are the extensions of sentences. This book investigates the soundness of Lambert's argument and examines the (...) question of whether and how extensionality of a language for free logic can be secured. To achieve these aims, the notion of extensionality is thoroughly analyzed and two new semantic approaches to free logic are developed in which states of affairs, but not truth-values, are the extensions of sentences. These two semantic approaches are defended against the slingshot argument. In this way, two possible solutions to the problem of extensionality arise which use non-existent objects in two different ways: whereas in dual domain semantics non-existent objects serve as referents of empty singular terms, in single domain semantics they serve as hole marker objects that mark the holes in states of affairs where an object is missing due to an irreferental individual expression. (shrink)

Wrong beliefs, known by some as ‘alternative facts’, have proliferated lately in important areas of human life, including social, political, and public health domains. This can be and has been damaging. This brief article proposes an epistemological category classification of these wrong beliefs, with the following mappings: a) ‘No-Information’ marked by willful blindness produces ‘Empty Beliefs’; b) ‘Mis-Information’ yields ‘Mis(taken) Beliefs’; and c) ‘Dis-Information’ predicated on blatant distortions produces ‘Dis(torted) Beliefs’. This simple classification system, is perhaps epistemologically satisfying, (...) and moreover could have positive policy implications. (shrink)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things return. (...) It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (shrink)

Essentialist facts, facts about what is essential to what, are explanatorily distinctive. They can often be appealed to in the course of metaphysically explaining some fact, while themselves serving as explanatory ends. In other words, when one arrives in the course of an explanation at an essentialist fact, it often seems like a legitimate place to stop. In certain contexts, they seem to provide a metaphysical backstop to making further explanatory demands. This paper defends the view that essentialist facts are (...) zero-grounded. Just as we can think of certain logical truths as truths derivable from the empty set of premises, we can think of the zero-grounded facts as the facts that obtain in virtue of the empty set of facts. On this picture, the essentialist facts are grounded, but they are grounded literally in nothing—grounded for free, automatically, and by default. -/- This view has been unpopular for many reasons, including concerns about the obscurity of the notion of zero-grounding. Concerns notwithstanding, I make the case that the zero-grounding view fares better than the alternative ground-theoretic accounts in making sense of certain explanatory roles essences plausibly play. After some preliminary remarks on how we should understand what an essentialist fact is as well as which ones serve as explanation stoppers, I introduce a widespread and attractive picture of what the essentialist facts are; they are domain fixing facts. I then argue that this feature of the essentialist facts well-positions them to serve as explanation stoppers. Afterwards, I argue that the zero-ground view best accommodates the domain-fixing conception of essence. (shrink)

According to what Jonathan Bennett calls the Kant–Frege view of existence, Frege gave solid logical foundations to Kant’s claim that existence is not a real predicate. In this article I will challenge Bennett’s claim by arguing that although Kant and Frege agree on what existence is not, they agree neither on what it is nor on the importance and justification of existential propositions. I identify three main differences: first, whereas for Frege existence is a property of a concept, for Kant (...) it is a relational property pertaining between the concept and intuition of an object. Second, whereas for Frege truth about individuals presupposes their existence, for Kant truth is in many cases independent of the existence of objects. Third, whereas Frege binds logic to existence and removes modalities from logic, for Kant existence is a modal category that is emphatically removed from the domain of logic and set in the core of metaphysics. Due to these differences in Kant’s and Frege’s theories of existence, Frege cannot be seen as giving logical clarity to Kant’s view. (shrink)

By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an (...) class='Hi'>empty name in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued. (shrink)

If we want to say what “fundamentality” means, we have to start by approaching what we generally see at the empty place of the predicate “____ is fundamental”. We generally talk about fundamental entities and fundamental theories. At this article, I tried to make a metaphysical approach of what is for something to be fundamental, and I also tried to talk a little bit of fundamental incomplete and complete theories. To do that, I start stating the notion of “entity” (...) and looking at the difference at perceived entities. The difference led us to talk about the entities’ structures and their powers, and about the supervenience between these last two. The supervenience talk made us to see the fight between emergentism and reductionism as the difference between the irreducibility of laws and the reducibility of powers and structures to lower-order domains. Then, we conclude that “fundamentality” is a mereological relation – a relation that a whole structure has to a certain combination of its structural parts or that a power has to a certain combination of its constituent powers – of to be identical and to exist in virtue of them. (shrink)

My aim in this paper is to chart what I see as parallels between the ontology of self in Charles Taylor’s work and that of various Buddhist ‘no-self’ views, along with parallels between Taylor’s commitment to reviving republican ideas and some aspects of Buddhist ethics. I see key resemblances and overlaps at the level of metaphysics as well as ethics. For Taylor, the sorts of atomistic accounts of self that have come to be accepted as natural and unquestionable in the (...) West are deeply misguided. The dominant Hobbesian-Lockean procedural picture of selfhood blinds us to the intrinsic relatedness of self to others and has profoundly negative consequences for the kinds of shared conceptions of the good necessary for viable and functioning democracies to survive and flourish. For Taylor, we thus need to retrieve and rearticulate a more accurate understanding of the self (Taylor 1985a, c, d, 1989, 1995a, b, 2003). This conception acknowledges that the self is located in a web of locution, conversation, and social interconnected- ness, a sense that gives rise to an expanded notion of our moral and political duties. I argue that such an understanding of the self and ethics has strong resemblances to the kinds of views of the self and ethics as articulated by various schools of Buddhism. Conceptions of anātman or no-self and pratītya-samutpāda (intercon- nectedness) similarly broaden the scope and domain of our moral concern to be more inclusive by interrogating perspectives that conceive of the self as a separate and isolated individual. This is illustrated by, for example, the Dalai Lama (1999), who argues that a more accurate understanding of the self as empty of inherent and separate existence leads to adopting a more compassionate ethical stance towards others. I would suggest that, along the same lines, this understanding is required for a sustainable future for not only our communities, but that of an increasingly inter-related and inter-dependent world. (shrink)

The paper by Monteiro, Musten and Compson (2014) is to be commended for providing a comprehensive discussion of the compatibility issues arising from the integration of mindfulness – a 2,500-year-old Buddhist practice – into research and applied psychological domains. Consistent with the observations of various others (e.g., Dunne, 2011; Kang & Whittingham, 2010), Monteiro and colleagues have not only highlighted that there are differences in how Buddhism and contemporary mindfulness interventional approaches interpret and contextualize mindfulness, but there are also (...) differing interpretations of mindfulness within Buddhism. These apparent differences within Buddhism are arguably more noticeable when making comparisons across Buddhist vehicles (i.e., Theravada, Mahayana, Vajrayana), but to a lesser extent intra-vehicular differences can also be said to exist (i.e., differences between Buddhist traditions of the same vehicle). This commentary investigates the validity of some of these different Buddhist constructions of mindfulness, and then discusses how a better understanding of their scriptural and conceptual soundness (or lack thereof) may help to reconcile some of the actual and perceived incompatibility between Buddhist practice and contemporary secular mindfulness-based approaches. (shrink)

[ROYAL INSTITUTE OF PHILOSOPHY 2023 ESSAY PRIZE WINNER] I argue that the term ‘naturalism’ is so empty of meaning that it is not suitable for serious theorizing in philosophy. In particular, I argue that the question of whether or not some theory or thesis should count as naturalistic is an empty verbal dispute with no further theoretical significance. I also discuss naturalism construed as a methodological thesis and argue that any plausible version will collapse into triviality. Lastly, I (...) briefly discuss the idea that naturalism is not a thesis at all but rather a ‘stance’ and suggest that this too succumbs to the charge of emptiness. I conclude that we should stop talking about naturalism altogether. (shrink)

This paper focuses on empty mind, transitional space and the dissolving of the self object function.

Jizang (549–623) is regarded as a prominent figure in Sanlun Buddhism (三論宗) and a revitalizer of Nāgārjuna’s Mādhyamaka tradition in China. In this essay, I argue that Jizang’s concept of non-empty Buddha-nature is compatible with the idea of universal emptiness. My argument unfolds in three steps. First, I argue that, for Jizang, Buddha-nature is the Middle Way (zhongdao 中道), which signifies a spiritual state that avoids the extremes of both emptiness and non-emptiness. Next, I explore how and why Jizang (...) believes that Buddha-nature is eternal. I examine Jizang’s notions of intrinsic eternality (dingxing chang 定性常) and conditional eternality (yinyuan chang 因緣常), aiming to demonstrate that his understanding of Buddha-nature as eternal can be framed within the concept of conditional eternality, where Buddha-nature is seen as the objective manifestation of the dharma body. Since this type of eternality aligns with the principle of universal emptiness, Jizang’s assertion that Buddha-nature is eternal is thus compatible with the notion of universal emptiness. Furthermore, I illustrate that Jizang’s theory of eternal Buddha-nature carries practical implications, suggesting that this assertion serves as encouragement rather than being merely an ontological claim. (shrink)

In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear on (...) what domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)

This paper considers the problem of assigning meanings to empty natural kind terms. It does so in the context of the Twin-Earth externalist-internalist debate about whether the meanings of natural kind terms are individuated by the external physical environment of the speakers using these terms. The paper clarifies and outlines the different ways in which meanings could be assigned to empty natural kind terms. And it argues that externalists do not have the semantic resources to assign them meanings. (...) The paper ends on a sceptical note concerning the fruitfulness of using the Twin-Earth setting in debates about the semantics of empty natural kind terms. (shrink)

This paper excavates the practice-oriented background and therapeutic significance of emptiness in the Madhyamaka philosophy attributed to Nāgārjuna and Sengzhao. Buddhist emptiness unravels experiential and linguistic reification through meditation and argumentation. The historical contexts and uses of the word indicate that it is primarily a practical diagnostic and therapeutic concept. Emptiness does not lead to further views or truths but, akin to yet distinct from Ajñāna and Pyrrhonian skepticism, the suspension of assertion. This sense of emptiness as a practice can (...) be traced in the intercultural transmission of Madhyamaka from Nāgārjuna, its paradigmatic philosopher, to Sengzhao 僧肇, its first pivotal indigenous Chinese representative. (shrink)

Empty names vary in their referential features. Some of them, as Kripke argues, are necessarily empty -- those that are used to create works of fiction. Others appear to be contingently empty -- those which fail to refer at this world, but which do uniquely identify particular objects in other possible worlds. I argue against Kripke's metaphysical and semantic reasons for thinking that either some or all empty names are necessarily non-referring, because these reasons are either (...) not the right reasons for thinking that a name necessarily must fail to refer, or they are too broad -- they make every empty name necessarily non-referential. Plausibly, the explanation for the necessary non-reference of fictional names should be semantic, yet the explanation should not rule out a priori the contingent non-reference of certain other empty names. In light of this, I argue that a name's semantic value needs to carry information about its referential potential. I claim that names do so by encoding information about the way they were introduced into discourse. Names that are fictional will be marked as being non-referential -- they will fail to refer as a matter of their semantics. In contrast, names that are contingently empty will be marked as referential, but they will be failed referential names that could have been successful. The reason, then, for the non-referential status of a fictional name, will be semantic, as our intuitions suggest it should be. Likewise, the reason for the non-referential status of other empty names, those created by acts of failed attempts to refer, will be metaphysical, again, in keeping with our intuitions. (shrink)

Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that grounding is reflexive, (...) contra the intuitive character of grounds. I argue that we should never have accepted that grounding is irreflexive in the first place; the intuitions that support the irreflexive intuition plausibly only require that grounding be non-vacuously irreflexive. Fine and Kramer’s paradox relies, essentially, on a case of vacuous grounding and is thus no problem for this account. (shrink)

If possible worlds are conjunctions of states of affairs, as in David Armstrong’s combinatorial theory, then is the empty world to be thought of as the null conjunction of states of affairs? The proposal seems plausible, and has received support from David Efird, Tom Stoneham, and Armstrong himself. However, in this paper, it is argued that the proposal faces a trilemma: either it leads to the absurd conclusion that the actual world is empty; or it reduces to a (...) familiar representation of the empty world in which the concept of a null conjunction plays no role; or it needs to make room for the null individual of certain non-classical mereologies. (shrink)

Misrepresentation, empty HOTs, and intrinsic HOTs: A reply to Pereplyotchik.

We start with an observation about implicit quantifier domain restriction: certain implicit restrictions (e.g., restricting objects by location and time) appear to be more natural and widely available than others (e.g., restricting objects by color, aesthetic, or historical properties). Our aim is to explain why this is. That is, we aim to explain why some implicit domain restriction possibilities are available by default. We argue that, regardless of their other explanatory virtues, extant pragmatic and metasemantic frameworks leave this question unanswered. (...) We then motivate a partially nativist account of domain restriction that involves a minimal view of joint planning around broad shared goals about navigating and influencing our environments augmented with cognitive heuristics that facilitate these. Finally, we sketch how the view can be extended to account for the ways non-default restriction possibilities become available when conversationalists have shared idiosyncratic goals. (shrink)

I argue that there are no plausible non-representational explanations of episodes of hallucination. To make the discussion more specific, I focus on visual hallucinations in Charles Bonnet syndrome. I claim that the character of such hallucinatory experiences cannot be explained away non-representationally, for they cannot be taken as simple failures of cognizing or as failures of contact with external reality—such failures being the only genuinely non-representational explanations of hallucinations and cognitive errors in general. I briefly introduce a recent computational model (...) of hallucination, which relies on generative models in the brain, and argue that the model is a prime example of a representational explanation referring to representational mechanisms. The notion of the representational mechanism is elucidated, and it is argued that hallucinations—and other kinds of representations—cannot be exorcised from the cognitive sciences. (shrink)

Aristotle draws what are, by our lights, two unusual relationships between predication and existence. First, true universal affirmations carry existential import. If ‘All humans are mortal’ is true, for example, then at least one human exists. And secondly, although affirmations with empty terms in subject position are all false, empty negations are all true: if ‘Socrates’ lacks a referent, then both ‘Socrates is well’ and ‘Socrates is ill’ are false but both ‘Socrates is not well’ and ‘Socrates is (...) not ill’ are true. In this paper, I conjecture that for Aristotle predications have mereological truth conditions: for example, ‘Socrates is pale’ is true just in case Socrates is a part of the mereological sum of pale things. The existential import of universal affirmations and the semantic profile of empty negations follow from this mereological semantics. (shrink)

There is a tension between the definition of empty logic as a logic with no valid arguments and no valid meta-arguments, on the one hand, and the way in which we have usually interpreted the validity of meta-arguments, on the other. Here we argue that one way to eliminate the tension is understanding the “If. . . then. . . ” in a meta-argument, at least in the case of an empty logic, as a transplication (aka the de (...) Finetti conditional) instead of an extensional or material conditional. (shrink)

Domain extension in mathematics occurs whenever a given mathematical domain is augmented so as to include new elements. Manders argues that the advantages of important cases of domain extension are captured by the model-theoretic notions of existential closure and model completion. In the specific case of domain extension via ideal elements, I argue, Manders’s proposed explanation does not suffice. I then develop and formalize a different approach to domain extension based on Dedekind’s Habilitationsrede, to which Manders’s account is compared. I (...) conclude with an examination of three possible stances towards extensions via ideal elements. (shrink)

Objectives Practitioners in contemplative traditions commonly report experiencing an awareness that is distinct from sensory objects, thoughts, and emotions (“awareness itself”). They also report experiences of a void or underlying silence that is closely associated with this awareness. Subjects who carry out the Headless Way exercises frequently report an experience of emptiness or void at the same time as other contents (void-like experiences). The goals of this study were to (1) assess the reliability of these methods in eliciting the recognition (...) of awareness and void-like experiences in participants who had no prior exposure to these techniques, (2) investigate the prevalence of these experiences in these tasks, and (3) to differentiate these experiences from closely related and potential precursor experiences. -/- Method Twenty adults participated in in-depth individual interviews in which they were guided through the Headless Way exercises. A thematic analysis was conducted on the interview transcripts. -/- Results Twelve of the participants reported a void-like experience, and five participants reported an experience of awareness itself. These experiences were respectively categorized as subsets of the more general categories of perceptual absences and the sense of not being person-like. Another novel finding was the real-time reports of awareness and void-like experiences during the exercises. -/- Conclusions Our findings provide preliminary evidence that the Headless Way exercises can effectively induce experiences of emptiness and awareness in participants without prior experience. The findings suggest that such experiences can be elicited outside of a traditional meditation context, including in non-meditators. Furthermore, the experience of not being person-like and of perceptual absences may be precursors and more general forms of recognizing awareness itself and the void-like nature of the mind. (shrink)

This paper focuses on the appearance of emptiness through time.

Deleuze argued that a fundamental mutation in the concept of time occurred in Kant. In antiquity, the concept of time was subordinated to the concept of movement: time was a ‘measure’ of movement. In Kant, this relation is inverted: time is no longer subordinated to movement but assumes an autonomy of its own: time becomes "the pure and empty form" of everything that moves and changes. What is essential in the theory of time is not the distinction between objective (...) ‘clock time’ (or physical time) and the subjective experience of ‘time consciousness,’ since both of them measure movements, whether the movement of extensive objects or intensive states. What is fundamental is rather the relation between time and movement, since time can only assume its own concept when it ceases to be subordinate to movement, whether that movement is objective or subjective. This article examines how Kant inverted the relation between time and movement, and how Deleuze’s own theory of time builds on Kant’s revolution and extends it further. (shrink)

Metacognition is the capacity to evaluate the success of one's own cognitive processes in various domains; for example, memory and perception. It remains controversial whether metacognition relies on a domain-general resource that is applied to different tasks or if self-evaluative processes are domain specific. Here, we investigated this issue directly by examining the neural substrates engaged when metacognitive judgments were made by human participants of both sexes during perceptual and memory tasks matched for stimulus and performance characteristics. By comparing (...) patterns of fMRI activity while subjects evaluated their performance, we revealed both domain-specific and domain-general metacognitive representations. Multivoxel activity patterns in anterior prefrontal cortex predicted levels of confidence in a domain-specific fashion, whereas domain-general signals predicting confidence and accuracy were found in a widespread network in the frontal and posterior midline. The demonstration of domain-specific metacognitive representations suggests the presence of a content-rich mechanism available to introspection and cognitive control. (shrink)

This paper explores a novel notion of self-explanation that combines ideas from two sources: the tripartite account of explanation, according to which a proposition can help explain another either in the capacity of a reason why the latter obtains or in the capacity of an explanatory link, and the notion of an empty-base explanation, which generalizes the ideas of explanation by zero-grounding and explanation by status. After having introduced these ideas and the novel notion of self-explanation, I argue that (...) the latter has the potential to resist extant arguments against the possibility of self-explanation. In the remainder of the paper, I discuss candidates for such self-explanatory propositions and suggest possible applications for Humeanism about laws of nature, the debate on the grounds of ground, the rationalist tradition, and philosophical theology. (shrink)

The notion of domain specificity plays a central role in some of the most important debates in cognitive science. Yet, despite the widespread reliance on domain specificity in recent theorizing in cognitive science, this notion remains elusive. Critics have claimed that the notion of domain specificity can't bear the theoretical weight that has been put on it and that it should be abandoned. Even its most steadfast proponents have highlighted puzzles and tensions that arise once one tries to go beyond (...) an initial intuitive sketch of what domain specificity involves. In this paper, we address these concerns head on by developing an account of what it means for a cognitive mechanism to be domain specific that overcomes the obstacles that have made domain specificity seem so problematic. We then apply this understanding of domain specificity to one of the key debates that it has figured prominently in—the rationalism-empiricism debate concerning the origins of cognitive traits—and introduce several related theoretical notions that work alongside domain specificity in helping to clarify what makes a view more (or less) rationalist. This example illustrates how the notion of domain specificity can, and should, continue to play a central role in ongoing debates in cognitive science. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

This paper discusses the idea of "pure experience" within the context of the Buddhist tradition and in connection with the notions of emptiness and dependent origination via a reading of Dale Wright's reading of 'Huangbo' in his 'Philosophical Meditations on Zen Buddhism'. The purpose is to appropriate Wright's text in order to engender a response to Steven Katz's contextualist-constructivist thesis that there are no "pure" (i.e., unmediated) experiences. In light of the Mahayana claim that everything is empty of substance, (...) i.e., originates dependently through conditions, contingencies, and contexts, what does the "purity" of the Enlightenment experience mean for Chan/Zen Buddhism? (shrink)

Fred Adams and collaborators advocate a view on which empty-name sentences semantically encode incomplete propositions, but which can be used to conversationally implicate descriptive propositions. This account has come under criticism recently from Marga Reimer and Anthony Everett. Reimer correctly observes that their account does not pass a natural test for conversational implicatures, namely, that an explanation of our intuitions in terms of implicature should be such that we upon hearing it recognize it to be roughly correct. Everett argues (...) that the implicature view provides an explanation of only some of our intuitions, and is in fact incompatible with others, especially those concerning the modal profile of sentences containing empty names. I offer a pragmatist treatment of empty names based upon the recognition that the Gricean distinction between what is said and what is implicated is not exhaustive, and argue that such a solution avoids both Everett's and Reimer's criticisms. (shrink)

Suppose there is a domain of discourse of English, then everything of which any predicate is true is a member of that domain. If English has a domain of discourse, then, since ‘is a domain of discourse of English’ is itself a predicate of English and true of that domain, that domain is a member of itself. But nothing is a member of itself. Thus English has no domain of discourse. We defend this argument and go on to argue to (...) the same conclusion without relying on the supposition that English is a language which contains the predicate ‘is a domain of discourse of English’. (shrink)

Synthesizing the domains of investigation highlighted in current research in distributed cognition and related fields, this paper offers an initial taxonomy of the overlapping types of resources which typically contribute to distributed or extended cognitive systems. It then outlines a number of key dimensions on which to analyse both the resulting integrated systems and the components which coalesce into more or less tightly coupled interaction over the course of their formation and renegotiation.

This paper accomplishes two tasks. First, I examine in detail Edmund Husserl’s earliest philosophy of surrogates, as it is found in his 1890 “On the Logic of Signs ”. I analyze his psychological and logical investigations of surrogates, where the former is concerned with explaining how these signs function and the latter with how they do so reliably. His differentiation of surrogates on the basis of their genetic origins and degrees of necessity is discussed. Second, the historical importance of this (...) text is disclosed by showing how Semiotic serves as both the inspiration for, and the foil to, Husserl’s 1901 First Logical Investigation. Husserl not only adopts the idea that linguistic signs can function via association, but also maintains that such signs can motivate me to execute one of two experiences. The key difference between the texts is that Husserl abandons his theory of surrogates in 1901, instead holding that I can experience absent objects by means of empty intentions. The reasons why Husserl found it necessary to transform this tenet of his philosophy are discussed at length. (shrink)

In his account of the individuation and creation of thinking in Difference and Repetition Gilles Deleuze claims that there belongs “an experience of death.” What does this mean and imply for an attempt to come to terms with Deleuze’s transcendental empiricism? The following article presents a reading that explores this question, arguing that Deleuze’s account of what it means to think has two aspects that must be understood in relation to each other. On the one hand, Deleuze’s ontology of intensive (...) difference involves an image of human individuation grounded upon a “death present in the living.” On the other hand, Deleuze writes that in the creation of “thinking in thought” there is an experience of death. Understanding the relation between the individuating aspect of death – as the emergence of the pure and empty form of time as the basis for representational thinking and judgement – and the experience of this individuating factor in the creation of thinking in thought, Deleuze’s claim can be made sense of and its centrality in his system clarified. When death as an individuating factor becomes experience, thinking is transmuted from dead representation to intensive life, and transcendental empiricism is operationalized. (shrink)

‘Ahab is a whaler’ and ‘Holmes is a whaler’ express different propositions, even though neither ‘Ahab’ nor ‘Holmes’ has a referent. This seems to constitute a theoretical puzzle for the Russellian view of propositions. In this paper, I develop a variant of the Russellian view, Plenitudinous Russellianism. I claim that ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express distinct gappy propositions. I discuss key metaphysical and semantic differences between Plenitudinous Russellianism and Traditional Russellianism and respond to objections that (...) stem from those differences. (shrink)

A common explanatory error in science concerns the conflation of the epistemological roles between two domains. Here we will address a specific case: when explanations of development replace evolutionary explanations or vice versa. Ernst Mayr famously distinguished between proximate and ultimate causal explanations in biology. His view was central to the Modern Synthesis’ exclusion of development from evolutionary theory. Nonetheless, the explanatory role of developmental processes in evolution is a central theme in current theoretical biology which has prompted several (...) revisions of Mayr’s distinction. Here we will review these reviewers to determine whether the integration of development and evolution is based on an appropriate reinterpretation of Mayr’s distinction. In many cases, revisionists suggest an interactionist alternative, in which proximate and ultimate causes interact to produce evolved traits. The most frequent interactionist account relies on the idea of reciprocal causation. We will argue that this perspective is still problematic and that the boundaries between explanatory domains are crossed. Instead, we should rethink Mayr’s distinction by adopting an alternative view of evolutionary causation, the so-called Statisticalist view, which maintains that the only level of causation is the individual level. By ruling out two different levels of causation, this framework is appropriate to avoid fallacious explanations and reconsider reciprocal causation entirely as a proximate phenomenon. We introduce the concept of “statistical reciprocity” to explain the statistical effects of reciprocal causality in populations and outline some ideas of “population ontogenetics” as a prominent framework for unifying development and evolution beyond interactionist positions. (shrink)

When trust is broken, how should we determine who is at fault? Previous discus- sions of broken trust typically attribute the fault to trusters who place trust foolishly or trustees who act in an untrustworthy manner. These discussions take for granted the ability of the truster and trustee to communicate and understand the boundaries of what is being entrusted, that is, the domain of trust. However, the boundaries of entrusted domains are not always clear to either party which can (...) result in broken trust despite the best efforts of both truster and trustee. In this paper, I argue that deter- mining who to blame when trust is broken is a messy affair in which disagreements over fault regularly arise. I introduce three features of trust domains that take center stage in negotiations regarding who is at fault when trust is broken: scope, rigidity and ordering. (shrink)

This paper develops co-ordinated multiple-domain supervenience relations to model determination and dependence relations between complex entities and their constituents by appealing to R-related pairs and by making use of associated isomorphisms. Supervenience relations are devised for order-sensitive and repetition-sensitive mereologies, for mereological systems that make room for many-many composition relations, as well as for hierarchical mereologies that incorporate compositional and hylomorphic structure. Finally, mappings are provided for theories that consider wholes to be prior to their parts.

Many Epicurean arguments for the claim that death is nothing to us depend on the ‘Experience Constraint’: the claim that something can only be good or bad for us if we experience it. However, Epicurus’ commitment to the Experience Constraint makes his attitude to will-writing puzzling. How can someone who accepts the Experience Constraint be motivated to bring about post mortem outcomes?We might think that an Epicurean will-writer could be pleased by the thought of his/her loved ones being provided for (...) after his/her death. Warren has argued that this does not dissolve the puzzle, since it involves a hope which the Epicurean should take to be empty just as the fear of death is empty. However, if it is a necessary condition of an emotion’s being empty that it involve accepting a claim which is not only false but also harmful it is not clear that this hope is indeed ‘empty’: there is a crucial disanalogy between fearing death and hoping for the prosperity of one’s children here. And if emptiness does... (shrink)

Frege held that the bare demonstrative ‘that’ is incomplete, and that it is the word together with a gesture that serves as the designating expression, and likewise that it is the word ‘yesterday’ together with the time of utterance that designates the relevant day. David Kaplan’s original theory of indexicals holds that Frege’s supplementation thesis is correct about demonstratives but incorrect about ‘yesterday’. Kaplan’s account of demonstratives deviates from Frege’s in treating supplemented demonstratives as directly referential, hence rigid. It is (...) argued here that the gesture or other demonstration that accompanies an utterance of ‘that’ is not part of the designating expression but instead part of the utterance context. (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)

Notions such as Sunyata, Catuskoti, and Indra's Net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nagarjuna considered two levels of reality: one called conventional reality and the other ultimate reality. Within this framework, Sunyata refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuskoti refers to the claim (...) that four truth values, along with contradiction, are admissible in reasoning. Indra's Net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions which are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of Sunyata. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of Catuskoti. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's Net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)