Transfinite recursion is an essential component of set theory. In this paper, we seek intrinsically justified reasons for believing in recursion and the notions of higher computation that surround it. In doing this, we consider several kinds of recursion principles and prove results concerning their relation to one another. We then consider philosophical motivations for these formal principles coming from the idea that computational notions lie at the core of our conception of set. This is significant because, while the iterative (...) conception of set has been widely recognized as insufficient to establish replacement and recursion, its supplementation by considerations pertaining to algorithms suggests a new and philosophically well-motivated reason to believe in such principles. (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)

Boolos has suggested a plural interpretation of second-order logic for two purposes: to escape Quine’s allegation that second-order logic is set theory in disguise, and to avoid the paradoxes arising if the second-order variables are given a set-theoretic interpretation in second-order set theory. Since the plural interpretation accounts only for monadic second-order logic, Rayo and Yablo suggest an new interpretation for polyadic second-order logic in a Boolosian spirit. The present paper argues that Rayo and Yablo’s interpretation does not achieve the (...) goal. (shrink)

We analyse Reach's puzzle, according to which it is impossible to be told anyone's name, because the statement conveying it can be understood only by someone who already knows what it says. We argue that the puzzle can be solved by adverting to the systematic nature of mention when it involves the use of standard quotation marks or similar devices. We then discuss mention more generally and outline an account according to which any mentioning expressions that are competent to solve (...) Reach's puzzle – and in particular those consisting of standard quotation marks and their fillings – have a descriptive analysis: we rebut the usual objections to this account, and show how it is superior to some of the alternatives in the literature. We conclude by briefly connecting the foregoing discussions with semantic theory. (shrink)

Salmon and Soames argue against nominalism about numbers and sentence types. They employ (respectively) higher-order and first-order logic to model certain natural language inferences and claim that the natural language conclusions carry commitment to abstract objects, partially because their renderings in those formal systems seem to do that. I argue that this strategy fails because the nominalist can accept those natural language consequences, provide them with plausible and non-committing truth conditions and account for the inferences made without committing themselves to (...) abstract objects. I sketch a modal account of higher-order quantification, on which instead of ranging over sets, higher order quantifiers are used to make (logical) possibility claims about which predicate tokens can be introduced. This approach provides an alternative account of truth conditions for natural language sentences which seem to employ higher-order quantification, thus allowing the nominalist to evade Salmon’s argument. I also show how the nominalist can account for the occurrence of apparently singular abstract terms in certain true statements. I argue that the nominalist can achieve this by, first, dividing singular terms into real singular terms (referring to concrete objects) and only apparent singular terms (called onomatoids), introduced for the sake of brevity and simplicity, and then providing an account of nominalistically acceptable truth conditions of sentences containing onomatoids. I develop such an account in terms of modally interpreted abstraction principles and argue that applying this strategy to Soames’s argument allows the nominalists to defend themselves. (shrink)

There has been very little discussion of the appropriate principles to govern a modal logic of plurals. What debate there has been has accepted a principle I call (Necinc); informally if this is one of those then, necessarily: this is one of those. On this basis Williamson has criticised the Boolosian plural interpretation of monadic second-order logic. I argue against (Necinc), noting that it isn't a theorem of any logic resulting from adding modal axioms to the plural logic PFO+, and (...) showing that the most obvious formal argument in its favour is question begging. I go on to discuss the behaviour of natural language plurals, motivating a case against (Necinc) by developing a case that natural language plural terms are not de jure rigid designators. The paper concludes by developing a model theory for modal PFO-f which does not validate (Necinc). An Appendix discusses (Necinc) in relation to counterpart theory. Of course, it would be a mistake to think that the rules for "multiple pointing" follow automatically from the rules for pointing proper. Max Black—The Elusiveness of Sets In some influential articles during the 1980s George Boolos proposed an interpretation of monadic second-order logic in terms of plural quantification [4, 5]. One objection to this proposal, pressed by Williamson [22, 456-7], focuses on the modal behaviour of plural variables, arguing that the proposed interpretation yields the wrong results in respect of the modal status of atomic predications. In the present paper I will present this objection and argue against it. In the course of developing the argument, I will have cause to consider the under-investigated question of how a logic for plurals should be extended to incorporate modal operators. (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)

