Switch to: References

Add citations

You must login to add citations.
  1. Modeling Descriptive and Deontic Cognition as Two Modes of Relation Between Mind and World.Preston Stovall - 2022 - Pacific Philosophical Quarterly 103 (1):156-185.
    I use a distinction between single-minded and indifferent choice attitudes, modeled across maximally determinate plans of action, as a basis for interpreting deontic claims – about what ought, ought not, and may be done – as expressing a mode of relation between mind and world that gives voice to the exercise of practical rationality. At the same time, I use maximally determinate possible worlds to model descriptive claims in order to understand them as involving a mode of relation between mind (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.
    Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Wondering about the future.Stephan Torre - 2021 - Philosophical Studies 179 (8):2449-2473.
    Will it rain tomorrow? Will there be a sea battle tomorrow? Will my death be painful? Wondering about the future plays a central role in our cognitive lives. It is integral to our inquiries, our planning, our hopes, and our fears. The aim of this paper is to consider various accounts of future contingents and the implications that they have for wondering about the future. I argue that reflecting on the nature of wondering about the future supports an Ockhamist account (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Epistemic Logic Meets Epistemic Game Theory: A Comparison Between Multi-Agent Kripke Models and Type Spaces.Paolo Galeazzi & Emiliano Lorini - 2016 - Synthese 193 (7):2097-2127.
    In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers :149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42:863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal comparison between (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.
    This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Imprints in Time: Towards a Moderately Robust Past.Michael Longenecker - 2018 - Philosophical Studies 175 (10):2429-2446.
    Presentism says that only present objects exist. But the view has trouble grounding past-tensed truths like “dinosaurs existed”. Standard Eternalism grounds those truths by positing the existence of past objects—like dinosaurs. But Standard Eternalism conflicts with the intuition that there is genuine change—the intuition that there once were dinosaurs and no longer are any. I offer a novel theory of time—‘The Imprint’—that does a better job preserving both the grounding and genuine change intuitions. The Imprint says that the past and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Assessment Sensitivity: Relative Truth and its Applications.John MacFarlane - 2014 - Oxford University Press.
    John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   376 citations  
  • Two Intuitions About Free Will: Alternative Possibilities and Intentional Endorsement.Wlodek Rabinowicz & Christian List - 2014 - Philosophical Perspectives 28 (1):155-172.
    Free will is widely thought to require (i) the possibility of acting otherwise and (ii) the intentional endorsement of one’s actions (“indeterministic picking is not enough”). According to (i), a necessary condition for free will is agential-level indeterminism: at some points in time, an agent’s prior history admits more than one possible continuation. According to (ii), however, a free action must be intentionally endorsed, and indeterminism may threaten freedom: if several alternative actions could each have been actualized, then none of (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Relativism and Two Kinds of Branching Time.Dilip Ninan - forthcoming - Pacific Philosophical Quarterly.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • A Critical Discussion of Prior’s Philosophical and Tense-Logical Analysis of the Ideas of Indeterminism and Human Freedom.Peter Øhrstrøm - 2019 - Synthese 196 (1):69-85.
    This paper is a critical discussion of A.N. Prior’s contribution to the modern understanding of indeterminism and human freedom of choice. Prior suggested that these ideas should be conceived in terms of his tense logic. It can be demonstrated that his approach provides an attractive formalization that makes it possible to discuss indeterminism and human freedom of choice in a very precise manner and in a broader metaphysical context. It is also argued that Prior’s development of this approach was closely (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Deontic Logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
  • Temporal Logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark  
  • Future Contingents.Peter Øhrstrøm & Per Hasle - 2011 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Temporal Logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
  • Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.
  • Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.
    This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.
    This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory of knowledge and belief, that we call “dynamic epistemology”. It brings the works of these researchers under a single umbrella by highlighting the coherence of their current themes, and by establishing connections between topics that, up until now, have been investigated independently. It also illustrates how the new analytical toolbox unveils questions about the theory of knowledge, belief, preference, action, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Ought, Agents, and Actions.Mark Schroeder - 2011 - Philosophical Review 120 (1):1-41.
    According to a naïve view sometimes apparent in the writings of moral philosophers, ‘ought’ often expresses a relation between agents and actions – the relation that obtains between an agent and an action when that action is what that agent ought to do. It is not part of this naïve view that ‘ought’ always expresses this relation – on the contrary, adherents of the naïve view are happy to allow that ‘ought’ also has an epistemic sense, on which it means, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   95 citations  
  • The Utility of Content-Relativism.Paula Sweeney - 2014 - Dialectica 68 (4):563-579.
    Content- relativism is a semantic theory that states that the content of an uttered sentence can vary according to some feature of an assessment context. This paper has two objectives. The first is to determine which features a motivational case for content- relativism would display – what would a good case for content- relativism look like? The second is to consider cases that appear to have the required features and evaluate their prospects as motivational cases. I identify two varieties of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Deontic Logic.Paul McNamara - 2006 - In Dov Gabbay & John Woods (eds.), The Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century. Elsevier Press. pp. 197-288.
    Overview of fundamental work in deontic logic.
    Direct download  
     
    Export citation  
     
    Bookmark   65 citations  
  • Fara’s Formula and the Supervaluational Thin Red Line.Alex Peter Malpass - 2013 - Theoria : An International Journal for Theory, History and Fundations of Science 28 (2):267-282.
    This paper establishes two facts. The first is that a recently presented problem for supervaluationism applies equally to the branching-time cousin of the theory. The second fact is that a new version of branching-time supervaluationism avoids this and related problems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Fara’s Formula and the Supervaluational Thin Red Line.Alex Peter Malpass - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (2):267-282.
    Este artículo se centra en un argumento presentado por Fara (2010) en contra del supervaluacionismo en el contexto de la vaguedad. Muestro cómo dicho argumento es igualmente aplicable al supervaluacionismo de tiempo ramificado (presentado por primera vez por Thomason 1970), pero no a la semántica 'STRL' de Malpass y Wawer (2012), que está estrechamente relacionada.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • An Introduction to Real Possibilities, Indeterminism, and Free Will: Three Contingencies of the Debate.Thomas Müller, Antje Rumberg & Verena Wagner - 2019 - Synthese 196 (1):1-10.
  • The restrictor view, without covert modals.Ivano Ciardelli - 2022 - Linguistics and Philosophy 45 (2):293-320.
    The view that if-clauses function semantically as restrictors is widely regarded as the only candidate for a fully general account of conditionals. The standard implementation of this view assumes that, where no operator to be restricted is in sight, if-clauses restrict covert epistemic modals. Stipulating such modals, however, lacks independent motivation and leads to wrong empirical predictions. In this paper I provide a theory of conditionals on which if-clauses are uniformly interpreted as restrictors, but no covert modals are postulated. Epistemic (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Does Success Entail Ability?David Boylan - forthcoming - Noûs.
    This paper is about the principle that success entails ability, which I call Success. I argue the status of Success is highly puzzling: when we focus on past instances of actually successful action, Success is very compelling; but it is in tension with the idea that true ability claims require an action be in the agent's control. I make the above tension precise by considering the logic of ability. I argue Success is appealing because it is classically equivalent to two (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Choice-Driven Counterfactuals.Ilaria Canavotto & Eric Pacuit - 2022 - Journal of Philosophical Logic 51 (2):297-345.
    In this paper, we investigate the semantics and logic of choice-driven counterfactuals, that is, of counterfactuals whose evaluation relies on auxiliary premises about how agents are expected to act, i.e., about their default choice behavior. To do this, we merge one of the most prominent logics of agency in the philosophical literature, namely stit logic, with the well-known logic of counterfactuals due to Stalnaker and Lewis. A key component of our semantics for counterfactuals is to distinguish between deviant and non-deviant (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • How Causal Probabilities Might Fit Into Our Objectively Indeterministic World.Matthew Weiner & Nuel Belnap - 2006 - Synthese 149 (1):1-36.
    We suggest a rigorous theory of how objective single-case transition probabilities fit into our world. The theory combines indeterminism and relativity in the “branching space–times” pattern, and relies on the existing theory of causae causantes (originating causes). Its fundamental suggestion is that (at least in simple cases) the probabilities of all transitions can be computed from the basic probabilities attributed individually to their originating causes. The theory explains when and how one can reasonably infer from the probabilities of one “chance (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  • Naturalizing Deontic Logic: Indeterminacy, Diagonalization, and Self‐Affirmation.Melissa Fusco - 2018 - Philosophical Perspectives 32 (1):165-187.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Alethic Pluralism, Deflationism, and Faultless Disagreement.Crispin Wright - 2021 - Metaphilosophy 52 (3-4):432-448.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.
    Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  • Stit-Logic for Imagination Episodes with Voluntary Input.Christopher Badura & Heinrich Wansing - forthcoming - Review of Symbolic Logic:1-49.
    Francesco Berto proposed a logic for imaginative episodes. The logic establishes certain validities concerning episodic imagination. They are not all equally plausible as principles of episodic imagination. The logic also does not model that the initial input of an imaginative episode is deliberately chosen. Stit-imagination logic models the imagining agent’s deliberate choice of the content of their imagining. However, the logic does not model the episodic nature of imagination. The present paper combines the two logics, thereby modelling imaginative episodes with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Emergent Chance.Christian List & Marcus Pivato - 2015 - Philosophical Review 124 (1):119-152.
    We offer a new argument for the claim that there can be non-degenerate objective chance (“true randomness”) in a deterministic world. Using a formal model of the relationship between different levels of description of a system, we show how objective chance at a higher level can coexist with its absence at a lower level. Unlike previous arguments for the level-specificity of chance, our argument shows, in a precise sense, that higher-level chance does not collapse into epistemic probability, despite higher-level properties (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   47 citations  
  • A Generalized Manifold Topology for Branching Space-Times.Thomas Müller - 2013 - Philosophy of Science 80 (5):1089-1100.
    The logical theory of branching space-times, which provides a relativistic framework for studying objective indeterminism, remains mostly disconnected from discussions of space-time theories in philosophy of physics. Earman has criticized the branching approach and suggested “pruning some branches from branching space-time.” This article identifies the different—order-theoretic versus topological—perspective of both discussions as a reason for certain misunderstandings and tries to remove them. Most important, we give a novel, topological criterion of modal consistency that usefully generalizes an earlier criterion, and we (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • A Stochastic Process Model for Free Agency Under Indeterminism.Thomas Müller & Hans J. Briegel - 2018 - Dialectica 72 (2):219-252.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Talking About Worlds.Matthew Mandelkern - 2018 - Philosophical Perspectives 32 (1):298-325.
    I explore the logic of the conditional, using credence judgments to argue against Duality and in favor of Conditional Excluded Middle. I then explore how to give a theory of the conditional which validates the latter and not the former, developing a variant on Kratzer (1981)'s restrictor theory, as well as a proposal which combines Stalnaker (1968)'s theory of the conditional with the theory of epistemic modals I develop in Mandelkern 2019a. I argue that the latter approach fits naturally with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Invisible Thin Red Line.Giuliano Torrengo & Samuele Iaquinto - 2020 - Pacific Philosophical Quarterly 101 (3):354-382.
    The aim of this paper is to argue that the adoption of an unrestricted principle of bivalence is compatible with a metaphysics that (i) denies that the future is real, (ii) adopts nomological indeterminism, and (iii) exploits a branching structure to provide a semantics for future contingent claims. To this end, we elaborate what we call Flow Fragmentalism, a view inspired by Kit Fine (2005)’s non-standard tense realism, according to which reality is divided up into maximally coherent collections of tensed (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Understanding What We Ought and Shall Do: A Hyperstate Semantics for Descriptive, Prescriptive, and Intentional Sentences.Preston Stovall - 2020 - In Ladislav Koreň, Hans Bernhard Schmid, Preston Stovall & Leo Townsend (eds.), Groups, Norms and Practices: Essays on Inferentialism and Collective Intentionality. Cham: Springer. pp. 215-238.
    This essay is part of a larger project aimed at making sense of rational thought and agency as part of the natural world. It provides a semantic framework for thinking about the contents of: 1) descriptive thoughts and sentences having a representational or mind-to-world direction of fit, and which manifest our capacity for theoretical rationality; and 2) prescriptive and intentional sentences having an expressive or world-to-mind direction of fit, and which manifest our capacity for practical rationality. I use a modified (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • The Actual Future is Open.Giuseppe Spolaore & Francesco Gallina - 2020 - Erkenntnis 85 (1):99-119.
    Open futurism is the indeterministic position according to which the future is ‘open’, i.e., there is now no fact of the matter as to what future contingent events will actually obtain. Many open futurists hold a branching conception of time, in which a variety of possible futures exist. This paper introduces two challenges to branching-time open futurism, which are similar in spirit to a challenge posed by Fine to tense realism. The paper argues that, to address the new challenges, open (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Some Problems with the Russellian Open Future.Jacek Wawer - 2018 - Acta Analytica 33 (4):413-425.
    In a recently published paper, Patrick Todd (2016, 'Future contingents are all false! On behalf of a Russellian open future') advocates a novel treatment of future contingents. On his view, all statements concerning the contingent future are false. He motivates his semantic postulates by considerations in philosophy of time and modality, in particular by the claim that there is no actual future. I present a number of highly controversial consequences of Todd’s theory. Inadequacy of his semantics might indirectly serve as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.
    This paper presents a short survey of recent developments in stit theories, with an emphasis on combinations of stit and deontic logic, and those of stit and epistemic logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Actions as Events.Ming Xu - 2012 - Journal of Philosophical Logic 41 (4):765 - 809.
    We present a theory of actions based on a theory of events in branching time, in which "particular" or "token" actions are taken to be sets of transitions from their initial states to the outcomes. We also present a simple theory of composition of events by which composite events can be formed out of other events. Various kinds of actions, including instantaneous group actions and sequential group actions, are introduced by way of composition, and an extended stit theory of agency (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • An impossibility result on methodological individualism.Hein Duijf, Allard Tamminga & Frederik Van De Putte - 2021 - Philosophical Studies 178 (12):4165-4185.
    Methodological individualists often claim that any social phenomenon can ultimately be explained in terms of the actions and interactions of individuals. Any Nagelian version of methodological individualism requires that there be bridge laws that translate social statements into individualistic ones. We show that Nagelian individualism can be put to logical scrutiny by making the relevant social and individualistic languages fully explicit and mathematically precise. In particular, we prove that the social statement that a group of agents performs a deontically admissible (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Future Contingents and Relative Truth.John MacFarlane - 2003 - Philosophical Quarterly 53 (212):321–336.
    If it is not now determined whether there will be a sea battle tomorrow, can an assertion that there will be one be true? The problem has persisted because there are compelling arguments on both sides. If there are objectively possible futures which would make the prediction true and others which would make it false, symmetry considerations seem to forbid counting it either true or false. Yet if we think about how we would assess the prediction tomorrow, when a sea (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   265 citations  
  • Assertions and Future Tense Semantics.Ciro De Florio & Aldo Frigerio - 2021 - Synthese 199 (1-2):4729-4747.
    Non-bivalent semantics of the future tense assert that propositions regarding future contingents are neither true nor false. One of the most relevant non-bivalent semantics is supervaluationism :264–281, 1970; Thomason, in: Gabbay, Guenthner Handbook of philosophical logic, Springer, Berlin, 1984), which preserves important logical principles. Recently, non-bivalent semantics are under attack from some pragmatics arguments: these semantics would be incompatible with our practices of asserting future contingents and with the probability we ascribe to such assertions :251–271, 2014; Cariani and Santorio in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Belief Attribution as Indirect Communication.Christopher Gauker - 2021 - In Ladislav Koreň, Hans Bernhard Schmid, Preston Stovall & Leo Townsend (eds.), Groups, Norms and Practices: Essays on Inferentialism and Collective Intentionality. Springer Nature Switzerland. pp. 173-187.
    This paper disputes the widespread assumption that beliefs and desires may be attributed as theoretical entities in the service of the explanation and predic- tion of human behavior. The literature contains no clear account of how beliefs and desires might generate actions, and there is good reason to deny that principles of rationality generate a choice on the basis of an agent’s beliefs and desires. An alter- native conception of beliefs and desires is here introduced, according to which an attribution (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Expressivity Results for Deontic Logics of Collective Agency.Allard Tamminga, Hein Duijf & Frederik Van De Putte - 2020 - Synthese 198 (9):8733-8753.
    We use a deontic logic of collective agency to study reducibility questions about collective agency and collective obligations. The logic that is at the basis of our study is a multi-modal logic in the tradition of *stit* logics of agency. Our full formal language has constants for collective and individual deontic admissibility, modalities for collective and individual agency, and modalities for collective and individual obligations. We classify its twenty-seven sublanguages in terms of their expressive power. This classification enables us to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Thin Red Line, Molinism, and the Flow of Time.Ciro De Florio & Aldo Frigerio - 2020 - Journal of Logic, Language and Information 29 (3):307-329.
    In addressing the problem of the compatibility of divine foreknowledge and human freedom, philosophers of religion encounter problems regarding the metaphysics and structure of time. Some models of temporal logic developed for completely independent reasons have proved especially appropriate for representing the temporal structure of the world as Molinism conceives it. In particular, some models of the Thin Red Line ) seem to imply that conditionals of freedom are true or false, as Molinists maintain. Noting the resemblance between Molinism and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer International Publishing. pp. 803 - 819.
    We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Time and Determinism.Thomas Müller - 2015 - Journal of Philosophical Logic 44 (6):729-740.
    This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Conflicting Intentions: Rectifying the Consistency Requirements.Hein Duijf, Jan Broersen & John-Jules Ch Meyer - 2019 - Philosophical Studies 176 (4):1097-1118.
    Many philosophers are convinced that rationality dictates that one’s overall set of intentions be consistent. The starting point and inspiration for our study is Bratman’s planning theory of intentions. According to this theory, one needs to appeal to the fulfilment of characteristic planning roles to justify norms that apply to our intentions. Our main objective is to demonstrate that one can be rational despite having mutually inconsistent intentions. Conversely, it is also shown that one can be irrational despite having a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation