Higher-Order Logic, Misc

Starting with Kant’s undeveloped proposal of a “negative science,” the author describes how philosophy may be developed and strengthened by means of a systematic approach that seeks to identify and eliminate a widespread but seldom recognized form of systemic and propagating conceptual error. ¶¶¶¶¶ -/- The paper builds upon the author’s book, CRITIQUE OF IMPURE REASON: HORIZONS OF POSSIBILITY AND MEANING (Studies in Theory and Behavior, 2021). ¶¶¶¶¶ -/- The author’s purpose is twofold: first, to enable us to recognize the (...) boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. By realizing these objectives, the boundaries of possible meaning are determined. (shrink)

It is often assumed that pluralities are rigid, in the sense of having all and only their actual members necessarily. This assumption is operative in standard approaches to modal plural logic. I argue that a sceptical approach towards the assumption is warranted.

This paper outlines a defense of hybrid contingentism: that it is contingent which individuals there are, but not contingent what properties there are. Critics pursue two main lines of complaint. First, that the hybrid contingentist’s treatment of haecceitistic properties is metaphysically mysterious, and second, that hybrid contingentism involves an unjustified asymmetry in the associated modal logic. I suggest that these complaints may be too quick, at least in the setting of higher-order metaphysics. It is not at all obvious whether and (...) to what extent we should expect particular "symmetries" across the orders, and so whether (as Williamson (2013) argues) “the default preference is for a uniform metaphysics, on which being is contingent at all orders or none.”. (shrink)

Propositional modal logic over relational frames is naturally extended with propositional quantifiers by letting them range over arbitrary sets of worlds of the relevant frame. This is also known as second-order propositional modal logic. The propositionally quantified modal logic of a class of relational frames is often not axiomatizable, although there are known exceptions, most notably the case of frames validating the strong modal logic$\mathrm {S5}$. Here, we develop new general methods with which many of the open questions in this (...) area can be answered. We illustrate the usefulness of these methods by applying them to a range of examples, which provide a detailed picture of which normal modal logics define classes of relational frames whose propositionally quantified modal logic is axiomatizable. We also apply these methods to establish new results in the multimodal case. (shrink)

In the language of second-order logic, first- and second-order variables are distinguished syntactically and cannot be grammatically substituted. According to a prominent argument for the deployment of these languages, these substitution failures are necessary to block the derivation of paradoxes that result from attempts to generalize over predicate interpretations. I first examine previous approaches which interpret second-order sentences using expressions of natural language and argue that these approaches undermine these syntactic restrictions. I then examine Williamson’s primitivist approach according to which (...) second-order sentences are not offered readings in a previously understood language. I argue that the syntactic restrictions alone do not block the derivation of the paradox, unless they are backed by a principled reason that the language cannot be expanded to allow the grammatical substitution of first- and second- order variables. I argue that there is neither a syntactic nor a semantic principle that prohibits such an expansion. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between objects and functions. (...) Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

In this article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine's, this argument begins with the simple observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ claims that the (...) search for the true axioms of set theory is. We show that the obvious responses to this argument fail. However, a new response has emerged that purports to prove, from higher-order logical principles, that metaphysical possibility is the broadest kind of possibility applying to propositions, and is to that extent special. We distill two lines of reasoning from the literature, and argue that their import depends on premises that any ‘modal pluralist’ should deny. Both presuppose that there is a unique typed hierarchy, which is what the modal pluralist, in the context of higher-order logic, should disavow. In other words, both presupposes that there is a unique candidate for what higher-order claims could mean. We consider the worry that, in a higher-order setting, modal pluralism faces an insuperable problem of articulation, collapses into modal monism, is vulnerable to the Russell-Myhill paradox, or even contravenes the truism that there is a unique actual world, and argue that these worries are misplaced. We also sketch the bearing of the resulting ‘Higher-Order Pluralism’ on the theory of content. One theme of the discussion is that, if Higher-Order Pluralism is correct, then there is no fixed metatheory from which to characterize higher-order reality. (shrink)

