Skip to main content Accessibility help
×
Hostname: page-component-78c5997874-s2hrs Total loading time: 0 Render date: 2024-11-07T19:23:42.379Z Has data issue: false hasContentIssue false
This chapter is part of a book that is no longer available to purchase from Cambridge Core

2 - Modal language and modal logic

Joseph Melia
Affiliation:
University of Oxford
Get access

Summary

In this chapter we meet the modal languages and modal logics that philosophers and logicians use to formalize modal thought and talk. In order to understand the significance of the model theory for modal languages, we shall also examine model theory for non-modal first-order language. Finally, we'll see that there are limitations to the expressive resources of these modal systems: certain natural modal theses cannot be expressed in straightforward modal languages – although they can be expressed in a first-order language that quantifies over worlds and possibilia. This will be the first sign of support for possible worlds theory.

Quantified modal language

Some philosophers think that any fact can be captured in a language containing only names and predicates. Others argue that there are some true thoughts whose correct expression involves quantification over things – and only things: the first-order predicate calculus is the correct logical framework. Still others believe that, since first-order formulations of mathematical theories such as arithmetic and set theory have clearly non-standard models, second-order logic is required. And yet others maintain that none of these languages is capable of expressing modal facts.

First- and second-order languages have been extensively studied by logicians. These languages can be presented in formal systems whose grammatical and syntactical rules are precisely defined. Deductive systems for these logics have also been studied and there exist precisely defined semantic systems for these logics. Students and researchers alike are well trained at translating English sentences into first-order languages, and sentences of first-order languages into English.

Type
Chapter
Information
Modality , pp. 21 - 62
Publisher: Acumen Publishing
Print publication year: 2003

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×