Set-theoretic potentialism is one of the most lively trends in the philosophy of mathematics. Modal accounts of sets have been developed in two different ways. The first, initiated by Charles Parsons, focuses on sets as objects. The second, dating back to Hilary Putnam and Geoffrey Hellman, investigates set-theoretic structures. The paper identifies two strands of open issues, technical and conceptual, to clarify these two different, yet often conflated, views and categorize the potentialist approaches that have emerged in the contemporary debate. (...) The final outcome is a taxonomy that should help researchers navigate the rich landscape of modal set theories. (shrink)

I argue that linguistic meanings are instructions to build monadic concepts that lie between lexicalizable concepts and truth-evaluable judgments. In acquiring words, humans use concepts of various adicities to introduce concepts that can be fetched and systematically combined via certain conjunctive operations, which require monadic inputs. These concepts do not have Tarskian satisfaction conditions. But they provide bases for refinements and elaborations that can yield truth-evaluable judgments. Constructing mental sentences that are true or false requires cognitive work, not just an (...) exercise of basic linguistic capacities. (shrink)

The meaning of 'most' can be described in many ways. We offer a framework for distinguishing semantic descriptions, interpreted as psychological hypotheses that go beyond claims about sentential truth conditions, and an experiment that tells against an attractive idea: 'most' is understood in terms of one-to-one correspondence. Adults evaluated 'Most of the dots are yellow', as true or false, on many trials in which yellow dots and blue dots were displayed for 200 ms. Displays manipulated the ease of using a (...) 'one-to-one with remainder' strategy, and a strategy of using the Approximate Number System to compare of (approximations of) cardinalities. Interpreting such data requires care in thinking about how meaning is related to verification. But the results suggest that 'most' is understood in terms of cardinality comparison, even when counting is impossible. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

Second-order axiomatizations of certain important mathematical theories—such as arithmetic and real analysis—can be shown to be categorical. Categoricity implies semantic completeness, and semantic completeness in turn implies determinacy of truth-value. Second-order axiomatizations are thus appealing to realists as they sometimes seem to offer support for the realist thesis that mathematical statements have determinate truth-values. The status of second-order logic is a controversial issue, however. Worries about ontological commitment have been influential in the debate. Recently, Vann McGee has argued that one (...) can get some of the technical advantages of second-order axiomatizations—categoricity, in particular—while walking free of worries about ontological commitment. In so arguing he appeals to the notion of an open-ended schema—a schema that holds no matter how the language of the relevant theory is extended. Contra McGee, we argue that second-order quantification and open-ended schemas are on a par when it comes to ontological commitment. (shrink)

If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case (...) with respect to the objects that are studied in mathematics. In addition to that, the methods of investigation of mathematics differ markedly from the methods of investigation in the natural sciences. Whereas the latter acquire general knowledge using inductive methods, mathematical knowledge appears to be acquired in a different way, namely, by deduction from basic principles. The status of mathematical knowledge also appears to differ from the status of knowledge in the natural sciences. The theories of the natural sciences appear to be less certain and more open to revision than mathematical theories. For these reasons mathematics poses problems of a quite distinctive kind for philosophy. Therefore philosophers have accorded special attention to ontological and epistemological questions concerning mathematics. (shrink)

This paper criticizes George Boolos's famous use of plural quantification to argue that monadic second-order logic is pure logic. I deny that plural quantification qualifies as pure logic and express serious misgivings about its alleged ontological innocence. My argument is based on an examination of what is involved in our understanding of the impredicative plural comprehension schema.

NeoFregeanism is an intriguing but elusive philosophy of mathematical existence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quantifier variance.

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

Probably there is no position in Goodman’s corpus that has generated greater perplexity and criticism than Goodman’s “nominalism”. As is abundantly clear from Goodman’s writings, it is not “abstract entities” generally that he questions—indeed, he takes sensory qualia as “basic” in his Carnap-inspired constructional system in Structure—but rather just those abstracta that are so crystal clear in their identity conditions, so fundamental to our thought, so prevalent and seemingly unavoidable in our discourse and theorizing that they have come to form (...) the generally accepted framework for the most time-honored, exact, sophisticated, refined, central, and secure branch of human knowledge yet devised, mathematics itself! Of all the abstracta to question, why sets? Of course, Goodman gave his “reasons”, the unintelligibility of “generating” an infinitude of “constructed objects” automatically from any given object or objects. But critics have been quick to point out that set theory is intended not as a theory of what can be “generated” or “constructed” from given objects in any literal sense but rather as a theory of a certain realm of objects independently existing in their own right. “Construction” is a metaphor. (shrink)

