This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

This paper presents a new approach to the class-theoretic paradoxes. In the first part of the paper, I will distinguish classes from sets, describe the function of class talk, and present several reasons for postulating type-free classes. This involves applications to the problem of unrestricted quantification, reduction of properties, natural language semantics, and the epistemology of mathematics. In the second part of the paper, I will present some axioms for type-free classes. My approach is loosely based on the Gödel–Russell idea (...) of limited ranges of significance. It is shown how to derive the second-order Dedekind–Peano axioms within that theory. I conclude by discussing whether the theory can be used as a solution to the problem of unrestricted quantification. In an appendix, I prove the consistency of the class theory relative to Zermelo–Fraenkel set theory. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told, Truth at Work, Paradoxes of Truth and Denotation and Axiomatic Theories of Truth. Studying the nature of (...) the concept of ‘truth’ has always been a core role of philosophy, but recent years have been a boom time in the topic. With a wealth of recent conferences examining the subject from various angles, this collection of essays recognizes the pressing need for a volume that brings scholars up to date on the arguments. Offering academics and graduate students alike a much-needed repository of today’s cutting-edge work in this vital topic of philosophy, the volume is required reading for anyone needing to keep abreast of developments, and is certain to act as a catalyst for further innovation and research. (shrink)

Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...) this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic. The applications of plural logic rely on two assumptions, namely that this logic is ontologically innocent and has great expressive power. These assumptions are shown to be problematic. The result is a more nuanced picture of plural logic's applications than has been given thus far. Questions about the correct logic of plurals play a central role in the final chapters, where traditional plural logic is rejected in favor of a "critical" alternative. The most striking feature of this alternative is that there is no universal plurality. This leads to a novel approach to the relation between the many and the one. In particular, critical plural logic paves the way for an account of sets capable of solving the set-theoretic paradoxes. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

In this article I discuss the 'procedural postulationist' view of mathematics advanced by Kit Fine in a recent paper. I argue that he has not shown that this view provides an avenue to knowledge of mathematical truths, at least if such truths are objective truths. In particular, more needs to be said about the criteria which constrain which types of entities can be postulated. I also argue that his reliance on second-order quantification means that his background logic is not free (...) of ontological commitment and that his doctrine of 'creative expansion' only makes sense from a radically anti-realist perspective. (shrink)

Unrestricted Composition (UC) is, roughly, the claim that given any objects at all, there is something which those objects compose. (UC) conflicts in an obvious way with common sense. It has as a consequence, for instance, that there is something which has as parts my nose and the moon. One of the more influential arguments for (UC) is Theodore Sider’s version of the Argument from Vagueness. (A version of the Argument from Vagueness was first presented by David Lewis (1986), pp. (...) 212–213). That argument purports to show that some plausible claims concerning the nature of vagueness entail (UC). In this paper I will suggest a response to this argument. I will show that the proponent of Supersubstantivalism (SS)—the view that material objects are identical to regions of spacetime—can reject a premise of Sider’s argument without denying the plausible claims concerning vagueness. Doing so requires only rejecting a certain view concerning the relationship between the proper sub-region relation and the proper parthood relation. So, proponents of (SS) are in a better position than many of us to side with common sense regarding composition. In the first section of the paper, I will present Sider’s argument. In the second section, I will introduce (SS) and briefly discuss some reasons one might have to believe that it is true. In the third section, I will show how the proponent of (SS) can avoid commitment to (UC) and reject a premise of Sider’s argument. Last, I’ll briefly consider and respond to some objections. (shrink)

We speak of products in two senses: in one, we speak of types of products, in the other we speak of the particular objects that are instances of those types. I argue that types of products have the same ontological status as that of material stuffs, like water and gold, which have a non-particular level of existence. I also argue that the relationship between types of products and their instances is logically similar to the relation of constitution, which holds between, (...) say, gold and a ring made of gold. In my approach, types of products are concrete entities, having spatiotemporal properties. This picture fits our commonplace conception of types of products better than alternative approaches according to which types of products are universal, abstract, or mereological entities. (shrink)

