Abstract
We consider a quantifier-free language in which there are terms as well as formulas. The proposition-forming propositional operators are the usual ones, and the term-making term operators are the usual lattice theoretical ones. In addition there is a formula-making term operator, “does”. We study a new logic in which “does α” is claimed to approximate some features of the informal concept “the agent performs the action α”.
Similar content being viewed by others
References
F. B. Fitch, A logical analysis of some value concepts, The Journal of Symbolic Logic, Vol. 28 (1963), pp. 135–142.
K. Segerberg, Action-games, Acta Philosophica Fennica, Vol. 32 (1981), pp. 220–231.
K. Segerberg, The logic of deliberate action, Journal of Philosophical Logic, Vol. 11 (1982), pp. 223–254.
K. Segerberg, Models for actions, to appear in Analytical Philosophy in Contemporary Perspective, edited by B. K. matilal and J. L. shaw.
G. H. von Wright, Deontic logic revisited, Rechtstheorie, Vol. 4 (1973), pp. 37–46.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Segerberg, K. A topological logic of action. Stud Logica 43, 415–419 (1984). https://doi.org/10.1007/BF00370511
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370511