This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. 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 book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

As made manifest by Clower's comments on their “science fiction” nature, general equilibrium theories present such peculiar and puzzling features that the methodologist must perforce seek some specific methodological accommodation for this part of economic theory. The role played by such theories in contemporary economics is so fundamental that the impossibility of appraising them by means of any version of falsificationism, and their patent lack of empirical content if approached with the conceptual devices of the methodology of scientific research programs, (...) have prompted several scholars interested in the methodology of economics to search for a reasonable way out. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

Paper on structural realism and how its problems lend support to some kind of panpsychism.

The subject matter of this thesis is analytic ontology. Chapters II and III deal with two versions of trope theory, or moderate nominalism; these are defined as ontologies which recognise properties and relations but no (real) universals. The key notion of both theories, trope, is characterised as an abstract particular. What the abstractness amounts to differs between the two. Yet another difference is that simplicity is an essential trait of a trope according to one theory, but not according to the (...) other. Though exact similarity is said to play an important role in both theories, as it turns out, this does not seem to be the case. The ontology dealt with in chapter IV is a mixture of moderate nominalism concerning qualities and realism concerning relations. In it, quality instances (moments) and universal relations are the ultimate constituents of the universe. While relations and moments are considered to be constituents of states of affairs, which are characterised as objects of higher orders, complexes that are objects of the first order are made up of moments on their own. Among these complexes one finds the ordinary objects. Paradoxically, although relations are necessary for the existence of complex first order objects, relations are not thought to be among the contents of these objects. The main subject of chapter V is a particular version of moderate realism; it is an ontology which is realistic in its recognition of universals and moderate in its recognition of instances of these universals. Instances combine to form complex networks. A theoretically motivated claim is that although each instance has a predicational aspect as well as a universal one, it is simple in the sense of lacking internal predicative structure; though, this claim can be called into question. Keywords: analytic ontology, moderate nominalism, moderate realism, particular, universal, abstract, concrete, abstract particular, abstract universal, concrete particular, concrete universal, trope, moment, complex unity, collection, instance, unit attribute, intensional aspect, predicational aspect, continuous composite, articulated composite. (shrink)

A feature of Frege's philosophy of arithmetic that has elicited a great deal of attention in the recent secondary literature is his contention that numbers are ‘self‐subsistent’ objects. The considerable interest in this thesis among the contemporary philosophy of mathematics community stands in marked contrast to Kreisel's folk‐lore observation that the central problem in the philosophy of mathematics is not the existence of mathematical objects, but the objectivity of mathematics. Although Frege was undoubtedly concerned with both questions, a goal of (...) the present paper is to argue that his success in securing the objectivity of arithmetic depends on a less contentious commitment to numbers as objects than either he or his critics have supposed. As such, this paper is an articulation and defense of both Frege's analysis of arithmetic and Kreisel's observation. (shrink)

What is logical relevance? Anderson and Belnap say that the “modern classical tradition [,] stemming from Frege and Whitehead-Russell, gave no consideration whatsoever to the classical notion of relevance.” But just what is this classical notion? I argue that the relevance tradition is implicitly most deeply concerned with the containment of truth-grounds, less deeply with the containment of classes, and least of all with variable sharing in the Anderson–Belnap manner. Thus modern classical logicians such as Peirce, Frege, Russell, Wittgenstein, and (...) Quine are implicit relevantists on the deepest level. In showing this, I reunite two fields of logic which, strangely from the traditional point of view, have become basically separated from each other: relevance logic and diagram logic. I argue that there are two main concepts of relevance, intensional and extensional. The first is that of the relevantists, who overlook the presence of the second in modern classical logic. The second is the concept of truth-ground containment as following from in Wittgenstein’s Tractatus. I show that this second concept belongs to the diagram tradition of showing that the premisses contain the conclusion by the fact that the conclusion is diagrammed in the very act of diagramming the premisses. I argue that the extensional concept is primary, with at least five usable modern classical filters or constraints and indefinitely many secondary intensional filters or constraints. For the extensional concept is the genus of deductive relevance, and the filters define species. Also following the Tractatus, deductive relevance, or full truth-ground containment, is the limit of inductive relevance, or partial truth-ground containment. Purely extensional inductive or partial relevance has its filters or species too. Thus extensional relevance is more properly a universal concept of relevance or summum genus with modern classical deductive logic, relevantist deductive logic, and inductive logic as its three main domains. (shrink)