Perhaps the most pressing challenge for singularism—the predominant view that definite plurals like ‘the students’ singularly refer to a collective entity, such as a mereological sum or set—is that it threatens paradox. Indeed, this serves as a primary motivation for pluralism—the opposing view that definite plurals refer to multiple individuals simultaneously through the primitive relation of plural reference. Groups represent one domain in which this threat is immediate. After all, groups resemble sets in having a kind of membership-relation and iterating: (...) we can have groups of groups, groups of groups of groups, etc. Yet there cannot be a group of all non-self-membered groups. In response, we develop a potentialist theory of groups according to which we always can, but do not have to, form a group from any sum. Modalizing group-formation makes it a species of potential, as opposed to actual or completed, infinity. This allows for a consistent, plausible, and empirically adequate treatment of natural language plurals, one which is motivated by the iterative nature of syntactic and semantic processes more generally. (shrink)

1. Philosophical background: iteration, ineffability, reflection. There are at least two heuristic motivations for the axioms of standard set theory, by which we mean, as usual, first-order Zermelo–Fraenkel set theory with the axiom of choice (ZFC): the iterative conception and limitation of size (see Boolos, 1989). Each strand provides a rather hospitable environment for the hypothesis that the set-theoretic universe is ineffable, which is our target in this paper, although the motivation is different in each case.

Call a quantifier ‘unrestricted’ if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in philosophical inquiry. However, developing a semantic theory that vindicates unrestricted quantification proves rather difficult, at least as long as we formulate our semantic theory within a classical first-order language. It has been argued that using a type theory as framework for our semantic theory provides a resolution of this problem, at least if a broadly Fregean interpretation of type theory is assumed. However, (...) the intelligibility of this interpretation has been questioned. In this paper I introduce a type-free theory of properties that can also be used to vindicate unrestricted quantification. This alternative emerges very naturally by reflecting on the features on which the type-theoretic solution of the problem of unrestricted quantification relies. Although this alternative theory is formulated in a non-classical logic, it preserves the deductive strength of classical strict type theory in a natural way. The ideas developed in this paper make crucial use of Russell’s notion of range of significance. (shrink)

There are various well-known paradoxes of modal recombination. This paper offers a solution to a variety of such paradoxes in the form of a new conception of metaphysical modality. On the proposed conception, metaphysical modality exhibits a type of indefinite extensibility. Indeed, for any objective modality there will always be some further, broader objective modality; in other terms, modal space will always be open to expansion.

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

Formal semantic theories are generally thought to make contact with pre-theoretic semantic notions of aboutness and reference. The nature of that contact is, however, not always straightforward. This paper addresses two debates where that issue assumes a significant role. I begin with Simchen’s recent argument that Lewisian Interpretationism succumbs to referential indeterminacy. I develop a proposal about the relationship between the theoretical notion of a term’s semantic value and the pre-theoretic notion of reference, and argue that the indeterminacy Simchen identifies (...) does not constitute a form of referential indeterminacy. In the second part, I apply these resources to the debate between singularist and pluralist approaches to the semantics of plural terms, arguing that a certain form of singularism that emerges from the dialectic ends up agreeing with the pluralist at the level of reference, if not semantic value. The paper concludes with some remarks on what a properly referential style of singularism might look like. (shrink)

Forthcoming in Philosophical Compass. I explain why plural quantifiers and predicates have been thought to be philosophically significant.

In recent years, many people writing on set theory have invoked the notion of an indefinitely extensible concept. The notion, it is usually claimed, plays an important role in solving the paradoxes of absolute infinity. It is not clear, however, how the notion should be formulated in a coherent way, since it appears to run into a number of problems concerning, for example, unrestricted quantification. In fact, the notion makes perfectly good sense if one endorses a dialetheic solution to the (...) paradoxes. It then morphs from a supposed solution to the paradoxes into a diagnosis of their structure. In this paper I show how. (shrink)

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but non-singular logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets, we arrive at a Russellian paradox when characterizing the semantics of mass nouns. Likewise, a semantics of mass nouns based upon predicate logic (...) and mereological sums is too weak, since it cannot characterize the “intermediary” construals that sentences containing mass nouns may receive. We then develop an account where mass nouns are treated as non-singular terms, which may refer to several things at once. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: “The silverware that is on the table comes from Italy”. We show that this account provides a satisfactory semantics for a wide range of sentences, including cases often seen as difficult, like “The gold on the table weighs seven ounces” (Bunt 1985) and “All phosphorus is either red or black” (Roeper 1983). (shrink)

