Abstract
We explore some logics of change, focusing on commands to change the world in such a way that certain elementary propositions become true or false. This investigation starts out from the following two simplifying assumptions: (1) the world is a collection of facts (Wittgenstein), and (2), the world can be changed by changing elementary facts (Marx). These assumptions allow us to study the logic of imperatives in the simplest possible setting.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Belnap, N., and M. Perloff, ‘The way of the agent', Studia Logica 51:463-484, 1992.
van Benthem, J., ‘Logic and the flow of information', in Proceedings 9th International Congress of Logic, Methodology and Philosophy of Science. Uppsala 1991, pages 693-724, Elsevier, Amsterdam, 1993.
van Benthem, J., Exploring Logical Dynamics, CSLI & Folli, 1996.
Shoham, Y, Reasoning about Change, MIT Press, Cambridge, Mass, 1988.
Spruit, P., R. Wieringa, and J.-J. Meyer, ‘Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases’, Journal of Logic and Computation, 27-70, 1995.
von Wright, G. H., Practical Reason, Blackwell, Oxford, 1983.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
van Eijck, J. Making Things Happen. Studia Logica 66, 41–58 (2000). https://doi.org/10.1023/A:1026792711025
Issue Date:
DOI: https://doi.org/10.1023/A:1026792711025