Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

A naïve perspective on the world suggests that the world we live in is full of vague objects. In this chapter, a version of the supervaluationist framework will be proposed to provide a systematic conception of such a naïve perspective. Precisifications of a vague object will be characterized as objects that, were they actual objects, every determinate truth about the vague object would be true about them. It will be argued that this view is more effective than other versions of (...) supervaluationism at accommodating commonsensical and metaphysical considerations. The view leaves room for vague identity as a kind of “no fact of the matter.” Thus, Evans’ argument against ontic vagueness fails in a natural way. (shrink)

The study of metaphysical possibility involves two central questions: What are possible worlds? Is there an empty possible world? In looking at the first question we consider the different accounts of possible worlds—Lewisian realism, ersatzism, etc. In looking at the second question we consider the discussions of metaphysical nihilism, the modal ontological arguments, etc. In this paper I am drawing these two questions together in order to show how the position we hold on one of these issues affects the position (...) we should hold on the other. (shrink)

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of entities (...) are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

There is much to be said for a diachronic or interpersonal individuation of singular modes of presentation (MOPs) in terms of a criterion of epistemic transparency between thought tokens. This way of individuating MOPs has been discussed recently within the mental files framework, though the issues discussed here arise for all theories that individuate MOPs in terms of relations among tokens. All such theories face objections concerning apparent failures of the transitivity of the ‘same MOP’ relation. For mental files, these (...) transitivity failures most obviously occur because mental files can merge or undergo fission. In this paper I argue that this problem is easily resolved once mental files are properly construed as continuants, whose metaphysics is analogous to that of persons or physical objects. All continuants can undergo fission or fusion, leading to similar transitivity problems, but there are well-established theories of persistence that accommodate this. I suggest that, in particular, the stage theory best suits the purposes of a continuant theory of MOPs. (shrink)

This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range of applications to issues in philosophy of (...) language, semantics, and philosophy of mind. (shrink)

In Reasons and Persons, Parfit (1984) posed a challenge: provide a satisfying normative account that solves the Non-Identity Problem, avoids the Repugnant and Absurd Conclusions, and solves the Mere-Addition Paradox. In response, some have suggested that we look toward person-affecting views of morality for a solution. But the person-affecting views that have been offered so far have been unable to satisfy Parfit's four requirements, and these views have been subject to a number of independent complaints. This paper describes a person-affecting (...) account which meets Parfit's challenge. The account satisfies Parfit's four requirements, and avoids many of the criticisms that have been raised against person-affecting views. (shrink)

David Kaplan famously argued that mainstream semantics for modal logic, which identifies propositions with sets of possible worlds, is affected by a cardinality paradox. Takashi Yagisawa showed that a variant of the same paradox arises when standard possible worlds semantics is extended with impossible worlds to deliver a hyperintensional account of propositions. After introducing the problem, we discuss two general approaches to a possible solution: giving up on sets and giving up on worlds, either in the background semantic framework or (...) in the corresponding conception of propositions. As a result, we conclude that abandoning worlds by embracing a truthmaker-based approach offers a promising way to account for hyperintensional propositions without facing the paradoxical outcome. (shrink)

The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to nor quantify over (...) them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

What does it mean that certain properties globally supervene on others? The paper criticises the now standard way of spelling out the notion in terms of 1–1 correlations between world-domains and proposes a modification that escapes the difficulties. The new definition can secure the additional benefit of resisting an argument to the effect that global supervenience is theoretically dispensable.

In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. Second, the link between (...) belief and action he proposes is too rigid. We close by sketching a generalization of the account that can meet these challenges. (shrink)

One motivation for preferring the many worlds interpretation of quantum mechanics over realist rivals, such as collapse and hidden variables theories, is that the interpretation is able to preserve locality (in the sense of no action at a distance) in a way these other theories cannot. The primary goal of this paper is to make this argument for the many worlds interpretation precise, in a way that does not rely on controversial assumptions about the metaphysics of many worlds.