Neo-Fregeanism in the philosophy of mathematics consists of two main parts: the logicist thesis, that mathematics (or at least branches thereof, like arithmetic) all but reduce to logic, and the platonist thesis, that there are abstract, mathematical objects. I will here focus on the ontological thesis, platonism. Neo-Fregeanism has been widely discussed in recent years. Mostly the discussion has focused on issues specific to mathematics. I will here single out for special attention the view on ontology which underlies the neo-Fregeans’ (...) claims about mathematical objects, and discuss this view in a broader setting. (shrink)

A co-authored article with Roy T. Cook forthcoming in a special edition on the Caesar Problem of the journal Dialectica. We argue against the appeal to equivalence classes in resolving the Caesar Problem.

Second-order Peano Arithmetic minus the Successor Axiom is developed from first principles through Quadratic Reciprocity and a proof of self-consistency. This paper combines 4 other papers of the author in a self-contained exposition.

At the beginning of Die Grundlagen der Arithmetik [1884], Frege observes that “it is in the nature of mathematics to prefer proof, where proof is possible”. This, of course, is true, but thinkers differ on why it is that mathematicians prefer proof. And what of propositions for which no proof is possible? What of axioms? This talk explores various notions of self-evidence, and the role they play in various foundational systems, notably those of Frege and Zermelo. I argue that both (...) programs are undermined at a crucial point, namely when self-evidence is supported by holistic and even pragmatic considerations. (shrink)

Un trait du langage qui menace de saper la sûreté de la pensée est sa tendance à former des noms propres auxquels aucun objet ne correspond. [...] Un exemple particulièrement remarquable de cela est la formation d’un nom propre selon le schéma «l’extension du concept a», par exemple «l’extension du concept étoile». À cause de l’article défini, cette expression semble désigner un objet; mais il n’y a aucun objet pour lequel cette expression pour-rait être une désignation appropriée. De là les (...) paradoxes de la théorie des ensembles, qui ont porté un coup mortel à la théorie des ensembles elle-même. J’étais moi-même sous cette illusion quand afin de fournir une fondation logique aux nombres, j’ai tenté de construire les nombres comme des ensembles. (shrink)

This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...) of Church’s intensional logic that have been criticized by Parsons and Klement: this, it turns out, is due to resources which also permit an interpretation of a fragment of Gallin’s intensional logic. Finally, the relation between the predicative response to the Russell-Myhill paradox of propositions and the Russell paradox of sets is discussed, and it is shown that the predicative conception of set induced by this predicative intensional logic allows one to respond to the Wehmeier problem of many non-extensions. (shrink)

This paper discusses the neo-logicist approach to the foundations of mathematics by highlighting an issue that arises from looking at the Bad Company objection from an epistemological perspective. For the most part, our issue is independent of the details of any resolution of the Bad Company objection and, as we will show, it concerns other foundational approaches in the philosophy of mathematics. In the first two sections, we give a brief overview of the "Scottish" neo-logicist school, present a generic form (...) of the Bad Company objection and introduce an epistemic issue connected to this general problem that will be the focus of the rest of the paper. In the third section, we present an alternative approach within philosophy of mathematics, a view that emerges from Hilbert's Grundlagen der Geometrie (1899, Leipzig: Teubner; Foundations of geometry (trans.: Townsend, E.). La Salle, Illinois: Open Court, 1959.). We will argue that Bad Company-style worries, and our concomitant epistemic issue, also affects this conception and other foundationalist approaches. In the following sections, we then offer various ways to address our epistemic concern, arguing, in the end, that none resolves the issue. The final section offers our own resolution which, however, runs against the foundationalist spirit of the Scottish neo-logicist program. (shrink)

We present a plural logic that is as expressively strong as it can be without sacrificing axiomatisability, axiomatise it, and use it to chart the expressive limits set by axiomatisability. To the standard apparatus of quantification using singular variables our object-language adds plural variables, a predicate expressing inclusion (is/are/is one of/are among), and a plural definite description operator. Axiomatisability demands that plural variables only occur free, but they have a surprisingly important role. Plural description is not eliminable in favour of (...) quantification; on the contrary, quantification is definable in terms of it. Predicates and functors (function signs) can take plural as well as singular terms as arguments, and both many-valued and single-valued functions are expressible. The system accommodates collective as well as distributive predicates, and the condition for a predicate to be distributive is definable within it; similarly for functors. An essential part of the project is to demonstrate the soundness and completeness of the calculus with respect to a semantics that does without set-theoretic domains and in which the use of settheoretic extensions of predicates and functors is replaced by the sui generis relations and functions for which the extensions were at best artificial surrogates. Our metalanguage is designed to solve the difficulties involved in talking plurally about individuals and about the semantic values of plural items. (shrink)

