Topics in modal quantification theory
The modal logic S5 gives us a simple technical tool to analyze some main notions from philosophy (e.g. metaphysical necessity and epistemological concepts such as knowledge and belief). Although S5 can be axiomatized by some simple rules, this logic shows some puzzling properties. For example, an in...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | en |
Published: |
Biblioteca Digitais de Teses e Dissertações da USP
2015
|
Subjects: | |
Online Access: | http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/ |