Although higher-order metaphysics seems prima facie to be a promising new approach to metaphysics, it is nonetheless based on a mistake. This mistake is tied to a misuse of formal languages in metaphysics in general, not just to the use of higher-order rather than lower-order languages. I hope to highlight the mistake by discussing a popular recent example of higher- order metaphysics: the argument that reality is not structured using reasoning inspired by the Russell-Myhill paradox. A key issue will be (...) the relationship between higher-order quantification in formal languages and quantification in English, in particular the questions whether such quantifiers are already to be found in English, and whether they could simply be added to English if not in order to gain expressive strength. I will conclude that little of metaphysical significance follows from this Russell-Myhill inspired argument against structure. The reason why the results of higher-order logic show little of metaphysical significance generalizes to other uses of higher-order logic in metaphysical theorizing, and with it supports that higher-order metaphysics is a flawed research program. I end with some reflections on what positive role formal tools like higher-order logic can have in metaphysics, and what the fundamental mistake is on which higher-order metaphysics is based. (shrink)

Hybrid contingentism combines first-order contingentism, the view that it is contingent what individuals there are, with higher-order necessitism, the view that it is non-contingent what properties and propositions there are (where these are conceived as entities in the range of appropriate higher-order quantifiers). This combination of views avoids the most delicate problems afflicting alternative contingentist positions while preserving the central contingentist claim that ordinary, concrete entities exist contingently. Despite these attractive features, hybrid contingentism is usually faced with rejection. The main (...) reason for this is an objection that crucially involves haecceitistic properties, properties such as being identical to Plato or being identical to Aristotle. The objection alleges that by accepting the necessary existence of such haecceities, hybrid contingentists incur an explanatory commitment that they are unable to discharge, namely that of explaining how it is that certain haecceities ‘lock onto’ their target individuals even when those individuals are absent. To defend hybrid contingentism against this charge, I first clarify the haecceities objection in several respects and consider, in particular, what notion of explanation the objection is operating with. After arguing that it can be fruitfully understood as a challenge to provide metaphysical grounds for certain haecceity facts, I develop a contingentist response to the objection that draws on recent work on the connection between ground and essence. (shrink)

In general, a given object could have been different in certain respects. For example, the Great Pyramid could have been somewhat shorter or taller; the Mona Lisa could have had a somewhat different pattern of colours; an ordinary table could have been made of a somewhat different quantity of wood. But there seem to be limits. It would be odd to suppose that the Great Pyramid could have been thimble-sized; that the Mona Lisa could have had the pattern of colours (...) that actually characterizes The Scream; or that the table could have been made of the very quantity of wood that in fact made some other table. However, there are puzzling arguments that purport to show that so long as an object is capable of being somewhat different in some respect, it is capable of being radically different in that respect. These arguments rely on two tempting thoughts: first, that an object’s capacity for moderate variation is a non-contingent matter, and second, that what is possibly possible is simply possible. This book systematically investigates competing strategies for resolving these puzzles, and defends one of them. Along the way it engages with foundational questions about the metaphysics of modality. (shrink)

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

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

Orthodoxy holds that there is a determinate fact of the matter about every arithmetical claim. Little argument has been supplied in favour of orthodoxy, and work of Field, Warren and Waxman, and others suggests that the presumption in its favour is unjustified. This paper supports orthodoxy by establishing the determinacy of arithmetic in a well-motivated modal plural logic. Recasting this result in higher-order logic reveals that even the nominalist who thinks that there are only finitely many things should think that (...) there is some sense in which arithmetic is true and determinate. (shrink)

Existential claims are widely held to be grounded in their true instances. However, this principle is shown to be problematic by arguments due to Kit Fine. Stephan Krämer has given an especially simple form of such an argument using propositional quantifiers. This note shows that even if a schematic principle of existential grounds for propositional quantifiers has to be restricted, this does not immediately apply to a corresponding non-schematic principle in higher-order logic.

Kosta Došen argued in his papers Inferential Semantics (in Wansing, H. (ed.) Dag Prawitz on Proofs and Meaning, pp. 147–162. Springer, Berlin 2015) and On the Paths of Categories (in Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics, pp. 65–77. Springer, Cham 2016) that the propositions-as-types paradigm is less suited for general proof theory because—unlike proof theory based on category theory—it emphasizes categorical proofs over hypothetical inferences. One specific instance of this, Došen points out, is that the Curry–Howard isomorphism (...) makes the associativity of deduction composition invisible. We will show that this is not necessarily the case. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

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

In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...) This result raises the question: For which normal modal logics L can one axiomatize the quantified propositional modal logic determined by the complete modal algebras for L? (shrink)

The eta rule for a set A says that an arbitrary element of A is judgementally identical to an element of constructor form. Eta rules are not part of what may be called canonical Martin-Löf type theory. They are, however, justified by the meaning explanations, and a higher-order eta rule is part of that type theory. The main aim of this paper is to clarify this somewhat puzzling situation. It will be argued that lower-order eta rules do not, whereas the (...) higher-order eta rule does, accord with the understanding of judgemental identity as definitional identity. A subsidiary aim is to clarify precisely what an eta rule is. This will involve showing how such rules relate to various other notions of type theory, proof theory, and category theory. (shrink)

The problem of hyperintensional contexts, and the problem of logical omniscience, shows the severe limitation of possible-worlds semantics which is employed also in standard epistemic logic. As a solution, we deploy here hyperintensional semantics according to which the meaning of an expression is an abstract structured algorithm, namely Tichý's construction. Constructions determine the denotata of expressions. Propositional attitudes are modelled as attitudes towards constructions of truth values. Such a model of belief is, of course, inferentially restrictive. We therefore also propose (...) a model of implicit knowledge, which is the collection of a possible agent's explicit beliefs which are related through a derivation system mastered by the agent. A derivation system consists of beliefs and derivation rules by means of which the agent may derive beliefs different from the beliefs she is actually related to. Conditions imposed on the set of base beliefs and the set of rules capture the limitations of the agent's deriving capabilities. (shrink)

I offer an analysis of the sentence "the concept horse is a concept". It will be argued that the grammatical subject of this sentence, "the concept horse", indeed refers to a concept, and not to an object, as Frege once held. The argument is based on a criterion of proper-namehood according to which an expression is a proper name if it is so rendered in Frege's ideography. The predicate "is a concept", on the other hand, should not be thought of (...) as referring to a function. It will be argued that the analysis of sentences of the form "C is a concept" requires the introduction of a new form of statement. Such statements are not to be thought of as having function--argument form, but rather the structure subject--copula--predicate. (shrink)

In Transparent Intensional Logic we can recognize two distinct notions of computation that loosely correspond to term rewriting and term interpretation as known from lambda calculus. Our goal will be to further explore these two notions and examine some of their properties.

I examine the familiar quadruple of categorical statements “Every F is/is not G.”, “Some F is/is not G.” as well as the quadruple of their modal versions “Necessarily, every F is/is not G.”, “Possibly, some F is/is not G.”. I focus on their existential import and its impact on the resulting Squares of Opposition. Though my construal of existential import follows modern approach, I add some extra details which are enabled by framing my definition of existential import within expressively rich (...) higher-order partial type logic. As regards the modal categorical statements, I find that so-called void properties bring existential import to them, so they are the only properties which invalidate subalternation, and thus also contrariety and subcontrariety, in the corresponding Square of Opposition. (shrink)

Williamson, Linsky, Paseau and others proposed a solution to Church- Fitch's knowability paradox that is based on typing knowledge; however, it received some criticism. Carrara and Fassio objected that the approach has no paradox-independent motivation, it is thus ad hoc. In the first part of the paper, I dismiss such criticism by carefully stating typing approach principles that are based on non-circular formation of propositions and intensional operators operating on them. In the second part of the paper, I demonstrate that (...) the firm foundation of the approach prevents the variants of the paradox by Florio, Murzi and Jago that were developed as allegedly unresolvable by typing knowledge. The revenge form of Church-Fitch's knowability paradox, which had been proposed by Williamson, Hart, Carrara and Fassio, fares badly as well, since it is likewise based on violation of reasonable typing rules. (shrink)

It is already known that Fitch's paradox of knowability can be solved by typing knowledge. I differentiate two kinds of such typing, Tarskian and Russellian, and focus on the latter which is framed within the ramified theory of types. My main aim is to other a defence of the approach against recently raised criticism. The key justification is provided by the Vicious Circle Principle which governs the very formation of propositions and thus also intensional operators, including the operator of knowledge.

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)