Can Quine’s criterion for ontological commitment be comparatively applied across different logics? If so, how? Cross-logical evaluations of discourses are central to contemporary philosophy of mathematics and metaphysics. The focus here is on the influential and important arguments of George Boolos and David Lewis that second-order logic and plural quantification don’t incur additional ontological commitments over and above those incurred by first-order quantifiers. These arguments are challenged by the exhibition of a technical tool—the truncation-model construction of notational equivalents—that compares the (...) ontological role and increased expressive strength of non-first-order ideology to first-order ideology. (shrink)

The non-well-founded set theories described by Aczel (1988) have received attention from category theorists and computer scientists, but have been largely ignored by philosophers. At the root of this neglect might lie the impression that these theories do not embody a conception of set, but are rather of mere technical interest. This paper attempts to dispel this impression. I present a conception of set which may be taken as lying behind a non-well-founded set theory. I argue that the axiom AFA (...) is justified on the conception, which provides, contra Rieger (Mind 109:241–253, 2000), a rationale for restricting attention to the system based on this axiom. By making use of formal and informal considerations, I then make a case that most of the other axioms of this system are also justified on the conception. I conclude by commenting on the significance of the conception for the debate about the justification of the Axiom of Foundation. (shrink)

I offer you some theories of intellectual obligations and rights (virtue Ethics): initially, RBT (a Right to Believe Truth, if something is true it follows one has a right to believe it), and, NDSM (one has no right to believe a contradiction, i.e., No right to commit Doxastic Self-Mutilation). Evidence for both below. Anthropology, Psychology, computer software, Sociology, and the neurosciences prove things about human beliefs, and History, Economics, and comparative law can provide evidence of value about theories of rights. (...) However, insofar as we have methods within Philosophy to help us formulate precise concepts of 'belief' and 'rights', methods that also help us to prove links (or absence thereof) amongst families of concepts of rights and belief, our discipline is in and of itself capable of sound reasoning about issues as puzzling as the following. Suppose a Jane who does not believe in God yet who believes she ought to so believe: Jane is undergoing doxastic moral regret (moral regret for lack of faith). We have all known such Janes and perhaps at one time or another even been one. Paradox: given RBT and NDSM, Jane as described not only does not exist, Jane cannot exist. Thus, to enrich the ways in which Philosophy need not get all its evidence from other academic disciplines, I present a brief introduction to what I call Neutral Universal Frames (NUFs). NUFs solve hard puzzles about interactions among modal concepts of belief and rights, concepts that occur in RBT, NDSM and the description of our Janes. NUFs for theories precisely articulated via any two or more modal concepts are a powerful and immensely general set of tools enabling us to define rich theories of truth ("models on frames") to test philosophical theories for internal consistency and to prove the existence of connections (or absence thereof) amongst alternative articulations of philosophical theories. NUFs thereby add to the constructive knowledge producing way Logics intersect with Philosophy of Religion. And we will soon see why Jane, be she named 'Jane' or known simply as you: cannot exist. Read on at your own risk. (shrink)

Can there be objects that are ‘thin’ in the sense that very little is required for their existence? A number of philosophers have thought so. For instance, many Fregeans believe it suffices for the existence of directions that there be lines standing in the relation of parallelism; other philosophers believe it suffices for a mathematical theory to have a model that the theory be coherent. This article explains the appeal of thin objects, discusses the three most important strategies for articulating (...) and defending the idea of such objects, and outlines some problems that these strategies face. (shrink)

Using Carnap’s concept explication, we propose a theory of concept formation in mathematics. This theory is then applied to the problem of how to understand the relation between the concepts formal proof and informal, mathematical proof.

In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets of naturalism, i.e. that mathematics cannot be naturalized. I find little reason for optimism that the argument can be effectively answered.

Ordinary English contains different forms of quantification over objects. In addition to the usual singular quantification, as in 'There is an apple on the table', there is plural quantification, as in 'There are some apples on the table'. Ever since Frege, formal logic has favored the two singular quantifiers ∀x and ∃x over their plural counterparts ∀xx and ∃xx (to be read as for any things xx and there are some things xx). But in recent decades it has been argued (...) that we have good reason to admit among our primitive logical notions also the plural quantifiers ∀xx and ∃xx. More controversially, it has been argued that the resulting formal system with plural as well as singular quantification qualifies as ‘pure logic’; in particular, that it is universally applicable, ontologically innocent, and perfectly well understood. In addition to being interesting in its own right, this thesis will, if correct, make plural quantification available as an innocent but extremely powerful tool in metaphysics, philosophy of mathematics, and philosophical logic. For instance, George Boolos has used plural quantification to interpret monadic second-order logic and has argued on this basis that monadic second-order logic qualifies as “pure logic.” Plural quantification has also been used in attempts to defend logicist ideas, to account for set theory, and to eliminate ontological commitments to mathematical objects and complex objects. (shrink)

