Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, strong modal force, generality, (...) topic neutrality, basicness, and (quasi-)apriority, (v) the veridicality of logic and its applicability to science, (v) the normativity of logic, (vi) error, revision, and expansion in/of logic, and (vii) the relation between logic and mathematics. The high explanatory power of the truth-theoretic approach does not rule out an equal or even higher explanatory power of the proof-theoretic approach. But to the extent that the truth-theoretic approach is shown to be highly explanatory, it sets a standard for other approaches to logic, including the proof-theoretic approach. (shrink)

Apophaticism -- the view that God is both indescribable and inconceivable -- is one of the great medieval traditions of philosophical thought about God, but it is largely overlooked by analytic philosophers of religion. This paper attempts to rehabilitate apophaticism as a serious philosophical option. We provide a clear formulation of the position, examine what could appropriately be said and thought about God if apophaticism is true, and consider ways to address the charge that apophaticism is self-defeating. In so doing (...) we draw on recent work in the philosophy of language, touching on issues such as the nature of negation, category mistakes, fictionalism, and reductionism. (shrink)

What is absolutely unrestricted quantification? We distinguish two theoretical roles and identify two conceptions of absolute generality: maximally strong generality and maximally inclusive generality. We also distinguish two corresponding kinds of absolute domain. A maximally strong domain contains every potential counterexample to a generalisation. A maximally inclusive domain is such that no domain extends it. We argue that both conceptions of absolute generality are legitimate and investigate the relations between them. Although these conceptions coincide in standard settings, we show how (...) they diverge under more complex assumptions about the structure of meaningful predication, such as cumulative type theory. We conclude by arguing that maximally strong generality is the more theoretically valuable conception. (shrink)

The paper defends the philosophical method of "regimentation" by example, especially in relation to the theory of mind. The starting point is the Place-Smart after-image argument: A green after-image will not be located outside the skull, but if we cracked open your skull, we won't find anything green in there either. (If we did, you'd have some disturbing medical news.) So the after-image seems not to be in physical space, suggesting that it is non-physical. In response, I argue that the (...) green blob is a fictional object, while assuming a weak sort of realism about fictional objects (where they exist as mind-dependent objects). This view can look like dualism, however, but I try to interpret it not as implying metaphysical dualism, but rather as reflecting a dualism of theory. Roughly, there can be a theory of mind-independent objects, and a theory of mind-dependent objects. Yet there are principled reasons why we cannot integrate the two into a consistent whole, for reasons related to Russell's vicious circle principle. Most of the paper motivates this by an analogy between the physicalist's theory of the world, and drawing a map with a complete representation of the map itself. Regimentation unearths the inconsistencies that arise, when trying to represent as part of a model the very representations used to define the model. (shrink)

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

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 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)

Jerry Fodor (Concepts: Where cognitive science went wrong. New York: Oxford University Press, 1998) famously argued that lexical concepts are unstructured. After examining the advantages and disadvantages of both the classical approach to concepts and Fodor's conceptual atomism, I argue that some lexical concepts are, in fact, structured. Roughly stated, I argue that structured lexical concepts bear a necessary biconditional entailment relation to their structural constituents. I develop this account of the structure of lexical concepts within the framework of Pavel (...) Tichy's (The foundations of Frege's logic. Berlin, New York: De Gruyter, 1988) theory of constructions. I argue that concepts are constructions which can be combined by way of Tichy's construction-forming operations of composition and closure and an additional operation, simplification, which I propose in section 6. The last of these construction-forming operations plays a central role in my account of lexical concept structure. Stated generally, structured lexical concepts are a result of simplifying their structural constituents. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...) the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

Russell's involuted path in the development of his theory of logical types from 1903 to 1910-13 is examined and explained in terms of the development in his early philosophy of the notion of a logical subject vis-a-vis the problem of the one and many; i.e., the problem for russell, first, of a class-as-one as a logical subject as opposed to a class as many, and, secondly, of a propositional function as a single and separate logical subject as opposed to existing (...) only in the many propositions that are its values. (shrink)