Necessitism is the controversial thesis that necessarily everything is necessarily something, namely that everything, everywhere, necessarily exists. What is controversial about necessitism is that, at its core, it claims that things could not have failed to exist, while we have a pre-theoretical intuition that not everything necessarily exists. Contingentism, in accordance with common sense, denies necessitism: it claims that some things could have failed to exist. Timothy Williamson is a necessitist and claims that David Lewis is a necessitist too. The (...) paper argues that, granted the assumptions that lead to interpret the Lewisian as a necessitist, she can preserve contingentist intuitions, by genuinely agreeing with the folk that existence is contingent. This is not just the uncontroversial claim that the Lewisian, as a result of the prevalence of restricted quantification in counterpart theoretic regimentations of natural language, can agree with the folk while disagreeing with them in the metaphysical room. Rather, this is the claim that it is in the metaphysical room that the Lewisian can endorse the intuitions lying behind contingentism. (shrink)

After a critical presentation of the debate between absolutists and relativists regarding generality where I show that the debate is framed in a way that is bound to be harmful to the relativist’s position, I examine critically one of the customary arguments advanced against the relativist: the expressibility objection (according to which the relativist would be logically unable to express her own position). I then propose a radical way out of this debate-usually centered on semantic paradoxes-by arguing that it rests (...) on an unintelligible notion of “object”. I finally introduce a useful distinction between omnis and totus to elucidate the notions in play. (shrink)

The coherence of omniscience is sometimes challenged using self-referential sentences like, “No omniscient entity knows that which this very sentence expresses,” which suggest that there are truths which no omniscient entity knows. In this paper, I consider two strategies for addressing these challenges: The Common Strategy, which dismisses such self-referential sentences as meaningless, and The Conciliatory Strategy, which discounts them as quirky outliers with no impact on one’s status as being omniscient. I argue that neither strategy succeeds. The Common Strategy (...) fails because it is both unmotivated and impotent. The Conciliatory Strategy fails because it leads to embarrassing situations in which omniscient entities are epistemically inferior to non-omniscient entities: we can, for example, devise trivia-based drinking games that force omniscient entities into an intoxicated state; and, given plausible closure principles for belief, such entities are unable to have the sorts of beliefs that give them reason to refuse to play. (shrink)

Metaontology – the study of the nature of ontological issues – has flourished in recent years. The focus of this summary will be on some views and arguments that are central to today’s debate. One theme will be that of how seriously to take ontology: whether there is reason to take a skeptical or deflationary attitude toward ontological claims, as theorists like Rudolf Carnap, Hilary Putnam, and Eli Hirsch in different ways have urged. The other theme will be that of (...) the viability of the Fregean and Quinean approaches to ontology that have been and still are central to analytic philosophy. (shrink)

In previous work in 2010 we have dealt with the problems arising from Cantor's theorem and the Richard paradox in a definable universe. We proposed indefinite extensibility as a solution. Now we address another definability paradox, the Berry paradox, and explore how Hartogs's cardinality theorem would behave in an indefinitely extensible definable universe where all sets are countable.

The Russellian argument against the possibility of absolutely unrestricted quantification can be answered by the partisan of that quantification in an apparently easy way, namely, arguing that the objects used in the argument do not exist because they are defined in a viciously circular fashion. We show that taking this contention along as a premise and relying on an extremely intuitive Principle of Determinacy, it is possible to devise a reductio of the possibility of absolutely unrestricted quantification. Therefore, there are (...) intuitive reasons to believe that the counter-argument fails to support the possibility of absolutely unrestricted quantification. (shrink)

Poincaré in a 1909 lecture in Göttingen proposed a solution to the apparent incompatibility of two results as viewed from a definitionist perspective: on the one hand, Richard’s proof that the definitions of real numbers form a countable set and, on the other, Cantor’s proof that the real numbers make up an uncountable class. Poincaré argues that, Richard’s result notwithstanding, there is no enumeration of all definable real numbers. We apply previous research by Luna and Taylor on Richard’s paradox, indefinite (...) extensibility and unrestricted quantification to evaluate Poincaré’s proposal. We emphasize that Poincaré’s solution involves an early recourse to indefinite extensibility and argue that his proposal, if it is to completely avoid Richard’s paradox, requires rejecting absolutely unrestricted quantification: Richard’s paradox provides a context in which paradox seems inescapable if unrestricted quantification is possible. In proposing his solution to the apparent conflict between Richard’s and Cantor’s results, Poincaré employs temporal expressions whose exact meaning he does not clarify. We suggest an interpretation of these expressions in terms of order of availability and briefly discuss its explanatory power in topics like paradoxes, limitation theorems and indefinite extensibility. (shrink)

Patrick Grim has put forward a set theoretical argument purporting to prove that omniscience is an inconsistent concept and a model theoretical argument for the claim that we cannot even consistently define omniscience. The former relies on the fact that the class of all truths seems to be an inconsistent multiplicity (or a proper class, a class that is not a set); the latter is based on the difficulty of quantifying over classes that are not sets. We first address the (...) set theoretical argument and make explicit some ways in which it depends on mathematical Platonism. Then we sketch a non Platonistic account of inconsistent multiplicities, based on the notion of indefinite extensibility, and show how Grim’s set theoretical argument could fail to be conclusive in such a context. Finally, we confront Grim’s model theoretical argument suggesting a way to define a being as omniscient without quantifying over any inconsistent multiplicity. (shrink)

where ‘aa’ is a plural term, and ‘F’ a plural predicate. Following George Boolos (1984) and others, many philosophers and logicians also think that plural expressions should be analysed as not introducing any new ontological commitments to some sort of ‘plural entities’, but rather as involving a new form of reference to objects to which we are already committed (for an overview and further details, see Linnebo 2004). For instance, the plural term ‘aa’ refers to Alice, Bob and Charlie simultaneously, (...) and the plural predicate ‘F’ is true of some things just in case these things cooperate. A natural question that arises is whether the step from the singular to the plural can be iterated. Are there terms that stand to ordinary plural terms the way ordinary plural terms stand to singular terms? Let’s call such terms superplural. A superplural term would thus, loosely speaking, refer to several ‘pluralities’ at once, much as an ordinary plural term refers to several objects at once.1 Further, let’s call a predicate superplural if it can be predicated of superplural terms. It is reasonably straightforward to devise a formal logic of superplural terms, superplural predicates, and even superplural quantifiers (see Rayo 2006). But does this formal logic reflect any features of natural languages? In particular, does ordinary English contain superplural terms and predicates? The purpose of this article is to address these questions. We examine some earlier arguments for the existence of superplural expressions in English and find them to be either.. (shrink)

I argue that common nouns should be analyzed as variables, rather than as predicates which take variables as arguments. This necessitates several unusual features to the analysis, such as allowing variables to be modally non-rigid, and assigning their values compositionally. However, treating common nouns as variables offers a variety of theoretical and empirical advantages over a more traditional analysis: It predicts the conservativity of nominal quantification, simplifies the analysis of articleless languages, derives the weak reading of sentences with donkey anaphora, (...) solves the proportion problem presented by quantifiers like ‘most’, improves the analysis of the temperature paradox, allows a more unified analysis of bare plurals, and regularizes the correspondence between syntactic categories and semantic types. (shrink)

Recently, some philosophers have argued that we should take quantification of any order to be a legitimate and irreducible, sui generis kind of quantification. In particular, they hold that a semantic theory for higher-order quantification must itself be couched in higher-order terms. Øystein Linnebo has criticized such views on the grounds that they are committed to general claims about the semantic values of expressions that are by their own lights inexpressible. I show that Linnebo's objection rests on the assumption of (...) a notion of semantic value or contribution which both applies to expressions of any order, and picks out, for each expression, an extra-linguistic correlate of that expression. I go on to argue that higher-orderists can plausibly reject this assumption, by means of a hierarchy of notions they can use to describe the extra-lingustic correlates of expressions of different orders. (shrink)

At the most general level, the concept of finitism is typically characterized by saying that finitistic mathematics is that part of mathematics which does not appeal to completed infinite totalities and is endowed with some epistemological property that makes it secure or privileged. This paper argues that this characterization can in fact be sharpened in various ways, giving rise to different conceptions of finitism. The paper investigates these conceptions and shows that they sanction different portions of mathematics as finitistic.

