Search results for 'A. Modal Logician' (try it on Scholar)

1000+ found
Sort by:
  1. K. A. (2002). Meinong's Much Maligned Modal Moment. Grazer Philosophische Studien 64 (1):95-118.score: 1350.0
    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  
     
    My bibliography  
     
    Export citation  
  2. 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). Book Reviews. [REVIEW] Philosophia 17 (2):211-216.score: 870.0
    No categories
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  3. Max A. Freund, A. Modal Sortal Logic, R. Logic, Luca Alberucci, Vincenzo Salipante & On Modal (2004). David J. Anderson and Edward N. Zalta/Frege, Boolos, and Logical Objects 1–26 Michael Glanzberg/A Contextual-Hierarchical Approach to Truth and the Liar Paradox 27–88 James Hawthorne/Three Models of Sequential Belief Updat. [REVIEW] Journal of Philosophical Logic 33:639-640.score: 386.7
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Carlos Lobo, Cleverson Leite Bastos & Carlos Eduardo de Carvalho Vargas (forthcoming). On Essentialism and Existentialism in the Husserlian Platonism: A Reflexion Based on Modal Logic. Axiomathes:1-9.score: 279.0
    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 (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Rafal Urbaniak (2013). Plural Quantifiers: A Modal Interpretation. Synthese:1-22.score: 217.0
    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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Alexei Y. Muravitsky (2008). The Contribution of A.V. Kuznetsov to the Theory of Modal Systems and Structures. Logic and Logical Philosophy 17 (1-2):41-58.score: 192.0
    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)  
     
    My bibliography  
     
    Export citation  
  7. Sergio A. Celani & Daniela Montangie (forthcoming). Hilbert Algebras with a Modal Operator $${\Diamond}$$ ◊. Studia Logica:1-24.score: 186.0
    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 (2012). In this paper we shall introduce and study the variety of \({H_{\Diamond}^{\vee}}\) -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 in Celani and Montangie (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Holger Andreas (2010). A Modal View of the Semantics of Theoretical Sentences. Synthese 174 (3):367 - 383.score: 180.0
    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 (7 more)  
     
    My bibliography  
     
    Export citation  
  9. Rani Nelken & Chung-Chieh Shan (2006). A Modal Interpretation of the Logic of Interrogation. Journal of Logic, Language and Information 15 (3):251-271.score: 180.0
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Tjerk Gauderis (2013). Modelling Abduction in Science by Means of a Modal Adaptive Logic. Foundations of Science 18 (4):611-624.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  11. Giuseppe Primiero & Mariarosiaria Taddeo (2012). A Modal Type Theory for Formalizing Trusted Communications. Journal of Applied Logic 10 (1):92-114.score: 180.0
    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 (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  12. Tim Fernando (1999). A Modal Logic for Non-Deterministic Discourse Processing. Journal of Logic, Language and Information 8 (4):445-468.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  13. Joshua Sack & Wiebe van der Hoek (2014). A Modal Logic for Mixed Strategies. Studia Logica 102 (2):339-360.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  14. Tuomas E. Tahko (2008). A New Definition of A Priori Knowledge: In Search of a Modal Basis. Metaphysica 9 (2):57-68.score: 176.0
    In this paper I will offer a novel understanding of a priori knowledge. My claim is that the sharp distinction that is usually made between a priori and a posteriori knowledge is groundless. It will be argued that a plausible understanding of a priori and a posteriori knowledge has to acknowledge that they are in a constant bootstrapping relationship. It is also crucial that we distinguish between a priori propositions that hold in the actual world and merely possible, non-actual a (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  15. Bence Nanay (2010). A Modal Theory of Function. Journal of Philosophy 107 (8):412-431.score: 176.0
    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)  
     
    My bibliography  
     
    Export citation  
  16. Newton Costa, Olimpia Lombardi & Mariano Lastiri (2013). A Modal Ontology of Properties for Quantum Mechanics. Synthese 190 (17):3671-3693.score: 176.0
    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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Patrick Allo (2013). Adaptive Logic as a Modal Logic. Studia Logica 101 (5):933-958.score: 176.0
    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)  
     
    My bibliography  
     
    Export citation  
  18. Newton da Costa, Olimpia Lombardi & Mariano Lastiri (2013). A Modal Ontology of Properties for Quantum Mechanics. Synthese 190 (17):3671-3693.score: 176.0
    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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Rik Peels (forthcoming). A Modal Solution to the Problem of Moral Luck. American Philosophical Quarterly.score: 172.0
    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  
     
    My bibliography  
     
    Export citation  
  20. Martin Hackl & Jon Nissenbaum (2012). A Modal Ambiguity in for-Infinitival Relative Clauses. Natural Language Semantics 20 (1):59-81.score: 172.0
    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)  
     
    My bibliography  
     
    Export citation  
  21. Martin Hackl & Jon Nissenbaum (2012). A Modal Ambiguity in for-Infinitival Relative Clauses. Natural Language Semantics 20 (1):59-81.score: 172.0
    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)  
     
    My bibliography  
     
    Export citation  
  22. Adriane A. Rini (1998). Is There a Modal Syllogistic? Notre Dame Journal of Formal Logic 39 (4):554-572.score: 170.0
    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)  
     
    My bibliography  
     
    Export citation  
  23. Cian Dorr, How to Be a Modal Realist.score: 168.0
    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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Tuomas E. Tahko (2009). On the Modal Content of A Posteriori Necessities. Theoria 75 (4):344-357.score: 168.0
    This paper challenges the Kripkean interpretation of a posteriori necessities. It will be demonstrated, by an analysis of classic examples, that the modal content of supposed a posteriori necessities is more complicated than the Kripkean line suggests. We will see that further research is needed concerning the a priori principles underlying all a posteriori necessities. In the course of this analysis it will emerge that the modal content of a posteriori necessities can be best described in terms of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  25. Pieter E. Vermaas (1999). A Philosopher's Understanding of Quantum Mechanics: Possibilities and Impossibilities of a Modal Interpretation. Cambridge University Press.score: 168.0
    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  
     
    My bibliography  
     
    Export citation  
  26. Steve Awodey, Lars Birkedal & Dana Scott, Local Realizability Toposes and a Modal Logic for Computability.score: 168.0
    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)  
     
    My bibliography  
     
    Export citation  
  27. Michael R. Baumer (1985). Sketch for a Modal Interpretation of Descartes' Cogito. Philosophy Research Archives 11:635-655.score: 168.0
    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)  
     
    My bibliography  
     
    Export citation  
  28. Krystyna Misiuna (2012). A Modal Logic of Information. Logic and Logical Philosophy 21 (1):33-51.score: 168.0
    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)  
     
    My bibliography  
     
    Export citation  
  29. Aldo Ursini (1979). A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ. Studia Logica 38 (3):297 - 311.score: 168.0
    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)  
     
    My bibliography  
     
    Export citation  
  30. Mikhail Kissine (2008). Why Will is Not a Modal. Natural Language Semantics 16 (2):129-155.score: 168.0
    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)  
     
    My bibliography  
     
    Export citation  
  31. K. Schulz (2014). Fake Tense in Conditional Sentences: A Modal Approach. Natural Language Semantics 22 (2):117-144.score: 168.0
    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)  
     
    My bibliography  
     
    Export citation  
  32. R. van Rooij (2005). A Modal Analysis of Presupposition and Modal Subordination. Journal of Semantics 22 (3):281-305.score: 168.0
    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)  
     
    My bibliography  
     
    Export citation  
  33. Bernhard Heinemann (2004). A Modal Logic for Discretely Descending Chains of Sets. Studia Logica 76 (1):67 - 90.score: 168.0
    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)  
     
    My bibliography  
     
    Export citation  
  34. Roy A. Benton (2002). A Simple Incomplete Extension of T Which is the Union of Two Complete Modal Logics with F.M.P. Journal of Philosophical Logic 31 (6):527-541.score: 166.0
    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)  
     
    My bibliography  
     
    Export citation  
  35. Steffen Borge (2007). A Modal Defence of Strong AI. In Dermot Moran Stephen Voss (ed.), Epistemology. The Proceedings of the Twenty-First World Congress of Philosophy. Vol. 6. The Philosophical Society of Turkey. 127-131.score: 164.0
    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)  
     
    My bibliography  
     
    Export citation  
  36. Joseph G. Moore (2008). A Modal Argument Against Vague Objects. Philosophers' Imprint 8 (12):1-17.score: 164.0
    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  
     
    My bibliography  
     
    Export citation  
  37. Olimpia Lombardi & Mario Castagnino (2008). A Modal-Hamiltonian Interpretation of Quantum Mechanics. Studies in History and Philosophy of Science Part B 39 (2):380-443.score: 164.0
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  38. Jiri Benovsky (2006). A Modal Bundle Theory. Metaphysica 7 (2).score: 164.0
    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 (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. J. Westphal (2012). Is There a Modal Fallacy in van Inwagen's 'First Formal Argument'? Analysis 72 (1):36-41.score: 164.0
    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 (11 more)  
     
    My bibliography  
     
    Export citation  
  40. R. W. Spekkens & J. E. Sipe (2001). A Modal Interpretation of Quantum Mechanics Based on a Principle of Entropy Minimization. Foundations of Physics 31 (10):1431-1464.score: 164.0
    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)  
     
    My bibliography  
     
    Export citation  
  41. Dale Jacquette (2006). Crossroads of Logic and Ontology: A Modal-Combinatorial Analysis of Why There is Something Rather Than Nothing. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):17-46.score: 164.0
    Although it is frequently said that logic is a purely formal discipline lacking any content for special philosophical subdisciplines, I argue in this essay that the concepts of predication, and of the properties of objects presupposed by standard first-order logic are sufficient to address many of the traditional problems of ontology. The concept of an object's having a property is extended to provide an intensional definition of the existence of an object as the object's possessing a maximally consistent property combination, (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Johan Van Benthem, Patrick Girard & Olivier Roy (2009). Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences. Journal of Philosophical Logic 38 (1):83 - 125.score: 164.0
    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)  
     
    My bibliography  
     
    Export citation  
  43. Dale Jacquette (2000). Confessions of a Meinongian Logician. Grazer Philosophische Studien 58:151-180.score: 164.0
    In a chapter of - so to speak - an intellectual autobiography I sketch the reasons and ways I became a practitioning Meinongian logician. The way is a chain of transgressions, e.g., the transgression of extensionalism or of the law of excluded middle, and a struggle against widespread misinterpretations of Meinong's Gegenstandstheorie. Although the opposition towards Meinong's theory of objects persists in analytic philosophy, its main insights - that thought is intentional and that logic must be ontologically neutral - (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. Simone Martini & Andrea Masini (1994). A Modal View of Linear Logic. Journal of Symbolic Logic 59 (3):888-899.score: 164.0
    We present a sequent calculus for the modal logic S4, and building on some relevant features of this system (the absence of contraction rules and the confinement of weakenings into axioms and modal rules) 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 (exponentials) only in correspondence with S4 modalities. We discuss the complexity of the decision problem for several (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  45. G. Sambin & S. Valentini (1980). A Modal Sequent Calculus for a Fragment of Arithmetic. Studia Logica 39 (2-3):245 - 256.score: 164.0
    Global properties of canonical derivability predicates (the standard example is Pr() 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 (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. Max A. Freund (2007). A Two Dimensional Tense-Modal Sortal Logic. Journal of Philosophical Logic 36 (5):571 - 598.score: 162.0
    We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. A. Markman & H. C. Stilwell (2004). Concepts a la Modal: An Extended Review of Prinz's Furnishing the Mind. [REVIEW] Philosophical Psychology 17 (3):391-401.score: 162.0
    In Furnishing the mind, Prinz defends a view of concept representation that assumes all representations are rooted in perception. This view is attractive, because it makes clear how concepts could be learned from experience in the world. In this paper, we discuss three limitations of the view espoused by Prinz. First, the central proposal requires more detail in order to support the claim that all representations are modal. Second, it is not clear that a theory of concepts must make (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  48. Michael T. Traynor (2013). Actual Time and Possible Change: A Problem for Modal Arguments for Temporal Parts. Thought: A Journal of Philosophy 2 (2):180-189.score: 162.0
    Sider (2001) and Hawley (2001) argue that, in order to account for the mere possibility of change, temporal parts must be as fine-grained as possible change, and hence as fine-grained as time. However, when dealing with metaphysical possibility, the fine-grainedness of actual time and the fine-grainedness of possible change can come apart. Once this is taken into account, we see that, on certain assumptions about the actual microstructure of time, the modal arguments of Sider and Hawley lead to the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. Chen Bo (2012). A Descriptivist Refutation of Kripke's Modal Argument and of Soames's Defence. Theoria 78 (3):225-260.score: 160.0
    This article systematically challenges Kripke's modal argument and Soames's defence of this argument by arguing that, just like descriptions, names can take narrow or wide scopes over modalities, and that there is a big difference between the wide scope reading and the narrow scope reading of a modal sentence with a name. Its final conclusions are that all of Kripke's and Soames's arguments are untenable due to some fallacies or mistakes; names are not “rigid designators”; if there were (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  50. J. P. Studd (2012). The Iterative Conception of Set: A (Bi-)Modal Axiomatisation. Journal of Philosophical Logic 42 (5):1-29.score: 160.0
    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 (7 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000