A number of important philosophical problems are problems in the overlap of logic and ontology. Both logic and ontology are diverse fields within philosophy, and partly because of this there is not one single philosophical problem about the relation between logic and ontology. In this survey article we will first discuss what different philosophical projects are carried out under the headings of "logic" and "ontology" and then we will look at several areas where logic and ontology overlap.

We cast doubts on the suggestion, recently made by Graham Priest, that glut theorists may express disagreement with the assertion of A by denying A. We show that, if denial is to serve as a means to express disagreement, it must be exclusive, in the sense of being correct only if what is denied is false only. Hence, it can’t be expressed in the glut theorist’s language, essentially for the same reasons why Boolean negation can’t be expressed in such a (...) language either. We then turn to an alternative proposal, recently defended by Beall (in Analysis 73(3):438–445, 2013; Rev Symb Log, 2014), for expressing truth and falsity only, and hence disagreement. According to this, the exclusive semantic status of A, that A is either true or false only, can be conveyed by adding to one’s theory a shrieking rule of the form A & ~A |- \bot, where \bot entails triviality. We argue, however, that the proposal doesn’t work either. The upshot is that glut theorists face a dilemma: they can either express denial, or disagreement, but not both. Along the way, we offer a bilateral logic of exclusive denial for glut theorists—an extension of the logic commonly called LP. (shrink)

This paper evaluates the argument for the contradictoriness of unity, that be- gins Priest’s recent book One. The argument is seen to fail because it does not adequately differentiate between different forms of unity. This diagnosis of the argument’s failure is used as a basis for two consistent accounts of unity. The paper concludes by arguing that reality contains two absolutely fundamental and unanalysable forms of unity, which are in principle presupposed by any theory of anything. These fundamental forms of (...) unity are closely related to the unity of propositions and facts. (shrink)

Gottlob Frege defined cardinal numbers in terms of value-ranges governed by the inconsistent Basic Law V. Neo-logicists have revived something like Frege's original project by introducing cardinal numbers as primitive objects, governed by Hume's Principle. A neo-logicist foundation for set theory, however, requires a consistent theory of value-ranges of some sort. Thus, it is natural to ask whether we can reconstruct the cardinal numbers by retaining Frege's definition and adopting an alternative consistent principle governing value-ranges. Given some natural assumptions regarding (...) what an acceptable neo-logicistic theory of value-ranges might look like, successfully implementing this alternative approach is impossible. (shrink)

Anyone who admits the existence of composite objects allows a certain kind of coincidence, coincidence of a thing with its parts. I argue here that a similar sort of coincidence, coincidence of a thing with the stuff that constitutes it, should be equally acceptable. Acknowledgement of this is enough to solve the traditional problem of the coincidence of a statue and the clay or bronze it is made of. In support of this, I offer some principles for the persistence of (...) stuff that are general, not relying on the particular features of a kind of stuff in the way that principles for the persistence for a thing would. This provides a non-arbitrary grounding for stuff that is independent of the conditions on the nature and persistence of things the stuff composes. The principles also provide a general basis for responding to other questions about coincident stuff. (shrink)

In 2002, Luciano Floridi published a paper called What is the Philosophy of Information?, where he argues for a new paradigm in philosophical research. To what extent should his proposal be accepted? Is the Philosophy of Information actually a new paradigm, in the Kuhninan sense, in Philosophy? Or is it only a new branch of Epistemology? In our discussion we will argue in defense of Floridi’s proposal. We believe that Philosophy of Information has the types of features had by other (...) areas already acknowledge as authentic in Philosophy. By way of an analogical argument we will argue that since Philosophy of Information has its own topics, method and problems it would be counter-intuitive not to accept it as a new philosophical area. To strengthen our position we present and discuss main topics of Philosophy of Information. (shrink)

