Results for 'hybrid'

1000+ found
Order:
See also
  1. Grounding Practical Normativity: Going Hybrid.Ruth Chang - 2013 - Philosophical Studies 164 (1):163-187.
    In virtue of what is something a reason for action? That is, what makes a consideration a reason to act? This is a metaphysical or meta-normative question about the grounding of reasons for action. The answer to the grounding question has been traditionally given in ‘pure’, univocal terms. This paper argues that there is good reason to understand the ground of practical normativity as a hybrid of traditional ‘pure’ views. The paper 1) surveys the three leading ‘pure’ answers to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   56 citations  
  2. Pure Versus Hybrid Expressivism and the Enigma of Conventional Implicature.Stephen Barker - 2014 - In Guy Fletcher & Mike Ridge (eds.), Having it Both Ways: Hybrid Theories and Modern
Metaethics. Oxford University Press. pp. 199-222.
    Can hybridism about moral claims be made to work? I argue it can if we accept the conventional implicature approach developed in Barker (Analysis 2000). However, this kind of hybrid expressivism is only acceptable if we can make sense of conventional implicature, the kind of meaning carried by operators like ‘even’, ‘but’, etc. Conventional implictures are a form of pragmatic presupposition, which involves an unsaid mode of delivery of content. I argue that we can make sense of conventional implicatures, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3. Aesthetic Predicates: A Hybrid Dispositional Account.Teresa Marques - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy 59 (6):723-751, doi:10.1080/0020174X.20.
    This paper explores the possibility of developing a hybrid version of dispositional theories of aesthetic values. On such a theory, uses of aesthetic predicates express relational second-order dispositional properties. If the theory is not absolutist, it allows for the relativity of aesthetic values. But it may be objected to on the grounds that it fails to explain disagreement among subjects who are not disposed alike. This paper explores the possibility of adapting recent proposals of hybrid expressivist theories for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4. Options for Hybrid Expressivism.Caj Strandberg - 2015 - Ethical Theory and Moral Practice 18 (1):91-111.
    In contemporary metaethics, various versions of hybrid expressivism have been proposed according to which moral sentences express both non-cognitive attitudes and beliefs. One important advantage with such positions, its proponents argue, is that they, in contrast to pure expressivism, have a straightforward way of avoiding the Frege-Geach problem. In this paper, I provide a systematic examination of different versions of hybrid expressivism with particular regard to how they are assumed to evade this problem. The major conclusion is that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5. The Missing-Desires Objection to Hybrid Theories of Well-Being.William Lauinger - 2013 - Southern Journal of Philosophy 51 (2):270-295.
    Many philosophers have claimed that we might do well to adopt a hybrid theory of well-being: a theory that incorporates both an objective-value constraint and a pro-attitude constraint. Hybrid theories are attractive for two main reasons. First, unlike desire theories of well-being, hybrid theories need not worry about the problem of defective desires. This is so because, unlike desire theories, hybrid theories place an objective-value constraint on well-being. Second, unlike objectivist theories of well-being, hybrid theories (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  42
    Hybrid Languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
    Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  7.  83
    Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.
    In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language to the strong Priorean language . We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a wide variety of frame classes and to prove completeness using the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8. Hybrid Theories.Christopher Woodard - 2015 - In Guy Fletcher (ed.), The Routledge Handbook of Philosophy of Well-Being. Routledge. pp. 161-174.
    This chapter surveys hybrid theories of well-being. It also discusses some criticisms, and suggests some new directions that philosophical discussion of hybrid theories might take.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  21
    Hybrid Forms of Business: The Logic of Gift in the Commercial World. [REVIEW]Wolfgang Grassl - 2011 - Journal of Business Ethics 100 (S1):109-123.
    Benedict XVI in Caritas in Veritate advances a positive view of businesses that are hybrids between several traditional categories. He expects that the “logic of gift” that animates civil society infuses the market and the State with relations typical for it—reciprocity, gratuitousness, and solidarity. His theological rationale offers an answer to two questions that have largely remained open in the literature—why hybridization of business occurs and why it is desirable. A rational reconstruction of hybrid enterprise that goes beyond a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10. Hybrid Accounts of Ethical Thought and Talk.Teemu Toppinen - 2017 - In Tristram McPherson & David Plunkett (eds.), The Routledge Handbook of Metaethics. Routledge. pp. 243-259.
    This is a draft of a chapter for the Routledge Handbook of Metaethics, edited by David Plunkett and Tristram McPherson. I offer an overview of hybrid views in metaethics, with main focus on hybrid cognitivist views such as those defended by Daniel Boisvert and David Copp, and on hybrid expressivist views such as those defended by Michael Ridge and myself.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  63
    Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
    This is a companion paper to Braüner where a natural deduction system for propositional hybrid logic is given. In the present paper we generalize the system to the first-order case. Our natural deduction system for first-order hybrid logic can be extended with additional inference rules corresponding to conditions on the accessibility relations and the quantifier domains expressed by so-called geometric theories. We prove soundness and completeness and we prove a normalisation theorem. Moreover, we give an axiom system first-order (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  12.  42
    Navigating the Murky Intersection Between Clinical and Organizational Ethics: A Hybrid Case Taxonomy.Sally Bean - 2011 - Bioethics 25 (6):320-325.
    Ethical challenges that arise within healthcare delivery institutions are currently categorized as either clinical or organizational, based on the type of issue. Despite this common binary issue-based methodology, empirical study and increasing academic dialogue indicate that a clear line cannot easily be drawn between organizational and clinical ethics. Disagreement around end-of-life treatments, for example, often spawn value differences amongst parties at both organizational and clinical levels and requires a resolution to address both the case at hand and large-scale underlying system-level (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  36
    Terminating Tableau Systems for Hybrid Logic with Difference and Converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.
    This paper contributes to the principled construction of tableau-based decision procedures for hybrid logic with global, difference, and converse modalities. We also consider reflexive and transitive relations. For converse-free formulas we present a terminating control that does not rely on the usual chain-based blocking scheme. Our tableau systems are based on a new model existence theorem.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  96
    Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
    We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Frege's Theory of Hybrid Proper Names Developed and Defended.Mark Textor - 2007 - Mind 116 (464):947-982.
    Does the English demonstrative pronoun 'that' (including complex demonstratives of the form 'that F') have sense and reference? Unlike many other philosophers of language, Frege answers with a resounding 'No'. He held that the bearer of sense and reference is a so-called 'hybrid proper name' (Künne) that contains the demonstrative pronoun and specific circumstances of utterance such as glances and acts of pointing. In this paper I provide arguments for the thesis that demonstratives are hybrid proper names. After (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  16. Studies of Work: Achieving Hybrid Disciplines in IT Design and Management Studies.John Rooke & David Seymour - 2005 - Human Studies 28 (2):205-221.
    We explore the relationship between ethnomethodology (EM), ethnography and the needs of managers and designers in industry, considering both ethnomethodological and industrial criteria of adequacy and explicating their relationship through the concept of “audience.” We examine a range of studies in this light, with a view to their possible candidacy as hybrid studies and identify three types of application of EM studies of work: market research, design, and business improvement. Application in the first of these fields we dub “anthropological,” (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17.  18
    Hybrid Arguments.Mark Vorobej - 1995 - Informal Logic 17 (2).
    Sometimes logical support for a conclusion is provided exclusively by premises which are independently relevant to that conclusion. At other times, support is provided exclusively by independently irrelevant premises. On still other occasions, relevant and irrelevant premises may collectively offer a distinctive pattern of support. This paper provides a rigorous account of some of these differences in terms of a tripartite classification of convergent, linked and hybrid arguments. These various arguments are defined, diagrammed, and some of their logical properties (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  18.  16
    Intuitionistic Hybrid Logic.Torben Braüner & Valeria de Paiva - 2006 - Journal of Applied Logic 4 (3):231-255.
    Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hybrid logic and prove essential proof-theoretical results for a natural deduction formulation of it. Our natural deduction system is also extended (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19.  40
    Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks.Torben Braüner - 2014 - Journal of Logic, Language and Information 23 (4):415-439.
    The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called false-belief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formalizations disclose that despite this difference, the two versions of the Smarties task have exactly the same underlying logical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  10
    Hybrid Formulas and Elementarily Generated Modal Logics.Ian Hodkinson - 2006 - Notre Dame Journal of Formal Logic 47 (4):443-478.
    We characterize the modal logics of elementary classes of Kripke frames as precisely those modal logics that are axiomatized by modal axioms synthesized in a certain effective way from "quasi-positive" sentences of hybrid logic. These are pure positive hybrid sentences with arbitrary existential and relativized universal quantification over nominals. The proof has three steps. The first step is to use the known result that the modal logic of any elementary class of Kripke frames is also the modal logic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  77
    Hybrid Counterfactual Logics.Katsuhiko Sano - 2009 - Journal of Logic, Language and Information 18 (4):515-539.
    The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis’s counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference “The pig is Mary; Mary is pregnant; therefore the pig is pregnant” as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22. On Bazargan’s “Hybrid Account” of the Permissibility of Killing Minimally Responsible Threats.Uwe Steinhoff - manuscript
    Saba Bazargan proposes a novel “hybrid” justification for the killing of minimally responsible threats (MRTs). His account allegedly combines two elements, namely “the complex account of liability” and “the lesser-evil discounting view.” I argue that Bazargan’s conclusion that minimally responsible threats can sometimes be killed as well as certain other conclusions that Bazargan regards as a particular advantage of his hybrid account are single-handedly generated by one element of the “hybrid account,” namely by the lesser-evil discounting view. (...)
     
    Export citation  
     
    Bookmark  
  23.  5
    Deductive Systems and the Decidability Problem for Hybrid Logics.Michal Zawidzki - 2014 - Cambridge University Press.
    This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  84
    Why New Hybrid Organizations Are Formed: Historical Perspectives on Epistemic and Academic Drift.Thomas Kaiserfeld - 2013 - Minerva 51 (2):171-194.
    By comparing three types of hybrid organizations—18th-century scientific academies, 19th-century institutions of higher vocational education, and 20th-century industrial research institutes—it is the purpose here to answer the question of why new hybrid organizations are continuously formed. Traditionally, and often implicitly, it is often assumed that emerging groups of potential knowledge users have their own organizational preferences and demands influencing the setup of new hybrid organizations. By applying the concepts epistemic and academic drift, it will be argued here, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  41
    Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.
    This is an extended version of the lectures given during the 12-thConference on Applications of Logic in Philosophy and in the Foundationsof Mathematics in Szklarska Poręba. It contains a surveyof modal hybrid logic, one of the branches of contemporary modal logic. Inthe first part a variety of hybrid languages and logics is presented with adiscussion of expressivity matters. The second part is devoted to thoroughexposition of proof methods for hybrid logics. The main point is to showthat application (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  33
    The Complexity of Hybrid Logics Over Equivalence Relations.Martin Mundhenk & Thomas Schneider - 2009 - Journal of Logic, Language and Information 18 (4):493-514.
    This paper examines and classifies the computational complexity of model checking and satisfiability for hybrid logics over frames with equivalence relations. The considered languages contain all possible combinations of the downarrow binder, the existential binder, the satisfaction operator, and the global modality, ranging from the minimal hybrid language to very expressive languages. For model checking, we separate polynomial-time solvable from PSPACE-complete cases, and for satisfiability, we exhibit cases complete for NP, PS pace , NE xp T ime , (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  13
    War, Vagueness and Hybrid War.Jan Almäng - 2019 - Defence Studies 19 (2):189-204.
    It has frequently been observed in the literature on hybrid wars that there is a grey zone between peace and war, and that hybrid wars are conflicts which are not clear cases of war. In this paper, I attempt to illuminate this grey zone and the concept and nature of war from the philosophical discussions of vagueness and institutional facts. Vague terms are characterized by the fact that there is no non-arbitrary boundary between entities which lie in their (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. General Terms, Hybrid Theories and Ambiguitiy. A Discussion of Some Experimental Results.Genoveva Marti - 2015 - In Jussi Haukioja (ed.), Advances in Experimental Philosophy of Language. Bloomsbury Academic. pp. 157-172.
    I examine two sets of experimental results about the semantics of general terms, by Genone and Lombrozo (2012) and by Nichols, Pinillos and Mallon (forthcoming) that allegedly reveal significant variations in semantic intuitions as regards the correct application of general terms. The two sets of authors propose two entirely different semantic treatments: Genone and Lombrozo espouse a hybrid semantics whereas Nichols, Pinillos and Mallon are inclined towards an appeal to ambiguity. I cast some doubts on the coherence of a (...)
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  29.  30
    A Hybrid Logic for Reasoning About Knowledge and Topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
    We extend Moss and Parikh’s bi-modal system for knowledge and effort by means of hybrid logic. In this way, some additional concepts from topology related to knowledge can be captured. We prove the soundness and completeness as well as the decidability of the extended system. Special emphasis will be placed on algebras.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  9
    A Hilbert-Style Axiomatisation for Equational Hybrid Logic.Luís S. Barbosa, Manuel A. Martins & Marta Carreteiro - 2014 - Journal of Logic, Language and Information 23 (1):31-52.
    This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  6
    Decision Procedures for Some Strong Hybrid Logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
    Hybrid logics are extensions of standard modal logics, which significantly increase the expressive power of the latter. Since most of hybrid logics are known to be decidable, decision procedures for them is a widely investigated field of research. So far, several tableau calculi for hybrid logics have been presented in the literature. In this paper we introduce a sound, complete and terminating tableau calculus T H(@,E,D, ♦ −) for hybrid logics with the satisfaction operators, the universal (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  21
    Hybrid Texts and Uniform Law? The Multilingual Case Law of the Court of Justice of the European Union.Karen McAuliffe - 2011 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 24 (1):97-115.
    The case law of the Court of Justice of the European Union is shaped by the language in which it is drafted—i.e. French. However, because French is rarely the mother tongue of those drafting that case law, the texts produced are often stilted and awkward. In addition, those drafting such case law are constrained in their use of language and style of writing. These factors have led to the development of a ‘Court French’ which necessarily shapes the case law produced (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  81
    Hamiltonian Formulation of Statistical Ensembles and Mixed States of Quantum and Hybrid Systems.N. Burić, D. B. Popović, M. Radonjić & S. Prvanović - 2013 - Foundations of Physics 43 (12):1459-1477.
    Representation of quantum states by statistical ensembles on the quantum phase space in the Hamiltonian form of quantum mechanics is analyzed. Various mathematical properties and some physical interpretations of the equivalence classes of ensembles representing a mixed quantum state in the Hamiltonian formulation are examined. In particular, non-uniqueness of the quantum phase space probability density associated with the quantum mixed state, Liouville dynamics of the probability densities and the possibility to represent the reduced states of bipartite systems by marginal distributions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  40
    Hybrid Logic Meets If Modal Logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.
    The hybrid logic and the independence friendly modal logic IFML are compared for their expressive powers. We introduce a logic IFML c having a non-standard syntax and a compositional semantics; in terms of this logic a syntactic fragment of IFML is singled out, denoted IFML c . (In the Appendix it is shown that the game-theoretic semantics of IFML c coincides with the compositional semantics of IFML c .) The hybrid logic is proven to be strictly more expressive (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  55
    Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
    In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. In the classical case other axiomatisations than ours can be found in the literature but in the intuitionistic case no axiomatisations have been published. We consider plain intuitionistic hybrid logic as well as a hybridized version of the constructive and paraconsistent logic N4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  61
    The Promise and Perils of Hybrid Moral Semantics for Naturalistic Moral Realism.Michael Rubin - 2015 - Philosophical Studies 172 (3):691-710.
    In recent years, several philosophers have recommended to moral realists that they adopt a hybrid cognitivist–expressivist moral semantics. Adopting a hybrid semantics enables the realist to account for the action-guiding character of moral discourse, and to account for the possibility of moral (dis)agreement between speakers whose moral sentences express different cognitive contents. I argue that realists should resist the temptation to embrace a hybrid moral semantics. In granting that moral judgments are partly constituted by conative attitudes, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  38
    Nothing New in Ecumenia? Hare, Hybrid Expressivism and de Dicto Beliefs.Daniel Eggers - 2016 - Ethical Theory and Moral Practice 19 (4):831-847.
    One important trend in the debate over expressivism and cognitivism is the emergence of ‘hybrid’ or ‘ecumenical’ theories. According to such theories, moral sentences express both beliefs, as cognitivism has it, and desire-like states, as expressivism has it. One may wonder, though, whether the hybrid move is as novel as its advocates seem to take it to be—or whether it simply leads us back to the conceptions of early expressivists, such as Charles Stevenson or Richard Hare. Michael Ridge (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  32
    Interruptibility as a Constraint on Hybrid Systems.Richard Cooper & Bradley Franks - 1993 - Minds and Machines 3 (1):73-96.
    It is widely mooted that a plausible computational cognitive model should involve both symbolic and connectionist components. However, sound principles for combining these components within a hybrid system are currently lacking; the design of such systems is oftenad hoc. In an attempt to ameliorate this we provide a framework of types of hybrid systems and constraints therein, within which to explore the issues. In particular, we suggest the use of system independent constraints, whose source lies in general considerations (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  24
    Reichenbach, Prior and Hybrid Tense Logic.Patrick Blackburn & Klaus Frovin Jørgensen - 2016 - Synthese 193 (11):3677-3689.
    In this paper we argue that Prior and Reichenbach are best viewed as allies, not antagonists. We do so by combining the central insights of Prior and Reichenbach in the framework of hybrid tense logic. This overcomes a well-known defect of Reichenbach’s tense schema, namely that it gives multiple representations to sentences in the future perfect and the future-in-the-past. It also makes it easy to define an iterative schema for tense that allows for multiple points of reference, a possibility (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  30
    A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
    In this paper, we show the equivalence between the provability of a proof system of basic hybrid logic and that of translated formulas of the classical predicate logic with equality and explicit substitution by a purely proof–theoretic method. Then we show the equivalence of two groups of proof systems of hybrid logic: the group of labelled deduction systems and the group of modal logic-based systems.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  29
    Hybrid Logics of Separation Axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.
    We study hybrid logics in topological semantics. We prove that hybrid logics of separation axioms are complete with respect to certain classes of finite topological models. This characterisation allows us to obtain several further results. We prove that aforementioned logics are decidable and PSPACE-complete, the logics of T 1 and T 2 coincide, the logic of T 1 is complete with respect to two concrete structures: the Cantor space and the rational numbers.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  24
    Disclosing False Identity Through Hybrid Link Analysis.Tossapon Boongoen, Qiang Shen & Chris Price - 2010 - Artificial Intelligence and Law 18 (1):77-102.
    Combating the identity problem is crucial and urgent as false identity has become a common denominator of many serious crimes, including mafia trafficking and terrorism. Without correct identification, it is very difficult for law enforcement authority to intervene, or even trace terrorists’ activities. Amongst several identity attributes, personal names are commonly, and effortlessly, falsified or aliased by most criminals. Typical approaches to detecting the use of false identity rely on the similarity measure of textual and other content-based characteristics, which are (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  4
    Douala as a “Hybrid Space”: Comparing Online and Offline Representations of a Sub-Saharan City.Marta Pucciarelli & Sara Vannini - 2018 - Semiotica 2018 (223):219-250.
    This study investigates the complex relationship between the physical and digital spaces of the city of Douala, Cameroon by comparing its online representation with the social representations emerging orally by locals. Using the results of two existing studies reporting on the online image of the city, we investigate the social representations foreigners and locally relevant people have of Douala and uncover similarities and discrepancies of the two resulting representations. Outcomes from the analysis permit reflection on the implications of these and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  9
    Hybrid Identities and Hybrid Equational Logic.Klaus Denecke - 1995 - Mathematical Logic Quarterly 41 (2):190-196.
    Hybrid identities are sentences in a special second order language with identity. The model classes of sets of hybrid identities are called hybrid solid varieties. We give a Birkhoff-type-characterization of hybrid solid varieties and develop a hybrid equational logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Hasty Generalizers and Hybrid Abducers. External Semiotic Anchors and Multimodal Representations.L. Magnani - 2006 - In P. A. Flach, A. C. Kakas, L. Magnani & O. Ray (eds.), ECAI WORKSHOP 2006 - P. A. Flach, A. C. Kakas, L. Magnani, O. Ray (eds.), Workshop Abduction and Induction in AI and Scientific Modeling, University of Trento, Italy, pp. 1-8. pp. 1--8.
    First of all I would like to describe inductive and abductive reasoning in the light of the agent–based framework to the aim of clarifying their fallacious character and the role of the so-called ideal systems (logical and computational). Then I will analyze some inductive and abductive types of reasoning that in the perspective of classical and informal logic are defined fallacies. I will describe how in an agent-based reasoning this kind of fallacious reasoning can in some cases be redefined and (...)
     
    Export citation  
     
    Bookmark  
  46.  71
    Frege’s Theory of Hybrid Proper Names Extended.Mark Textor - 2015 - Mind 124 (495):823-847.
    According to Frege, neither demonstratives nor indexicals are singular terms; only a demonstrative together with ‘circumstances accompanying its utterance’ has sense and singular reference. While this view seems defensible for demonstratives, where demonstrations serve as non-verbal signs, indexicals, especially pure indexicals like ‘I’, ‘here’, and ‘now’, seem not to be in need of completion by circumstances of utterance. In this paper I argue on the basis of independent reasons that indexicals are in fact in need of completion; I identify the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  37
    Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
    In this paper two different natural deduction systems forhybrid logic are compared and contrasted.One of the systems was originally given by the author of the presentpaper whereasthe other system under consideration is a modifiedversion of a natural deductionsystem given by Jerry Seligman.We give translations in both directions between the systems,and moreover, we devise a set of reduction rules forthe latter system bytranslation of already known reduction rules for the former system.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48.  2
    A Tableau System for a First-Order Hybrid Logic.Jens Ulrik Hansen - 2007 - In Jørgen Villadsen, Thomas Bolander & Torben Braüner (eds.), Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007).
    In this paper a first-order version of hybrid logic is presented. The language is obtained by adding nominals, satisfaction operators and the down-arrow binder to classical first-order modal logic. The satisfaction operators are applied to both formulas and terms. Moreover adding the universal modality is discussed. This first-order hybrid language is interpreted over varying domains and a sound and complete, fully internalized tableau system for this logic is given.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  19
    Negotiating the Hybrid: Art, Theory and Genetic Technologies. [REVIEW]Caroline Seck Langill - 2006 - AI and Society 20 (1):49-62.
    Over the past decade artists have increasingly turned to science in order to investigate technology’s effect. The move from hardware-based technologies to live organisms as media, raises ethical issues that the broader art community is addressing. This paper tracks the history of instrumental disengagement to determine when and how the gradual codification of life contributed to the eventual use of live organisms in art practice.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  10
    Pairwise Disjoint Eight-Shaped Curves in Hybrid Planes.Camillo Costantini - 2007 - Mathematical Logic Quarterly 53 (6):551-557.
    We introduce a suitable notion of eight-shaped curve in the product S × ℝ of a Suslin line S for the real line ℝ, and we prove that if S is dense in itself, then every collection of pairwise disjoint eight-shaped curves in S × ℝ is countable. This parallels a folklore result which holds for the real plane.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000