Results for 'A. Modal Logician'

1000+ found
Order:
  1. 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.
     
    Export citation  
     
    Bookmark  
  2.  46
    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  
     
    Bookmark  
  3.  34
    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  
     
    Bookmark  
  4. A.N. Prior's Logic.Peter Ohrstrom, Per F. W. Hasle & David Jakobsen - 2018 - Internet Encyclopedia of Philosophy.
    Arthur Norman Prior (1914-69) was a logician and philosopher from New Zealand who contributed crucially to the development of ‘non-standard’ logics, especially of the modal variety. His greatest achievement was the invention of modern temporal logic, worked out in close connection with modal logic. However, his work in logic had a much broader scope. He was also the founder of hybrid logic, and he made important contributions to deontic logic, modal logic, the theory of quantification, the (...)
     
    Export citation  
     
    Bookmark  
  5.  34
    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 (7 more)  
     
    Export citation  
     
    Bookmark  
  6.  20
    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  
     
    Bookmark  
  7. 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  
     
    Bookmark   24 citations  
  8.  35
    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  
     
    Bookmark   6 citations  
  9. 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  
     
    Bookmark   8 citations  
  10.  99
    A Modal Type Theory for Formalizing Trusted Communications.Giuseppe Primiero & Mariarosaria 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 (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11. 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  
     
    Bookmark   1 citation  
  12.  28
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  19
    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  
     
    Bookmark  
  14.  39
    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  
     
    Bookmark   3 citations  
  15.  67
    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  
     
    Bookmark   2 citations  
  16.  58
    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  
     
    Bookmark   2 citations  
  17.  13
    Scientific Models and Games of Make-Believe: A Modal-Logical Perspective.Matthieu Gallais - 2016 - Kairos 17 (1):73-109.
    Some fictionalist approaches to the notion of scientific model are based on the concept of game of make-believe developed by Kendall Walton, without proposing a similar interpretation of it. The distinction between authorized and unauthorized games can be one of the sources of those divergences. In relation to the distinction made by Walton, the de dicto and de re modalities of the fiction-operator reflect different epistemological engagements concerning objects which satisfy properties. This paper aims at following up on the proposals (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  15
    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  
     
    Bookmark  
  19.  17
    A Modal Logic of Supervenience.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (2):283-309.
    Inspired by the supervenience-determined consequence relation and the semantics of agreement operator, we introduce a modal logic of supervenience, which has a dyadic operator of supervenience as a sole modality. The semantics of supervenience modality very naturally correspond to the supervenience-determined consequence relation, in a quite similar way that the strict implication corresponds to the inference-determined consequence relation. We show that this new logic is more expressive than the modal logic of agreement, by proposing a notion of bisimulation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20. A Modal Solution to the Problem of Moral Luck.Rik Peels - 2015 - American Philosophical Quarterly 52 (1):73-88.
    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  
     
    Bookmark   7 citations  
  21. 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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  22. 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  
     
    Bookmark  
  23.  51
    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  
     
    Bookmark   17 citations  
  24.  30
    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  
     
    Bookmark   6 citations  
  25.  26
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26. 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 (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. The Iterative Conception of Set: A (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - 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  
     
    Bookmark   25 citations  
  28.  29
    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 (9 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  29.  57
    Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.Johan Van Benthem, Patrick Girard & Olivier Roy - 2009 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  30.  54
    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 (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31. 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 μ-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
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  55
    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  
     
    Bookmark   2 citations  
  33.  3
    Polarity Semantics for Negation as a Modal Operator.Yuanlei Lin & Minghui Ma - forthcoming - Studia Logica:1-26.
    The minimal weakening \ of Belnap-Dunn logic under the polarity semantics for negation as a modal operator is formulated as a sequent system which is characterized by the class of all birelational frames. Some extensions of \ with additional sequents as axioms are introduced. In particular, all three modal negation logics characterized by a frame with a single state are formalized as extensions of \. These logics have the finite model property and they are decidable.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. 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 (10 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  35.  17
    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 (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  36.  43
    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  
     
    Bookmark   5 citations  
  37.  11
    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  
     
    Bookmark   6 citations  
  38.  6
    A Modal Extension of Jaśkowski’s Discussive Logic $\Textbf{D}_\Textbf{2}$.Krystyna Mruczek-Nasieniewska, Marek Nasieniewski & Andrzej Pietruszczak - 2019 - Logic Journal of the IGPL 27 (4):451-477.
    In Jaśkowski’s model of discussion, discussive connectives represent certain interactions that can hold between debaters. However, it is not possible within the model for participants to use explicit modal operators. In the paper we present a modal extension of the discussive logic $\textbf{D}_{\textbf{2}}$ that formally corresponds to an extended version of Jaśkowski’s model of discussion that permits such a use. This logic is denoted by $\textbf{m}\textbf{D}_{\textbf{2}}$. We present philosophical motivations for the formulation of this logic. We also give (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  22
    A Modal Theorem-Preserving Translation of a Class of Three-Valued Logics of Incomplete Information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.
    There are several three-valued logical systems that form a scattered landscape, even if all reasonable connectives in three-valued logics can be derived from a few of them. Most papers on this subject neglect the issue of the relevance of such logics in relation with the intended meaning of the third truth-value. Here, we focus on the case where the third truth-value means unknown, as suggested by Kleene. Under such an understanding, we show that any truth-qualified formula in a large range (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  20
    A Modal Account of Propositions.Andy Demfree Yu - 2017 - Dialectica 71 (4):463-488.
    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 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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  41.  26
    A Modal Logic for Discretely Descending Chains of Sets.Heinemann Bernhard - 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  
     
    Bookmark  
  42.  25
    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 (7 more)  
     
    Export citation  
     
    Bookmark  
  43.  18
    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  
     
    Bookmark   1 citation  
  44.  25
    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  
     
    Bookmark  
  45.  75
    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  
     
    Bookmark   1 citation  
  46.  19
    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 (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  43
    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 (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  28
    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  
     
    Bookmark   6 citations  
  49. 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  
     
    Bookmark  
  50. 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  
     
    Bookmark   2 citations  
1 — 50 / 1000