Barcan formulas in second-order modal logic pdf

As a result, secondorder logic has much more expressive power than fol does. This dissertation develops an inferentialist theory of meaning. I then discuss modal logic and counterfactual conditionals. The role of possible worlds in philosophy is hard to overestimate. In first approximation, modal logic im using the term loosely can be understood as an interesting fragment of first order logic for simplicity i ignore e. Pdf a general semantics for quantified modal logic. Thus, the barcan formula expresses an interaction between r and d. With the plenist constraints 1, 2 and 3, quantificational modal logics with the barcan formula and its. In modal logic, sahlqvist formulas are a certain kind of modal formula with remarkable properties. Thomason, gabbay, esakia, van benthem, blok and myself. The book contains detailed historical discussion of how the metaphysical issues emerged in the twentieth century development of quantified modal logic, through the work of such figures as rudolf. On modality and reference ruth barcan marcus 1921 2012 genoveva marti it is difficult to think of ruth barcan marcus without almost automatically thinking about her pioneering work in modal logic and, in particular, about the long lasting impact of the barcan formula, a formula that she in.

First order extensions of classical modal logic eric pacuit university of maryland, college park tilburg institute for logic and philosophy of science ai. A normal logic is a set of formulas in l such that it is rst of all a normal modal logic propositional modal logic and that it contains 8p. Barcan up the wrong tree an argument that the validity of the barcan formulas is neither necessary nor sufficient to capture the dispute between necessitists and contingentists. We also saw that, in cases in which this operator is a termmodifying adverb, the formalization.

Sellars, secondorder logic, and ontological commitment clarifies sellars arguments that secondorder quantification is ontologically inocuous and offers an account of quantification that can meet the demands of sellarss arguments. The logic underlying the theory of objects can now be summarized. Contingentism about individuals and higherorder necessitism theoria 78 20. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics. These theoretical innovations may be developed in a syntactically secondorder, quanti ed s5 modal logic with both rst and secondorder barcan formulas that has two kinds of atomic formulas fnx 1x n n 0 x 1x. To introduce the language of second order propositional modal logic, we fix a set ap of atomic propositions and a finite set i of indices. Higher order free logic and the priorkaplan paradox andrew bacon, john hawthorne and gabriel uzquiano april 11, 2016 1 introduction a central theme from modal logic as metaphysics is the idea that higher order logic is a fruitful framework for formulating and assessing some of the somewhat elusive debates in the metaphysics of properties and. In short, it teaches the logic necessary for being a contemporary philosopher. Introduction in an earlier chapter, we saw that certain sentences of english can be formalized using the actuality operator.

Objects, properties and contingent existence to appear as. Modal logic as metaphysics timothy williamson download. Probably the most common version of the barcan formula is bf1. An important part of williamsons case for necessitism is a powerful new development of this style of argument, for secondorder rather than rstorder quanti ed modal logic. On modality and reference ruth barcan marcus 19212012. Both unifiability and passive rules depend on the number of. Williamson forthcoming barcan formulas in second order modal logic, i.

In particular, there are two features of the use of a sentence that. Contingentism about individuals and higherorder necessitism. Nevertheless, their nature and existence is very controversial. Hypersequent system d a study of a hypersequent system for the modal logic d. Objects, properties and contingent existence to appear. A functional calculus of first order based on strict implication volume 11 issue 1 ruth c. Firstorder classical modal logic barcan formulas and neighborhood frames.

First order extensions of classical modal logic 162. Publications in reverse chronological order in preparation a with paul boghossian debating the apriori, volume of our published exchanges and new ones, including reply to boghossian on the distinction between the a priori and the a posteriori and reply to boghossian on intuition, understanding and the a priori. Similarly, secondorder logic recognizes as formally valid certain inferences that are not fovalid. The true generalizations constitute a quanti ed modal logic, but we do not know ahead of enquiry. First, we present the language of second order propositional modal logic sopml, some of its fragments, and their interpretation on kripke frames and models. The system provides a uniform prooftheoretical treatment of firstorder. Williamson forthcoming barcan formulas in secondorder modal logic, i.

Labelled proofs for quantified modal logic uq espace. For example, the statement john is happy might be qualified by saying that john is usually happy, in which case the term usually is functioning as a modal. Propositional justification logics are similar to modal logics, except. Insofar as the notion of validity on a frame abstracts from the interpretation function, it implicitly involves a higher order quantification over propositions. In an intended interpretation of a formula of slogic, the propositional variables are assigned to subsystems of secondorder arithmetic,jis interpreted as. Timothy williamson, modal logic as metaphysics philpapers. This is particularly serious, since their standard applications depend on there being sufficiently many of them. Converse barcan formula cbf seem to be valid for higherorder modal quantificational logic. Barcan formulas in secondorder modal logic university of oxford. For example, there is no way in fol to say that a and b have some property in common. Second order barcan formulas and transcendent universals.

If the barcan formula is assumed as an axiom, it implies that. It prepares students to read the logically sophisticated articles in todays philosophy journals, and helps them resist bullying by symbolmongerers. After an undergraduate degree in mathematics and philosophy and a doctorate in philosophy, both at oxford, he was a lecturer in philosophy at trinity college dublin, a fellow and tutor at university college oxford, and professor of logic and metaphysics at the university of. It takes as a starting point that the sense of a sentence is determined by the rules governing its use. Firstorder extensions of classical modal logic eric pacuit university of maryland, college park. Books notes on modal logic stanford university preface these notes were composed while teaching a class at stanford and studying the work of brian chellas modal. Pdf secondorder barcan formulas and transcendent universals. This success is due to several reasons, including an expressive and flexible formal language, which enjoys nice computational properties.

