View topic on PhilPapers for more information
Related categories

256 found
Order:
More results on PhilPapers
1 — 50 / 256
Material to categorize
  1. Agentive Free Choice.Melissa Fusco - forthcoming - Journal of Philosophical Logic:1-31.
    The Free Choice effect---whereby <>(p or q) seems to entail both <>p and <>q---has traditionally been characterized as a phenomenon affecting the deontic modal "may". This paper presents an extension of the semantic account of free choice defended in Fusco (2015) to the agentive modal "can", the "can" which, intuitively, describes an agent's powers. -/- I begin by sketching a model of inexact ability, which grounds a modal approach to agency (Belnap & Perloff 1998; Belnap, Perloff, and Xu 2001) in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. All Properties Are Divine or God Exists.Frode Bjørdal - 2018 - Logic and Logical Philosophy 3 (27):329-350.
    A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to 3 suggest (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. The Varieties of Ought-Implies-Can and Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2021 - In Fenrong Liu, Alessandra Marra, Paul Portner & Frederik Van De Putte (eds.), Deontic Logic and Normative Systems: 15th International Conference.
    STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. A Logic for Reasoning About Group Norms.Daniele Porello - 2018 - In Jan M. Broersen, Gabriella Pigozzi, Cleo Condoravdi & Shyam Nair (eds.), Deontic Logic and Normative Systems - 14th International Conference, {DEON} 2018, Utrecht, The Netherlands, July 3-6, 2018. Londra, Regno Unito: pp. 301--315.
    We present a number of modal logics to reason about group norms. As a preliminary step, we discuss the ontological status of the group to which the norms are applied, by adapting the classification made by Christian List of collective attitudes into aggregated, common, and corporate attitudes. Accordingly, we shall introduce modality to capture aggregated, common, and corporate group norms. We investigate then the principles for reasoning about those types of modalities. Finally, we discuss the relationship between group norms and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. Bases for an Action Logic to Model Negative Modes of Actions.Ilaria Canavotto - 2018 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017. College Publications.
    Currently available systems of action deontic logic are not designed to model procedures to assess the conduct of an agent which take into account the intentions of the agent and the circumstances in which she is acting. Yet, procedures of this kind are essential to determine what counts as culpable not doing. In light of this, we design an action logic, AL, in which it is possible to distinguish actions that are objectively possible for an agent, viz. there are no (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. Making Theorem-Proving in Modal Logic Easy.Paul Needham - 2009 - In Lars-Göran Johansson, Jan Österberg & Rysiek Śliwiński (eds.), Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel. Uppsala, Sverige: pp. 187-202.
    A system for the modal logic K furnishes a simple mechanical process for proving theorems.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC.Richard Zach - 2018 - Australasian Journal of Logic 15 (3):609-628.
    Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Logic of Probability and Conjecture.Harry Crane - unknown
    I introduce a formalization of probability which takes the concept of 'evidence' as primitive. In parallel to the intuitionistic conception of truth, in which 'proof' is primitive and an assertion A is judged to be true just in case there is a proof witnessing it, here 'evidence' is primitive and A is judged to be probable just in case there is evidence supporting it. I formalize this outlook by representing propositions as types in Martin-Lof type theory (MLTT) and defining a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. Epistemology of Logic - Logic-Dialectic or Theory of the Knowledge.Epameinondas Xenopoulos - 1998 - Dissertation,
    1994.Επιστημολογία της Λογικής. Συγγραφέας Επαμεινώνδας Ξενόπουλος Μοναδική μελέτη και προσέγγιση της θεωρίας της γνώσης, για την παγκόσμια βιβλιογραφία, της διαλεκτικής πορείας της σκέψης από την λογική πλευρά της και της μελλοντικής μορφής που θα πάρουν οι διαλεκτικές δομές της, στην αδιαίρετη ενότητα γνωσιοθεωρίας, λογικής και διαλεκτικής, με την «μέθοδο του διαλεκτικού υλισμού». Έργο βαρύ με θέμα εξαιρετικά δύσκολο διακατέχεται από πρωτοτυπία και ζωντάνια που γοητεύει τον κάθε ανήσυχο στοχαστή από τις πρώτες γραμμές.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities: Polynomial Ring Calculus for Modal Logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
    A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other modal (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Logical Consequence in Modal Logic II: Some Semantic Systems for S4.George Weaver - 1974 - Notre Dame Journal of Formal Logic 15:370.
    ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be equivalent; (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.
    In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. METAPHYSICAL RELATIVITY THEORY I: M-LOGIC.Eric Hahn - manuscript
    The present text provides a logical theory which originated in the unification of a number of well-known philosophical logics as well as the introduction and study of new operators. Further M-logic contains an object theory. With both the logical part and the object part we achieve a formal calculus that is able to express many metaphysical dogmas.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. A Resource-Sensitive Logic of Agency.Daniele Porello & Nicolas Troquard - 2014 - In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. pp. 723-728.
    We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of agency. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. The Barcan Formula in Metaphysics.Ori Simchen - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (3):375-392.
    The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi. It is validated by the most straightforward systems of quantified modal logic. It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or ‘merely possible’) things. I show how BF can be cleared of such a charge by construing it as a bridge (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Possible Worlds for Modal Primitivists.Louis deRosset - 2014 - Journal of Philosophical Logic 43 (1):109-131.
    Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  17. Essentialism Vis-À-Vis Possibilia, Modal Logic, and Necessitism.Sonia Roca-Royes - 2011 - Philosophy Compass 6 (1):54-64.
    Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we will briefly (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Modal Logic and Philosophy.Sten Lindström & Krister Segerberg - 2007 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Amsterdam, the Netherlands: Elsevier. pp. 1149-1214.
    Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   11 citations  
  19. Idiolects.Richard Heck - 2006 - In Judith Jarvis Thomson & Alex Byrne (eds.), Content and Modality: Themes From the Philosophy of Robert Stalnaker. Oxford University Press.
    Defends the view that the study of language should concern itself, primarily, with idiolects. The main objections considered are forms of the normativity objection.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  20. Phonetic Possibility and Modal Logic.Mark Sharlow - 2007
    In this paper I propose a formalization, using modal logic, of the notion of possibility that phoneticians use when they judge speech sounds to be possible or impossible. I argue that the most natural candidate for a modal logic of phonetic possibility is the modal system T.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. Non-Catastrophic Presupposition Failure.Stephen Yablo - 2006 - In Judith Jarvis Thomson & Alex Byrne (eds.), Content and Modality: Themes From the Philosophy of Robert Stalnaker. Oxford University Press.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   48 citations  
Intensional Modal Logic
  1. The Logic of Sequence Frames.Fabio Lampert - forthcoming - Review of Symbolic Logic:1-44.
    This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Reichenbach, Russell and the Metaphysics of Induction.Michael J. Shaffer - 2019 - Argumenta 8:161-181.
    Hans Reichenbach’s pragmatic treatment of the problem of induction in his later works on inductive inference was, and still is, of great interest. However, it has been dismissed as a pseudo-solution and it has been regarded as problematically obscure. This is, in large part, due to the difficulty in understanding exactly what Reichenbach’s solution is supposed to amount to, especially as it appears to offer no response to the inductive skeptic. For entirely different reasons, the significance of Bertrand Russell’s classic (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Modeling Unicorns and Dead Cats: Applying Bressan’s ML Ν to the Necessary Properties of Non-Existent Objects.Tyke Nunez - 2018 - Journal of Philosophical Logic 47 (1):95–121.
    Should objects count as necessarily having certain properties, despite their not having those properties when they do not exist? For example, should a cat that passes out of existence, and so no longer is a cat, nonetheless count as necessarily being a cat? In this essay I examine different ways of adapting Aldo Bressan’s MLν so that it can accommodate an affirmative answer to these questions. Anil Gupta, in The Logic of Common Nouns, creates a number of languages that have (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. Modal Logic. An Introduction.Zia Movahed - 2002 - Tehran: Hermes Publishers.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   82 citations  
  5. Higher-Order Free Logic and the Prior-Kaplan Paradox.Andrew Bacon, John Hawthorne & Gabriel Uzquiano - 2016 - Canadian Journal of Philosophy 46 (4-5):493-541.
    The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   14 citations  
  6. Perspectival Logic of Acceptance and Rejection.Alessandro Giordani - 2017 - Logique and Analyse:265-283.
    This paper aims at developing a logical theory of perspectival epistemic attitudes. After presenting a standard framework for modeling acceptance, where the epistemic space of an agent coincides with a unique epistemic cell, more complex systems are introduced, which are characterized by the existence of many connected epistemic cells, and different possible attitudes towards a proposition, both positive and negative, are discussed. In doing that, we also propose some interesting ways in which the systems can be interpreted on well known (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Intensional Entities.George Bealer - 1998 - In Edward Craig (ed.), Routledge Encyclopedia of Philosophy. Routledge. pp. 803-7.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Carnapian Modal and Epistemic Arithmetic.Heylen Jan - 2009 - In Carrara Massimiliano & Morato Vittorio (eds.), Language, Knowledge, and Metaphysics. Selected papers from the First SIFA Graduate Conference. College Publications. pp. 97-121.
    The subject of the first section is Carnapian modal logic. One of the things I will do there is to prove that certain description principles, viz. the ''self-predication principles'', i.e. the principles according to which a descriptive term satisfies its own descriptive condition, are theorems and that others are not. The second section will be devoted to Carnapian modal arithmetic. I will prove that, if the arithmetical theory contains the standard weak principle of induction, modal truth collapses to truth. Then (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. On Modal Meinongianism.Thibaut Giraud - 2016 - Synthese 193 (10).
    Modal Meinongianism is a form of Meinongianism whose main supporters are Graham Priest and Francesco Berto. The main idea of modal Meinongianism is to restrict the logical deviance of Meinongian non-existent objects to impossible worlds and thus prevent it from “contaminating” the actual world: the round square is round and not round, but not in the actual world, only in an impossible world. In the actual world, supposedly, no contradiction is true. I will show that Priest’s semantics, as originally formulated (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. Extensionalizing Intensional Second-Order Logic.Jonathan Payne - 2015 - Notre Dame Journal of Formal Logic 56 (1):243-261.
    Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. Semantic Paradoxes and Transparent Intensional Logic.Jiri Raclavsky - 2012 - The Logica Yearbook 2011 (College Publications):239-252.
    The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit approach’ (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Possibilities That Matter IV: The Ground of All Possibilities.Steven M. Duncan - manuscript
    This is the final paper in the Possibilities that Matter series and attempts to complete the project of constructing a material interpretation of modal logic.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Possibilities That Matter III: Materially Necessary Being.Steven M. Duncan - manuscript
    This is the third in a series of papers on material modality, which explores the concept of a materially necessary being and argues that such a being exists.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Possibilities That Matter II: Material Contingency and Sufficient Reason.Steven M. Duncan - manuscript
    This is the second of a series of papers inspired by a paper I wrote around 1989. In this paper, I consider the notion of material contingency and relate it to the traditional, metaphysically loaded Principle of Sufficient Reason.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Possibilities That Matter I: Material Possibility.Steven M. Duncan - manuscript
    This is the first of a series of four papers presenting modal logic as a branch of material, rather than merely formal, logic.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Carnap’s Theory of Descriptions and its Problems.Jan8 Heylen - 2010 - Studia Logica 94 (3):355-380.
    Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  17. Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
    A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  18. Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
Modal Logic
  1. Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.
    This paper considers proof-theoretic semantics for necessity within Dummett's and Prawitz's framework. Inspired by a system of Pfenning's and Davies's, the language of intuitionist logic is extended by a higher order operator which captures a notion of validity. A notion of relative necessary is defined in terms of it, which expresses a necessary connection between the assumptions and the conclusion of a deduction.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Diamonds Are Forever.Cian Dorr & Jeremy Goodman - 2020 - Noûs 54 (3):632-665.
    We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  3. Might Generics.Brian Rabern - 2020 - Snippets 39:8-9.
    How do generics interact with modals? This note offers one observation about an interaction with 'might' that presents a challenge for standard theories.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. Epistemic Multilateral Logic.Luca Incurvati & Julian J. Schlöder - forthcoming - Review of Symbolic Logic:1-44.
    We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. The Logic of Sequence Frames.Fabio Lampert - forthcoming - Review of Symbolic Logic:1-44.
    This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. A Decidable Multi-Agent Logic for Reasoning About Actions, Instruments, and Norms.Kees van Berkel, Tim Lyon & Francesco Olivieri - 2020 - In Mehdi Dastani, Huimin Dong & Leon van der Torre (eds.), Logic and Argumentation. pp. 219 - 241.
    We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Non-Positivism and Encountering a Weakened Necessity of the Separation Between Law and Morality – Reflections on the Debate Between Robert Alexy and Joseph Raz.Wei Feng - 2019 - Archiv Für Rechts- Und Sozialphilosophie, Beiheft 158:305-334.
    Nearly thirty years ago, Robert Alexy in his book The Concept and Validity of Law as well as in other early articles raised non-positivistic arguments in the Continental European tradition against legal positivism in general, which was assumed to be held by, among others, John Austin, Hans Kelsen and H.L.A. Hart. The core thesis of legal positivism that was being discussed among contemporary German jurists, just as with their Anglo- American counterparts, is the claim that there is no necessary connection (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - manuscript
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. On the Relation Between Modality and Tense.Fabrice Correia & Sven Rosenkranz - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (6):586-604.
    ABSTRACT We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those metaphysical views that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. Boxes and Diamonds. An Open Introduction to Modal Logic.Richard Zach - 2019
    A textbook for modal and other intensional logics based on the Open Logic Project. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. Negation on the Australian Plan.Francesco Berto & Greg Restall - 2019 - Journal of Philosophical Logic 48 (6):1119-1144.
    We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 256