Jump to ContentJump to Main Navigation

You are looking at 1-9 of 9 items

  • Keywords: quantified modal logic x
Clear All Modify Search

View:

 The Barcan Formula and its Converse: Early Developments

Timothy Williamson

in Modal Logic as Metaphysics

Published in print:
2013
Published Online:
May 2013
ISBN:
9780199552078
eISBN:
9780191752506
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199552078.003.0002
Subject:
Philosophy, Metaphysics/Epistemology, Logic/Philosophy of Mathematics

Necessitists accept both the Barcan formula (or schema) and its converse in quantified modal logic; contingentists typically reject both formulas. Their controversial implications are explained. Both ... More


Modalities: Philosophical Essays

Ruth Barcan Marcus

Published in print:
1995
Published Online:
November 2003
ISBN:
9780195096576
eISBN:
9780199833412
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/0195096576.001.0001
Subject:
Philosophy, General

This book is a collection of papers by Ruth Barcan Marcus, covering much ground in the development of her thought, and spanning from 1961 to 1990. Many of the papers deal with logical, semantic, ... More


A Backward Look at Quine's Animadversions on Modalities

Ruth Barcan Marcus

in Modalities: Philosophical Essays

Published in print:
1995
Published Online:
November 2003
ISBN:
9780195096576
eISBN:
9780199833412
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/0195096576.003.0014
Subject:
Philosophy, General

This paper reflects, in a loosely historical and personally reminiscent fashion, on Quine's animadversions on modalities, the debates they provoked, and some of its outcomes.


Essentialism in Modal Logic

Ruth Barcan Marcus

in Modalities: Philosophical Essays

Published in print:
1995
Published Online:
November 2003
ISBN:
9780195096576
eISBN:
9780199833412
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/0195096576.003.0003
Subject:
Philosophy, General

In this paper, an example of the kind of essentialist argument that is supposed to generate difficulties for quantified modal logic is shown to be invalid on one interpretation, and valid but unable ... More


Modalities and Intensional Languages

Ruth Barcan Marcus

in Modalities: Philosophical Essays

Published in print:
1995
Published Online:
November 2003
ISBN:
9780195096576
eISBN:
9780199833412
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/0195096576.003.0001
Subject:
Philosophy, General

In this paper, quantified modal logic is defended against criticisms concerning identity and substitution, the interpretation of the existential quantifier, and the commitment to essentialism. The ... More


Essential Attribution

Ruth Barcan Marcus

in Modalities: Philosophical Essays

Published in print:
1995
Published Online:
November 2003
ISBN:
9780195096576
eISBN:
9780199833412
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/0195096576.003.0004
Subject:
Philosophy, General

This paper contributes to an account of modes of essentialism within the framework of quantified modal logic. It distinguishes between “Aristotelian” and “individuating” essentialism, and argues that ... More


Possibilia and Possible Worlds

Ruth Barcan Marcus

in Modalities: Philosophical Essays

Published in print:
1995
Published Online:
November 2003
ISBN:
9780195096576
eISBN:
9780199833412
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/0195096576.003.0013
Subject:
Philosophy, General

This paper examines claims that quantified modal logic trades on deep failures and confusions. In particular, it discusses the putative problem of failure of substitutivity of co‐referential terms in ... More


The Place of Willard Van Orman Quine in Analytic Philosophy

Scott Soames

in Analytic Philosophy in America: And Other Historical and Contemporary Essays

Published in print:
2014
Published Online:
October 2017
ISBN:
9780691160726
eISBN:
9781400850464
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691160726.003.0005
Subject:
Philosophy, American Philosophy

This chapter discusses the achievements of W. V. O. Quine and his place in analytic philosophy. It begins with Carnap’s logical empiricism, which set the context for Quine’s first major article in ... More


Time and Existence

Ulrich Meyer

in The Nature of Time

Published in print:
2013
Published Online:
January 2014
ISBN:
9780199599332
eISBN:
9780191760648
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199599332.003.0008
Subject:
Philosophy, Philosophy of Science

This chapter expands the simple propositional tense logic Z from Chapter 4 into a quantified tense logic. In developing such a system, we need to decide whether to adopt tensed or untensed ... More


View: