Search results for 'Negative Logic' (try it on Scholar)

1000+ found
Order:
  1. Aristotelian Logic (forthcoming). Pairs of Negative Syllogistic Premises Yielding Conclusions. Logique Et Analyse.
    No categories
     
    Export citation  
     
    My bibliography  
  2.  7
    Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic (1999). Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW] Monograph Collection (Matt - Pseudo).
    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  
     
    My bibliography   1 citation  
  3. Dolf Rami, Non‐Standard Neutral Free Logic, Empty Names and Negative Existentials.
    In this paper I am concerned with an analysis of negative existential sentences that contain proper names only by using negative or neutral free logic. I will compare different versions of neutral free logic with the standard system of negative free logic (Burge, Sainsbury) and aim to defend my version of neutral free logic that I have labeled non-standard neutral free logic.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  4.  49
    Wayne Martin, Positive and Negative Logic.
    Acts of criticism characteristically display a negative and a positive dimension. I undertake a qualified defense of the thesis that both dimensions are essential, at least in the case of logical criticism – criticism that relies either implicitly or explicitly on the resources of logic. Such criticism presupposes at least a minimal grasp on what is involved in ‘getting it right’ in the domain that is subjected to critique. In making the case I distinguish between positive and (...) logic. Traditional logic is positive insofar as it takes as primitive a positive notion, typically truth. I consider to what extent logic might be reconstructed on an exclusively negative basis – as a tool for avoiding falsity and fallacy. Negative logic faces serious obstacles which suggest a prima facie case that logical criticism is essentially, not just accidentally, positive. (shrink)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  5.  9
    Whalen Lai (1995). White Horse Not Horse: Making Sense of a Negative Logic. Asian Philosophy 5 (1):59 – 74.
    Abstract Kung?sun Lung's thesis on ?White Horse [is] not Horse? has been solved by A. C. Graham on the basis of a part/whole logic and by Chad Hansen on that and a ?mass?noun? hypothesis. We present it as a case of reducing White Horse to its two most telling marks and then, on the basis of the good Sense (instead of Reference) in a Negative Logic?the pragmatics of locating X as the remainder left over when all non?X's (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  39
    Norbert Gratzl (2010). A Sequent Calculus for a Negative Free Logic. Studia Logica 96 (3):331-348.
    This article presents a sequent calculus for a negative free logic with identity, called N . The main theorem (in part 1) is the admissibility of the Cut-rule. The second part of this essay is devoted to proofs of soundness, compactness and completeness of N relative to a standard semantics for negative free logic.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  7.  20
    Duccio Luchi & Franco Montagna (1999). An Operational Logic of Proofs with Positive and Negative Information. Studia Logica 63 (1):7-25.
    The logic of proofs was introduced by Artemov in order to analize the formalization of the concept of proof rather than the concept of provability. In this context, some operations on proofs play a very important role. In this paper, we investigate some very natural operations, paying attention not only to positive information, but also to negative information (i.e. information saying that something cannot be a proof). We give a formalization for a fragment of such a logic (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  8.  11
    Sergei P. Odintsov (2004). Negative Equivalence of Extensions of Minimal Logic. Studia Logica 78 (3):417 - 442.
    Two logics L1 and L2 are negatively equivalent if for any set of formulas X and any negated formula ¬, ¬ can be deduced from the set of hypotheses X in L1 if and only if it can be done in L2. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9. Duncan Ivison, Pluralism and the Hobbesian Logic of Negative Constitutionalism.
    According to an essentially Hobbesian account of political order, the claims of cultural and national minorities within a state to some form of constitutional or institutional recognition are morally suspect and politically undesirable. Underlying this Hobbesian logic is a particular understanding of the relation between law and politics. `Negative constitutionalism' is focused primarily on limiting the damage government can do. However the pursuit of constitutional minimalism runs up against the challenges presented by deeply diverse political communities. By investigating (...)
     
    Export citation  
     
    My bibliography  
  10.  11
    Marco Hollenberg (1998). Characterizations of Negative Definability in Modal Logic. Studia Logica 60 (3):357-386.
    Negative definability ([18]) is an alternative way of defining classes of Kripke frames via a modal language, one that enables us, for instance, to define the class of irreflexive frames. Besides a list of closure conditions for negatively definable classes, the paper contains two main theorems. First, a characterization is given of negatively definable classes of (rooted) finite transitive Kripke frames and of such classes defined using both traditional (positive) and negative definitions. Second, we characterize the negatively definable (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11. Andrei Voronkov (1999). The Ground-Negative Fragment of First-Order Logic is Πp2-Complete. Journal of Symbolic Logic 64 (3):984 - 990.
    We prove that for a natural class of first-order formulas the validity problem is Π p 2 -complete.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  12.  24
    Jacek Malinowski (1990). The Deduction Theorem for Quantum Logic--Some Negative Results. Journal of Symbolic Logic 55 (2):615-625.
    We prove that no logic (i.e. consequence operation) determined by any class of orthomodular lattices admits the deduction theorem (Theorem 2.7). We extend those results to some broader class of logics determined by ortholattices (Corollary 2.6).
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  13.  2
    Sergei P. Odintsov (2004). Negative Equivalence of Extensions of Minimal Logic. Studia Logica 78 (3):417-442.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  2
    Norbert Gratzl (2010). A Sequent Calculus for a Negative Free Logic. Studia Logica 96 (3):331-348.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. Robert Stepp (1979). Learning Without Negative Examples Via Variable-Valued Logic Characterizations: The Uniclass Inductive Program AQ7UNI. Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
     
    Export citation  
     
    My bibliography  
  16.  2
    Bruno Scarpellini (1971). Review: C. C. Chang, Logic with Positive and Negative Truth Values. [REVIEW] Journal of Symbolic Logic 36 (2):331-332.
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. Johannes Bendiek (1955). Review: A. N. Prior, The Logic of Negative Terms in Boethius; A. N. Prior, On Some Consequentiae in Walter Burleigh. [REVIEW] Journal of Symbolic Logic 20 (1):83-83.
  18. Johannes Bendiek (1955). Prior A. N.. The Logic of Negative Terms in Boethius. Franciscan Studies, Bd. 13 , S. 1–6.Prior A. N.. On Some Consequential in Walter Burleigh. The New Scholasticism, Bd. 27 , S. 433–446. [REVIEW] Journal of Symbolic Logic 20 (1):83.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Bruno Scarpellini (1971). Chang C. C.. Logic with Positive and Negative Truth Values. Proceedings of a Colloquium on Modal and Many-Valued Logics, Helsinki, 23–26 August, 1962, Acta Philosophica Fennica, No. 16, Helsinki 1963, Pp. 19–39. [REVIEW] Journal of Symbolic Logic 36 (2):331-332.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  33
    James Wilkinson Miller (1932). Negative Terms in Traditional Logic. The Monist 42 (1):96-111.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  21.  11
    George Englebretsen (1973). The Logic of Negative Theology. New Scholasticism 47 (2):228-232.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22.  2
    Arindam Chakrabarti (2000). Denying Existence: The Logic, Epistemology and Pragmatics of Negative Existenials and Fictional Discourse. Philosophy and Phenomenological Research 61 (1):233-235.
    Direct download  
     
    Export citation  
     
    My bibliography  
  23. A. N. Prior (1953). The Logic of Negative Terms in Boethius. Franciscan Studies 13 (1):1-6.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  24.  1
    Werner Stelzner (2000). The Impact of Negative Facts for the Imaginary Logic of NA Vasil'ev. Poznan Studies in the Philosophy of the Sciences and the Humanities 76:133-144.
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  4
    Alfred Sidgwick (1878). The Negative Character of Logic. Mind 3 (11):350-357.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  26. Daniel Cohnitz, The Logic of Negative Conceivability.
    Analytic epistemology is traditionally interested in rational reconstructions of cognitive pro- cesses. The purpose of these rational reconstructions is to make plain how a certain cognitive process might eventually result in knowledge or justi?ed beliefs, etc., if we pre-theoretically think that we have such knowledge or such justi?ed beliefs. Typically a rational reconstruction assumes some unproblematic basis of knowledge and some justi?cation-preserving inference pattern and then goes on to show how these two su ce to generate the explicandum.
     
    Export citation  
     
    My bibliography  
  27. J. Ditterich & R. Kaehr (1979). Rehearsal for a Different Reading+ Response to Article by Ludwig, Kh on Gunther, Gotthard Theory of Non-Aristotelian Logic-Diagram of a Reconstruction of Gunther Theory of Negative Languages. Philosophisches Jahrbuch 86 (2):385-408.
    No categories
     
    Export citation  
     
    My bibliography  
  28. A. T. Ormond (1898). The Negative in Logic. Philosophical Review 7:197.
    No categories
     
    Export citation  
     
    My bibliography  
  29. A. T. Ormond (1897). The Negative in Logic. Psychological Review 4 (3):231-245.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  23
    John Corcoran & Wagner Sanz (2008). Disbelief Logic Complements Belief Logic. Bulletin of Symbolic Logic 14:436.
    JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: corcoran@buffalo.edu Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: sanz@fchf.ufg.br -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  48
    Giacomo Bonanno (2000). Common Belief with the Logic of Individual Belief. Mathematical Logic Quarterly 46 (1):49-52.
    The logic of common belief does not always reflect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief operator may fail to satisfy axiom 5. That is, it can happen that neither is A commonly believed nor is it common belief that A is not commonly believed. We identify the intersubjective restrictions on individual beliefs that are incorporated in axiom 5 for common belief.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32.  4
    J. W. Degen & J. M. Werner (2007). Towards Intuitionistic Dynamic Logic. Logic and Logical Philosophy 15 (4):305-324.
    We propose the beginnings of an intuitionistic propopsitional dynamic logic, and describe several serious open problems.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  33.  7
    Jaime Gaspar (2013). Negative Translations Not Intuitionistically Equivalent to the Usual Ones. Studia Logica 101 (1):45-63.
    We refute the conjecture that all negative translations are intuitionistically equivalent by giving two counterexamples. Then we characterise the negative translations intuitionistically equivalent to the usual ones.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  34.  3
    Norihiro Kamide (2013). Temporal Gödel-Gentzen and Girard Translations. Mathematical Logic Quarterly 59 (1):66-83.
    A theorem for embedding a first-order linear- time temporal logic LTL into its intuitionistic counterpart ILTL is proved using Baratella-Masini's temporal extension of the Gödel-Gentzen negative translation of classical logic into intuitionistic logic. A substructural counterpart LLTL of ILTL is introduced, and a theorem for embedding ILTL into LLTL is proved using a temporal extension of the Girard translation of intuitionistic logic into intuitionistic linear logic. These embedding theorems are proved syntactically based on Gentzen-type (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  35.  14
    Yde Venema (1993). Derivation Rules as Anti-Axioms in Modal Logic. Journal of Symbolic Logic 58 (3):1003-1034.
    We discuss a `negative' way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules, the `non-ξ rules', styled after Gabbay's Irreflexivity Rule. The main result of this paper is a metatheorem on completeness, of the following kind: If Λ is a derivation system having a set of axioms that are special Sahlqvist formulas and Λ+ is the extension of Λ with a set of non-ξ rules, then (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  36.  43
    Barry Smith (1982). Introduction to Adolf Reinach, ‘On the Theory of the Negative Judgment’. In Parts and Moments. Studies in Logic and Formal Ontology. Philosophia Verlag 289313.
    Reinach’s essay of 1911 establishes an ontological theory of logic, based on the notion of Sachverhalt or state of affairs. He draws on the theory of meaning and reference advanced in Husserl’s Logical Investigations and at the same time anticipates both Wittgenstein’s Tractatus and later speech act theorists’ ideas on performative utterances. The theory is used by Reinach to draw a distinction between two kinds of negative judgment: the simple negative judgment, which is made true by a (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  11
    Hadi Farahani & Hiroakira Ono (2012). Glivenko Theorems and Negative Translations in Substructural Predicate Logics. Archive for Mathematical Logic 51 (7-8):695-707.
    Along the same line as that in Ono (Ann Pure Appl Logic 161:246–250, 2009), a proof-theoretic approach to Glivenko theorems is developed here for substructural predicate logics relative not only to classical predicate logic but also to arbitrary involutive substructural predicate logics over intuitionistic linear predicate logic without exponentials QFL e . It is shown that there exists the weakest logic over QFL e among substructural predicate logics for which the Glivenko theorem holds. Negative translations (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  38.  8
    D. C. McCarty (2002). Intuitionistic Completeness and Classical Logic. Notre Dame Journal of Formal Logic 43 (4):243-248.
    We show that, if a suitable intuitionistic metatheory proves that consistency implies satisfiability for subfinite sets of propositional formulas relative either to standard structures or to Kripke models, then that metatheory also proves every negative instance of every classical propositional tautology. Since reasonable intuitionistic set theories such as HAS or IZF do not demonstrate all such negative instances, these theories cannot prove completeness for intuitionistic propositional logic in the present sense.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  39.  13
    Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso (2003). Squares in Fork Arrow Logic. Journal of Philosophical Logic 32 (4):343-355.
    In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  40.  18
    Karel Lambert (2001). From Predication to Programming. Minds and Machines 11 (2):257-265.
    A free logic is one in which a singular term can fail to refer to an existent object, for example, `Vulcan' or `5/0'. This essay demonstrates the fruitfulness of a version of this non-classical logic of terms (negative free logic) by showing (1) how it can be used not only to repair a looming inconsistency in Quine's theory of predication, the most influential semantical theory in contemporary philosophical logic, but also (2) how Beeson, Farmer and (...)
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography  
  41.  6
    Christopher W. Tindale (2006). Perelman, Informal Logic and the Historicity of Reason. Informal Logic 26 (3):341-357.
    In a posthumous paper, Perelman discusses his decision to bring his theory of argumentation together with rhetoric rather than calling it an informal logic. This is due in part because of the centrality he gives to audience, and in part because of the negative attitude that informal logicians have to rhetoric. In this paper, I explore both of these concerns by way of considering what benefits Perelman’s work can have for informal logic, and what insights the work (...)
    Direct download (16 more)  
     
    Export citation  
     
    My bibliography  
  42.  11
    Nasim Mahoozi & Thomas Mormann, Not Much Higher-Order Vagueness in Williamson’s ’Logic of Clarity’.
    This paper deals with higher-order vagueness in Williamson's 'logic of clarity'. Its aim is to prove that for 'fixed margin models' (W,d,α ,[ ]) the notion of higher-order vagueness collapses to second-order vagueness. First, it is shown that fixed margin models can be reformulated in terms of similarity structures (W,~). The relation ~ is assumed to be reflexive and symmetric, but not necessarily transitive. Then, it is shown that the structures (W,~) come along with naturally defined maps h and (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  7
    Takuro Onishi (forthcoming). Understanding Negation Implicationally in the Relevant Logic R. Studia Logica:1-19.
    A star-free relational semantics for relevant logic is presented together with a sound and complete sequent proof theory. It is an extension of the dualist approach to negation regarded as modality, according to which de Morgan negation in relevant logic is better understood as the confusion of two negative modalities. The present work shows a way to define them in terms of implication and a new connective, co-implication, which is modeled by respective ternary relations. The defined negations (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Dolf Rami, Existence and Free Logic.
    In this paper I aim to defend a first‐order non‐discriminating property view concerning existence. The version of this view that I prefer is based on negative (or a specific neutral) free logic that treats the existence predicate as first‐order logical predicate. I will provide reasons why such a view is more plausible than a second‐order discriminating property view concerning existence and I will also discuss four challenges for the proposed view and provide solutions to them.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  45.  5
    Jari Kaukua (forthcoming). Avicenna on Negative Judgement. Topoi:1-10.
    Avicenna’s logical theory of negative judgement can be seen as a systematic development of the insights Aristotle had laid out in the De interpretatione. However, in order to grasp the full extent of his theory one must extend the examination from the logical works to the metaphysical and psychological bases of negative judgement. Avicenna himself often refrains from the explicit treatment of the connections between logic and metaphysics or psychology, or treats them in a rather oblique fashion. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  18
    Joseph E. Brenner (2010). A Logic of Ethical Information. Knowledge, Technology & Policy 23 (1-2):109-133.
    The work of Luciano Floridi lies at the interface of philosophy, information science and technology, and ethics, an intersection whose existence and significance he was one of the first to establish. His closely related concepts of a philosophy of information, informational structural realism, information logic, and information ethics provide a new ontological perspective from which moral concerns can be addressed, especially but not limited to those arising in connection with the new information and communication technologies. In this paper, I (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  22
    Peter Milne (2000). Is There a Logic of Confirmation Transfer? Erkenntnis 53 (3):309-335.
    This article begins by exploring a lost topic in the philosophy of science:the properties of the relations evidence confirming h confirmsh'' and, more generally, evidence confirming each ofh1, h2, ..., hm confirms at least one of h1, h2,ldots;, hn''.The Bayesian understanding of confirmation as positive evidential relevanceis employed throughout. The resulting formal system is, to say the least, oddlybehaved. Some aspects of this odd behaviour the system has in common withsome of the non-classical logics developed in the twentieth century. Oneaspect (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  48.  23
    Ian Maclean (2011). The Logic of Physiognomony in the Late Renaissance. Early Science and Medicine 16 (4):275-295.
    This article studies the advances made in the logic of Renaissance physiognomy from the state of the subject in antiquity and the Middle Ages. The properties and accidents of the human body are investigated in the context of the signs selected by physiognomers, whether univocal or in syndromes, strong or weak in character, negative or positive, consistent with each other or contradictory. When these signs are translated into propositions, the construction of argument which flows from them is shown (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  49.  14
    Raymond D. Gumb (2001). An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions. Studia Logica 69 (2):279-292.
    The logic of partial terms (LPT) is a variety of negative free logic in which functions, as well as predicates, are strict. A companion paper focused on nonconstructive LPTwith definite descriptions, called LPD, and laid the foundation for tableaux systems by defining the concept of an LPDmodel system and establishing Hintikka's Lemma, from which the strong completeness of the corresponding tableaux system readily follows. The present paper utilizes the tableaux system in establishing an Extended Joint Consistency Theorem (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  50.  12
    Zhongyi Zhang & Jialong Zhang (2009). The Three-Form Reasoning of New Hetu-Vidya in Indian Logic From the Perspective of Modern Logic. Frontiers of Philosophy in China 4 (4):631-645.
    Comparing the three-form reasoning of new Hetu-vidya with Western logic, scholars have put forward four perspectives. Combining their strengths and shortcomings, and the examples of Hetu-vidya reasoning, we can conclude that the three-form reasoning should have four forms: (1) the affirmative expression of formal implication; (2) the modus ponens of hypothetical reasoning concerning sufficient conditions after universal instantiation; (3) the negative expression of a formal implication; and (4) the modus tollens of hypothetical reasoning concerning sufficient conditions after universal (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000