Bertrand Russell introduced several novel ideas in his 1903 Principles of Mathematics that he later gave up and never went back to in his subsequent work. Two of these are the related notions of denoting concepts and classes as many. In this paper we reconstruct each of these notions in the framework of conceptual realism and connect them through a logic of names that encompasses both proper and common names, and among the latter, complex as well as simple common names. (...) Names, proper or common, and simple or complex, occur as parts of quantifier phrases, which in conceptual realism stand for referential concepts, i.e., cognitive capacities that inform our speech and mental acts with a referential nature and account for the intentionality, or directedness, of those acts. In Russell’s theory, quantifier phrases express denoting concepts (which do not include proper names). In conceptual realism, names, as well as predicates, can be nominalized and allowed to occur as "singular terms", i.e., as arguments of predicates. Occurring as a singular term, a name denotes, if it denotes at all, a class as many, where, as in Russell’s theory, a class as many of one object is identical with that one object, and a class as many of more than one object is a plurality, i.e., a plural object that we call a group. Also, as in Russell’s theory, there is no empty class as many. When nominalized, proper names function as "singular terms" just the way they do in so-called free logic. Leśniewski’s ontology, which is also called a logic of names can be completely interpreted within this conceptualist framework, and the well-known oddities of Leśniewski’s system are shown not to be odd at all when his system is so interpreted. Finally, we show how the pluralities, or groups, of the logic of classes as many can be used as the semantic basis of plural reference and predication. We explain in this way Russell’s "fundamental doctrine upon which all rests", i.e., "the doctrine that the subject of a proposition may be plural, and that such plural subjects are what is meant by classes [as many] which have more than one term" (Russell 1938, p. 517). (shrink)

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)

In this paper we intend to outline an introduction to Situation Theory as an approach to the liar paradoxes. This idea was first presented by the work of Barwise and Etchemendy ). First we introduce the paradoxes in their most appealing and important versions. Second we show that non-classical approaches on the problem usually get puzzled by the revenge problem on one side and loss of expressive power on the other side. Last, we present Situation Theory and try to show (...) how it is capable of solving the old paradoxes and blocking revenge. The price we pay on this view is universality, since it would allow a new revenge situated liar. We don’t intend to address the problem of universality here, but we try at least to motivate the reader to make sense of this theory. (shrink)

Inspired by Cantor's Theorem (CT), orthodoxy takes infinities to come in different sizes. The orthodox view has had enormous influence in mathematics, philosophy, and science. We will defend the contrary view---Countablism---according to which, necessarily, every infinite collection (set or plurality) is countable. We first argue that the potentialist or modal strategy for treating Russell's Paradox, first proposed by Parsons (2000) and developed by Linnebo (2010, 2013) and Linnebo and Shapiro (2019), should also be applied to CT, in a way that (...) vindicates Countabilism. Our discussion dovetails with recent independently developed treatments of CT in Meadows (2015), Pruss (2020), and Scambler (2021), aimed at establishing the mathematical viability, and therefore epistemic possibility, of Countabilism. Unlike these authors, our goal isn't to vindicate the mathematical underpinnings of Countabilism. Rather, we aim to argue that, given that Countabilism is mathematically viable, Countabilism should moreover be regarded as true. After clarifying the modal content of Countabilism, we canvas some of Countabilism's many positive implications, including that Countabilism provides the best account of the pervasive independence phenomena in set theory, and that Countabilism has the power to defuse several persistent puzzles and paradoxes found in physics and metaphysics. We conclude that in light of its theoretical and explanatory advantages, Countabilism is more likely true than not. (shrink)

Sometimes people desire that their lives go badly, take pleasure in their lives going badly, or believe that their lives are going badly. As a result, some popular theories of welfare are paradoxical. I show that no attempt to defend those theories from the paradox fully succeeds.

