Representing Counterparts | Zendy

Andrew Bacon | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Representing Counterparts

Author(s) -

Andrew Bacon

Publication year - 2014

Publication title -

the australasian journal of logic

Language(s) - English

Resource type - Journals

ISSN - 1448-5052

DOI - 10.26686/ajl.v11i2.2143

Subject(s) - modal logic , semantics (computer science) , modal , multimodal logic , operator (biology) , kripke semantics , normal modal logic , possible world , modal operator , computer science , algebra over a field , mathematics , description logic , artificial intelligence , epistemology , programming language , pure mathematics , philosophy , biochemistry , chemistry , repressor , transcription factor , polymer chemistry , gene

This paper presents and motivates a counterpart theoretic semantics for quantified modal logic based on a fleshed out account of Lewis’s notion of a ‘possibility.’ According to the account a possibility consists of a world and some haecceitistic information about how each possible individual gets represented de re. A semantics for quantified modal logic based on evaluating formulae at possibilities is developed. It is shown that this framework naturally accommodates an actuality operator, addressing recent objections to counterpart theory (see [2], [1]), and is equivalent to the more familiar Kripke semantics for quantified modal logic with an

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research