We assume the usual primitive logical notions standardly represented using. However, this translation needs a unary predicate for every propositional variable. Barcan skip to main content we use cookies to distinguish you from other users and to provide you with a better experience on our websites. The first order models we present permit the study of. Second order modal logic andrew parisi, phd university of connecticut, 2017 abstract. Second order logic and modal logic are both, separately, major topics of philosophical discussion. As we shall see, under the graphbased perspective discussed here, modal logic is closely linked to both. Ruth barcan marcus 1947 the identity of individuals in a strict functional calculus of second order. Indeed, s4 may also be shown to be the modal logic of the partial orders. Simplest secondorder quanti ed s5 modal logic linsky and zalta, 1994, including 1st and 2nd order barcan formulas i. Modal logic in this form aims to discover which generalizations in such terms are true. I begin with a sketch of standard propositional and predicate logic. A b s t r a c t in a series of writings timothy williamson has argued for necessitism cf. Priors basic system of temporal logic, and discuss some of the fundamental logical questions pertaining to it.

Unifiable formulas in some extensions of qk4 are characterized and an explicit basis for the passive rules those with nonunifiable premises is provided. For second order modal logic there are both first order and second order barcan formulas. The barcan formula, introduced in barcan 1946, raises fundamental issues about the contingency or otherwise of existence, issues that arise neither in first order non modal logic nor in unquantified modal logic. Secondorder modal logic andrew parisi, phd university of connecticut, 2017 abstract. But modal logic is not the only tool for talking about graphs, and this brings us to one of the major themes of the chapter. Logical vocabulary name instances category individual variables x, y z, etc. A modal is an expression like necessarily or possibly that is used to qualify the truth of a judgement. We start today with a recap of the syntax and semantics of first.

Modal logic is, strictly speaking, the study of the deductive behavior of the expressions it is necessary that and it is possible that. Modal logic is nowadays a wellestablished area in mathematical logic, which has also become one of the most popular formal frameworks in artificial intelligence for knowledge representation and reasoning. Intensional logic stanford encyclopedia of philosophy. With the exception of the logic of descriptions, the modal closures of all of the following are axioms. Converse barcan formula cbf seem to be valid for higher order modal quantificational logic. Firstorder modal logic and the barcan formula stanford university. Formulas are built up from atomic formulas in the usual way, using propositional connectives, modal operators, and two kinds of quantifiers. Secondorder logic and modal logic are both, separately, major topics of philosophical discussion. Introduction one of the most fertile ideas in modal logic and metaphysics traces to leibniz, who proposed the following famous account of necessity. An introduction to its syntax and semantics amazon site. Based on firstorder modal logic by fitting and mendelsohn. Timothy williamson has been the wykeham professor of logic at oxford since 2000. A familiar observation is that virtually every putatively fundamental principle of logic has been challenged over the last century on broadly metaphysical grounds. Saul krike 1959 a completeness theorem in modal logic.

In fact, there is no way of formalizing, using standard. Although both have been criticized by quine and others, increasingly many philosophers find their strictures uncompelling, and regard both branches of logic as valuable resources for the articulation and investigation of significant issues in logical metaphysics and elsewhere. Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. He rejects the search for a metaphysically neutral logic as futile. Timothy williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic.

The barcan formula, introduced in barcan 1946, raises fundamental issues about the contingency or otherwise of existence, issues that arise neither in firstorder nonmodal logic nor in unquantified modal logic. Simplest second order quanti ed s5 modal logic linsky and zalta, 1994, including 1st and 2nd order barcan formulas i. An introduction to its syntax and semantics 9780195366570. Justification logic, firstorder logic of proofs, completeness, epistemic logic. A hypersequent approach to modal logic introduces a new framework for the proof theory of various modal logics.

The smallest normal logic containing a normal modal logic l is called l. Some modal formulas impose conditions on frames that cannot be expressed in a first order language, thus even propositional modal logic is fundamentally second order in nature. Secondorder barcan formulas and transcendent universals. The axiom b raises an important point about the interpretation of modal formulas. The sahlqvist correspondence theorem states that every sahlqvist formula is canonical, and corresponds to a firstorder definable class of kripke frames sahlqvists definition characterizes a decidable set of modal formulas with firstorder correspondents. Specifically, modal logic is intended to help account for the valid. In modal logic as metaphysics, timothy williamson argues for positive answers to those questions on the basis of an integrated approach to the issues, applying the technical resources of modal logic to provide structural cores for metaphysical theories. For systems with the barcan formula it is possible to preserve the usual tarskian. Higherorder free logic and the priorkaplan paradox andrew bacon, john hawthorne and gabriel uzquiano april 11, 2016 1 introduction a central theme from modal logic as metaphysics is the idea that higherorder logic is a fruitful framework for formulating and assessing some of the somewhat elusive debates in the metaphysics of properties and. Modern origins of modal logic stanford encyclopedia of. It is known that modal logic can be interpreted in firstorder logic via standard translation.

A modala word that expresses a modalityqualifies a statement. Firstorder extensions of classical modal logic 1462. Barcan later ruth barcan marcus developed the first axiomatic systems of quantified modal logic first and second order extensions of lewis s2, s4, and s5. We introduce unification in firstorder transitive modal logics, i. For formulas of monadic quantified modal logic we have valuationatomicity. For secondorder modal logic there are both firstorder and secondorder barcan formulas. In addition to the usual formulacreating machinery, we have the following. However, the term modal logic may be used more broadly for a family of. Unification in firstorder transitive modal logic logic.