1. For simplicity, let the domain of our first-level quantifiers, ‘∀ x’ and so on, be words, and in particular just those words which are adjectives. And let the adjective ‘heterological’ be abbreviated just to As is well known, one cannot legitimately stipulate that Why not? Well, the obvious answer is that if is supposed to be an adjective, then this alleged stipulation would imply the contradiction But contradictions cannot be true, and it is no use stipulating that they shall (...) be. Do we need to say anything more? Russell would apparently wish to add this: the stipulation is illegitimate because it attempts to define the word by a quantification over all words, and the word is itself taken to be one of the words quantified over. That is how this supposed definition would infringe his vicious-circle principle . 1 It is of course true that if our quantification is taken to range only over words of a certain kind, say first-order adjectives, and if the word is taken to be a word of a different kind, say a second-order adjective, then the contradiction is avoided. For the supposed stipulation then has no implications for whether is or is not true of any second-order words. Russell imagines the stipulation to be strengthened by adding that is to be true only of first-order words, and hence that it is not true of itself. But no contradiction now results from this. However, one must ask: did we need this explanation in terms of the VCP? It may seem helpful, because there is an initial temptation to say that the original stipulation could not be illegitimate. This is because it is thought of as introducing a new word, and explaining what it means, and one is apt to think that we …. (shrink)

Le principe d’induction est lié à la définition des nombres entiers d’une façon à la fois essentielle et sujette à controverse. Fonde-t-il ces nombres, ou bien trouve-t-il en eux son fondement ? Son statut lui-même peut être conçu de diverses manières. Est-il donné par l’expérience, par l’intuition, par la logique, par convention ? Ces questions furent l’objet d’une âpre discussion, autour des années 1905-1906, dans le cadre plus large d’un débat sur les fondements des mathématiques qui opposa Poincaré aux logicistes (...) et aux « axiomatistes » . Nous proposons dans cet article de faire le point sur les termes et les enjeux de cette discussion. Nous montrerons en outre qu’elle fut l’occasion d’une redéfinition de l’analytique et, par suite, des frontières de la logique.The principle of induction is linked essentially to the definition of “integers”, but at the same time has been the subject of controversy : Is the principle founded on integers or, on the contrary, are integers founded on it ? The principle itself can be understood in different ways : as a result of experiment, intuition, logic or convention. These topics were hotly debated in the years 1905-06, in the context of a larger debate on the foundations of mathematics, in which Poincaré opposed the logicists and the “axiomatists” . This article reconsiders what is at stake by looking at the debate in detail and also shows that the debate provided an opportunity for redefining analyticity, and in doing so, redefining the domain of logic. (shrink)

Typically, if I understand a sentence, then it expresses a proposition that I entertain. Nonsensical sentences don’t express propositions, but there are contexts in which we talk about understanding nonsensical sentences. For example, we accept various kinds of semantically defective sentences in fiction, philosophy, and everyday life. Furthermore, it is a standard assumption that if a sentence is nonsensical, then it makes no sense to say that it implies anything or is implied by other sentences. Semantically uninterpreted sentences don’t have (...) logical characteristics. Hence, the riddle of understanding nonsense arises. We seem to use nonsensical sentences in reasoning, thinking, judging, and drawing conclusions, but they convey no propositions, which are the vehicles of their semantic properties. In this article, I propose the pretence theory of understanding nonsense to explain the riddle of understanding nonsense, and discuss alternative frameworks that are insufficient to solve it. -/- . (shrink)

The austere view of nonsense says that the source of nonsense is not a violation of the rules of logical syntax, but nonsense is always due to a lack of meaning in one of the components of a sentence. In other words, the necessary and sufficient condition for nonsensicality is that no meaning has been assigned to a constituent in a sentence. The austere conception is the key ingredient of the resolute reading of Tractatus Logico-Philosophicus that presents a therapeutical interpretation (...) of the work, and rejects a possibility of conveying some ineffable truths by means of nonsensical sentences. In this paper, I defend the austere view against the most important objections. Firstly, I discuss textual sources for ascribing to Wittgenstein the austere view that have not been sufficiently thoroughly discussed yet. Next, I indicate that the apparent occurrence of words out of the context of a sentence on lists of verbs and in definitions is not in conflict with the version of the context principle recommended by austere theorists, since this argument does not sufficiently take into account the distinction between sign and symbol. Furthermore, I argue that the austere conception and the principle of compositionality are jointly tenable, for the former view does not exclude the existence of syntactic and semantic rules, but only shows that they are recognizable conditionally. Finally, I indicate that the austere view of nonsense should be seen as a viable option by a contemporary theorist of nonsense, for it helps us to avoid making controversial assumptions about the nature of meaning and content. (shrink)