The Received View of particles in quantum mechanics is that they are indistinguishable entities within their kinds and that, as a consequence, they are not individuals in the metaphysical sense and self-identity does not meaningfully apply to them. Nevertheless cardinality does apply, in that one can have n> 1 such particles. A number of authors have recently argued that this cluster of claims is internally contradictory: roughly, that having more than one such particle requires that the concepts of distinctness and (...) identity must apply after all. A common thread here is that the notion of identity is too fundamental to forego in any metaphysical account. I argue that this argument fails. I then argue that the failure of individuality and identity applies also to macroscopic physical objects, that the problems cannot be constrained to apply only within the microscopic realm. (shrink)

Plural Logic is an extension of First-Order Logic which has, as well as singular terms and quantifiers, their plural counterparts. Analogously, Higher-Level Plural Logic is an extension of Plural Logic which has, as well as plural terms and quantifiers, higher-level plural ones. Roughly speaking, higher-level plurals stand to plurals like plurals stand to singulars; they are pluralised plurals. Allegedly, Higher-Level Plural Logic enjoys the expressive power of a simple type theory while committing us to nothing more than the austere ontology (...) of First-Order Logic. Were this true, Higher-Level Plural Logic would be a useful tool, with various applications in philosophy and linguistics. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with a lot of scepticism. In this paper, I argue for the legitimacy of Higher-Level Plural Logic by providing evidence to the effect that natural languages contain higher-level plural expressions and showing that it is likely that they do so in an indispensable manner. Since the arguments I put forward are of the same sort advocates of Plural Logic have employed to defend their position, I conclude that the commonly held view that Plural Logic is legitimate, but not so its higher-level plural extensions is untenable. (shrink)

Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...) about merely possible entities. I argue that such difficulty is rooted in a problem in the metaphysics of powers. In particular, I contend that the well-known tension between two key principle of powers ontology, namely Directedness and Independence has received an unsatisfactory solution so far, and that it is this unsatisfactory solution concerning the status of “unmanifested manifestations” that makes it hard for Dispositionalism to account for mere possibilia. I develop a novel account of the status of unmanifested manifestations and an overall metaphysics of powers which allows to better respond to Leech's objection and handle mere possibilia. The central idea of the proposal is that unmanifested manifestations are akin to mere logical existents, and are best characterised as non-essentially non-located entities. (shrink)

From 1905–1908 onward, Russell thought that his new ‘substitutional theory’ provided him with the right framework to resolve the set-theoretic paradoxes. Even if he did not finally retain this resolution, the substitutional strategy was instrumental in the development of his thought. The aim of this paper is not historical, however. It is to show that Russell's substitutional insight can shed new light on current issues in philosophy of mathematics. After having briefly expounded Russell's key notion of a ‘structured variable’, I (...) connect it to two ongoing discussions: the Caesar problem, and absolute generality. (shrink)

The paper has two parts: 1. A brief exposition of proof-theoretic semantics, not necessarily in connection to natural language. 2. A review, with a contrastive flavour, of some of the applications of PTS to NL with an indication of advantages of PTS as a theory of meaning for NL.

The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does not (...) obtain, and assertions are always warranted, having grounds of assertion. The proof system is shown to satisfy Dummett’s harmony property, justifying the ND rules as meaning conferring. The semantics is suitable for incorporation into computational linguistics grammars, formulated in type-logical grammar. (shrink)

Inspired by the grammar of natural language, the paper presents a variant of first-order logic, in which quantifiers are not sentential operators, but are used as subnectors . A quantified term formed by a subnector is an argument of a predicate. The logic is defined by means of a meaning-conferring natural-deduction proof-system, according to the proof-theoretic semantics program. The harmony of the I/E-rules is shown. The paper then presents a translation, called the Frege translation, from the defined logic to standard (...) first-order logic, and shows that the proof-theoretic meanings of both logics coincide. The paper criticizes Frege’s original regimentation of quantified sentences of natural language, and argues for advantages of the proposed variant. (shrink)

Semantic interpretations of both natural and formal languages are usually taken to involve the specification of a domain of entities with respect to which the sentences of the language are to be evaluated. A question that has received much attention of late is whether there is unrestricted quantification, quantification over a domain comprising absolutely everything there is. Is there a discourse or inquiry that has absolute generality? After framing the debate, this article provides an overview of the main arguments for (...) and against the possibility of unrestricted quantification, highlighting some of the broader implications of the debate. (shrink)