We discuss the concept of a cardinal number and its history, focussing on Cantor's work and its reception. J'ay fait icy peu pres comme Euclide, qui ne pouvant pas bien >faire< entendre absolument ce que c'est que raison prise dans le sens des Geometres, definit bien ce que c'est que memes raisons. (Leibniz) 1.

The paper offers a survey of four key moments in which symbolisms for quantification were first introduced: §§11–2 of Frege’s Begriffsschrift ; Peirce’s ‘Algebra of Logic’ ; Peano’s ‘St...

The article concerns the treatment of the so-called denoting phrases, of the forms ?every A?, ?any A?, ?an A? and ?some A?, in Russell's Principles of Mathematics. An initially attractive interpretation of what Russell's theory was has been proposed by P.T. Geach, in his Reference and Generality (1962). A different interpretation has been proposed by P. Dau (Notre Dame Journal, 1986). The article argues that neither of these is correct, because both credit Russell with a more thought-out theory than he (...) actually had. The conclusion is mainly negative: at this date Russell has no coherent theory of these phrases. An appendix notes that his understanding of the quantifiers in predicate logic is also, at this date, not entirely secure. (shrink)

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of propositional attitudes. I show how identifying propositions (...) with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (shrink)

The relativistic revolution led to varieties of neo-Kantianism in which constitutive principles define the object of scientific knowledge in a domain-dependent and historically mutable manner. These principles are a priori insofar as they are necessary premises for the formulation of empirical laws in a given domain, but they lack the self-evidence of Kant’s a priori and they cannot be identified without prior knowledge of the theory they purport to frame. In contrast, the rationalist endeavors of a few masters of theoretical (...) physics have led to comprehensibility conditions that are easily admitted in a given domain and yet suffice to generate the theory of this domain. The purpose of this essay is to compare these two kinds of relativized a priori, to discuss the nature of the comprehensibility conditions, and to demonstrate their effectiveness in a modular conception of physical theories. (shrink)

Causal slingshots are formal arguments advanced by proponents of an event ontology of token-level causation which, in the end, are intended to show two things: (i) The logical form of statements expressing causal dependencies on token level features a binary predicate ‘‘... causes ...’’ and (ii) that predicate takes events as arguments. Even though formalisms are only revealing with respect to the logical form of natural language statements, if the latter are shown to be adequately captured within a corresponding formalism, (...) proponents of slingshots usually take the adequacy of their formalizations for granted without justifying it. The first part of this paper argues that the most discussed version of a causal slingshot, viz. the one e.g. presented by Davidson (Essays on actions and events. Oxford, Clarendon Press, 1980), can indeed be refuted for relying on an inadequate formal apparatus. In contrast, the formal means of Gödel’s (The philosophy of Betrand Russell. New York, Tudor, 1944) often neglected slingshot are shown to stand on solid ground in the second part of the paper. Nonetheless, I contend that Gödel’s slingshot does only half the work friends of event causation would like it to do. It provides good reasons for (i) but not for (ii). (shrink)

It is widely held that there is a problem of talking about or otherwise representing things that not exist. But what exactly is this problem? This paper presents a formulation of the problem in terms of the conflict between the fact that there are truths about non-existent things and the fact that truths must be answerable to reality, how things are. Given this, the problem of singular negative existential statements is no longer the central or most difficult aspect of the (...) problem of non-existence, despite what some philosophers say. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...) of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.Paul Rosenbloom 1950. (shrink)