PG (Plural Grundgesetze) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. George Boolos’ plural semantics is replaced with Enrico Martino’s Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. Also, substitutional quantification is exploited to interpret quantification into predicate position. ACS provides a form of logicism which is radically (...) alternative to Frege’s and which is grounded on the existence of individuals rather than on the existence of concepts. (shrink)

PG (Plural Grundgesetze) is a predicative monadic second-order system which exploits the notion of plural quantification and a few Fregean devices, among which a formulation of the infamous Basic Law V. It is shown that second-order Peano arithmetic can be derived in PG. I also investigate the philosophical issue of predicativism connected to PG. In particular, as predicativism about concepts seems rather un-Fregean, I analyse whether there is a way to make predicativism compatible with Frege’s logicism.

A semantic embedding of quantified conditional logic in classical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented embedding approach is adaptable to a wide range of other logics, for many of which cut-elimination is still open. However, special attention has to be payed to cut-simulation, which may render cut-elimination as a pointless criterion.

Because the label "computing and philosophy" can seem like an ad hoc attempt to tie computing to philosophy, it is important to explain why it is not, what it studies (or does) and how it differs from research in, say, "computing and history," or "computing and biology". The American Association for History and Computing is "dedicated to the reasonable and productive marriage of history and computer technology for teaching, researching and representing history through scholarship and public history" (http://theaahc.org). More pervasive, (...) work in computing and biology enjoys the convenient name of "bioinformatics...the science of using information to understand biology..., a subset of the larger field of computational biology, the application of quantitative analytical techniques in modeling biological systems" (http://oreilly.com/catalog/bioskills/chapter/ ch01.html). The recent venture of the Association for Computing Machinery and the Institute of Electrical and Electronics Engineers to publish the Transactions on Computational Biology and Bioinformatics (TCBB) bears witness to the reach of computing and biology and underscores its objective. TCBB intends to report "archival research results related to the algorithmic, mathematical, statistical, and computational methods that are central in bioinformatics and computational biology; the development and testing of effective computer programs in bioinformatics; the development and optimization of biological databases; and important biological results that are obtained from the use of these methods, programs, and databases" (http://tcbb.acm.org). In the case of "computing and history" and "bioinformatics," each discipline stands in a particular relationship to computers that raises questions unique to itself. But both are devoted to the development of computational tools to aid discovery.. (shrink)

In this paper I respond to Jacquette’s criticisms, in (Jacquette, 2008), of my (Barker, 2008). In so doing, I argue that the Liar paradox is in fact a problem about the disquotational schema, and that nothing in Jacquette’s paper undermines this diagnosis.

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

Résumé Partant du principe que la philosophie de la connaissance de Poincaré est cohérente, j’essaie de faire voir que son conventionnalisme en géométrie et en physique n’est qu’une conséquence de son intuitionnisme. Après avoir rappelé, dans la première section, ce qu’est l’intuitionnisme et décrit ce que l’intuitionnisme de Poincaré a de spécifique, je montre, dans la deuxième section, comment celui-ci retentit sur la conception de l’espace. Dans la troisième section, j’applique les conclusions précédemment établies à la question très controversée de (...) la découverte de la relativité restreinte en renvoyant dos à dos les historiens : il n’a rien manqué à Poincaré pour découvrir la relativité restreinte, car, cette théorie étant incompatible avec son intuitionnisme, il n’avait aucune raison d’y adhérer.Taking for granted that Poincaré’s epistemology is consistent, I attempt to show that his geometrical and physical conventionalism is no more than a consequence of his intuitionism. After having rehearsed the issues defining intuitionism and describing what is particular to Poincaré’s version in the first section of the paper, I show, in the second section, how Poincaré’s intuitionism influenced his conception of space. In the last section, I apply these now established conclusions to a very contested issue, the discovery of the special theory of relativity. Rejecting the view of historians on both sides of the issue, I argue that Poincaré had everything he would have needed to discover the special theory of relativity, but that since this theory is incompatible with his intuitionism, he had no reason to adopt it. (shrink)

This paper is concerned with the way different axiom systems for set theory can be justified by appeal to such intuitions as limitation of size, predicativity, stratification, etc. While none of the different conceptions historically resulting from the impetus to provide a solution to the paradoxes turns out to rest on an intuition providing an unshakeable foundation,'each supplies a picture of the set-theoretic universe that is both useful and internally well motivated. The same is true of more recently proposed axiom (...) systems for non-well-founded universes, and an attempt is made to motivate such axiom systems on the basis of an old and respected ‘algebraic’ intuition. (shrink)

This article focusses on the generality of the entities involved in a geometric proof of the kind found in ancient Greek treatises: it shows that the standard modern translation of Greek mathematical propositions falsifies crucial syntactical elements, and employs an incorrect conception of the denotative letters in a Greek geometric proof; epigraphic evidence is adduced to show that these denotative letters are ‘letter-labels’. On this basis, the article explores the consequences of seeing that a Greek mathematical proposition is fully general, (...) and the ontological commitments underlying the stylistic practice. (shrink)

All paradoxes of self-reference seem to share some structural features. Russell in 1908 and especially Priest nowadays have advanced structural descriptions that successfully identify necessary conditions for having a paradox of this kind. I examine in this paper Priest’s description of these paradoxes, the Inclosure Scheme (IS), and consider in what sense it may help us understand and solve the problems they pose. However, I also consider the limitations of this kind of structural descriptions and give arguments against Priest’s use (...) of IS in favour of dialetheism. IS fails to identify sufficient conditions for having a paradox of self-reference. That means that, even if we identified a problem common to any reasoning satisfying IS, that problem would not explain why some of those reasonings are paradoxical and some others are not. Therefore IS cannot justify by itself the claim that some particular theory offers the best solution to the paradoxes of self-reference. We still need to consider aspects concerning the content and context of occurrence of every paradox. (shrink)

Some novel solutions to problems in mathematics and philosophy involve employing schemas rather than quantified expressions to formulate certain propositions. Crucial to these solutions is an insistence that schematic generality is distinct from quantificational generality. Although many concede that schemas and quantified expressions function differently, the dominant view appears to be that the generality expressed by the former is ultimately reducible to the latter. In this paper, I argue against this view, which I call the 'Reductionist view'. But instead of (...) focusing on the difference between schemas and quantified expressions in formal systems, as most proponents of schemas have done, I focus on the difference between their supposed linguistic correlates, i.e., any statements and every-statements. Drawing insights from prominent accounts of the difference between these kinds of statements, I develop an alternative account. I argue that this account is not only preferable in its own right but it also supplies a response to the Reductionist view. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) is (...) not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary. (shrink)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...) are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

