- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A topological logic of action
Studia Logica 43 (4):415 - 419 (1984)
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.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Deontic Logics based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - 2013 - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Dordrecht, Netherland: Springer Verlag.
Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
Term-Forming Operators in First Order Logic.David Michael Devidi - 1994 - Dissertation, The University of Western Ontario (Canada)
The lattice of distributive closure operators over an algebra.Josep M. Font & Ventura Verdú - 1993 - Studia Logica 52 (1):1 - 13.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic1.Martin Wirsing & Alexander Knapp - 2023 - Logic Journal of the IGPL 31 (6):1047-1068.
Subatomic Negation.Bartosz Więckowski - 2021 - Journal of Logic, Language and Information 30 (1):207-262.
Measuring Inconsistency in Some Logics with Modal Operators.John Grant - 2020 - Studia Logica 109 (3):581-605.
Analytics
Added to PP
2009-01-28
Downloads
61 (#350,217)
6 months
7 (#715,360)
2009-01-28
Downloads
61 (#350,217)
6 months
7 (#715,360)
Historical graph of downloads
Author's Profile
Citations of this work
Practical Reasoning Arguments: A Modular Approach.Fabrizio Macagno & Douglas Walton - 2018 - Argumentation 32 (4):519-547.
Getting started: Beginnings in the logic of action.Krister Segerberg - 1992 - Studia Logica 51 (3-4):347 - 378.
Teleological Justification of Argumentation Schemes.Douglas Walton & Giovanni Sartor - 2013 - Argumentation 27 (2):111-142.
Deontic Logics based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - 2013 - In Robert Trypuz (ed.), Krister Segerberg on Logic of Actions. Dordrecht, Netherland: Springer Verlag.
Reasoning about Actions and Obligations in First-Order Logic.Gert-Jan C. Lokhorst - 1996 - Studia Logica 57 (1):221 - 237.
References found in this work
A logical analysis of some value concepts.Frederic Fitch - 1963 - Journal of Symbolic Logic 28 (2):135-142.
The logic of deliberate action.Krister Segerberg - 1982 - Journal of Philosophical Logic 11 (2):233 - 254.
The system cδ of combinatory logic.Frederic B. Fitch - 1963 - Journal of Symbolic Logic 28 (1):87-97.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-f5f4x uwo