What is the Bare Particular Theory? Is it committed, like the Bundle Theory, to a constituent ontology: according to which a substance’s qualities—and according to the Bare Particular Theory, its substratum also—are proper parts of the substance? I argue that Bare Particularists need not, should not, and—if a recent objection to ‘the Bare Particular Theory’ succeeds—cannot endorse a constituent ontology. There is nothing, I show, in the motivations for Bare Particularism or the principles that distinguish Bare Particularism from rival views (...) that entails a constituent ontology. I outline a version of Bare Particularism that in rejecting a constituent ontology avoids the New Objection. I argue against Theodore Sider that this really is a distinct theory to the version of Bare Particularism that endorses a constituent ontology, and not a mere terminological variant. I show that this, the best version of the Bare Particular Theory, is also defensible against the old objections. (shrink)

In this article, I pay special expository attention to two pieces of philosophically relevant Wittgenstein–Russell correspondence from the period leading up to the ultimate demise of Russell's Theory of Knowledge manuscript (in June 1913). This is done in the hopes of shedding light on Wittgenstein's notoriously obscure criticisms of Russell's multiple relation theory of judgement. I argue that these two pieces of correspondence (the first, a letter from Wittgenstein to Russell dated January 1913, and the second, a letter from Russell (...) to Ottoline Morrell, reporting a tense confrontation with Wittgenstein on 26 May 1913) each refer to what is more or less the same approach to problems concerning the unity and well-formedness of propositions or judgements. However, the view advanced in Wittgenstein's January letter to Russell nevertheless differs in a key respect from the view of Russell's referred to in the May letter to Morrell. The difference involves Wittgenstein's incorporating qualities and relations as unsaturated parts of the copulae of atomic complexes, where these copulae are in turn conceived as logical forms. Because such an approach to logical form (and more specifically, to relations) was philosophically unpalatable to Russell, he undertook an alternative theoretical correction in the context of his 1913 Theory of Knowledge manuscript. This theoretical correction was discussed with Wittgenstein during the tense confrontation on 26 May, and involved deploying a supplemental significance constraint on judgements. It was this significance constraint on judgements, moreover, which was the ‘premiss’ alluded to by Wittgenstein in the context of a June 1913 letter to Russell, wherein he claims to express his objection to Russell's theory ‘exactly.’. (shrink)

In his “Space, supervenience and substantivalism”, Le Poidevin proposes a substantivalism in which space is discrete, implying that there are unmediated spatial relations between neighboring primitive points. This proposition is motivated by his concern that relationism suffers from an explanatory lacuna and that substantivalism gives rise to a vicious regress. Le Poidevin implicitly requires that the relationist be committed to the “only x and y ” principle regarding spatial relations. It is not obvious that the relationist is committed to this (...) principle in such a context. An additional motivation for Le Poidevin's argument, that space should be considered to be discrete, is that he believes that substantivalists are committed to a vicious regress. I show that the regress is in fact not of the vicious variety. These two main arguments show that Le Poidevin's suggestion that we drop the density postulate for space is unnecessary. (shrink)

Two topics figure prominently in recent discussions of mathematical structuralism: challenges to the purported metaphysical insight provided by sui generis structuralism and the significance of category theory for understanding and articulating mathematical structuralism. This article presents an overview of central themes related to these topics.

We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction through information hiding is a (...) primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns. (shrink)

Since its publication in 1967, van Heijenoort’s paper, “Logic as Calculus and Logic as Language” has become a classic in the historiography of modern logic. According to van Heijenoort, the contrast between the two conceptions of logic provides the key to many philosophical issues underlying the entire classical period of modern logic, the period from Frege’s Begriffsschrift (1879) to the work of Herbrand, Gödel and Tarski in the late 1920s and early 1930s. The present paper is a critical reflection on (...) some aspects of van Heijenoort’s thesis. I concentrate on the case of Frege and Russell and the claim that their philosophies of logic are marked through and through by acceptance of the universalist conception of logic, which is an integral part of the view of logic as language. Using the so-called “Logocentric Predicament” (Henry M. Sheffer) as an illustration, I shall argue that the universalist conception does not have the consequences drawn from it by the van Heijenoort tradition. The crucial element here is that we draw a distinction between logic as a universal science and logic as a theory. According to both Frege and Russell, logic is first and foremost a universal science, which is concerned with the principles governing inferential transitions between propositions; but this in no way excludes the possibility of studying logic also as a theory, i.e., as an explicit formulation of (some) of these principles. Some aspects of this distinction will be discussed. (shrink)

