Results for 'feature logic'

1000+ found
Order:
  1.  50
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  22
    Fibred Semantics for Feature-Based Grammar Logic.Jochen Dörre, Esther König & Dov Gabbay - 1996 - Journal of Logic, Language and Information 5 (3-4):387-422.
    This paper gives a simple method for providing categorial brands of feature-based unification grammars with a model-theoretic semantics. The key idea is to apply the paradigm of fibred semantics (or layered logics, see Gabbay (1990)) in order to combine the two components of a feature-based grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Rounds-style feature logic. These are combined by replacing (or annotating) atomic formulas of the first logic, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3. The Logic of Typed Feature Structures with Applications to Unification Grammars, Logic Programs and Constraint Resolution.Bob Carpenter - 1992
     
    Export citation  
     
    Bookmark   1 citation  
  4.  24
    On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations.Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt & Gert Smolka - 1993 - Journal of Logic, Language and Information 2 (1):1-18.
    Feature logics are the logical basis for so-called unification grammars studied in computational linguistics. We investigate the expressivity of feature terms with negation and the functional uncertainty construct needed for the description of long-distance dependencies and obtain the following results: satisfiability of feature terms is undecidable, sort equations can be internalized, consistency of sort equations is decidable if there is at least one atom, and consistency of sort equations is undecidable if there is no atom.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Logic for Exact Entailment.Kit Fine & Mark Jago - 2018 - Review of Symbolic Logic:1-21.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  83
    Moorean Phenomena in Epistemic Logic.Wesley H. Holliday & Thomas F. Icard - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin B. Shehtman (eds.), Advances in Modal Logic 8. College Publications.
    A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬BOXp, read as “p is true but you do not know p.” Not only is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  7. Bolzano and Kant on the Nature of Logic.Clinton Tolley - 2012 - History and Philosophy of Logic 33 (4):307-327.
    Here I revisit Bolzano's criticisms of Kant on the nature of logic. I argue that while Bolzano is correct in taking Kant to conceive of the traditional logic as a science of the activity of thinking rather than the content of thought, he is wrong to charge Kant with a failure to identify and examine this content itself within logic as such. This neglects Kant's own insistence that traditional logic does not exhaust logic as such, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8. An Introduction to Formal Logic.Peter Smith - 2003 - Cambridge University Press.
    Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  32
    A P‐Adic Probability Logic.Angelina Ilić‐Stepić, Zoran Ognjanović, Nebojša Ikodinović & Aleksandar Perović - 2012 - Mathematical Logic Quarterly 58 (4-5):263-280.
    In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  14
    Interpreting First-Order Theories Into a Logic of Records.Marcel van de Vel - 2002 - Studia Logica 72 (3):411-432.
    Features are unary operators used to build record-like expressions. The resulting term algebras are encountered in linguistic computation and knowledge representation. We present a general description of feature logic and of a slightly restricted version, called record logic. It is shown that every first-order theory can be faithfully interpreted in a record logic with various additional axioms. This fact is used elsewhere [15] to extend a result of Tarski and Givant [14] on expressing first order theories (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11. Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.
    Fitch's basic logic is an untyped illative combinatory logic with unrestricted principles of abstraction effecting a type collapse between properties (or concepts) and individual elements of an abstract syntax. Fitch does not work axiomatically and the abstraction operation is not a primitive feature of the inductive clauses defining the logic. Fitch's proof that basic logic has unlimited abstraction is not clear and his proof contains a number of errors that have so far gone undetected. This (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  47
    Reasoning About Truth in First-Order Logic.Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani & Lance Rips - 2013 - Journal of Logic, Language and Information 22 (1):115-137.
    First, we describe a psychological experiment in which the participants were asked to determine whether sentences of first-order logic were true or false in finite graphs. Second, we define two proof systems for reasoning about truth and falsity in first-order logic. These proof systems feature explicit models of cognitive resources such as declarative memory, procedural memory, working memory, and sensory memory. Third, we describe a computer program that is used to find the smallest proofs in the aforementioned (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  13.  60
    Relevant Logic: A Philosophical Interpretation.Edwin D. Mares - 2004 - Cambridge University Press.
    This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various applications (...)
  14.  41
    Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge University Press.
    Designed for use by philosophy students, this book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dictio distinction. Discussion of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  15.  44
    Forms of Thought: A Study in Philosophical Logic.E. J. Lowe - 2013 - Cambridge University Press.
    Forms of thought are involved whenever we name, describe, or identify things, and whenever we distinguish between what is, might be, or must be the case. It appears to be a distinctive feature of human thought that we can have modal thoughts, about what might be possible or necessary, and conditional thoughts, about what would or might be the case if something else were the case. Even the simplest thoughts are structured like sentences, containing referential and predicative elements, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  16.  28
    A Structuralist Theory of Logic.Arnold Koslow - 1992 - Cambridge University Press.
    In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various (...)
  17.  97
    Is Logic All in Our Heads? From Naturalism to Psychologism.Francis J. Pelletier, Renée Elio & Philip Hanson - 2008 - Studia Logica 88 (1):3-66.
    Psychologism in logic is the doctrine that the semantic content of logical terms is in some way a feature of human psychology. We consider the historically influential version of the doctrine, Psychological Individualism, and the many counter-arguments to it. We then propose and assess various modifications to the doctrine that might allow it to avoid the classical objections. We call these Psychological Descriptivism, Teleological Cognitive Architecture, and Ideal Cognizers. These characterizations give some order to the wide range of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18. What is a Non-Truth-Functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.
    What is the fundamental insight behind truth-functionality ? When is a logic interpretable by way of a truth-functional semantics? To address such questions in a satisfactory way, a formal definition of truth-functionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still remains not very widely well-known. A clear distinction can be drawn between logics characterizable (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  32
    First Steps in Modal Logic.Sally Popkorn - 1994 - Cambridge University Press.
    This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  20.  95
    Meaning and Argument: An Introduction to Logic Through Language.Ernest Lepore (ed.) - 2000 - Wiley-Blackwell.
    Meaning and Argument shifts introductory logic from the traditional emphasis on proofs to the symbolization of arguments. Another distinctive feature of this book is that it shows how the need for expressive power and for drawing distinctions forces formal language development. This revised edition includes expanded sections, additional exercises, and an updated bibliography. Updated and revised edition includes extended sections, additional exercises, and an updated bibliography. Distinctive approach in that this text is a philosophical, rather than mathematical introduction (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  66
    Should the Logic of Set Theory Be Intuitionistic?Alexander Paseau - 2001 - Proceedings of the Aristotelian Society 101 (3):369–378.
    It is commonly assumed that classical logic is the embodiment of a realist ontology. In “Sets and Semantics”, however, Jonathan Lear challenged this assumption in the particular case of set theory, arguing that even if one is a set-theoretic Platonist, due attention to a special feature of set theory leads to the conclusion that the correct logic for it is intuitionistic. The feature of set theory Lear appeals to is the open-endedness of the concept of set. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  34
    A Labelled Natural Deduction System for Linear Temporal Logic.Andrzej Indrzejczak - 2003 - Studia Logica 75 (3):345 - 376.
    The paper is devoted to the concise description of some Natural Deduction System (ND for short) for Linear Temporal Logic. The system's distinctive feature is that it is labelled and analytical. Labels convey necessary semantic information connected with the rules for temporal functors while the analytical character of the rules lets the system work as a decision procedure. It makes it more similar to Labelled Tableau Systems than to standard Natural Deduction. In fact, our solution of linearity representation (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  12
    Conceptualizing Classical Logic.Oswaldo Chateaubriand - 2017 - Revista Portuguesa de Filosofia 73 (3-4):989-1000.
    Classical logic is often characterized through certain laws such as bi-valence and sharpness of concepts, among others. My view is that its most fundamental feature is a commitment to an objective conception of truth, which goes together with a realistic metaphysical view. Truth is objective in that it derives from the nature of reality, and is not dependent on beliefs, theories, practices, and the like. Classical logic is a theory of logical properties, logical truths, and logical states (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  26
    Logic for Exact Entailment.Kit Fine & Mark Jago - 2019 - Review of Symbolic Logic 12 (3):536-556.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Dynamic Predicate Logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
    This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   231 citations  
  26.  83
    Kripke Models for Linear Logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.
    We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose. Commutatively and associatively are isolated in such a way that the base Kripke model is a model for noncommutative, nonassociative Linear Logic. We also extend the logic by adding (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  27.  6
    A Cut-Free Gentzen Formulation Of The Modal Logic S5.T. Braüner - 2000 - Logic Journal of the IGPL 8 (5):629-643.
    The goal of this paper is to introduce a new Gentzen formulation of the modal logic S5. The history of this problem goes back to the fifties where a counter-example to cut-elimination was given for an otherwise natural and straightforward formulation of S5. Since then, several cut-free Gentzen style formulations of S5 have been given. However, all these systems are technically involved, and furthermore, they differ considerably from Gentzen's original formulation of classical logic. In this paper we give (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  28.  5
    Logic of Secrets in Collaboration Networks.Sara More & Pavel Naumov - 2011 - Annals of Pure and Applied Logic 162 (12):959-969.
    The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  21
    Linguistics, Logic and Finite Trees.Patrick Blackburn & Wilfried Meyer-Viol - 1994 - Logic Journal of the IGPL 2 (1):3-29.
    A modal logic is developed to deal with finite ordered binary trees a they are used in linguistics. A modal language is introduced with operators for the ‘mother of’, ‘first daughter of’ and ‘second daughter of’ relations together with their transitive reflexive closures. The relevant class of tree models is defined and three linguistic applications of this language are discussed: context free grammars, command relations, and trees decorated with feature structures. An axiomatic proof system is given for which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  30.  51
    Logic of Secrets in Collaboration Networks.Sara Miner More & Pavel Naumov - 2011 - Annals of Pure and Applied Logic 162 (12):959-969.
    The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  24
    A P-Adic Probability Logic.Angelina Illic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic & Aleksandar Perovic - 2012 - Mathematical Logic Quarterly 58 (4):263-280.
    In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  50
    The Logic of Dominance Reasoning.John Cantwell - 2006 - Journal of Philosophical Logic 35 (1):41-63.
    The logic of dominance arguments is analyzed using two different kinds of conditionals: indicative (epistemic) and subjunctive (counter-factual). It is shown that on the indicative interpretation an assumption of independence is needed for a dominance argument to go through. It is also shown that on the subjunctive interpretation no assumption of independence is needed once the standard premises of the dominance argument are true, but that independence plays an important role in arguing for the truth of the premises of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  41
    Normal Deduction in the Intuitionistic Linear Logic.G. Mints - 1998 - Archive for Mathematical Logic 37 (5-6):415-425.
    We describe a natural deduction system NDIL for the second order intuitionistic linear logic which admits normalization and has a subformula property. NDIL is an extension of the system for !-free multiplicative linear logic constructed by the author and elaborated by A. Babaev. Main new feature here is the treatment of the modality !. It uses a device inspired by D. Prawitz' treatment of S4 combined with a construction $<\Gamma>$ introduced by the author to avoid cut-like constructions (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  17
    Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.
    The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original text than other such reconstructions brought forward up to now. To accomplish this, we will not use classical logic, but a novel system developed by Ben-Yami [2014. ‘The quantified argument calculus’, The Review of Symbolic Logic, 7, 120–46] called ‘QUARC’. This system is apt for a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  50
    Logic and Metaphor.James Gasser - 1999 - History and Philosophy of Logic 20 (3-4):227-238.
    In this work, attention is drawn to the abundant use of metaphor and analogy in works of logic. I argue that pervasiveness of figurative language is to be counted among the features that characterize logic and distinguish it from other sciences. This characteristic feature reflects the creativity that is inherent in logic and indeed has been demonstrated to be a necessary part of logic. The goal of this paper, in short, is to provide specific examples (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  25
    Proof and Implication in Mill's Philosophy of Logic.Geoffrey Scarre - 1984 - History and Philosophy of Logic 5 (1):19-37.
    Following a brief preface, the second section of this paper discusses Mill's early reflections on the problem of how deductive inference can be illuminating. In the third section it is suggested that in his Logic Mill misconstrued the feature that the premises of a logically valid argument contain the conclusion as the ground of a charge that deductive proof is question-begging. The fourth section discusses the nature of the traditional petitio objection to syllogism, and the fifth shows that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  27
    The Place of Informal Logic in Philosophy.James B. Freeman - 2000 - Informal Logic 20 (2).
    We argue that informal logic is epistemological. Two central questions concern premise acceptability and connection adequacy. Both may be explicated in tenns of justification, a central epistemological concept. That some premises are basic parallels a foundationalist account of basic beliefs and epistemic support. Some epistemological accounts of these concepts may advance the analysis of premise acceptability and connection adequacy. Infonnallogic has implications for other aspects of philosophy. If causal interpretations are acceptable premises and thus justified, does the world have (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark  
  38.  13
    The Modal Equivalence Rules of the Port-Royal Logic.John Grey - 2017 - History and Philosophy of Logic 38 (3):210-221.
    The Port-Royal Logic includes a brief discussion of modal propositions, containing several mnemonic devices for rules of equivalence governing the possibility, necessity, impossibility, and contingency of propositions. When the mnemonics are decoded, it can be seen that these rules treat possibility and contingency as formally equivalent modes. The aim of this paper is twofold: to show that this identification of possibility and contingency follows from the Logic’s formal treatment of those modes; and to show that such a treatment (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  39.  18
    ``On a System of Computer-Aided Instruction of Logic''.Andrzej Trybulec - 1983 - Bulletin of the Section of Logic 12 (4):214-218.
    There are at least two reasons for the wide spread of CAI: 1. that the student is able to control his own process of learning due to immediate evaluation of his work and progress and 2. that evaluation is homogeneous, i.e. independent of subjective fac- tors, which compensates for possible lack of depth. Also, the psychology of man is such that he is less ashamed to be reprimanded for his errors by a machine than by another human being. It is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  35
    The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900.James Van Evra - 2000 - History and Philosophy of Logic 21 (2):115-134.
    One way to determine the quality and pace of change in a science as it undergoes a major transition is to follow some feature of it which remains relatively stable throughout the process. Following the chosen item as it goes through reinterpretation permits conclusions to be drawn about the nature and scope of the broader change in question. In what follows, this device is applied to the change which took place in logic in the mid-nineteenth century. The (...) chosen as the focal point is the categorical syllogism. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  20
    On Brouwer's Criticism of Classical Logic and Mathematics.Tomasz Placek - 1997 - Logic and Logical Philosophy 5:19-33.
    The aim of this paper is to reconstruct Brouwer’s justification for the intuitionistic revision of logic and mathematics. It is attempted to show that pivotal premisses of his argument are supplied by his philosophy. To this end, the basic tenets of his philosophical doctrine are discussed: the concepts of mind, causal attention, intuition of two-ity and his repudiation of realism.The restriction of intuitionistically allowable objects to spreads and species is traced back to Brouwer’s concept of intuition that is a (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  42.  8
    Deciding Unifiability and Computing Local Unifiers in the Description Logic $Mathcal{E!L}$ Without Top Constructor.Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt & Barbara Morawska - 2016 - Notre Dame Journal of Formal Logic 57 (4):443-476.
    Unification in description logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. The inexpressive description logic EL is of particular interest in this context since, on the one hand, several large biomedical ontologies are defined using EL. On the other hand, unification in EL has been shown to be NP-complete and, thus, of considerably lower complexity than unification in other description logics of similarly restricted expressive power. However, EL (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  10
    Periodicity Based Decidable Classes in a First Order Timed Logic.Danièle Beauquier & Anatol Slissenko - 2006 - Annals of Pure and Applied Logic 139 (1):43-73.
    We describe a decidable class of formulas in a first order timed logic that covers a good amount of properties of real-time distributed systems. Earlier we described a decidable class based on some finiteness properties, and sketched a decidable class in a weaker logic that captures periodicity properties, though without complete proof. The new feature of the decidable class presented here is to be able to treat parametric properties, in particular, properties that concern an arbitrary number of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  44.  74
    Remarks on the Logic of Imagination. A Step Towards Understanding Doxastic Control Through Imagination.Heinrich Wansing - 2017 - Synthese 194 (8):2843-2861.
    Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  45.  87
    On Williamson and Simplicity in Modal Logic.Theodore Sider - 2016 - Canadian Journal of Philosophy 46 (4-5):683-698.
    According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46.  40
    Argument-Based Extended Logic Programming with Defeasible Priorities.Henry Prakken & Giovanni Sartor - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):25-75.
    ABSTRACT Inspired by legal reasoning, this paper presents a semantics and proof theory of a system for defeasible argumentation. Arguments are expressed in a logic-programming language with both weak and strong negation, conflicts between arguments are decided with the help of priorities on the rules. An important feature of the system is that these priorities are not fixed, but are themselves defeasibly derived as conclusions within the system. Thus debates on the choice between conflicting arguments can also be (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  47.  5
    Order Without Rules: Critical Theory and the Logic of Conversation.David Bogen - 1999 - State University of New York Press.
    Questions whether the logic of language underlying Habermas's theory of communicative action is in fact the defining feature of conversational practice.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  48.  57
    Natural Deduction for Dual-Intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
    We present a natural deduction system for dual-intuitionistic logic. Its distinctive feature is that it is a single-premise multiple-conclusions system. Its relationships with the natural deduction systems for intuitionistic and classical logic are discussed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  49. Modal Logic for Philosophers.James W. Garson - 2010 - Cambridge University Press.
    Designed for use by philosophy students, this 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dictio distinction. Discussion (...)
     
    Export citation  
     
    Bookmark   4 citations  
  50.  95
    Cuts and Clouds: Vagueness, its Nature, and its Logic.Richard Dietz & Sebastiano Moruzzi (eds.) - 2009 - Oxford University Press.
    Vagueness is a familiar but deeply puzzling aspect of the relation between language and the world. It is highly controversial what the nature of vagueness is -- a feature of the way we represent reality in language, or rather a feature of reality itself? May even relations like identity or parthood be affected by vagueness? Sorites arguments suggest that vague terms are either inconsistent or have a sharp boundary. The account we give of such paradoxes plays a pivotal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000