Completeness in modal logic
(2005)Theoretical Philosophy
- Abstract
- This paper is mainly inspired by formal research results and philosophical considerations in
?A guide to intensional semantics?, written in 1973 by Bengt Hansson and Peter Gärdenfors. That essay was focused on the philosophy of semantics for modal logics, with special attention to completeness results. The purpose of the essay was to exhibit a negative trend in modal logic regarded as a philosophical discipline; the enterprise of completeness proving has
become largely ?l?art pour l?art?, as the authors express it, and semantics often seem to be viewed by logicians as mere ?collectors of completeness results? rather than tools for actually
interpreting modal logics. To illustrate this point, they constructed a semantics that makes
... (More) - This paper is mainly inspired by formal research results and philosophical considerations in
?A guide to intensional semantics?, written in 1973 by Bengt Hansson and Peter Gärdenfors. That essay was focused on the philosophy of semantics for modal logics, with special attention to completeness results. The purpose of the essay was to exhibit a negative trend in modal logic regarded as a philosophical discipline; the enterprise of completeness proving has
become largely ?l?art pour l?art?, as the authors express it, and semantics often seem to be viewed by logicians as mere ?collectors of completeness results? rather than tools for actually
interpreting modal logics. To illustrate this point, they constructed a semantics that makes
every classical modal logic come out complete. Completeness as such is a trivial property for all even moderately interesting modal logics. (Less)
Please use this url to cite or link to this publication:
http://lup.lub.lu.se/student-papers/record/1328154
- author
- Enqvist, Sebastian
- supervisor
- organization
- year
- 2005
- type
- M2 - Bachelor Degree
- subject
- keywords
- Modal logic, David Lewis, Peter Gärdenfors, Bengt Hansson, Philosophical logic, Filosofisk logik, logik
- language
- English
- id
- 1328154
- date added to LUP
- 2006-01-18 00:00:00
- date last changed
- 2006-01-18 00:00:00
@misc{1328154,
abstract = {{This paper is mainly inspired by formal research results and philosophical considerations in
?A guide to intensional semantics?, written in 1973 by Bengt Hansson and Peter Gärdenfors. That essay was focused on the philosophy of semantics for modal logics, with special attention to completeness results. The purpose of the essay was to exhibit a negative trend in modal logic regarded as a philosophical discipline; the enterprise of completeness proving has
become largely ?l?art pour l?art?, as the authors express it, and semantics often seem to be viewed by logicians as mere ?collectors of completeness results? rather than tools for actually
interpreting modal logics. To illustrate this point, they constructed a semantics that makes
every classical modal logic come out complete. Completeness as such is a trivial property for all even moderately interesting modal logics.}},
author = {{Enqvist, Sebastian}},
language = {{eng}},
note = {{Student Paper}},
title = {{Completeness in modal logic}},
year = {{2005}},
}