Plural logic is widely assumed to have two important virtues: ontological innocence and determinacy. It is claimed to be innocent in the sense that it incurs no ontological commitments beyond those already incurred by the first-order quantifiers. It is claimed to be determinate in the sense that it is immune to the threat of non-standard interpretations that confronts higher-order logics on their more traditional, set-based semantics. We challenge both claims. Our challenge is based on a Henkin-style semantics for plural logic (...) that does not resort to sets or set-like objects to interpret plural variables, but adopts the view that a plural variable has many objects as its values. Using this semantics, we also articulate a generalized notion of ontological commitment which enables us to develop some ideas of earlier critics of the alleged ontological innocence of plural logic. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

In this study, we examine modern reading of the Square of Opposition by means of Tichý's Transparent intensional logic. Explicit use of possible world semantics helps us to sharply discriminate between standard and modal readings of categorial statements. We thus get two basic versions of the Square, whereas the Modal Square has not been fully introduced in the contemporary debate yet. Some properties ascribed by mediaeval logicians to the Square require a shift from its Standard to Modal version. Not inevitably, (...) because for each of the two squares there exists its mate which can be easily confused with it. We thus investigate four distinct squares. The discrimination between the initial and modified versions of the Standard and Modal Square leads to better knowledge of the Square as well as a solution of various puzzles often mentioned in recent literature. (shrink)

In 1996, W. Veldman and F. Waaldijk present a constructive (intuitionistic) proof for the homogeneity of the ordered structure of the Cauchy real numbers, and so this result holds in any topos with natural number object. However, it is well known that the real numbers objects obtained by the traditional constructions of Cauchy sequences and Dedekind cuts are not necessarily isomorphic in an arbitrary topos with natural numbers object. Consequently, Veldman and Waaldijk's result does not apply to the ordered structure (...) of Dedekind real numbers in toposes. The main result to be proved in the present paper is that the ordered structure of the Dedekind real numbers object is homogeneous, in any topos with natural numbers object. This result is obtained within the framework of local set theory. (shrink)

According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which dispenses with (...) plural properties and thus undermines the semantic argument in favor of the plural conception of reality. (shrink)

In the semantic debate about plurals, pluralism is the view that a plural term denotes some things in the domain of quantification and a plural predicate denotes a plural property, i.e. a property that can be instantiated by many things jointly. According to a particular version of this view, untyped pluralism, there is no type distinction between objects and properties. In this article, I argue against untyped pluralism by showing that it is subject to a variant of a Russell-style argument (...) put forth by Timothy Williamson and that it clashes with a plural version of Cantor’s theorem. I conclude that pluralists should postulate a type distinction between objects and properties. (shrink)

If Art is smart and Art is rich, then someone is both smart and rich – namely, Art. And if Art is smart and Bart is smart, then Art is something that Bart is, too – namely, smart. The first claim involves first-order quantification, a generalization concerning what kinds of things there are. The second involves second-order quantification, a generalization concerning what there is for things to be. Or so it appears. Following W.V.O. Quine, many philosophers have endorsed a thesis (...) of Ontological Collapse about second-order quantification. They maintain that ultimately, second-order quantification reduces to first-order quantification over sets or properties, and therefore also carries the latter’s distinctive ontological commitments. In this revised version of his doctoral dissertation, awarded the Wolfgang-Stegmüller-Prize in 2012, Stephan Krämer examines the major arguments for Ontological Collapse in detail and finds all of them wanting. Quantifications, he argues, fall into at least two irreducible kinds: those on what things there are, and those on what there is for things to be. (shrink)

Acknowledgements Five out of the 13 contributions to this volume originate from papers which were presented at the international workshop on “Epistemology, Context, Formalism” held at the MSH-Lorraine in Nancy, France, on November the ...

Florio and Shapiro take issue with an argument in ‘Hierarchies Ontological and Ideological’ for the conclusion that the set-theoretic hierarchy is open-ended. Here we clarify and reinforce the argument in light of their concerns.

The approach of Transparent Intensional Logic to truth differs significantly from rivalling approaches. The notion of truth is explicated by a three-level system of notions whereas the upper-level notions depend on the lower-level ones. Truth of possible world propositions lies in the bottom. Truth of hyperintensional entities – called constructions – which determine propositions is dependent on it. Truth of expressions depends on truth of their meanings; the meanings are explicated as constructions. The approach thus adopts a particular hyperintensional theory (...) of meanings; truth of extralinguistic items is taken as primary. Truth of expressions is also dependent, either explicitly or implicitly, on language (its notion is thus also explicated within the approach). On each level, strong and weak variants of the notions are distinguished because the approach employs the Principle of Bivalence which adopts partiality. Since the formation of functions and constructions is non-circular, the system is framed within a ramified type theory having foundations in simple theory of types. The explication is immune to all forms of the Liar paradox. The definitions of notions of truth provided here are derivation rules of Pavel Tichý's system of deduction. (shrink)

We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henkin models is established and exploited. Our embedding supports the application of off-the-shelf higher-order theorem provers for reasoning within and about quantified multimodal logics. Moreover, it provides a starting point for further logic embeddings and their combinations in simple type theory.

This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is ‘set theory in sheep's clothing’. On my approach, the usual semantics involves a false assimilation of the logic to set theory. (...) I conclude with remarks about implications for the programme of founding mathematical theories in higher-order logic plus abstraction principles. (shrink)

With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...

This paper develops a formal system, consisting of a language and semantics, called serial logic ( SL ). In rough outline, SL permits quantification over, and reference to, some finite number of things in an order , in an ordinary everyday sense of the word “order,” and superplural quantification over things thus ordered. Before we discuss SL itself, some mention should be made of an issue in philosophical logic which provides the background to the development of SL , and with (...) respect to which I wish to contend that the system permits progress. (shrink)

Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.

The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit approach’ (...) which employs ideas made explicit by the former one. (shrink)

My aim in this paper is to gather some evident in favor of the view that a general purge of self-reference is possible. I do this by considering a modal-epistemic version of the Liar Paradox introduced by Roy Cook. Using yabloesque techniques, I show that it is possible to transform this circular paradoxical construction (and other constructions as well) into an infinitary construction lacking any sort of circularity. Moreover, contrary to Cook’s approach, I think that this can be done without (...) using any controversial multimodal rules, i.e., the usual rules from normal epistemic and modal logic are enough to show the paradoxicality of the infinitary construction. Mi objetivo en este trabajo es ofrecer cierta evidencia a favor de la tesis según la cual una purga general de la autorreferencia es posible. Hago esto considerando una versión modal-epistémica de la Paradoja del mentiroso introducida por Roy Cook. usando técnicas yablescas, muestro que es posible transformar esta construcción paradójica circular (y también otras construcciones) en una construcción infinitaria que carece de cualquier forma de circularidad. más aún, en contra de la propuesta de Cook, muestro que esto puede hacerse sin utilizar ninguna regla multimodal controversial, esto es, las reglas usuales de la lógica modal y la lógica epistémica son suficientes para mostrar la paradojicidad de la construcción infinitaria. (shrink)

We study straightforward embeddings of propositional normal multimodal logic and propositional intuitionistic logic in simple type theory. The correctness of these embeddings is easily shown. We give examples to demonstrate that these embeddings provide an effective framework for computational investigations of various non-classical logics. We report some experiments using the higher-order automated theorem prover LEO-II.

The paper focuses on treating partiality within Tichý’s logical system. Tichý’s logic is two-valued and type-theoretic. His simple theory of types (and the deduction system for it) accepts both total and partial functions. Tichý’s late framework is explicitly ramified. So-called constructions (roughly: algorithms) construct, e.g., values of functions at arguments; in some cases, however, they do not construct anything at all. This special partiality phenomenon is discussed in the second part of the paper.

In "Abstracts from Logical Form I/II," it was stated in the abstract that it remained necessary to put the pilot experiments into a "comprehensive theory." It is suggested here that the comprehensive theory is nothing other than classical logic modestly extended to include higher-order predicates, functions, and epistemic predicates, as well as a quantitative quantifier to deal with cases other than "all" (taken literally) or "some" in the sense of at least one. It is further suggested that up to a (...) point the theory should generalize across languages, and that logical form is very powerful. (shrink)