In this paper I argue that there are some sentences whose truth makes no demands on the world, being trivially true in that their truth-conditions are trivially met. I argue that this does not amount to their truth-conditions being met necessarily: we need a non-modal understanding of the notion of the demands the truth of a sentence makes, lest we be blinded to certain conceptual possibilities. I defend the claim that the truths of pure mathematics and set theory are trivially (...) true, and hence accepting their truth brings no ontological commitment; I further defend the claim that the truths of applied mathematics and set theory do not demand the existence of numbers or sets. While the notion of a demand must not be reduced to anything modal, I nonetheless argue that sentences that are trivially true must also be necessary, lest we violate a very weak version of the principle that truth depends on the world. I further argue that all necessary truths are trivially true, lest we admit unexplained necessities. I end by showing one important consequence of this: I argue that if there are truthmakers for intrinsic predications, they must be states of affairs rather than tropes. (shrink)

Surprisingly, many ethical realists and anti-realists, naturalists and not, all accept some version of the following normative appeal to the natural (NAN): evaluative and normative facts hold solely in virtue of natural facts, where their naturalness is part of what fits them for the job. This paper argues not that NAN is false but that NAN has no adequate non-parochial justification (a justification that relies only on premises which can be accepted by more or less everyone who accepts NAN) to (...) back up this consensus. I show that we cannot establish versions of NAN which are interesting in their own right (and not merely as instances of a general naturalistic ontology) by appealing to the nature of natural properties or the kind of in-virtue-of relation to which NAN refers, plus other plausible nonparochial assumptions. On the way, I distinguish different types of 'in virtue of claims. I conclude by arguing that the way in which assessment of meta-ethical hypotheses is theory-dependent predicts the failure of non-parochial justifications of NAN. (shrink)

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

ABSTRACT: Recently the discussion surrounding the conceivability thesis has been less about the link between conceivability and possibility per se and more about the requirements of a successful physicalist program. But before entering this debate it is necessary to consider whether conceivability provides us with even prima facie justification for our modal beliefs. I argue that two methods of conceiving—imagining that p and telling a story about p—can provide us with such justification, but only if certain requirements are met. To (...) make these arguments, I consider those of Paul Tidman, whose position I use as a foil.RÉSUMÉ: Dernièrement, le débat sur la thèse de la concevabilité a peu porté sur le lien entre la concevabilité et la possibilité per se et s’est plutôt intéressé aux conditions requises pour la réalisation du programme physicaliste. Toutefois, avant d’entrer dans ce débat, il est nécessaire de se demander si la concevabilité offre une justification même élémentaire des croyances modales. Je soutiens que deux méthodesde concevoir — imaginer que p et raconter une histoire à propos de p — sont susceptibles de nous fournir cette justification, mais seulement dans la limite de certaines conditions. À l’appui de mon propos, j’envisage la position de Paul Tidman, qui me sert de repoussoir. (shrink)

Time and modality show remarkable similarities. Each of the most discussed theories in philosophy of time finds an analogous counterpart in modal metaphysics, suggesting that the parallel between the two notions is metaphysically deep. This chapter offers a brief overview of their analogies. Section 1 addresses the analogy between presentism and actualism. Section 2 explores the analogy between non-presentist theories and possibilism. Section 3 discusses the analogy between temporal and modal persistence.

Hud Hudson has argued that if MaxCon, Ned Markosian's favored answer to the Simple Question, is true, then there couldn't be gunky objects. If Hudson's argument succeeds, then those who believe that gunky objects are possible have a good reason to reject MaxCon. However, I show that Hudson's argument relies on substantive metaphysical claims that a proponent of MaxCon need not accept. Thus, one who endorses MaxCon need not reject the possibility of gunky objects and those who believe that gunky (...) objects are possible need not reject MaxCon. (shrink)

A fundamental fact is “pure” just in case it has no grounded entities—ex. Tokyo, President Biden, the River Nile, {Socrates}, etc.—among its constituents. Purity is the thesis that every fundamental fact is pure. I argue that Purity is false. My argument begins with a familiar conditional: if Purity is true, then there are no fundamental “grounding facts” or facts about what grounds what. This conditional is accepted by virtually all of Purity’s defenders. However, I argue that it is also the (...) first step toward Purity’s undoing. For, if every grounding fact has a ground, then some grounded entities have “groundmates” or distinct grounded entities that share their full grounds. But, if there are groundmates, then Purity is false. So Purity leads to a contradiction. Therefore, it is false. I close by noting that my argument against Purity also gives us a powerful reason to think that some grounding facts are fundamental. (shrink)

