Results for 'A. Modal Logician'

1000+ found
Order:
  1.  20
    Meinong's Much Maligned Modal Moment.K. A. - 2002 - Grazer Philosophische Studien 64 (1):95-118.
    Russell's objections to object-theory have been refuted by the proofs of the consistency of Meinong's system given by various writers. These proofs exploit technical distinctions that Meinong apparently uses very little if at all. Instead, Meinong introduces a theoretical postulate called the modal moment. I describe this postulate and its place in Meinong's system, and I argue that it has been much under-rated by Meinong's logician expositors.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  20
    Book Reviews. [REVIEW]Zeno Vendler, M. Glouberman, Gary Jason, George N. Schlesinger, Roberto Torretti, Bowman L. Clarke, Richard T. De George, Avner Cohen, Tecla Mazzarese, A. Modal Logician & J. Gellman - 1987 - Philosophia 17 (2):211-216.
    No categories
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography  
  3.  17
    On Essentialism and Existentialism in the Husserlian Platonism: A Reflexion Based on Modal Logic.Carlos Lobo, Cleverson Leite Bastos & Carlos Eduardo de Carvalho Vargas - 2015 - Axiomathes 25 (3):335-343.
    Departing from modal logic, Jean-Yves Girard, as a logician interested in philosophy, presented a distinction between essentialism and existentialism in logic. Carlos Lobo reflected about the Girard’s concept to reinterpret the Husserlian Platonism in regard of the status of logical modalities. We start rescuing the notion of modal logic in the Edmund Husserl’s works, especially Formal and Transcendental Logic and First Philosophy. Developing this reflexion, we propose a new contribution to this discussion, reinterpreting the platonic influence in (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  9
    The Contribution of A.V. Kuznetsov to the Theory of Modal Systems and Structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
    We will outline the contributions of A.V. Kuznetsov to modal logic. In his research he focused mainly on semantic, i.e. algebraic, issues and lattices of extensions of particular modal logics, though his proof of the Full Conservativeness Theorem for the proof-intuitionistic logic KM (Theorem 17 below) is a gem of proof-theoretic art.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  5.  4
    Hilbert Algebras with a Modal Operator $${\Diamond}$$ ◊.Sergio A. Celani & Daniela Montangie - 2015 - Studia Logica 103 (3):639-662.
    A Hilbert algebra with supremum is a Hilbert algebra where the associated order is a join-semilattice. This class of algebras is a variety and was studied in Celani and Montangie . In this paper we shall introduce and study the variety of $${H_{\Diamond}^{\vee}}$$ H ◊ ∨ -algebras, which are Hilbert algebras with supremum endowed with a modal operator $${\Diamond}$$ ◊ . We give a topological representation for these algebras using the topological spectral-like representation for Hilbert algebras with supremum given (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  70
    A Modal View of the Semantics of Theoretical Sentences.Holger Andreas - 2010 - Synthese 174 (3):367 - 383.
    Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention only some examples. In the present paper, an attempt is made to use modal logic to account for the semantics of theoretical sentences in scientific language. Theoretical sentences have been studied extensively since the work of Ramsey and Carnap. The present attempt at a modal analysis is motivated by there being several intended interpretations of the theoretical (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  7.  77
    A Modal Type Theory for Formalizing Trusted Communications.Giuseppe Primiero & Mariarosiaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.
    This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads to a multi-modal (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  8.  20
    Modelling Abduction in Science by Means of a Modal Adaptive Logic.Tjerk Gauderis - 2013 - Foundations of Science 18 (4):611-624.
    Scientists confronted with multiple explanatory hypotheses as a result of their abductive inferences, generally want to reason further on the different hypotheses one by one. This paper presents a modal adaptive logic MLA s that enables us to model abduction in such a way that the different explanatory hypotheses can be derived individually. This modelling is illustrated with a case study on the different hypotheses on the origin of the Moon.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  9. A Modal Theory of Function.Bence Nanay - 2010 - Journal of Philosophy 107 (8):412-431.
    The function of a trait token is usually defined in terms of some properties of other (past, present, future) tokens of the same trait type. I argue that this strategy is problematic, as trait types are (at least partly) individuated by their functional properties, which would lead to circularity. In order to avoid this problem, I suggest a way to define the function of a trait token in terms of the properties of the very same trait token. To able to (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10.  84
    A Modal Interpretation of the Logic of Interrogation.Rani Nelken & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (3):251-271.
    We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniques from modal logic to bear on questions. Using the former, we show that our interpretation preserves Groenendijk and Stokhof's answerhood relation, yet allows an extensional interpretation. Using the latter, we get a sound and complete proof procedure for the logic for free. Our approach is more expressive; for example, it easily treats complex questions with operators (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  8
    A Modal Logic for Mixed Strategies.Joshua Sack & Wiebe van der Hoek - 2014 - Studia Logica 102 (2):339-360.
    Modal logics have proven to be a very successful tool for reasoning about games. However, until now, although logics have been put forward for games in both normal form and games in extensive form, and for games with complete and incomplete information, the focus in the logic community has hitherto been on games with pure strategies. This paper is a first to widen the scope to logics for games that allow mixed strategies. We present a modal logic for (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  15
    A Modal Logic for Non-Deterministic Discourse Processing.Tim Fernando - 1999 - Journal of Logic, Language and Information 8 (4):445-468.
    A modal logic for translating a sequence of English sentences to a sequence of logical forms is presented, characterized by Kripke models with points formed from input/output sequences, and valuations determined by entailment relations. Previous approaches based (to one degree or another) on Quantified Dynamic Logic are embeddable within it. Applications to presupposition and ambiguity are described, and decision procedures and axiomatizations supplied.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  13. Choice Points for a Modal Theory of Disjunction.Fabrizio Cariani - 2017 - Topoi 36 (1):171-181.
    This paper investigates the prospects for a semantic theory that treats disjunction as a modal operator. Potential motivation for such a theory comes from the way in which modals embed within disjunctions. After reviewing some of the relevant data, I go on to distinguish a variety of modal theories of disjunction. I analyze these theories by considering pairs of conflicting desiderata, highlighting some of the tradeoffs they must face.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  37
    Adaptive Logic as a Modal Logic.Patrick Allo - 2013 - Studia Logica 101 (5):933-958.
    Modal logics have in the past been used as a unifying framework for the minimality semantics used in defeasible inference, conditional logic, and belief revision. The main aim of the present paper is to add adaptive logics, a general framework for a wide range of defeasible reasoning forms developed by Diderik Batens and his co-workers, to the growing list of formalisms that can be studied with the tools and methods of contemporary modal logic. By characterising the class of (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  27
    A Modal Ontology of Properties for Quantum Mechanics.Newton Costa, Olimpia Lombardi & Mariano Lastiri - 2013 - Synthese 190 (17):3671-3693.
    Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  13
    A Modal Ontology of Properties for Quantum Mechanics.Newton da Costa, Olimpia Lombardi & Mariano Lastiri - 2013 - Synthese 190 (17):3671-3693.
    Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  2
    A Modal Logic of Indiscernibility.Décio Krause, Pedro Merlussi & Jonas R. Becker Arenhart - 2016 - In A. L. Aerts Diederik Et (ed.), Probing the Meaning of Quantum Mechanics: Superpositions, Dynamics, Semantics and Identity. World Scientific. pp. 259-279.
    This paper is a continuation of the authors' attempts to deal with the notion of indistinguishability (or indiscernibility) from a logical point of view. Now we introduce a two-sorted first-order modal logic to enable us to deal with objects of two different species. The intended interpretation is that objects of one of the species obey the rules of standard S5, while the objects of the other species obey only the rules of a weaker notion of indiscernibility. Quantum mechanics motivates (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  18. How to Be a Modal Realist.Cian Dorr - manuscript
    This paper investigates the form a modal realist analysis of possibility and necessity should take. It concludes that according to the best version of modal realism, the notion of a world plays no role in the analysis of modal claims. All contingent claims contain some de re element; the effect of modal operators on these elements is described by a counterpart theory which takes the same form whether the de re reference is to a world or (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  16
    A Modal Logic for Gödelian Intuition.Hasen Khudairi - manuscript
    This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the axioms of a dynamic provability logic, which augments GL with the modal $\mu$-calculus. Via correspondence results between modal logic and first-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  20. A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
    We consider modal epistemic and doxastic logics as intuitively inadequate logics of information, and we outline a modal system of the operator being informed that which avoids inconsistency with our intuitive concept of information. The system has modal structure of the normal modal logic K4, and is sound and complete on the class of all transitive frames. We compare this logic with Floridi’s KTB information logic, and we consider a possibility of extending our system to a (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  21. A Modal Solution to the Problem of Moral Luck.Rik Peels - forthcoming - American Philosophical Quarterly.
    In this article I provide and defend a solution to the problem of moral luck. The problem of moral luck is that there is a set of three theses about luck and moral blameworthiness each of which is at least prima facie plausible, but that, it seems, cannot all be true. The theses are that (1) one cannot be blamed for what happens beyond one’s control, (2) that which is due to luck is beyond one’s control, and (3) we rightly (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  17
    Is There a Modal Syllogistic?Adriane A. Rini - 1998 - Notre Dame Journal of Formal Logic 39 (4):554-572.
    Aristotle's modal syllogistic has been described as "incoherent," "a failure," "a realm of darkness." Even the gentler critics claim that it is inconsistent. I offer an interpretation according to which validity in the modal syllogistic is always obtained by substituting modal terms in the nonmodal syllogistic, and restricting the principles of modal conversion. In this paper I discuss the apodeictic syllogistic, showing that the restrictions I propose are powerful enough to do all the work Aristotle requires (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  23.  37
    Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.Johan Van Benthem, Patrick Girard & Olivier Roy - 2008 - Journal of Philosophical Logic 38 (1):83 - 125.
    This paper presents a new modal logic for ceteris paribus preferences understood in the sense of "all other things being equal". This reading goes back to the seminal work of Von Wright in the early 1960's and has returned in computer science in the 1990' s and in more abstract "dependency logics" today. We show how it differs from ceteris paribus as "all other things being normal", which is used in contexts with preference defeaters. We provide a semantic analysis (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  24.  32
    A Philosopher's Understanding of Quantum Mechanics: Possibilities and Impossibilities of a Modal Interpretation.Pieter E. Vermaas - 1999 - Cambridge University Press.
    This book is about how to understand quantum mechanics by means of a modal interpretation. Modal interpretations provide a general framework within which quantum mechanics can be considered as a theory that describes reality in terms of physical systems possessing definite properties. Quantum mechanics is standardly understood to be a theory about probabilities with which measurements have outcomes. Modal interpretations are relatively new attempts to present quantum mechanics as a theory which, like other physical theories, describes an (...)
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  25.  29
    Plural Quantifiers: A Modal Interpretation.Rafal Urbaniak - 2014 - Synthese 191 (7):1-22.
    One of the standard views on plural quantification is that its use commits one to the existence of abstract objects–sets. On this view claims like ‘some logicians admire only each other’ involve ineliminable quantification over subsets of a salient domain. The main motivation for this view is that plural quantification has to be given some sort of semantics, and among the two main candidates—substitutional and set-theoretic—only the latter can provide the language of plurals with the desired expressive power (given that (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  19
    A Modal Analysis of Presupposition and Modal Subordination.R. van Rooij - 2005 - Journal of Semantics 22 (3):281-305.
    In this paper I will give a modal two-dimensional analysis of presupposition and modal subordination. I will think of presupposition as a non-veridical propositional attitude. This allows me to evaluate what is presupposed and what is asserted at different dimensions without getting into the binding problem. What is presupposed will be represented by an accessibility relation between possible worlds. The major part of the paper consists of a proposal to account for the dependence of the interpretation of (...) expressions, i.e. modal subordination, in terms of an accessibility relation as well. Moreover, I show how such an analysis can be extended from the propositional to the predicate logical level. (shrink)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  27.  12
    A Modal Logic for Discretely Descending Chains of Sets.Bernhard Heinemann - 2004 - Studia Logica 76 (1):67 - 90.
    We present a modal logic for the class of subset spaces based on discretely descending chains of sets. Apart from the usual modalities for knowledge and effort the standard temporal connectives are included in the underlying language. Our main objective is to prove completeness of a corresponding axiomatization. Furthermore, we show that the system satisfies a certain finite model property and is decidable thus.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  28.  1
    A Modal Logic For Quantification And Substitution.Yde Venema - 1994 - Logic Journal of the IGPL 2 (1):31-45.
    The aim of this paper is to study the n-variable fragment of first order logic from a modal perspective. We define a modal formalism called cylindric mirror modal logic, and show how it is a modal version of first order logic with substitution. In this approach, we can define a semantics for the language which is closely related to algebraic logic, as we find Polyadic Equality Algebras as the modal or complex algebras of our system. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  29.  22
    A Modal Ambiguity in for-Infinitival Relative Clauses.Martin Hackl & Jon Nissenbaum - 2012 - Natural Language Semantics 20 (1):59-81.
    This squib presents two puzzles related to an ambiguity found in for-infinitival relative clauses (FIRs). FIRs invariably receive a modal interpretation even in the absence of any overt modal verb. The modal interpretation seems to come in two distinct types, which can be paraphrased by finite relative clauses employing the modal auxiliaries should and could. The two puzzles presented here arise because the availability of the two readings is constrained by factors that are not otherwise known (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  30.  20
    A Modal Ambiguity in for-Infinitival Relative Clauses.Martin Hackl & Jon Nissenbaum - 2012 - Natural Language Semantics 20 (1):59-81.
    This squib presents two puzzles related to an ambiguity found in for-infinitival relative clauses (FIRs). FIRs invariably receive a modal interpretation even in the absence of any overt modal verb. The modal interpretation seems to come in two distinct types, which can be paraphrased by finite relative clauses employing the modal auxiliaries should and could. The two puzzles presented here arise because the availability of the two readings is constrained by factors that are not otherwise known (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  31. A Modal-Hamiltonian Interpretation of Quantum Mechanics.Olimpia Lombardi & Mario Castagnino - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (2):380-443.
    The aim of this paper is to introduce a new member of the family of the modal interpretations of quantum mechanics. In this modal-Hamiltonian interpretation, the Hamiltonian of the quantum system plays a decisive role in the property-ascription rule that selects the definite-valued observables whose possible values become actual. We show that this interpretation is effective for solving the measurement problem, both in its ideal and its non-ideal versions, and we argue for the physical relevance of the property-ascription (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  32.  27
    Local Realizability Toposes and a Modal Logic for Computability.Steve Awodey, Lars Birkedal & Dana Scott - unknown
    This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  33.  10
    A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
    This paper treats a kind of a modal logic based on the intuitionistic propositional logic which arose from the provability predicate in the first order arithmetic. The semantics of this calculus is presented in both a relational and an algebraic way.Completeness theorems, existence of a characteristic model and of a characteristic frame, properties of FMP and FFP and decidability are proved.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  9
    Fake Tense in Conditional Sentences: A Modal Approach.K. Schulz - 2014 - Natural Language Semantics 22 (2):117-144.
    Many languages allow for “fake” uses of their past tense marker: the marker: can occur in certain contexts without conveying temporal pastness. Instead it appears to bear a modal meaning. Iatridou :231–270, 2000) has dubbed this phenomenon Fake Tense. Fake Tense is particularly common to conditional constructions. This paper analyzes Fake Tense in English conditional sentences as a certain kind of ambiguity: the past tense morphology can mark the presence of a temporal operator, but it can also signal a (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  11
    Sketch for a Modal Interpretation of Descartes' Cogito.Michael R. Baumer - 1985 - Philosophy Research Archives 11:635-655.
    In his logical exegesis of Descartes’ cogito, Hintikka has claimed that, formulated as an inference, it would be question--begging and that it is best understood as a performance, But (1), Hintikka’s discussion of an inferential interpretation omits reference to the possible relevance ofmodalities, and (2), Hintikka assumes that to beg the question is to assume what one is trying to prove. Question-begging is better understood in terms of how evident the premisses are in relation to the conclusion. In this paper (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  36. A Modal Account of Propositions.Andy Demfree Yu - forthcoming - Dialectica.
    In this paper, I motivate a modal account of propositions on the basis of an iterative conception of propositions. As an application, I suggest that the account provides a satisfying solution to (a version of) the Russell-Myhill paradox. The account is in the spirit of recently developed modal accounts of sets motivated on the basis of the iterative conception of sets.
    No categories
     
    Export citation  
     
    My bibliography  
  37.  51
    A Simple Incomplete Extension of T Which is the Union of Two Complete Modal Logics with F.M.P.Roy A. Benton - 2002 - Journal of Philosophical Logic 31 (6):527-541.
    I present here a modal extension of T called KTLM which is, by several measures, the simplest modal extension of T yet presented. Its axiom uses only one sentence letter and has a modal depth of 2. Furthermore, KTLM can be realized as the logical union of two logics KM and KTL which each have the finite model property (f.m.p.), and so themselves are complete. Each of these two component logics has independent interest as well.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38.  17
    Why Will is Not a Modal.Mikhail Kissine - 2008 - Natural Language Semantics 16 (2):129-155.
    In opposition to a common assumption, this paper defends the idea that the auxiliary verb will has no other semantic contribution in contemporary English than a temporal shift towards the future with respect to the utterance time. Strong reasons for rejecting the idea that will quantifies over possible worlds are presented. Given the adoption of Lewis’s and Kratzer’s views on modality, the alleged ‘modal’ uses of will are accounted for by a pragmatic mechanism which restricts the domain of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  39. A Modal Defence of Strong AI.Steffen Borge - 2007 - In Dermot Moran Stephen Voss (ed.), The Proceedings of the Twenty-First World Congress of Philosophy. The Philosophical Society of Turkey. pp. 127-131.
    John Searle has argued that the aim of strong AI of creating a thinking computer is misguided. Searle’s Chinese Room Argument purports to show that syntax does not suffice for semantics and that computer programs as such must fail to have intrinsic intentionality. But we are not mainly interested in the program itself but rather the implementation of the program in some material. It does not follow by necessity from the fact that computer programs are defined syntactically that the implementation (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  40.  19
    A Modal Sequent Calculus for a Fragment of Arithmetic.G. Sambin & S. Valentini - 1980 - Studia Logica 39 (2-3):245-256.
    Global properties of canonical derivability predicates in Peano Arithmetic) are studied here by means of a suitable propositional modal logic GL. A whole book [1] has appeared on GL and we refer to it for more information and a bibliography on GL. Here we propose a sequent calculus for GL and, by exhibiting a good proof procedure, prove that such calculus admits the elimination of cuts. Most of standard results on GL are then easy consequences: completeness, decidability, finite model (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  41. A Modal View of Linear Logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
    We present a sequent calculus for the modal logic S4, and building on some relevant features of this system we show how S4 can easily be translated into full propositional linear logic, extending the Grishin-Ono translation of classical logic into linear logic. The translation introduces linear modalities only in correspondence with S4 modalities. We discuss the complexity of the decision problem for several classes of linear formulas naturally arising from the proposed translations.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  42. A Modal Bundle Theory.Jiri Benovsky - 2006 - Metaphysica 7 (2).
    If ordinary particulars are bundles of properties, and if properties are said to be universals, then three well-known objections arise : no particular can change, all particulars have all of their properties essentially (even the most insignificant ones), and there cannot be two numerically distinct but qualitatively indiscernible particulars. In this paper, I try to make a little headway on these issues and see how the objections can be met, if one accepts a certain view about persistence through time and (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  54
    The Iterative Conception of Set: A (Bi-)Modal Axiomatisation.J. P. Studd - 2012 - Journal of Philosophical Logic 42 (5):1-29.
    The use of tensed language and the metaphor of set ‘formation’ found in informal descriptions of the iterative conception of set are seldom taken at all seriously. Both are eliminated in the nonmodal stage theories that formalise this account. To avoid the paradoxes, such accounts deny the Maximality thesis, the compelling thesis that any sets can form a set. This paper seeks to save the Maximality thesis by taking the tense more seriously than has been customary (although not literally). A (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  44. A Modal Argument Against Vague Objects.Joseph G. Moore - 2008 - Philosophers' Imprint 8 (12):1-17.
    There has been much discussion of whether there could be objects A and B that are “individuatively vague” in the following way: object A and object B neither determinately stand in the relation of identity to one another, nor do they determinately fail to stand in this relation. If there are objects of this type, then we would have a genuine case of metaphysical vagueness, or “vagueness-in-the-world.” The possibility of vague objects in this sense strikes many as incoherent. The possibility’s (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  45.  1
    A Modal Framework For Modelling Abductive Reasoning.Fernando Soler-Toscano, David Fernández=Duque & Ángel Nepomuceno-fernández - 2012 - Logic Journal of the IGPL 20 (2):438-444.
    We present a framework for understanding abduction within modal logic and Kripke semantics; worlds of a Kripke frame will represent possible theories, and a change in theory will be understood as a passage from one world to an adjacent possible world. Further, these steps may agree with the accessibility relation or may ‘backtrack’, accordingly as new information refutes or reinforces our present theory. Our formalism can be used to model not only abduction, but also to talk about the inner (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  17
    A Modal Logic Framework for Reasoning About Comparative Distances and Topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.
    We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the comparison and combination of logics from distinct research traditions such as Tarski’s for topological closure and interior, conditional logics, and logics of comparative similarity. This framework is obtained by decomposing the underlying modal-like operators into first-order quantifier patterns. We then show that quite a powerful and natural fragment of the resulting first-order logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  62
    A Modal Interpretation of Quantum Mechanics Based on a Principle of Entropy Minimization.R. W. Spekkens & J. E. Sipe - 2001 - Foundations of Physics 31 (10):1431-1464.
    Within many approaches to the interpretation of quantum mechanics, especially modal interpretations, one singles out a particular decomposition of the state vector in order to fix the properties that are well-defined for the system. We present a novel proposal for this preferred decomposition. Given a distinguished factorization of the Hilbert space, it is the decomposition that minimizes the Ingarden–Urbanik entropy from among all product decompositions with respect to the distinguished factorization. We incorporate this choice of preferred decomposition into a (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  48.  91
    Is There a Modal Fallacy in van Inwagen's 'First Formal Argument'?J. Westphal - 2012 - Analysis 72 (1):36-41.
    The argument given by Peter van Inwagen for the second premise on his "First Formal Argument" in An Essay on Free Will is invalid. The second premise hinges on the principle that since a proposition p , some statement about the present, is actually true, ~p can't be true. ~p must be false. What is the reason? The principle is that ~p cannot be true at the same time as p . I argue that, among other things, in its attachment (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  49.  5
    Presumption as a Modal Qualifier: Presumption, Inference, and Managing Epistemic Risk.David Godden - 2017 - Argumentation 31 (3):485-511.
    Standards and norms for reasoning function, in part, to manage epistemic risk. Properly used, modal qualifiers like presumably have a role in systematically managing epistemic risk by flagging and tracking type-specific epistemic merits and risks of the claims they modify. Yet, argumentation-theoretic accounts of presumption often define it in terms of modalities of other kinds, thereby failing to recognize the unique risk profile of each. This paper offers a stipulative account of presumption, inspired by Ullmann-Margalit, as an inferentially generated (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  16
    On a Modal-Type Language for the Predicate Calculus.Dimiter Skordev - 1984 - Bulletin of the Section of Logic 13 (3):111-116.
    In order to avoid the use of individual variables in predicate calculus, several authors proposed language whose expressions can be interpreted, in general, as denotations of predicates . The present author also proposed a language of this kind [5]. The absence of individual variables makes all these languages rather different from the traditional language of predicate calculus and from the usual language of mathematics. The translation procedures from the ordinary predicate languages into the predicate languages without individual variables and vice (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000