Search results for 'Modalities' (try it on Scholar)

1000+ found
Order:
  1.  67
    Fiona Macpherson (2014). The Space of Sensory Modalities. In Dustin Stokes, Mohan Matthen & Stephen Biggs (eds.), Perception and Its Modalities. Oxford University Press
    Is there a space of the sensory modalities? Such a space would be one in which we can represent all the actual, and at least some of the possible, sensory modalities. The relative position of the senses in this space would indicate how similar and how different the senses were from each other. The construction of such a space might reveal unconsidered features of the actual and possible senses, help us to define what a sense is, and provide (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  2. D. Stokes, M. Matthen & S. Biggs (eds.) (2014). Perception and Its Modalities. Oxford University Press.
    This volume is about the many ways we perceive. Contributors explore the nature of the individual senses, how and what they tell us about the world, and how they interrelate. They consider how the senses extract perceptual content from receptoral information. They consider what kinds of objects we perceive and whether multiple senses ever perceive a single event. They consider how many senses we have, what makes one sense distinct from another, and whether and why distinguishing senses may be useful. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  57
    Susanne Bobzien (2014). Higher-Order Vagueness and Numbers of Distinct Modalities. Disputatio (39):131-137.
    This paper shows that the following common assumption is false: that in modal-logical representations of higher-order vagueness, for there to be borderline cases to borderline cases ad infinitum, the number of possible distinct modalities in a modal system must be infinite. (Open access journal).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  25
    Mark Ryan & Pierre-Yves Schobbens (1997). Counterfactuals and Updates as Inverse Modalities. Journal of Logic, Language and Information 6 (2):123-146.
    We point out a simple but hitherto ignored link between the theoryof updates, the theory of counterfactuals, and classical modal logic: update is a classicalexistential modality, counterfactual is a classical universalmodality, and the accessibility relations corresponding to these modalities are inverses. The Ramsey Rule (often thought esoteric) is simply an axiomatisation of this inverse relationship. We use this fact to translate between rules for updates andrules for counterfactuals. Thus, Katsuno and Mendelzons postulatesU1--U8 are translated into counterfactual rules C1--C8(Table VII), (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  5.  4
    Lloyd Humberstone (2009). Collapsing Modalities. Notre Dame Journal of Formal Logic 50 (2):119-132.
    Sections 1 and 2 respectively raise and settle the question of whether, if an affirmative modality collapses (reduces to the null modality, that is) in a normal modal logic, then all modalities of the same length collapse in that logic, while Section 3 considers some special cases of an analogous phenomenon for congruential modal logics, closing with a general question about collapsing modalities in this broader range of logics.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  9
    Maurizio Fattorosi‐Barnaba & Uliano Paolozzi Balestrini (1999). The Modality of Finite (Graded Modalities VII). Mathematical Logic Quarterly 45 (4):471-480.
    We prove a completeness theorem for Kf, an extension of K by the operator ⋄f that means “there exists a finite number of accessible worlds such that … is true, plus suitable axioms to rule it. This is done by an application of the method of consistency properties for modal systems as in [4] with suitable adaptations. Despite no graded modality is invoked here, we consider this work as pertaining to that area both because ⋄f is a definable operator in (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  7.  16
    Dimiter Vakarelov (2012). Dynamic Modalities. Studia Logica 100 (1-2):385-397.
    A new modal logic containing four dynamic modalities with the following informal reading is introduced: $${\square^\forall}$$ – always necessary , $${\square^\exists}$$ – sometimes necessary , and their duals – $${\diamondsuit^\forall}$$ – always possibly , and $${\diamondsuit^\exists}$$ – sometimes possibly . We present a complete axiomatization with respect to the intended formal semantics and prove decidability via fmp.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  8.  19
    Ani Nenkova (2002). A Tableau Method for Graded Intersections of Modalities: A Case for Concept Languages. [REVIEW] Journal of Logic, Language and Information 11 (1):67-77.
    A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checking are formulated in terms of modal logic and an algorithm for their solution is provided. An axiomatization for a restricted graded modal language with intersection of modalities (the modal counterpart of the concept language we examine)is given and used in the proposed algorithm.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  9.  6
    Mauro Gattari (2005). Finite and Physical Modalities. Notre Dame Journal of Formal Logic 46 (4):425-437.
    The logic Kf of the modalities of finite, devised to capture the notion of 'there exists a finite number of accessible worlds such that . . . is true', was introduced and axiomatized by Fattorosi. In this paper we enrich the logical framework of Kf: we give consistency properties and a tableau system (which yields the decidability) explicitly designed for Kf, and we introduce a shorter and more natural axiomatization. Moreover, we show the strong and suggestive relationship between Kf (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    John L. Bell & Silvia Gebellato (1996). Precovers, Modalities and Universal Closure Operators in a Topos. Mathematical Logic Quarterly 42 (1):289-299.
    In this paper we develop the notion of formal precover in a topos by defining a relation between elements and sets in a local set theory. We show that such relations are equivalent to modalities and to universal closure operators. Finally we prove that these relations are well characterized by a convenient restriction to a particular set.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11. Wilfrid Sellars (1957). Counterfactuals, Dispositions, and the Causal Modalities. In Herbert Feigl Michael Scriven & Grover Maxwell (eds.), Minnesota Studies in The Philosophy of Science, Vol. II. University of Minnesota Press
    [p.225] Introduction (i) Although the following essay attempts to deal in a connected way with a number of connected conceptual tangles, it is by no means monolithic in design. It divides roughly in two, with the first half (Parts I and II) devoted to certain puzzles which have their source in a misunderstanding of the more specific structure of the language in which we describe and explain natural phenomena; while the second half (Parts III and IV) attempts to resolve the (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  6
    Ira J. Hirsh & Carl E. Sherrick Jr (1961). Perceived Order in Different Sense Modalities. Journal of Experimental Psychology 62 (5):423.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  13.  2
    Stanley J. Weiss (1964). Summation of Response Strengths Instrumentally Conditioned to Stimuli in Different Sensory Modalities. Journal of Experimental Psychology 68 (2):151.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  14.  18
    Eva-Maria Engelen (1996). Review On: Ruth Barcan Marcus, Modalities. Philosophical Essays, New York/Oxford (Oxford University Press) 1993. [REVIEW] Erkenntnis 44 (1):125-128.
    The great contribution Marcus has made to several of intensely discussed topics in philosophy might not have been noticed fully without this collection of some of her most important articles that makes it evident that her achievement is not limited to inventing the famous Barcan formula.
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  3
    Jack A. Adams & Ridgely W. Chambers (1962). Response to Simultaneous Stimulation of Two Sense Modalities. Journal of Experimental Psychology 63 (2):198.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16.  2
    F. W. Irwin & M. G. Preston (1937). Avoidance of Repetition of Judgments Across Sense Modalities. Journal of Experimental Psychology 21 (5):511.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  17. Richard Gray (2013). Is There a Space of Sensory Modalities? Erkenntnis 78 (6):1259-1273.
    Two proposals have recently, and independently, been made about a space of possible sensory modalities. In this paper I examine these different proposals, and offer one of my own. I suggest that there are several spaces associated with distinct kinds of sensory modality.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  18. Brian L. Keeley (2002). Making Sense of the Senses: Individuating Modalities in Humans and Other Animals. Journal of Philosophy 99 (1):5-28.
    How ought we differentiate the senses? What, say, distinguishes vision from audition? The question comes in two versions. First, there is the traditional problem of individuating the senses in humans. Second, there is also an important question about what sensory modalities we ought to attribute to non-human animals, a version of the question that has been virtually ignored by philosophers. Modality ought to be construed as an “avenue into” an organism for information external to the central nervous system. Six (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   21 citations  
  19.  72
    John Maier (2013). The Agentive Modalities. Philosophy and Phenomenological Research 87 (3):113-134.
    A number of philosophical projects require a proper understanding of the modal aspects of agency, or of what I call ‘the agentive modalities.’ I propose a general account of the agentive modalities, one which takes as its primitive the decision-theoretic notion of an option. I relate this account to the standard semantics for ‘can’ and to the viability of some positions in the free will debates.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  20.  60
    Jiri Benovsky (2015). Alethic Modalities, Temporal Modalities, and Representation. Kriterion: Journal of Philosophy 29:18-34.
    In this article, I am interested in four versions of what is often referred to as "the Humphrey objection". This objection was initially raised by Kripke against Lewis's modal counterpart theory, so this is where I will start the discussion. As we will see, there is a perfectly good answer to the objection. I will then examine other places where a similar objection can be raised: it can arise in the case of temporal counterpart theory (in fact, it can arise (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  21. Dominic M. M. Lopes (1997). Art Media and the Sense Modalities: Tactile Pictures. Philosophical Quarterly 47 (189):425-440.
    It is widely assumed that the art media can be individuated with reference to the sense modalities. Different art media are perceived by means of different sense modalities, and this tells us what properties of each medium are aesthetically relevant. The case of pictures appears to fit this principle well, for pictures are deemed purely and paradigmatically visual representations. However, recent psychological studies show that congenitally and early blind people have the ability to interpret and make raised‐line drawings (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  22. Jessica Leech (2012). Kant's Modalities of Judgment. European Journal of Philosophy 20 (2):260-284.
    Abstract: This paper proposes a way to understand Kant's modalities of judgment—problematic, assertoric, and apodeictic—in terms of the location of a judgment in an inference. Other interpretations have tended to understand these modalities of judgment in terms of one or other conventional notion of modality. For example, Mattey (1986) argues that we should take them to be connected to notions of epistemic or doxastic modality. I shall argue that this is wrong, and that these kinds of interpretation of (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23. Peter Fritz, Matrices and Modalities: On the Logic of Two-Dimensional Semantics.
    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. Usually, this theory is presented in an informal manner. In this thesis, I take first steps in formalizing it, and use the formalization to present some considerations in favor of two-dimensional semantics. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  24.  6
    Marek McGann (2010). Perceptual Modalities: Modes of Presentation or Modes of Interaction? Journal of Consciousness Studies 17 (1-2):1-2.
    Perceptual modalities have been traditionally considered the product of dedicated biological systems producing information for higher cognitive processing. Psychological and neuropsychological evidence is offered which undermines this point of view and an alternative account of modality from the enactive approach to understanding cognition is suggested. Under this view, a perceptual modality is a stable form of perception which is structured not just by the biological sensitivities of the agent, but by their goals and the set of skills or expertise (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  25.  22
    Horacio Arló Costa (2005). Non-Adjunctive Inference and Classical Modalities. Journal of Philosophical Logic 34 (5/6):581 - 605.
    The article focuses on representing different forms of non-adjunctive inference as sub-Kripkean systems of classical modal logic, where the inference from □A and □B to □A ∧ B fails. In particular we prove a completeness result showing that the modal system that Schotch and Jennings derive from a form of non-adjunctive inference in (Schotch and Jennings, 1980) is a classical system strictly stronger than EMN and weaker than K (following the notation for classical modalities presented in Chellas, 1980). The (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  26. Dominic Gregory (2011). Iterated Modalities, Meaning and A Priori Knowledge. Philosophers' Imprint 11 (3).
    Recent work on the philosophy of modality has tended to pass over questions about iterated modalities in favour of constructing ambitious metaphysical theories of possibility and necessity, despite the central importance of iterated modalities to modal logic. Yet there are numerous unresolved but fundamental issues involving iterated modalities: Chandler and Salmon have provided forceful arguments against the widespread assumption that all necessary truths are necessarily necessary, for example. The current paper examines a range of ways in which (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  12
    Heinrich Wansing (1998). Nested Deontic Modalities: Another View of Parking on Highways. [REVIEW] Erkenntnis 49 (2):185-199.
    A suggestion is made for representing iterated deontic modalities in stit theory, the “seeing-to-it-that” theory of agency. The formalization is such that normative sentences are represented as agentive sentences and therefore have history dependent truth conditions. In contrast to investigations in alethic modal logic, in the construction of systems of deontic logic little attention has been paid to the iteration... of the deontic modalities.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  28.  11
    Mehrnoosh Sadrzadeh & Roy Dyckhoff (2010). Positive Logic with Adjoint Modalities: Proof Theory, Semantics, and Reasoning About Information. Review of Symbolic Logic 3 (3):351-373.
    We consider a simple modal logic whose nonmodal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of axioms corresponding to the characteristic axioms of T , S4 , and S5 , such logics are useful, as shown in previous work by Baltag, Coecke, and the first author, for encoding and reasoning about information and misinformation in multiagent systems. For the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  17
    Cyriel M. A. Pennartz (2009). Identification and Integration of Sensory Modalities: Neural Basis and Relation to Consciousness. Consciousness and Cognition 18 (3):718-739.
    A key question in studying consciousness is how neural operations in the brain can identify streams of sensory input as belonging to distinct modalities, which contributes to the representation of qualitatively different experiences. The basis for identification of modalities is proposed to be constituted by self-organized comparative operations across a network of unimodal and multimodal sensory areas. However, such network interactions alone cannot answer the question how sensory feature detectors collectively account for an integrated, yet phenomenally differentiated experiential (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  13
    Ming Xu (1995). Busy Choice Sequences Refraining Formulas and Modalities. Studia Logica 54 (3):267 - 301.
    The purpose of this paper is to present some results instit theory, a theory of agency proposed by N. Belnap and M. Perloff. We will establish a correspondence between the numbers ofstit modalities and the complexity degrees ofbusy choice sequences in semantic structures, and consequently, a correspondence between the number of modes of actions/inactions instit theory and the complexity degrees ofbusy choice sequences in semantic structures.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  31.  22
    Manuel Rebuschi (2008). Czeżowski's Axiological Concepts as Full-Fledged Modalities. Forum Philosophicum: International Journal for Philosophy 13 (1):103-110.
    This short note provides a tentative formalization of Czeżowski's ideas about axiological concepts: Good and Evil are conceived of as modalities rather than as predicates. A natural account of the resulting “ethical logic” appears to be very close to standard deontic logic. If one does not resolve to become an antirealist regarding moral values, a possible way out is to become a revisionist about deontology: convert to intuitionism or other kind of revisionism for deontic logic, and remain classical for (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  32.  25
    Marcello D'agostino, Dov M. Gabbay & Alessandra Russo (1997). Grafting Modalities Onto Substructural Implication Systems. Studia Logica 59 (1):65-102.
    We investigate the semantics of the logical systems obtained by introducing the modalities and into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Then, in the spirit of the LDS (Labelled Deductive Systems) methodology, we "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  33.  19
    Bas C. van Fraassen (1969). Meaning Relations and Modalities. Noûs 3 (2):155-167.
    Modalities explained through the idea of a logical space.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  34.  24
    Robert Goldblatt (1992). Parallel Action: Concurrent Dynamic Logic with Independent Modalities. Studia Logica 51 (3-4):551 - 578.
    Regular dynamic logic is extended by the program construct, meaning and executed in parallel. In a semantics due to Peleg, each command is interpreted as a set of pairs (s,T), withT being the set of states reachable froms by a single execution of, possibly involving several processes acting in parallel. The modalities ] are given the interpretations>A is true ats iff there existsT withsRT andA true throughoutT, and.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  35.  17
    Patrice Bailhache (1998). How to Mix Alethic, Deontic, Temporal, Individual Modalities. Logica Trianguli 2:3-16.
    Deontic logic handles not only deontic modalities, but also alethic and temporal ones. In addition, individuals like authorities and addressees play an important role. R5-D5 is a system handling alethic, deontic and temporal modalities, whose adequacy has been proved in an earlier paper. Similarly for KD*UXY with sets of individuals . The present article is an attempt to construct a general system mixing R5-D5 and KD*UXY.
    Direct download  
     
    Export citation  
     
    My bibliography  
  36.  4
    Andrea Masini (1992). 2-Sequent Calculus: A Proof Theory of Modalities. Annals of Pure and Applied Logic 58 (3):229-246.
    Masini, A., 2-Sequent calculus: a proof theory of modalities, Annals of Pure and Applied Logic 58 229–246. In this work we propose an extension of the Getzen sequent calculus in order to deal with modalities. We extend the notion of a sequent obtaining what we call a 2-sequent. For the obtained calculus we prove a cut elimination theorem.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  37.  17
    Grzegorz Malinowski (1997). On Many-Valuedness, Sentential Identity, Inference and Lukasiewicz Modalities. Logica Trianguli 1:59-72.
    The development of the method of logical matrices at the turn of 19th Century made it possible to define the concept of many-valued logic. Since the first construction of the system of three-valued logic by ukasiewicz in 1918 several matrix based logics have been proposed, cf. [8]. The aim of the present paper is to touch upon some problems related to the topic, which would permit one to get a viewpoint upon the nature of many-valuedness. First, we show that the (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  53
    L. Bortolotti (2002). Consciousness and Intentionality: Models and Modalities of Attribution. Australasian Journal of Philosophy 80 (2):247 – 248.
    Book Information Consciousness and Intentionality: Models and Modalities of Attribution. Edited by Fisette Denis. Kluwer Academic Publishers. Dordrecht. 1999. Pp. viii + 361. Hardback, US$140, £88.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  39.  2
    Michael Frauchiger (2015). Modalities, Identity, Belief, and Moral Dilemmas. In Modalities, Identity, Belief, and Moral Dilemmas: Themes From Barcan Marcus. De Gruyter
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  28
    Amy Karofsky (2003). God, Modalities, and Conceptualism. Philosophy and Theology 15 (2):257-271.
    God’s relationship to modalities poses a serious problem for the theist. If God determines modalities, then it seems that he can do anything. If, on the other hand, modalities determine God’s actions, then it seems that he is not genuinely free. Conceptualism offers a solution to this problem by maintaining that modalities are determined by what is conceivable for the intellects of the universe that God has chosen to create. Prior to the creation of intellects, there (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  41.  20
    Soshichi Uchii (1972). Inductive Logic with Causal Modalities: A Probabilistic Approach. Philosophy of Science 39 (2):162-178.
    This paper tries to extend Hintikka's inductive logic so that we can confirm a causally necessary statement. For this purpose, a joint system of inductive logic and logic of causal modalities is constructed. This system can offer a plausible explication of the distinction between nomic and accidental universality, as well as a good formulation of a causal law. And the transition from actuality to causal necessity is construed, in this system, as essentially probabilistic; i.e. no statements about actuality can (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  42.  6
    Jean-Louis Gardies (1998). Basic Logic for Ontic and Deontic Modalities. Logica Trianguli 2:31-47.
    The difficulty to interpret the iteration of modalities, already ontic and still more deontic, incites to pay attention to the system B of basic modal logic that John L. Pollock proposed in 1967. The Pollock’s system brought all the theses which, in the classical ontic modal systems, from Sl to S5, contain no iteration of the modal functors. With this basic ontic system we characterize a basic deontic system, and a basic ontico-deontic system, the former including all the theses (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  25
    Roy Dyckhoff (2010). Positive Logic with Adjoint Modalities: Proof Theory, Semantics, and Reasoning About Information. Review of Symbolic Logic 3 (3):351-373.
    We consider a simple modal logic whose nonmodal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of axioms corresponding to the characteristic axioms of (e.g.) T, S4, and S5, such logics are useful, as shown in previous work by Baltag, Coecke, and the first author, for encoding and reasoning about information and misinformation in multiagent systems. For the propositional-only fragment (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  44.  28
    Xuezhi Zhang (2007). Several Modalities of the Body-Mind Relationship in Traditional Chinese Philosophy. Frontiers of Philosophy in China 2 (3):379-401.
    Ancient Chinese philosophers were inclined to preserve the doctrine of a unified body and mind rather than to engage in a discussion on the separation of the two. In addition, most traditional Chinese philosophers stressing in particular the function of mind. Based on the tradition of believing in the concept of qi, they traced the cause of their spiritual activities to the natural effect of the qi. The modalities display a phenomenological characteristic that looks at mental activities lightly, (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  45.  11
    Francesco Caro (1988). Graded Modalities, II (Canonical Models). Studia Logica 47 (1):1 - 10.
    This work intends to be a generalization and a simplification of the techniques employed in [2], by the proposal of a general strategy to prove satisfiability theorems for NLGM-s (= normal logics with graded modalities), analogously to the well known technique of the canonical models by Lemmon and Scott for classical modal logics.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  1
    D. Porello & N. Troquard (2015). Non-Normal Modalities in Variants of Linear Logic. Journal of Applied Non-Classical Logics 25 (3):229-255.
    This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  47.  6
    Adriano Dodó & João Marcos (2014). Negative Modalities, Consistency and Determinedness. Electronic Notes in Theoretical Computer Science 300:21-45.
    We study a modal language for negative operators—an intuitionistic-like negation and its paraconsistent dual—added to (bounded) distributive lattices. For each non-classical negation an extra operator is hereby adjoined in order to allow for standard logical inferences to be opportunely restored. We present abstract characterizations and exhibit the main properties of each kind of negative modality, as well as of the associated connectives that express consistency and determinedness at the object-language level. Appropriate sequent-style proof systems and adequate kripke semantics are also (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  48.  9
    Vladimir Lobovikov (2008). Juridical and Aristotelian Modalities. Proceedings of the Xxii World Congress of Philosophy 40:53-59.
    In “Elementa Juris Naturalis” (1671) G.W. Leibniz formulated the genius intuition about the fundamental unity of juridical and Aristotelian modalities. Interpreting and explicating this intuition by virtue of the deontic logic G.W. Wright arrived to the conclusion that the unity of modalities in question is not an equivalence relation but an analogy one. However a complement for G.W. Wright’s explication of the intuition of G.W. Leibniz was submitted. This complement was a two-valued algebra of formal-natural-law philosophy of juridical (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  5
    Irene Ronga, Carla Bazzanella, Ferdinando Rossi & Giandomenico Lannetti (2012). Linguistic Synaesthesia, Perceptual Synaesthesia, and the Interaction Between Multiple Sensory Modalities. Pragmatics and Cognition 20 (1):135-167.
    Recent studies on cortical processing of sensory information highlight the importance of multisensory integration, and define precise rules governing reciprocal influences between inputs of different sensory modalities. We propose that psychophysical interactions between different types of sensory stimuli and linguistic synaesthesia share common origins and mechanisms. To test this hypothesis, we compare neurophysiological findings with corpus-based analyses relating to linguistic synaesthesia. Namely, we present Williams' hypothesis and its recent developments about the hierarchy of synaesthetic pairings, and examine critical aspects (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  50.  4
    Michał Walicki (2008). Modalities as Interactions Between the Classical and the Intuitionistic Logics. Logic and Logical Philosophy 15 (3):193-215.
    We give an equivalent formulation of topological algebras, interpreting S4, as boolean algebras equipped with intuitionistic negation. The intuitionistic substructure—Heyting algebra—of such an algebra can be then seen as an “epistemic subuniverse”, and modalities arise from the interaction between the intuitionistic and classical negations or, we might perhaps say, between the epistemic and the ontological aspects: they are not relations between arbitrary alternatives but between intuitionistic substructures and one common world governed by the classical (propositional) logic. As an example (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000