Hyperintensionality – the failure of substitutivity salva veritate of intensionally equivalent expressions – is one of the most debated topics in recent philosophy of language. Being a phenomenon that affects a wide variety of different sentential contexts, a question concerning its source arises: is hyperintensionality something that can originate from actual features of the world, or it is simply some kind of representational phenomenon, which entirely depends on our conceptual faculties and preferred semantics? After a brief general introduction to the (...) topic from the semantic standpoint, in the present work I defend a view developed by Daniel Nolan, according to which hyperintensionality can be a worldly, non-representational phenomenon. I first reconstruct Nolan’s view and argument for worldly hyperintensionality, understood through the comparison with de re intensional modality. Then, I address the main criticism that has been raised against it, developing three objections. Evidence for worldly hyperintensionality is thereby presented, by focusing on a paradigmatic trigger: counterpossible conditionals. I provide two jointly sufficient criteria for a counterpossible to be a genuine instance of worldly hyperintensionality, then illustrate three case studies from scientific practices that all rely on counterpossible reasoning: reducibility in relative computability theory; scientific explanation of certain substances’ essential properties; and emergent molecular structure in chemistry. Each of them is evaluated by checking if it satisfies the criteria for worldly hyperintensionality, leading to the detection of patterns of counterpossible dependence occurring in at least some specific instances of the case studies discussed. Finally, I suggest a possible realist reading of such dependence relation, locating its relata in the world, independently from our representations. (shrink)

In Plato's Parmenides , Socrates proposes a 'Day' analogy to express one possible model of part/whole relations. His analogy is swiftly rejected and replaced with another analogy, that of the 'Sail'. In this paper, it is argued that there is a profound difference between these two analogies and that the 'Day' represents a distinct way to think about part/whole relations. This way of thinking, I argue, is the standard way of thinking in East Asian Buddhism. Plato's 'Day' analogy can then (...) be used to illuminate the meaning of an opaque but very important concept in East Asian Buddhism: li , which in this paper is developed as a modal concept of 'Wholeness'. (shrink)

In my dissertation, I address a variety of issues in the metaphysics of space and related areas. I begin by discussing the popular thesis that regions of space are identical to sets of points in space. I present three arguments against this thesis and conclude that we should be skeptical of it. In its place, I propose an axiomatic theory of regions of space that is consistent with both reductive accounts of their nature and with accounts that treat them as (...) sui generis entities. -/- I next explore the consequences of the aforementioned considerations. In particular, I describe five different sorts of structure each of which is such that the claim that space could have that structure is consistent with the axiomatic theory previously proposed. I claim that this fact, together with the skepticism concerning reductive accounts argued for earlier, shows that we should take seriously the claim that space could have any of these structures. -/- Having argued that we should be skeptical of the thesis that regions of space are identical to sets of points in space and suggesting that space could have different sorts of structure, I discuss how best to analyze continuity. I present an analysis of continuity inspired by remarks of Richard Cartwright in his 1975 paper ‘Scattered Objects’. I argue that this Cartwrightian analysis should be rejected because it identifies regions of space with sets of points in space, and I present a modified version of the analysis that does not do so. I note, however, that there is an intuitive notion of continuity that is not captured by this modified Cartwrightian analysis. I present and defend an analysis of continuity that better captures this intuitive notion. -/- I then turn to the issue of how to analyze what it is for a region of space to be open and what it is for a region of space to be closed. Here I argue that Cartwright’s analyses of these notions are incorrect. I then present a series of alternative analyses, revising each in response to objections. This process culminates with my proposed analyses of what it is for a region of space to be open and what it is for a region of space to be closed. -/- Finally, I discuss the Maximally Continuous Account of Simples (MaxCon), originally formulated and defended by Ned Markosian in his 1998 paper ‘Simples’. I argue that Markosian’s version of MaxCon, which identifies regions of space with sets of points in space and relies on the Cartwrightian analysis of continuity, should be rejected. I then formulate a new version of MaxCon that builds on the views defended earlier in my dissertation and defend this new version of MaxCon from objections. (shrink)

This book, provides a critical approach to all major logical paradoxes: from ancient to contemporary ones. There are four key aims of the book: 1. Providing systematic and historical survey of different approaches – solutions of the most prominent paradoxes discussed in the logical and philosophical literature. 2. Introducing original solutions of major paradoxes like: Liar paradox, Protagoras paradox, an unexpected examination paradox, stone paradox, crocodile, Newcomb paradox. 3. Explaining the far-reaching significance of paradoxes of vagueness and change for philosophy (...) and ontology. 4. Proposing a novel, well justified and, as it seems, natural classification of paradoxes. (shrink)

This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of more than 20 years of his research, they cover a wide ground of topics, from early works on decision theory, belief revision and nonmonotonic logic to more recent work on conceptual spaces, inductive reasoning, semantics and the evolutions of thinking. Many of the papers have only been published in places that are difficult to access. The common theme of all the (...) papers is the dynamics of thought. Several of the papers have become minor classics and the volume bears witness of the wide scope of Gärdenfors’ research and of his crisp and often witty style of writing. The volume will be of interest to researchers in philosophy and other cognitive sciences. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

This book addresses how our revisionary practices account for relations between texts and how they are read. It offers an overarching philosophy of revision concerning works of fiction, fact, and faith, revealing unexpected insights about the philosophy of language, the metaphysics of fact and fiction, and the history and philosophy of science and religion. It will be of interest to a wide range of scholars and advanced students working in philosophy of language, metaphysics, philosophy of literature, literary theory and criticism, (...) and history and philosophy of science and religion. (shrink)

Samuel Alexander was an important figure in the rise of realism in the early twentieth century. Alongside Moore and Russell he forwarded the cause of realism in England with a systematic exposition of a realist metaphysics in his magnum opus Space, Time and Deity (1920). This volume is a collection of essays on Alexander’s philosophy, ranging from his metaphysics of spacetime, theory of categories, epistemology and account of perception, naturalism, and interpretations of reactions by R.G. Collingwood and John Anderson.

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

According to one version of objectivism about value, ethical and other evaluative claims have a fixed truth-value independently of who makes them or the society in which they happen to live (c.f. Davidson 2004, 42). Subjectivists about value deny this claim. According to subjectivism so understood, ethical and other evaluative claims have no fixed truth-value, either because their truth-value is dependent on who makes them, or because they have no truth-value at all.

This paper is about the metaphysical debate whether objects persist over time by the selfsame object existing at different times (nowadays called “endurance” by metaphysicians), or by different temporal parts, or stages, existing at different times (called “perdurance”). I aim to illuminate the debate by using some elementary kinematics and real analysis: resources which metaphysicians have, surprisingly, not availed themselves of. There are two main results, which are of interest to both endurantists and perdurantists. (1) I describe a precise formal (...) equivalence between the way that the two metaphysical positions represent the motion of the objects of classical mechanics (both point-particles and continua). (2) I make precise, and prove a result about, the idea that the persistence of objects moving in a void is to be analysed in terms of tracking the continuous curves in spacetime that connect points occupied by matter. The result is entirely elementary: it is a corollary of the Heine–Borel theorem. (shrink)

This book proposes a new solution to the problem of vagueness. There are several different ways of addressing this problem and no clear agreement on which one is correct. The author proposes that it should be understood as the problem of explaining vague predicates in a way that systematizes six intuitions about the phenomenon and satisfies three criteria of adequacy for an ideal theory of vagueness. The third criterion, which is called the “criterion of precisification”, is the most controversial one. (...) It is based on the intuition that a predicate is vague only if it is imprecise. The author considers some different definitions of linguistic imprecision, proposing that a predicate is imprecise if and only if there is no sharp boundary between objects to which its application yields some particular truth-value and objects to which its application does not yield that truth-value. The volume critically reviews the current theories of vagueness and proposes a new one, the Theory of Vagueness as Arbitrariness, which defines a vague predicate as an arbitrary predicate that must be precisified in order to contribute to a sentence that has truth-conditions. The main advantages of this theory over the current alternatives are that it satisfies all three criteria and systematizes the relevant intuitions. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

This paper defends the case against (sparse) disjunctive properties by means of four Armstrongian arguments. The first of these is a logical atomist argument from truthmaking, which is, broadly speaking, ‘Armstrongian’ (Armstrong 1997). This argument is strong – although it stands or falls with the relevant notion of truthmaking, as it were. However, three arguments, which are prima facie independent of truthmaking, can be found explicitly early in Armstrong’s middle period. Two of these early arguments face a serious objection put (...) forward forcefully by Louise Antony (2003) and Alan Penczek (1997), respectively. I consider these objections and argue that they fail. Thus, even if the argument from truthmaking is indecisive, disjunctive properties should be rejected. (shrink)