A semantic analysis of mass nouns is given in terms of a logic of classes as many. In previous work it was shown that plural reference and predication for count nouns can be interpreted within this logic of classes as many in terms of the subclasses of the classes that are the extensions of those count nouns. A brief review of that account of plurals is given here and it is then shown how the same kind of interpretation can also (...) be given for mass nouns. (shrink)

The problematic features of Quine's set theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by returning to a second-order logic of predication with nominalized predicates as abstract singular terms. We adopt a modified Fregean position called conceptual realism in which the concepts (unsaturated cognitive structures) that predicates stand for are distinguished from the extensions (or intensions) that their nominalizations denote as singular (...) terms. We argue against Quine's view that predicate quantifiers can be given a referential interpretation only if the entities predicates stand for on such an interpretation are the same as the classes (assuming extensionality) that nominalized predicates denote as singular terms. Quine's alternative of giving predicate quantifiers only a substitutional interpretation is compared with a constructive version of conceptual realism, which with a logic of nominalized predicates is compared with Quine's description of conceptualism as a ramified theory of classes. We argue against Quine's implicit assumption that conceptualism cannot account for impredicative concept-formation and compare holistic conceptual realism with Quine's class Platonism. (shrink)

Mathematical apriorists usually defend their view by contending that axioms are knowable a priori, and that the rules of inference in mathematics preserve this apriority for derived statements—so that by following the proof of a statement, we can trace the apriority being inherited. The empiricist Philip Kitcher attacked this claim by arguing there is no satisfactory theory that explains how mathematical axioms could be known a priori. I propose that in analyzing Ernest Sosa’s model of intuition as an intellectual virtue, (...) we can construct an “intuition–virtue” that could supply the missing explanation for the apriority of axioms. I first argue that this intuition–virtue qualifies as an a priori warrant according to Kitcher’s account, and then show that it could produce beliefs about mathematical axioms independent of experience. If my argument stands, this paper could provide insight on how virtue epistemology could help defend mathematical apriorism on a larger scale. (shrink)

If one examines the sky at sunset on a clear night, one seems to see a continuum of colors from reds, oranges and yellows to a deep blue-black. Between any two colored points in the sky there seem to be other colored points. Furthermore, the changes in color across the sky appear to be continuous. Although the colors at the zenith and the horizon are obviously distinct, nowhere in the sky can one see any color borders, and every sufficiently small (...) region of the sky is made up of regions that all seem to be of the same color. (shrink)

Drawing on the findings of neuroscience, this text proposes and defends the hypothesis that the various modalities of sensation share a generic form that the author, Austen Clark, calls feature-placing.

The aim of this paper is to discuss the philosophical premises of Whitehead's definition of time in _The Concept of Nature and other works of the same period. Whitehead probably introduced this definition, which depends on what he calls the "method of extensive abstraction," in 1913, just after the publication of the _Principia Mathematica with Russell. He only published his results in 1919. However, Russell takes up the method, with slight modifications, after personal communication with Whitehead, as soon as 1914, (...) in _Our Knowledge of the External World. It is also carefully studied by G. Mead, in particular in _Philosophy of the Present, and by Merleau-Ponty, in his lectures at the Collège de France. (edited). (shrink)

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

Aim of the paper is to revise Boolos’ reinterpretation of second-order monadic logic in terms of plural quantification ([4], [5]) and expand it to full second order logic. Introducing the idealization of plural acts of choice, performed by a suitable team of agents, we will develop a notion of plural reference . Plural quantification will be then explained in terms of plural reference. As an application, we will sketch a structuralist reconstruction of second-order arithmetic based on the axiom of infinite (...) à la Dedekind, as the unique non-logical axiom. We will also sketch a virtual interpretation of the classical continuum involving no other infinite than a countable plurality of individuals. (shrink)

