View topic on PhilPapers for more information
Related categories

205 found
Order:
More results on PhilPapers
1 — 50 / 205
Material to categorize
  1. 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  
  2. 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  
  3. 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  
  4. Epistemology of Logic - Logic-Dialectic or Theory of the Knowledge.Epameinondas Xenopoulos - 1998 - Dissertation,
    1994.Επιστημολογία της Λογικής. Συγγραφέας Επαμεινώνδας Ξενόπουλος Μοναδική μελέτη και προσέγγιση της θεωρίας της γνώσης, για την παγκόσμια βιβλιογραφία, της διαλεκτικής πορείας της σκέψης από την λογική πλευρά της και της μελλοντικής μορφής που θα πάρουν οι διαλεκτικές δομές της, στην αδιαίρετη ενότητα γνωσιοθεωρίας, λογικής και διαλεκτικής, με την «μέθοδο του διαλεκτικού υλισμού». Έργο βαρύ με θέμα εξαιρετικά δύσκολο διακατέχεται από πρωτοτυπία και ζωντάνια που γοητεύει τον κάθε ανήσυχο στοχαστή από τις πρώτες γραμμές.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. 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   1 citation  
  6. 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  
  7. 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   3 citations  
  8. 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  
  9. 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   1 citation  
  10. 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  
  11. 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   2 citations  
  12. 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  
  13. 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   2 citations  
  14. 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   3 citations  
  15. Phonetic Possibility and Modal Logic.Mark Sharlow - manuscript
    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  
  16. 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   23 citations  
Intensional Modal Logic
  1. Reichenbach, Russell and the Metaphysics of Induction.Michael 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  
  2. 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  
  3. Modal Logic. An Introduction.Zia Movahed - 2002 - Tehran: Hermes Publishers.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   82 citations  
  4. 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   8 citations  
  5. 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  
  6. 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  
  7. 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  
  8. 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  
  9. 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  
  10. 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  
  11. 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  
  12. 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  
  13. 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  
  14. Carnap’s Theory of Descriptions and its Problems.Jan 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  
  15. 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   5 citations  
  16. 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   6 citations  
Modal Logic
  1. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - forthcoming - Journal of Philosophical Logic.
    ABSTRACT: Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Review Ibn-Sina’s Anticipation of the Formulas of Buridan and Barcan. [REVIEW]Irving H. Anellis - 2008 - The Review of Modern Logic 1: 73–86.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. Ibn Sina’s Anticipation of Burdian and Barcan Formulas.Zia Movahed - manuscript
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker - 2019 - Teaching Philosophy 42 (1):41-56.
    This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. Modal Validity and the Dispensability of the Actuality Operator.Vittorio Morato - 2014 - In Michal Dancak & Vit Punochar (eds.), The Logica Yearbook 2013. London, UK:
    In this paper, I claim that two ways of defining validity for modal languages (“real-world” and “general” validity), corresponding to distinction between a correct and an incorrect way of defining modal valid- ity, correspond instead to two substantive ways of conceiving modal truth. At the same time, I claim that the major logical manifestation of the real- world/general validity distinction in modal propositional languages with the actuality operator should not be taken seriously, but simply as a by-product of the way (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. Philosophie des modalités épistémiques (la logique assertorique revisitée).Fabien Schang - 2007 - Dissertation, Nancy Université
    The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  7. Espace logique et modalités chez Wittgenstein.Fabien Schang - 2014 - AL-Mukhatabat 9:230-242.
    L'article s'intéresse aux obstacles épistémologiques qui empêchèrent Wittgenstein d'admettre l'idée moderne de logique modale et, en particulier, les logiques d'attitudes propositionnelles. Tout en proposant un aperçu rétrospectif de la logique des modalités épistémiques, nous verrons que ces obstacles reposent avant tout sur la nature de l'espace logique présenté dans le Tractatus Logico-Philosophicus et le statut métaphysique du sujet. Des passages éclairants seront rappelés pour justi.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Two Kinds of Logical Impossibility.Alexander Sandgren & Koji Tanaka - forthcoming - Noûs.
    In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. Contingent Existence and the Reduction of Modality to Essence.Trevor Teitel - 2019 - Mind 128 (509):39-68.
    This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might draw (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  10. Disappearing Diamonds: Fitch-Like Results in Bimodal Logic.Weng Kin San - forthcoming - Journal of Philosophical Logic:1-14.
    Augment the propositional language with two modal operators: □ and ■. Define \ to be the dual of ■, i.e. \. Whenever is of the form φ → ψ, let ) be \. ) can be thought of as the modally qualified counterpart of —for instance, under the metaphysical interpretation of \, where says φ implies ψ, ) says φ implies possiblyψ. This paper shows that for various interesting instances of, fairly weak assumptions suffice for ) to imply —so, the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. Suhrawardi's Modal Syllogisms.Zia Movahed - 2012 - Sophia Perennis 21:5-17.
    Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositions and a number of controversial metaphysical theses, and also by confining his theory to alethic modality, Suhrawardi makes (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. De Re and De Dicto Modality in Islamic Traditional Logic.Zia Movahed - 2010 - Sophia Perennis 2:5-14.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. Autologos. Ein Dialog über die Fundamentallogik.Gregor Damschen - 2015 - In Gregor Damschen & Alejandro G. Vigo (eds.), Dialog und Verstehen. Klassische und moderne Perspektiven. Berlin: Lit. pp. 229–244.
    Autologos. A dialogue on fundamental logic. - In this dialogue of three dialogue partners, an attempt is made to prove the logical prerequisites of any meaningful dialogue by using transcendental arguments. Among these inescapable logical premises are a semantics as strong as that of modal logic S5, and an epistemic anti-realism.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. We Belong Together? A Plea for Modesty in Modal Plural Logic.Simon Hewitt - manuscript
    It is often assumed that pluralities are rigid, in the sense of having all and only their actual members necessarily. This assumption is operative in standard approaches to modal plural logic. I argue that a sceptical approach towards the assumption is warranted.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. Necessity, a Leibnizian Thesis, and a Dialogical Semantics.Mohammad Shafiei - 2017 - South American Journal of Logic 3 (1):1-23.
    In this paper, an interpretation of "necessity", inspired by a Leibnizian idea and based on the method of dialogical logic, is introduced. The semantic rules corresponding to such an account of necessity are developed, and then some peculiarities, and some potential advantages, of the introduced dialogical explanation, in comparison with the customary explanation offered by the possible worlds semantics, are briefly discussed.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. Negation on the Australian Plan.Franz Berto & Greg Restall - 2019 - Journal of Philosophical Logic 1:1-26.
    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  
  17. The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
    In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  18. Diamonds Are Forever.Cian Dorr & Jeremy Goodman - forthcoming - Noûs.
    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   3 citations  
1 — 50 / 205