Search results for 'modal relations' (try it on Scholar)

1000+ found
Sort by:
  1. Natasha Alechina, Philippe Balbiani & Dmitry Shkatov (2012). Modal Logics for Reasoning About Infinite Unions and Intersections of Binary Relations. Journal of Applied Non-Classical Logics 22 (4):275 - 294.score: 96.0
    (2012). Modal logics for reasoning about infinite unions and intersections of binary relations. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 275-294. doi: 10.1080/11663081.2012.705960.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Hans Smessaert (2009). On the 3d Visualisation of Logical Relations. Logica Universalis 3 (2):303-332.score: 90.0
    The central aim of this paper is to present a Boolean algebraic approach to the classical Aristotelian Relations of Opposition, namely Contradiction and (Sub)contrariety, and to provide a 3D visualisation of those relations based on the geometrical properties of Platonic and Archimedean solids. In the first part we start from the standard Generalized Quantifier analysis of expressions for comparative quantification to build the Comparative Quantifier Algebra CQA. The underlying scalar structure allows us to define the Aristotelian relations (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Dimiter Vakarelov (2008). A Modal Approach to Dynamic Ontology: Modal Mereotopology. Logic and Logical Philosophy 17 (1-2):163-183.score: 90.0
    In this paper we show how modal logic can be applied in the axiomatizations of some dynamic ontologies. As an example we consider the case of mereotopology, which is an extension of mereology with some relations of topological nature like contact relation. We show that in the modal extension of mereotopology we may define some new mereological and mereotopological relations with dynamic nature like stable part-of and stable contact. In some sense such “stable” relations can (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. Studia Logica 65 (3):323-353.score: 78.0
    This work is divided in two papers (Part I and Part II). In Part I, we study a class of polymodal logics (herein called the class of "Rare-logics") for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability are established by faithfully translating (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. Studia Logica 66 (3):349-384.score: 78.0
    This work is divided in two papers (Part I and Part II). In Part I, we introduced the class of Rare-logics for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability were established by faithfully translating the Rare-logics into more standard modal (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Philippe Balbiani & Ewa Orlowska (1999). A Hierarchy of Modal Logics with Relative Accessibility Relations. Journal of Applied Non-Classical Logics 9 (2-3):303-328.score: 78.0
    ABSTRACT In this paper we introduce and investigate various classes of multimodal logics based on frames with relative accessibility relations. We discuss their applicability to representation and analysis of incomplete information. We provide axiom systems for these logics and we prove their completeness.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Moshe Kroy (1976). Mentalism and Modal Logic: A Study in the Relations Between Logical and Metaphysical Systems. Athenaion.score: 76.0
  8. Susanne Bobzien (1993). Chrysippus' Modal Logic and Its Relation to Philo and Diodorus. In K. Doering & Th Ebert (eds.), Dialektiker und Stoiker. Franz Steiner. 63--84.score: 72.0
    ABSTRACT: The modal systems of the Stoic logician Chrysippus and the two Hellenistic logicians Philo and Diodorus Cronus have survived in a fragmentary state in several sources. From these it is clear that Chrysippus was acquainted with Philo’s and Diodorus’ modal notions, and also that he developed his own in contrast of Diodorus’ and in some way incorporated Philo’s. The goal of this paper is to reconstruct the three modal systems, including their modal definitions and (...) theorems, and to make clear the exact relations between them; moreover, to elucidate the philosophical reasons that may have led Chrysippus to modify his predessors’ modal concept in the way he did. It becomes apparent that Chrysippus skillfully combined Philo’s and Diodorus’ modal notions, with making only a minimal change to Diodorus’ concept of possibility; and that he thus obtained a modal system of modalities (logical and physical) which fit perfectly fit into Stoic philosophy. (shrink)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Jesse Hughes, Albert Esterline & Bahram Kimiaghalam (2006). Means-End Relations and a Measure of Efficacy. Journal of Logic, Language and Information 15 (1-2):83-108.score: 72.0
    Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic features common to much practical reasoning involving means and ends. We alter the semantics for PDL by adding probabilities to the transition systems and interpreting dynamic formulas 〈α〉 ϕ as fuzzy predicates about the reliability of α as a means to ϕ. This gives our semantics a measure of efficacy for means-end relations.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Frederic B. Fitch (1973). A Correlation Between Modal Reduction Principles and Properties of Relations. Journal of Philosophical Logic 2 (1):97 - 101.score: 72.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Lloyd Humberstone (2007). Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCsK Fragment of S. [REVIEW] Journal of Philosophical Logic 36 (5):435 - 487.score: 72.0
    We recapitulate (Section 1) some basic details of the system of implicative BCSK logic, which has two primitive binary implicational connectives, and which can be viewed as a certain fragment of the modal logic S5. From this modal perspective we review (Section 2) some results according to which the pure sublogic in either of these connectives (i.e., each considered without the other) is an exact replica of the material implication fragment of classical propositional logic. In Sections 3 and (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  12. Lloyd Humberstone (2006). Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCsK Fragment of S. [REVIEW] Journal of Philosophical Logic 35 (5):435 - 487.score: 72.0
    We recapitulate (Section 1) some basic details of the system of implicative BCSK logic, which has two primitive binary implicational connectives, and which can be viewed as a certain fragment of the modal logic S5. From this modal perspective we review (Section 2) some results according to which the pure sublogic in either of these connectives (i.e., each considered without the other) is an exact replica of the material implication fragment of classical propositional logic. In Sections 3 and (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  13. Krister Segerberg (1970). Modal Logics with Linear Alternative Relations. Theoria 36 (3):301-322.score: 72.0
  14. Krister Segerberg (1986). Modal Logics with Functional Alternative Relations. Notre Dame Journal of Formal Logic 27 (4):504-522.score: 72.0
  15. Gebhard Fuhrken (1959). Review: Chandler Davis, Modal Operators, Equivalence Relations, and Projective Algebras. [REVIEW] Journal of Symbolic Logic 24 (3):253-253.score: 72.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Robin Hirsch, Ian Hodkinson, Maarten Marx, Szabolsc Mikulás & Mark Reynolds (1999). Mosaics and Step-by-Step. Remarks on “A Modal Logic of Relations”. In E. Orłowska (ed.), Logic at Work. Heidelberg.score: 72.0
    No categories
     
    My bibliography  
     
    Export citation  
  17. Robin Hirsch & Ian Hodkinson (1999). Mosaics and Step-by-Step| Remarks onA Modal Logic of Relations' by Venema & Marx. In. In E. Orłowska (ed.), Logic at Work. Heidelberg.score: 72.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Mary-Anne Williams, Thomas Meyer, Basic Infobase Change, David Billington & Andrew Rock (2001). Witold A. Pogorzelski, Piotr Wojtylak/Cn-Defini-Tions of Propositional Connectives 1 Su Gao, Peter Gerdes/Computably Enumerable Equiva-Lence Relations 27 Yoshihito Tanaka/Model Existence in Non-Compact Modal. [REVIEW] Studia Logica 67:439-440.score: 72.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Norman M. Swartz, Foreknowledge and Free Will. Internet Encyclopedia of Philosophy.score: 66.0
    Suppose it were known, by someone else, what you are going to choose to do tomorrow. Wouldn't that entail that tomorrow you must do what it was known in advance that you would do? In spite of your deliberating and planning, in the end, all is futile: you must choose exactly as it was earlier known that you would. The supposed exercise of your free will is ultimately an illusion. Historically, the tension between foreknowledge and the exercise of free will (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Sam Cowling (2012). Haecceitism for Modal Realists. Erkenntnis 77 (3):399-417.score: 54.0
    In this paper, I examine the putative incompatibility of three theses: (1) Haecceitism, according to which some maximal possibilities differ solely in terms of the non-qualitative or de re possibilities they include; (2) Modal correspondence, according to which each maximal possibility is identical with a unique possible world; (3) Counterpart theory, according to which de re modality is analyzed in terms of counterpart relations between individuals. After showing how the modal realism defended by David Lewis resolves this (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189 - 214.score: 54.0
    We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  22. Gilbert T. Null (2007). The Ontology of Intentionality II: Dependence Ontology as Prolegomenon to Noetic Modal Semantics. [REVIEW] Husserl Studies 23 (2):119-159.score: 54.0
    This is the second in a sequence of three essays which axiomatize and apply Edmund Husserl's dependence ontology of parts and wholes as a non-Diodorean, non-Kantian temporal semantics for first-order predicate modal languages. The Ontology of Intentionality I introduced enough of Husserl's dependence-ontology of parts and wholes to formulate his account of order as effected by relating moments of unity, and The Ontology of Intentionality II extends that axiomatic dependence-ontology far enough to enable its semantic application. Formalizing the compatibility (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. Edward N. Zalta, The Theory of Relations, Complex Terms, and a Connection Between Λ and Ε Calculi.score: 54.0
    This paper introduces a new method of interpreting complex relation terms in a second-order quantified modal language. We develop a completely general second-order modal language with two kinds of complex terms: one kind for denoting individuals and one kind for denoting n-place relations. Several issues arise in connection with previous, algebraic methods for interpreting the relation terms. The new method of interpreting these terms described here addresses those issues while establishing an interesting connection between λ and ε (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Jan Heylen (2013). Modal-Epistemic Arithmetic and the Problem of Quantifying In. Synthese 190 (1):89-111.score: 54.0
    The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Marco Hollenberg (1997). An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6 (4):381-401.score: 54.0
    We consider algebras on binary relations with two main operators: relational composition and dynamic negation. Relational composition has its standard interpretation, while dynamic negation is an operator familiar to students of Dynamic Predicate Logic (DPL) (Groenendijk and Stokhof, 1991): given a relation R its dynamic negation R is a test that contains precisely those pairs (s,s) for which s is not in the domain of R. These two operators comprise precisely the propositional part of DPL.This paper contains a finite (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Jaap van der Does, Willem Groeneveld & Frank Veltman (1997). An Update on “Might”. Journal of Logic, Language and Information 6 (4):361-380.score: 54.0
    This paper is on the update semantics for might of Veltman (1996). Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Ernst Zimmermann (2003). Elementary Definability and Completeness in General and Positive Modal Logic. Journal of Logic, Language and Information 12 (1):99-117.score: 54.0
    The paper generalises Goldblatt's completeness proof for Lemmon–Scott formulas to various modal propositional logics without classical negation and without ex falso, up to positive modal logic, where conjunction and disjunction, andwhere necessity and possibility are respectively independent.Further the paper proves definability theorems for Lemmon–Scottformulas, which hold even in modal propositional languages without negation and without falsum. Both, the completeness theorem and the definability theoremmake use only of special constructions of relations,like relation products. No second order logic, (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  28. Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano (1998). Encoding Modal Logics in Logical Frameworks. Studia Logica 60 (1):161-208.score: 54.0
    We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed -calculus metalanguage of the Logical Frameworks. These formalizations yield readily proof-editors for Modal Logics when implemented in Proof Development Environments, such as Coq (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  29. Tim Fernando (1999). A Modal Logic for Non-Deterministic Discourse Processing. Journal of Logic, Language and Information 8 (4):445-468.score: 54.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  
  30. Susanne Bobzien (1986). Die Stoische Modallogik (Stoic Modal Logic). Königshausen & Neumann.score: 54.0
    ABSTRACT: Part 1 discusses the Stoic notion of propositions (assertibles, axiomata): their definition; their truth-criteria; the relation between sentence and proposition; propositions that perish; propositions that change their truth-value; the temporal dependency of propositions; the temporal dependency of the Stoic notion of truth; pseudo-dates in propositions. Part 2 discusses Stoic modal logic: the Stoic definitions of their modal notions (possibility, impossibility, necessity, non-necessity); the logical relations between the modalities; modalities as properties of propositions; contingent propositions; the relation (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Jaap van Der Does, Willem Groeneveld & Frank Veltman (1997). An Update on €œMight”. Journal of Logic, Language and Information 6 (4):361-380.score: 54.0
    This paper is on the update semantics for might of Veltman (1996). Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Hans Smessaert (2012). The Classical Aristotelian Hexagon Versus the Modern Duality Hexagon. Logica Universalis 6 (1-2):171-199.score: 54.0
    Peters and Westerståhl (Quantifiers in Language and Logic, 2006), and Westerståhl (New Perspectives on the Square of Opposition, 2011) draw a crucial distinction between the “classical” Aristotelian squares of opposition and the “modern” Duality squares of opposition. The classical square involves four opposition relations, whereas the modern one only involves three of them: the two horizontal connections are fundamentally distinct in the Aristotelian case (contrariety, CR vs. subcontrariety, SCR) but express the same Duality relation of internal negation (SNEG). Furthermore, (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. Elsi Kaiser (2012). Taking Action: A Cross-Modal Investigation of Discourse-Level Representations. Frontiers in Psychology 3.score: 54.0
    Segmenting stimuli into events and understanding the relations between those events is crucial for understanding the world. For example, on the linguistic level, successful language use requires the ability to recognize semantic coherence relations between events (e.g. causality, similarity). However, relatively little is known about the mental representation of discourse structure. We report two experiments that used a cross-modal priming paradigm to investigate how humans represent the relations between events. Participants repeated a motor action modeled by (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  34. Kathrin Glüer & Peter Pagin (2008). Relational Modality. Journal of Logic, Language and Information 17 (3):307-322.score: 52.0
    Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  35. Peter Pagin (2008). Relational Modality. Journal of Logic, Language and Information 17 (3):307-322.score: 52.0
    Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like Aristotle might have been fond of dogsConcerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite descriptions. (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  36. Joanna Golinska-Pilarek, Emilio Munoz-Velasco & Angel Mora (2012). Relational Dual Tableau Decision Procedure for Modal Logic K. Logic Journal of IGPL 20 (4):747-756.score: 50.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  37. Angel Mora, Emilio Munoz Velasco & Joanna Golinska-Pilarek (2011). Implementing a Relational Theorem Prover for Modal Logic K. International Journal of Computer Mathematics 88 (9):1869-1884.score: 50.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  38. Lloyd Humberstone (2013). Replacement in Logic. Journal of Philosophical Logic 42 (1):49-89.score: 48.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  39. L. Lismont (1994). Common Knowledge: Relating Anti-Founded Situation Semantics to Modal Logic Neighbourhood Semantics. [REVIEW] Journal of Logic, Language and Information 3 (4):285-302.score: 48.0
    Two approaches for defining common knowledge coexist in the literature: the infinite iteration definition and the circular or fixed point one. In particular, an original modelization of the fixed point definition was proposed by Barwise (1989) in the context of a non-well-founded set theory and the infinite iteration approach has been technically analyzed within multi-modal epistemic logic using neighbourhood semantics by Lismont (1993). This paper exhibits a relation between these two ways of modelling common knowledge which seem at (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  40. Maarten De Rijke (1995). The Logic of Peirce Algebras. Journal of Logic, Language and Information 4 (3):227-250.score: 48.0
    Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebras is analyzed through their connection with first-order logic, and the fragment of first-order logic corresponding to Peirce algebras (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso (2003). Squares in Fork Arrow Logic. Journal of Philosophical Logic 32 (4):343-355.score: 48.0
    In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  42. Peter Yong (2014). God, Totality and Possibility in Kant's Only Possible Argument. Kantian Review 19 (1):27-51.score: 48.0
    There has been a groundswell of interest in the account of modality that Kant sets forth in his pre-Critical Only Possible Argument. Andrew Chignell's reconstruction of Kant's theistic argument in terms of what he calls has a prima facie advantage in that it appears to be able to block the plurality objection (namely, that even if every modal fact presupposes some ground, this does not entail that all modal facts share the same ground). I argue that it is (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. Anna Bucalo (1994). Modalities in Linear Logic Weaker Than the Exponential “of Course”: Algebraic and Relational Semantics. [REVIEW] Journal of Logic, Language and Information 3 (3):211-232.score: 48.0
    We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  44. Gunnar Björnsson (2004). A Naturalist's Approach to Modal Intuitions. In Erik Weber Tim De Mey (ed.), Modal Epistemology.score: 48.0
    Modal inquiry is plagued by methodological problems. The best-developed views on modal semantics and modal ontology take modalstatements to be true in virtue of relations between possible worlds. Unfortunately, such views turn modal epistemology into a mystery, and this paper is about ways to avoid that problem. It looks at different remedies suggested by Quine, Blackburn and Peacocke and finds them all wanting. But although Peacocke’s version of the popular conceptualist approach fails to give a (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  45. Maarten Rijke (1995). The Logic of Peirce Algebras. Journal of Logic, Language and Information 4 (3):227-250.score: 48.0
    Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic as a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebras is analyzed through their connection with first-order logic and the fragment of first-order logic corresponding to Peirce (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. Eric Swanson (2010). On Scope Relations Between Quantifiers and Epistemic Modals. Journal of Semantics 27 (4):529-540.score: 46.0
    This paper presents and discusses a range of counterexamples to the common view that quantifiers cannot take scope over epistemic modals. Some of the counterexamples raise problems for ‘force modifier’ theories of epistemic modals. Some of the counterexamples raise problems for Robert Stalnaker’s theory of counterfactuals, according to which a special kind of epistemic modal must be able to scope over a whole counterfactual. Finally, some of the counterexamples suggest that David Lewis must countenance ‘would’ counterfactuals in which a (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  47. Allen Hazen (1976). Expressive Completeness in Modal Language. Journal of Philosophical Logic 5 (1):25--46.score: 42.0
    The logics of the modal operators and of the quantifiers show striking analogies. The analogies are so extensive that, when a special class of entities (possible worlds) is postulated, natural and non-arbitrary translation procedures can be defined from the language with the modal operators into a purely quantificational one, under which the necessity and possibility operators translate into universal and existential quantifiers. In view of this I would be willing to classify the modal operators as ‘disguised’ quantifiers, (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  48. George Bealer (1979). Theories of Properties, Relations, and Propositions. Journal of Philosophy 76 (11):634-648.score: 42.0
    This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. David Hunter (2007). Common Ground and Modal Disagreement. In H. V. Hanson (ed.), Dissensus and the Search for Common Ground. 134-143.score: 42.0
    The common ground in an inquiry consists of what the participants agree on, at least for the sake of the inquiry. The relations between the factual and linguistic components of common ground are notoriously difficult to trace. I clarify them by exploring how modal disagreements – disagreements about how things might be – interact with the linguistic and the factual common ground. I argue that modal agreement is essential to common ground of any kind.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. Bettina Walde (2005). On Epistemic and Ontological Aspects of Consciousness: Modal Arguments and Their Possible Implications. Mind and Matter 3 (2):103-115.score: 42.0
    Anti-materialist thought experiments as, e.g., zombie arguments, have posed some of the most vexing problems for materialist accounts of phenomenal consciousness. I doubt, however, that arguments of this kind can refute the core thesis of materialism. Although I do not question that there is something very special about an adequate explanation of phenomenal consciousness, and although I accept the epistemic irreducibility of phenomenal consciousness, I deny that modal arguments reach far enough to establish essentialism about consciousness. I will draw (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000