During the first months of 1887, while completing the drafts of his Mitteilungen zur Lehre vom Transfiniten, Georg Cantor maintained a continuous correspondence with Benno Kerry. Their exchange essentially concerned two main topics in the philosophy of mathematics, namely, (a) the concept of natural number and (b) the infinitesimals. Cantor's and Kerry's positions turned out to be irreconcilable, mostly because of Kerry's irremediably psychologistic outlook, according to Cantor at least. In this study, I will examine and reconstruct the main points (...) in the discussion around (a) and (b) and stress some interesting aspects of the philosophical and mathematical thought of Benno Kerry. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

Many commentators have attempted to say, more clearly than Wittgenstein did in his Tractatus logico-philosophicus, what sort of things the ‘simple objects’ spoken of in that book are. A minority approach, but in my view the correct one, is to reject all such attempts as misplaced. The Tractarian notion of an object is categorially indeterminate: in contrast with both Frege's and Russell's practice, it is not the logician's task to give a specific categorial account of the internal structure of elementary (...) propositions or atomic facts, nor, correlatively, to give an account of the forms of simple objects. The few commentators who have hitherto maintained this view have mainly devoted themselves to establishing that this was Wittgenstein's intention, and do not much address the question why Wittgenstein held that it is not the logician's business to say what the objects are. The present paper means to fill this lacuna by placing this view in the context of the Tractatus's treatment of logic generally, and in particular by connecting it with Wittgenstein's treatment of generality and with his reaction to Russell's approach to logical form. (shrink)

The arrow paradox is an argument purported to show that objects do not really move. The two main metaphysics of motion, the At–At theory of motion and velocity primitivism, solve the paradox differently. It is argued that neither solution is completely satisfactory. In particular it is contended that there are no decisive arguments in favor of the claim that velocity as it is constructed in the At–At theory is a truly instantaneous property, which is a crucial assumption to solve the (...) paradox. If so the At–At theory faces the threat that most of our physical theories turn out to be non-Markovian. Finally it is considered whether all those threats and paradoxes are dispelled if only a new metaphysics of persistence is taken into account, namely four-dimensionalism. (shrink)

The authors provide an object-theoretic analysis of two paradoxes in the theory of possible worlds and propositions stemming from Russell and Kaplan. After laying out the paradoxes, the authors provide a brief overview of object theory and point out how syntactic restrictions that prevent object-theoretic versions of the classical paradoxes are justified philosophically. The authors then trace the origins of the Russell paradox to a problematic application of set theory in the definition of worlds. Next the authors show that an (...) object-theoretic analysis of the Kaplan paradox reveals that there is no genuine paradox at all, as the central premise of the paradox is simply a logical falsehood and hence can be rejected on the strongest possible grounds—not only in object theory but for the very framework of propositional modal logic in which Kaplan frames his argument. The authors close by fending off a possible objection that object theory avoids the Russell paradox only by refusing to incorporate set theory and, hence, that the object-theoretic solution is only a consequence of the theory’s weakness. (shrink)

According to Hume’s principle, a sentence of the form ⌜The number of Fs = the number of Gs⌝ is true if and only if the Fs are bijectively correlatable to the Gs. Neo-Fregeans maintain that this principle provides an implicit definition of the notion of cardinal number that vindicates a platonist construal of such numerical equations. Based on a clarification of the explanatory status of Hume’s principle, I will provide an argument in favour of a nominalist construal of numerical equations. (...) The neo-Fregean objections to such a construal will be examined and rejected. And the implications of the nominalist construal for the use of numerals and for the understanding of ontological questions for the existence of numbers will be spelled out. (shrink)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

The paper addresses the topic of the unavoidability of contradiction in dealing with issues of scepticism – and how coherence can be restored to sceptical arguments and texts. It considers six classic paradoxes in the history of Western thought – of how language works to undermine and derail the coherence of thought. It also theorizes a philosophy of language approach to restore coherence in the classic instances discussed. As its major example, the paper explores how and why the image of (...) successful, long-standing constitutions is a minimalist image through a discussion of the relationship between epistemological scepticism generally and textual scepticism specifically. (shrink)

Cauchy’s contribution to the foundations of analysis is often viewed through the lens of developments that occurred some decades later, namely the formalisation of analysis on the basis of the epsilon-delta doctrine in the context of an Archimedean continuum. What does one see if one refrains from viewing Cauchy as if he had read Weierstrass already? One sees, with Felix Klein, a parallel thread for the development of analysis, in the context of an infinitesimal-enriched continuum. One sees, with Emile Borel, (...) the seeds of the theory of rates of growth of functions as developed by Paul du Bois-Reymond. One sees, with E. G. Björling, an infinitesimal definition of the criterion of uniform convergence. Cauchy’s foundational stance is hereby reconsidered. (shrink)

Jin Yuelin’s logical and philosophical thought was deeply influenced by the philosophy of Bertrand Russell. The same influence existed also in the case of his view on truth, which was considerably close to the views maintained by Russell in his phase of logical atomism. In their investigations, Russell and Jin not only focused on similar topics, but also occupied similar philosophical positions, such as realism in the domain of ontology, empiricism in epistemology, and the correspondence theory in the domain of (...) the theory of truth. Nevertheless, Jin Yuelin’s view on truth was not only a mere imitation or recapitulation or even plagiarized copy of Russell’s, but also contained innovations and characteristics of its own. Jin, for example, emphasized certain general characteristics of truth, including the notion of truth as a relational quality, that truth is not a matter of degree, and that it is relative neither to time and space nor to the different types of knowledge. By so doing, Jin underlined the objectiveness, reliability, and transcendence of true propositions. By arguing that the correspondence theory of truth possessed strong foundations in common sense, Jin set out to defend the role of common sense in philosophy and science, maintaining that the former cannot be completely eliminated and arguing against the notion that any modification of a part of common sense would ultimately be founded on yet another segment of common sense. Moreover, Jin delivered his own response against the theory of the gap between “subject and object/the internal and the external,” which had been used to question the correspondence theory of truth, proposing a variety of cognitivist theory, which defined facts as “the given” (datum) that has been received and arranged. Most importantly, facts are cognitive constructs created on the basis of “the given” and encapsulate both subjectiveness and objectiveness. Jin Yuelin was a modern Chinese philosopher who had achieved profound erudition in both Chinese and Western thought, and, above all, an independent an profoundly original thinker. (shrink)

Different interpretations of Bradley’s regress argument are considered. On the basis of textual evidences, it is argued that the most persuasive is the one that sees the argument as primarily addressing the general issue of unity or connectedness.

Jin Yuelin (1895?1984), a Chinese logician and philosopher, is greatly influenced by Hume's and Russell's philosophies. How should we respond to Hume's problem of induction? This is an important clue to understand Jin's whole philosophical career. The first section of this paper gives a brief historical review of Russell and Jin. The second section outlines Hume's skeptical arguments against causality and induction. The third section expounds Russell's justification of induction by discussing his views on Hume's skepticism, causality, principle of induction, (...) and empirical postulates. The fourth section clarifies Jin's justification of induction by discussing his critique of Hume's epistemology and his arguments for the reliability of causality and the eternal truth and apriority of the principle of induction. The final section compares Jin's justification of induction with Russell's and concludes that there are similarities and differences between their projects and that both their attempts fail. This paper takes the similar responses to the problem of induction by Jin and Russell to demonstrate the communication that there has been between Chinese philosophers and the Western ones. (shrink)

There are two no-change objections that can be raised against the B-theory of time. One stems from the observation that in a B-theoretic scenario changes of determinations can only be represented by propositions which have eternal truth values. The other derives from the principle that nothing can vary over a period of time if it doesn’t instantiate a state of change at all the instants of time which compose it. Here I argue that both objections apply to all comparative conceptions (...) of change, regardless of whether they take tense seriously or not. It follows that, contrary to what is widely believed, A-theoretic accounts of time are not immune to no-change objections, just in virtue of being realist about tense. A-theorists must either accept the conclusion that time, according to their account, does not flow, or put forward an account of flow that is not comparative. A number of difficulties with both of these options are discussed. (shrink)