ISSN:
1572-8730
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract The basic bimodal systemK/K can be interpreted as an analysis of the logic of ability developed in [1]. Where in [1] we would express the claimI can bring it about that P using the formula , with its non-normal operator , we will now use the formula . Here is a normal alethic possibilitation operator. is a normal necessitation operator, but it is independent of , and not subject to an alethic interpretation. Rather, is interpreted to meanI bring it about that P. The result is a simplification and clarification of a combined logic of ability and action like that in [2], but employing only normal operators. A number of extensions of the basic systemK/K are constructed, first by strengthening the two normal sublogics independently and then by linking the two sublogics via axiom schemata involving both operators. The result is a series of increasingly strong systems which more and more adequately fulfill our expectations for a satisfactory logic of action and ability.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01028973