This paper reflects on metametaphysics and as such develops a metametameta-physical view: that quietist metametaphysics requires dialetheism, and in turn a paraconsistent logic. I demonstrate this using Carnap’s metametaphysical position in his 'Empiricism, Semantics and Ontology' as an example, with regard to how it exhibits self-reference and results in inconsistency. I show how applying Carnap’s position to itself produces a dilemma, both horns of which lead to a contradiction. Such inconsistency commonly arises from meta-theories with global scope, as the 'meta' (...) approach aims to transcend the scope of that which it is theorizing about, whilst the global nature will place itself back within the scope of that which it is theorizing about, which together result in the theory referring to itself whilst refuting itself. I argue that any global metametaphysical theory that draws a limit to thought will face self-reference problems leading to contradictory realms. My conclusion is conditional: If we want to meta-philosophize in such a way and treat quietist meta-theories as being true, then we need to be dialetheist and utilize a paraconsistent logic in order to accommodate the contradictions that result from such theorizing. (shrink)

In one of his meetings with members of the Vienna Circle, Wittgenstein discusses Hermann Weyl’s brief conversion to intuitionism and criticizes his arguments against applying the law of the excluded middle to generalizations over the natural numbers. Like Weyl, however, Wittgenstein rejects the classical model theoretic conception of generality when it comes to infinite domains. Nonetheless, he disagrees with him about the reasons for doing so. This paper provides an account of Wittgenstein’s criticism of Weyl that is based on his (...) differing understanding of what a general statement over infinite domains consists in. This difference in their conception of generality is argued to be central to the middle Wittgenstein’s overall stance on intuitionism as well. While Weyl (and other intuitionists) reject the law of the excluded middle on grounds of constructivity, Wittgenstein argues that general statements over infinite domains do not express propositions in the first place. The origin of this position as well as its consequences for contemporary debates on generality are further assessed. (shrink)

A central element in neo-Fregean philosophy of mathematics is the focus on abstraction principles, and the use of abstraction principles to ground various areas of mathematics. But as is well known, not all abstraction principles are in good standing. Various proposals for singling out the acceptable abstraction principles have been presented. Here I investigate what philosophical underpinnings can be provided for these proposals; specifically, underpinnings that fit the neo-Fregean's general outlook. Among the philosophical ideas I consider are: general views on (...) a priori justification; the idea of abstraction as reconceptualization, the idea that truth is prior to reference in the sense associated with Frege's context principle; and various broadly relativistic views. The conclusions are by and large negative. (shrink)

It is common in metaphysical discourse to make claims like “Everything is self-identical” in which “everything” is intended to range over everything. This sort of “unrestricted” generality appears central to metaphysical discourse. But there is debate whether such generality, which appears to involve quantification over an all-inclusive domain, is even meaningful. To address this concern, Shaughan Lavine and Vann McGee supply competing accounts of the generality expressed by this use of “everything.” I argue that, from the perspective of the metaphysician, (...) neither of their proposals is entirely suitable. But their central insights, as well as their shortcomings, suggest an account which is suitable for metaphysical discourse, what I call “genuinely unrestricted quantification.” For while genuinely unrestricted quantification does not directly supply an account of the metaphysician's “everything,” it disentangles what are properly metaphysical issues from issues concerning how we ought to understand the quantifiers. It makes clear that whether the metaphysician's “everything” is meaningful cannot simply be resolved by supplying an appropriate account of our understanding of quantification. It depends on addressing certain substantive ontological questions. (shrink)

Attributions of omnipresence, most familiar within the philosophy of religion, typically take the omnipresence of an entity to either consist in that entity's occupation of certain regions or be dependent upon other of that entity's attributes, such as omnipotence or omniscience. This paper defends an alternative conception of omnipresence that is independent of other purported divine attributes and dispenses with occupation. The resulting view repurposes the metaphysics of necessitism and permanentism, taking omnipresent entities to be those entities that exist at (...) all regions. This view is then shown to best accommodate attributions of omnipresence to a diverse range of metaphysical posits, like abstract entities, and a more diverse class of religious posits. (shrink)