I argue that on very weak assumptions about truth (in particular, that there are coherent norms governing the use of "true"), there is a proposition absolutely inexpressible with conventional language, or something very close. I argue for this claim "constructively": I use a variant of the Berry Paradox to reveal a particular thought for my readership to entertain that very strongly resists conventional expression. I gauge the severity of this expressive limitation within a taxonomy of expressive failures, and argue that (...) despite its strength there is nothing incoherent about admitting its existence. The argument forms part of a project of clarifying precisely what trade-offs are required to secure the kinds of expressive power truth theorists typically want, in the process showing that the admission of very strong expressive limitations may ultimately prove to be the lesser of two evils. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

What explains the truth of a universal generalization? Two types of explanation can be distinguished. While an ‘instance-based explanation’ proceeds via some or all instances of the generalization, a ‘generic explanation’ is independent of the instances, relying instead on completely general facts about the properties or operations involved in the generalization. This intuitive distinction is analyzed by means of a truthmaker semantics, which also sheds light on the correct logic of quantification. On the most natural version of the semantics, this (...) analysis vindicates some claims made—without a proper defense—by Michael Dummett, Solomon Feferman, and others. Where instance-based explanations are freely available, classical logic is shown to be warranted. By contrast, intuitionistic logic remains warranted regardless of what explanations are available. (shrink)