This paper has a two-fold objective: to provide a balanced, multi-faceted account of the origins of logicism; to rehabilitate Richard Dedekind as a main logicist. Logicism should be seen as more deeply rooted in the development of modern mathematics than typically assumed, and this becomes evident by reconsidering Dedekind's writings in relation to Frege's. Especially in its Dedekindian and Fregean versions, logicism constitutes the culmination of the rise of ?pure mathematics? in the nineteenth century; and this rise brought with it (...) an inter-weaving of methodological and epistemological considerations. The latter aspect illustrates how philosophical concerns can grow out of mathematical practice, as opposed to being imposed on it from outside. It also sheds new light on the legacy and the lasting significance of logicism today. (shrink)

Second-order logic has a number of attractive features, in particular the strong expressive resources it offers, and the possibility of articulating categorical mathematical theories (such as arithmetic and analysis). But it also has its costs. Five major charges have been launched against second-order logic: (1) It is not axiomatizable; as opposed to first-order logic, it is inherently incomplete. (2) It also has several semantics, and there is no criterion to choose between them (Putnam, J Symbol Logic 45:464–482, 1980 ). Therefore, (...) it is not clear how this logic should be interpreted. (3) Second-order logic also has strong ontological commitments: (a) it is ontologically committed to classes (Resnik, J Phil 85:75–87, 1988 ), and (b) according to Quine (Philosophy of logic, Prentice-Hall: Englewood Cliffs, 1970 ), it is nothing more than “set theory in sheep’s clothing”. (4) It is also not better than its first-order counterpart, in the following sense: if first-order logic does not characterize adequately mathematical systems, given the existence of non - isomorphic first-order interpretations, second-order logic does not characterize them either, given the existence of different interpretations of second-order theories (Melia, Analysis 55:127–134, 1995 ). (5) Finally, as opposed to what is claimed by defenders of second-order logic [such as Shapiro (J Symbol Logic 50:714–742, 1985 )], this logic does not solve the problem of referential access to mathematical objects (Azzouni, Metaphysical myths, mathematical practice: the logic and epistemology of the exact sciences, Cambridge University Press, Cambridge, 1994 ). In this paper, I argue that the second-order theorist can solve each of these difficulties. As a result, second-order logic provides the benefits of a rich framework without the associated costs. (shrink)

Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic.

This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...) an assessment of just how implausible the thesis really is. It argues that the intuitions against the thesis come down to a few special cases, which can be given special treatment. Finally, the paper considers some metaphysical ideas that might surround the thesis. Particularly, it might be maintained that an important variety of realism is incompatible with the thesis. The paper argues that this is not the case. (shrink)

I propose a way of thinking aboout content, and a related way of thinking about ontological commitment. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘An Actualist’s Guide to Quantifying In’ and ‘An Account of Possibility’.).

This paper presents a slightly modified version of the compositional semantics proposed in Events and Semantic Architecture (OUP 2005). Some readers may find this shorter version, which ignores issues about vagueness and causal constructions, easier to digest. The emphasis is on the treatments of plurality and quantification, and I assume at least some familiarity with more standard approaches.

In “Double Vision Two Questions about the Neo-Fregean Programme”, John MacFarlane’s raises two main questions: (1) Why is it so important to neo-Fregeans to treat expressions of the form ‘the number of Fs’ as a species of singular term? What would be lost, if anything, if they were analysed instead as a type of quantifier-phrase, as on Russell’s Theory of Definite Descriptions? and (2) Granting—at least for the sake of argument—that Hume’s Principle may be used as a means of implicitly (...) defining the number operator, what advantage, if any, does adopting this course possess over a direct stipulation of the Dedekind-Peano axioms? This paper attempts to answer them. In response to the first, we spell out the links between the recognition of numerical terms as vehicles of singular reference and the conception of numbers as possible objects of singular, or object-directed, thought, and the role of the acknowledgement of numbers as objects in the neo-Fregean attempt to justify the basic laws of arithmetic. In response to the second, we argue that the crucial issue concerns the capacity of either stipulation—of Hume’s Principle, or of the Dedekind-Peano axioms—to found knowledge of the principles involved, and that in this regard there are crucial differences which explain why the former stipulation can, but the latter cannot, play the required foundational role. (shrink)

In this paper, the authors discuss Frege's theory of "logical objects" and the recent attempts to rehabilitate it. We show that the 'eta' relation George Boolos deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the 'eta' relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract objects uses unrestricted Comprehension for (...) Logical Objects and banishes encoding formulas from Comprehension for Properties. The relative mathematical and philosophical strengths of the two theories are discussed. Along the way, new results in the theory of abstract objects are described, involving: the theory of extensions, the theory of directions and shapes, and the theory of truth values. (shrink)