It is more or less uncontroversial that when we harm someone through wrongful conduct we incur an obligation to compensate her. But sometimes compensation is impossible: when the victim is killed, for example. Other times, only partial compensation is possible. In this article, I take some initial steps towards exploring this largely ignored issue. I argue that the perpetrator of a wrongful harm incurs a duty to promote the impartial good in proportion to the amount of harm that cannot be (...) made up for by compensating her victim. (shrink)

La philosophie contemporaine du temps voit s’affronter deux conceptions du temps : celle du devenir qui identifie la réalité naturelle à un présent en constant renouvellement et celle de l’univers-bloc qui assimile la réalité naturelle à un espace-temps étendu dans quatre dimensions. Cette dernière approche implique notamment que les événements qui nous semblent passés et futurs sont tout aussi réels que les événements présents et que les êtres humains, bien que mortels, sont des êtres éternels. L’auteur défend cette théorie de (...) l’univers-bloc en montrant que le raisonnement philosophique et les avancées les plus récentes de la physique contemporaine s’accordent à montrer que ce monde quadri-dimensionnel est bel et bien le nôtre. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

Nel nostro universo, qualunque cosa, dalla più piccola particella alla più smisurata galassia, esiste in un qualche tempo e in un qualche luogo. Ma cosa significa esistere in un qualche tempo? Il fenomeno dell’esistenza temporale gioca un ruolo fondamentale nella comprensione dell’universo e di noi stessi quali creature temporali. Eppure è un fenomeno profondamente misterioso. L’esistenza temporale è da intendersi come una relazione? Che legami ha con l’esistenza dell’ontologia? L’esistenza temporale e la localizzazione spaziale sono due fenomeni essenzialmente differenti o (...) due istanze di un’unica relazione? Tutto ciò che esiste nel tempo esiste nel tempo nello stesso modo? Tutto ciò che è nel tempo è anche nello spazio? (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived by C.D. Broad. The book offers a coherent, logically perspicuous and ideologically lean formulation of GBT, defends it against the most notorious objections to be found in the extant philosophical literature, and shows how it can be derived from a more general theory, consistent with relativistic spacetime, on the pre-relativistic assumption of an absolute and total temporal order. -/- The authors devise (...) axiomatizations of GBT and its competitors which, against the backdrop of a shared quantified tense logic, significantly improves the prospects of their comparative assessment. Importantly, neither of these axiomatizations involves commitment to properties of presentness, pastness or futurity. The authors proceed to address, and defuse, a number of objections that have been marshaled against GBT, including the so-called epistemic objection according to which the theory invites skepticism about our temporal location. The challenge posed by relativistic physics is met head-on, by replacing claims about temporal variation by claims about variation across spacetime. -/- The book aims to achieve the greatest possible rigor. The background logic is set out in detail, as are the principles governing the notions of precedence and temporal location. The authors likewise devise a novel spacetime logic suited for the articulation, and comparative assessment, of relativistic theories of time. The book comes with three technical appendices which include soundness and completeness proofs for the systems corresponding to GBT and its competitors, in both their pre-relativistic and relativistic forms. -/- The book is primarily directed at researchers and graduate students working on the philosophy of time or temporal logic, but is of interest to metaphysicians and philosophical logicians more generally. (shrink)

In this work, it is shown that given a correct understanding of the nature of reference and of linguistic meaning generally, it is possible to produce non-revisionist analyses of the nature of -/- *Perceptual content, *Mental content generally, *Logical equivalence, *Logical dependence generally, *Counterfactual truth, *The causal efficacy of mental states, and *Our knowledge of ourselves and of the external world. -/- In addition, set-theoretic interpretations of several semantic concepts are put forth. These concepts include truth, falsehood, negation, and conjunction.

In this book, William Brant inquires how violence is reduced. Social causes of violence are exposed. War, sexual domination, leadership, propagandizing and comedy are investigated. Legal systems are explored as reducers and implementers of violence and threats.

This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...) quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative, philosophically informed compositional semantics compatible with the truth-conditional paradigm. (shrink)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)