Results for 'modal definability'

1000+ found
Order:
  1.  61
    Modal Definability in Enriched Languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.
    The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  2.  44
    Belief Modalities Defined by Nuclei.Thomas Mormann - manuscript
    Abstract. The aim of this paper is to show that the topological interpretation of knowledge as an interior kernel operator K of a topological space (X, OX) comes along with a partially ordered family of belief modalities B that fit K in the sense that the pairs (K, B) satisfy all axioms of Stalnaker’s KB logic of knowledge and belief with the exception of the contentious axiom of negative introspection (NI). The new belief modalities B introduced in this paper are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. On How (Not) to Define Modality in Terms of Essence.Robert Michels - 2019 - Philosophical Studies 176 (4):1015-1033.
    In his influential article ‘Essence and Modality’, Fine proposes a definition of necessity in terms of the primitive essentialist notion ‘true in virtue of the nature of’. Fine’s proposal is suggestive, but it admits of different interpretations, leaving it unsettled what the precise formulation of an Essentialist definition of necessity should be. In this paper, four different versions of the definition are discussed: a singular, a plural reading, and an existential variant of Fine’s original suggestion and an alternative version proposed (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  4. Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  5. Modal Science.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):453-492.
    This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. (...)
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  6. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  7. Modal Ontology and Generalized Quantifiers.Peter Fritz - 2013 - Journal of Philosophical Logic 42 (4):643-678.
    Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  8. Modal Empiricism Made Difficult: An Essay in the Meta-Epistemology of Modality.Ylwa Sjölin Wirling - 2019 - Dissertation, University of Gothenburg
    Philosophers have always taken an interest not only in what is actually the case, but in what is necessarily the case and what could possibly be the case. These are questions of modality. Epistemologists of modality enquire into how we can know what is necessary and what is possible. This dissertation concerns the meta-epistemology of modality. It engages with the rules that govern construction and evaluation of theories in the epistemology of modality, by using modal empiricism – a form (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  78
    Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  10. Parts, Counterparts and Modal Occurrents.Achille C. Varzi - 2001 - Travaux de Logique 14 (1):151-171.
    The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  11.  65
    Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 2002 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.
    We propose a generalization of Sahlqvist formulas to polyadic modal languages by representing such languages in a combinatorial PDL style and thus, in particular, developing what we believe to be the right syntactic approach to Sahlqvist formulas at all. The class of polyadic Sahlqvist formulas PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Modal Logics for Topological Spaces.Konstantinos Georgatos - 1993 - Dissertation, City University of New York
    In this thesis we present two logical systems, $\bf MP$ and $\MP$, for the purpose of reasoning about knowledge and effort. These logical systems will be interpreted in a spatial context and therefore, the abstract concepts of knowledge and effort will be defined by concrete mathematical concepts.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  80
    Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities: Polynomial Ring Calculus for Modal Logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
    A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Online Update: Temporal, Modal, and de Se Anaphora in Polysynthetic Discourse.Maria Bittner - 2007 - In Chris Barker & Pauline Jacobson (eds.), Direct Compositionality. Oxford University Press. pp. 11--363.
    This paper introduces a framework for direct surface composition by online update. The surface string is interpreted as is, with each morpheme in turn updating the input state of information and attention. A formal representation language, Logic of Centering, is defined and some crosslinguistic constraints on lexical meanings and compositional operations are formulated.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  16. Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. World Scientific. pp. 221-240.
    We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  17
    Modal History Versus Counterfactual History: History as Intention.Vasil Penchev - 2021 - Philosophy of Science eJournal (Elsevier: SSRN) 14 (22):1-8.
    The distinction of whether real or counterfactual history makes sense only post factum. However, modal history is to be defined only as ones’ intention and thus, ex-ante. Modal history is probable history, and its probability is subjective. One needs phenomenological “epoché” in relation to its reality (respectively, counterfactuality). Thus, modal history describes historical “phenomena” in Husserl’s sense and would need a specific application of phenomenological reduction, which can be called historical reduction. Modal history doubles history just (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.
    This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  19.  62
    Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 265-292.
    We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
    Download  
     
    Export citation  
     
    Bookmark  
  20.  26
    Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 265-292.
    We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
    Download  
     
    Export citation  
     
    Bookmark  
  21.  51
    Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism.Hasen Khudairi - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer. pp. 65-82.
    This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic, and $\Omega$-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of $\Omega$-logical validity correspond to those (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23.  84
    Modal Validity and the Dispensability of the Actuality Operator.Vittorio Morato - 2014 - In Michal Dancak & Vit Punochar (eds.), The Logica Yearbook 2013. London, UK:
    In this paper, I claim that two ways of defining validity for modal languages (“real-world” and “general” validity), corresponding to distinction between a correct and an incorrect way of defining modal valid- ity, correspond instead to two substantive ways of conceiving modal truth. At the same time, I claim that the major logical manifestation of the real- world/general validity distinction in modal propositional languages with the actuality operator should not be taken seriously, but simply as a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
    This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  52
    Naturalización de la Metafísica Modal.Carlos Romero - 2021 - Dissertation, National Autonomous University of Mexico
    In this dissertation I introduce, motivate and take the first steps in the realization of, the project of naturalizing modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- In the introduction, I explain the concept of naturalization that I take for granted throughout the dissertation, in addition to objecting to two recent proposals, according to which modal metaphysics --- or some view in the area --- is (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Problems for Modal Reductionism: Concrete Possible Worlds as a Test Case.Jonathan Nassim - 2015 - Dissertation, Birkbeck College
    This thesis is an argument for the view that there are problems for Modal Reductionism, the thesis that modality can satisfactorily be defined in non-modal terms. -/- I proceed via a case study of David Lewis’s theory of concrete possible worlds. This theory is commonly regarded as the best and most influential candidate reductive theory of modality. Based on a detailed examination of its ontology, analysis and justification, I conclude that it does badly with respect to the following (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. TxW Epistemic Modality.Andrea Iacona - 2012 - Logic and Philosophy of Science 10:3-14.
    So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
    In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30.  93
    Lucky Ignorance, Modality and Lack of Knowledge.Oscar A. Piedrahita - 2021 - Pacific Philosophical Quarterly.
    I argue against the Standard View of ignorance, according to which ignorance is defined as equivalent to lack of knowledge, that cases of environmental epistemic luck, though entailing lack of knowledge, do not necessarily entail ignorance. In support of my argument, I contend that in cases of environmental luck an agent retains what I call epistemic access to the relevant fact by successfully exercising her epistemic agency and that ignorance and non-ignorance, contrary to what the Standard View predicts, are not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Measurement and Quantum Dynamics in the Minimal Modal Interpretation of Quantum Theory.Jacob A. Barandes & David Kagan - 2020 - Foundations of Physics 50 (10):1189-1218.
    Any realist interpretation of quantum theory must grapple with the measurement problem and the status of state-vector collapse. In a no-collapse approach, measurement is typically modeled as a dynamical process involving decoherence. We describe how the minimal modal interpretation closes a gap in this dynamical description, leading to a complete and consistent resolution to the measurement problem and an effective form of state collapse. Our interpretation also provides insight into the indivisible nature of measurement—the fact that you can't stop (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - manuscript
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
    In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  34. What is the Correct Logic of Necessity, Actuality and Apriority?Peter Fritz - 2014 - Review of Symbolic Logic 7 (3):385-414.
    This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  35. Free Will, Determinism, and the Possibility of Doing Otherwise.Christian List - 2014 - Noûs 48 (1):156-178.
    I argue that free will and determinism are compatible, even when we take free will to require the ability to do otherwise and even when we interpret that ability modally, as the possibility of doing otherwise, and not just conditionally or dispositionally. My argument draws on a distinction between physical and agential possibility. Although in a deterministic world only one future sequence of events is physically possible for each state of the world, the more coarsely defined state of an agent (...)
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  36.  55
    Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 2005 - In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 5. Kings College London Publ.. pp. 17-51.
    In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. A Logic for Epistemic Two-Dimensional Semantics.Peter Fritz - 2013 - Synthese 190 (10):1753-1770.
    Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  38. If It's Clear, Then It's Clear That It's Clear, or is It? Higher-Order Vagueness and the S4 Axiom.Susanne Bobzien - 2012 - In B. Morison K. Ierodiakonou (ed.), Episteme, etc.: Essays in honour of Jonathan Barnes. OUP UK.
    The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  39. I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness.Susanne Bobzien - 2015 - Aristotelian Society Supplementary Volume 89 (1):61-87.
    Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  40. On the Logic of Common Belief and Common Knowledge.Luc Lismont & Philippe Mongin - 1994 - Theory and Decision 37 (1):75-106.
    The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  41. Logics for Modelling Collective Attitudes.Daniele Porello - 2018 - Fundamenta Infromaticae 158 (1-3):239-27.
    We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are then modelled by means of minimal modalities (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Quality Space Model of Temporal Perception.Michal Klincewicz - 2010 - Lecture Notes in Computer Science 6789 (Multidisciplinary Aspects of Tim):230-245.
    Quality Space Theory is a holistic model of qualitative states. On this view, individual mental qualities are defined by their locations in a space of relations, which reflects a similar space of relations among perceptible properties. This paper offers an extension of Quality Space Theory to temporal perception. Unconscious segmentation of events, the involvement of early sensory areas, and asymmetries of dominance in multi-modal perception of time are presented as evidence for the view.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  44.  70
    Does Success Entail Ability?David Boylan - forthcoming - Noûs.
    This paper is about the principle that success entails ability, which I call Success. I argue the status of Success is highly puzzling: when we focus on past instances of actually successful action, Success is very compelling; but it is in tension with the idea that true ability claims require an action be in the agent's control. I make the above tension precise by considering the logic of ability. I argue Success is appealing because it is classically equivalent to two (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Freedom as Critique. Foucault Beyond Anarchism.Karsten Schubert - 2020 - Philosophy and Social Criticism 46.
    Foucault's theory of power and subjectification challenges common concepts of freedom in social philosophy and expands them through the concept of 'freedom as critique': Freedom can be defined as the capability to critically reflect one's own subjectification, and the conditions of possibility for this critical capacity lie in political and social institutions. The article develops this concept through a critical discussion of the standard response by Foucault interpreters to the standard objection that Foucault's thinking obscures freedom. The standard response interprets (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  54
    Multisensory Perception in Philosophy.Amber Ross & Mohan Matthen - 2021 - Multisensory Research 34 (3):219-231.
    This is the editors' Introduction to a special issue of the journal, Multisensory Research. European philosophers of the modern period found multisensory perception to be impossible because they thought that perceptual ideas are defined by how they are experienced. Under this conception, the individual modalities are determinables of ideas—just as colour is a determinable that embraces red and blue, so also the visual is a determinable that embraces colour and (visually experienced) shape. Since no idea is experienced as, for example, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Logically Possible Machines.Eric Steinhart - 2002 - Minds and Machines 12 (2):259-280.
    I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  48. McKinsey Algebras and Topological Models of S4.1.Thomas Mormann - manuscript
    The aim of this paper is to show that every topological space gives rise to a wealth of topological models of the modal logic S4.1. The construction of these models is based on the fact that every space defines a Boolean closure algebra (to be called a McKinsey algebra) that neatly reflects the structure of the modal system S4.1. It is shown that the class of topological models based on McKinsey algebras contains a canonical model that can be (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. On Getting First Things First: Assessing Claims for the Primacy of Christ.Myk Habets - 2009 - New Blackfriars 90 (1027):343-364.
    Adopting modal logic the doctrine of the primacy of Christ is defined and defended in relation to the Thomistic – Scotistic debates over the primary and efficient causes of the incarnation. This leads to a defence of the Scotistic thesis and a reserved affirmation for the Scotistic hypothesis that there would have been an incarnation irrespective of the fall. This hypothesis is tested by reference to the work of four recent theologians, Thomas Weinandy O.F.M. cap., Karl Barth, J¨urgen Moltmann, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Free Choice and Homogeneity.Simon Goldstein - 2019 - Semantics and Pragmatics 12:1-48.
    This paper develops a semantic solution to the puzzle of Free Choice permission. The paper begins with a battery of impossibility results showing that Free Choice is in tension with a variety of classical principles, including Disjunction Introduction and the Law of Excluded Middle. Most interestingly, Free Choice appears incompatible with a principle concerning the behavior of Free Choice under negation, Double Prohibition, which says that Mary can’t have soup or salad implies Mary can’t have soup and Mary can’t have (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 1000