Results for 'Implication'

897 found
Order:
  1. Mary Ann G. Cutter.Local Bioethical Discourse: Implications - 2002 - In Julia Lai Po-Wah Tao (ed.), Cross-cultural perspectives on the (im) possibility of global bioethics. Boston: Kluwer Academic.
     
    Export citation  
     
    Bookmark  
  2. Critical period, 241-242.Implications Test - 1997 - In M. McCallum & W. Piper (eds.), Psychological Mindedness: A Contemporary Understanding. Lawrence Erlbaum. pp. 59--271.
  3.  33
    RASMUSEN, ERIC, Folk Theorems for the Observable Implications of Repeated.Implications of Repeated Games - 1992 - Theory and Decision 32:147-164.
  4. Yu kam Por. Self-Ownership & Its Implications for Bioethics 197 - 2002 - In Julia Lai Po-Wah Tao (ed.), Cross-cultural perspectives on the (im) possibility of global bioethics. Boston: Kluwer Academic.
     
    Export citation  
     
    Bookmark  
  5.  13
    Brian O'Shaughnessy.Implications of Dual Aspectism - 2003 - In Johannes Roessler & Naomi Eilan (eds.), Agency and Self-Awareness: Issues in Philosophy and Psychology. New York: Oxford University Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. The calculus of strict implication.C. I. Lewis - 1914 - Mind 23 (90):240-247.
  7. Relevant implication.David Lewis - 1988 - Theoria 54 (3):161-174.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   147 citations  
  8. Presupposition, implication, and self-reference.Bas C. van Fraassen - 1968 - Journal of Philosophy 65 (5):136-152.
  9.  98
    Strict implication, supervenience, and physicalism.Robert Kirk - 1996 - Australasian Journal of Philosophy 74 (2):244-57.
  10. Comments on Greg Restall & Gillian Russell's “barriers to implication”.Peter B. M. Vranas - unknown
    I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier the- ses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Con- struction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  20
    Entailment and relevant implication.Robert K. Meyer - 1968 - Logique Et Analyse 11:472-479.
  12.  34
    Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics.Petr Cintula & Carles Noguera - 2021 - Springer Verlag.
    This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework (...)
    No categories
  13. (1 other version)What is strict implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.
    C. I. Lewis intended his systems S1–S5 as contributions to the study of “strict implication”, but in his formulation, strict implication is so thoroughly intertwined with other notions, such as possibility and negation, that it remains a problem, to separate out the properties of strict implication itself. I shall solve this problem for S2–5 and von Wright's M. The results for S3–5 are given below, while the implicative parts of S2 and M, which are rather more complicated, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  14.  26
    Dual-Context Sequent Calculus and Strict Implication.Kentaro Kikuchi - 2002 - Mathematical Logic Quarterly 48 (1):87-92.
    We introduce a dual-context style sequent calculus which is complete with respectto Kripke semantics where implication is interpreted as strict implication in the modal logic K. The cut-elimination theorem for this calculus is proved by a variant of Gentzen's method.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  44
    Admissible rules in the implication–negation fragment of intuitionistic logic.Petr Cintula & George Metcalfe - 2010 - Annals of Pure and Applied Logic 162 (2):162-171.
    Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  16. Analytic implication.Kit Fine - 1986 - Notre Dame Journal of Formal Logic 27 (2):169-179.
  17.  66
    Nonreductive physicalism and strict implication.Robert Kirk - 2001 - Australasian Journal of Philosophy 79 (4):544-552.
    I have argued that a strong kind of physicalism based on the strict implication thesis can consistently reject both eliminativism and reductionism (in any nontrivial sense). This piece defends that position against objections from Andrew Melnyk, who claims that either my formulation doesn't entail physicalism, or it must be interpreted in such a way that the mental is after all reducible to the physical. His alternatives depend on two interesting assumptions. I argue that both are mistaken, thereby, making this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  18. Tjeerd B. Jongeling, Teun Koetsier & Evert Wattel, a logical approach to qualitative reasoning with'several'... 15.Vladimir Markin, Dmitry Zaitsev, Imaginary Logic, Lloyd Humberstone, Implicational Converses, Jose M. Mendez, Francisco Salto, Pedro Mendez, Roger Vergauwen & Ray Lam - 2002 - Logique Et Analyse 45:1.
     
    Export citation  
     
    Bookmark  
  19. Constructive negation, implication, and co-implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.
    In this paper, a family of paraconsistent propositional logics with constructive negation, constructive implication, and constructive co-implication is introduced. Although some fragments of these logics are known from the literature and although these logics emerge quite naturally, it seems that none of them has been considered so far. A relational possible worlds semantics as well as sound and complete display sequent calculi for the logics under consideration are presented.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  20.  95
    Inference, Consequence, Implication: A Constructivist's Perspective.B. G. Sundholm - 1998 - Philosophia Mathematica 6 (2):178-194.
    An implication is a proposition, a consequence is a relation between propositions, and an inference is act of passage from certain premise-judgements to another conclusion-judgement: a proposition is true, a consequence holds, whereas an inference is valid. The paper examines interrelations, differences, refinements and linguistic renderings of these notions, as well as their history. The truth of propositions, respectively the holding of consequences, are treated constructively in terms of verification-objects. The validity of an inference is elucidated in terms of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  21. On material and logical implication: clarifying some common little mistakes.Renato Mendes Rocha - 2013 - Intuitio 6 (2):239-252.
    The aim of this paper is to clarify the truth-functional interpretation of the logical connective of the material implication. The importance of such clarification lies in the fact that it allows avoiding the supposed paradoxes introduced by C. I. Lewis (1918). I argue that an adequate understanding of the history and purposes of logic is enough to dissolve them away. The defense is based on an exposition of propositional compositionalism. To compare, I also present Stalnaker’s (1968) alternative that seeks (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  75
    A dynamic characterization of the pure logic of relevant implication.Diderik Batens - 2001 - Journal of Philosophical Logic 30 (3):267-280.
    This paper spells out a dynamic proof format for the pure logic of relevant implication. (A proof is dynamic if a formula derived at some stage need not be derived at a later stage.) The paper illustrates three interesting points. (i) A set of properties that characterizes an inference relation on the (very natural) dynamic proof interpretation, need not characterize the same inference relation (or even any inference relation) on the usual settheoretical interpretation. (ii) A proof format may display (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  23.  45
    Implication and analysis in classical frege structures.Robert C. Flagg & John Myhill - 1987 - Annals of Pure and Applied Logic 34 (1):33-85.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  24.  59
    Being, Presence, and Implication in Heidegger's Critique of Hegel.Ioannis Trisokkas - 2023 - Hegel Bulletin 44 (2):345-369.
    For Heidegger, Hegel understands being, ‘the highest actuality’, as the categories which pervade and thereby form all objects and events. Since, Heidegger argues, the categories are, in Hegel, present-at-hand, Hegel conceives of being as presence-at-hand. This is a problem, for Heidegger, because it entails the full transparency and knowability of being, whereas, in his view, being is partially hidden and unknowable. I consider the objection to this Heideggerian critique of Hegel that Hegelian logic understands being not only as the list (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  48
    Material implication and entailment.Claro R. Ceniza - 1988 - Notre Dame Journal of Formal Logic 29 (4):510-519.
  26. Solving the Paradox of Material Implication - 2024 (2nd edition).Jan Pociej - forthcoming - Https://Doi.Org/10.6084/M9.Figshare.22324282.V3.
    The paradox of material implication has remained unresolved since antiquity because it was believed that the nature of implication was entailment. The article shows that this nature is opposition and therefore the name "implication" should be replaced with the name "competition". A solution to the paradox is provided along with appropriate changes in nomenclature, the addition of connectives and the postulate that the biconditional take over the role of the previous implication. In addition, changes to the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  98
    Diodorean implication.Benson Mates - 1949 - Philosophical Review 58 (3):234-242.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  28.  31
    Implication of gamma band in Soman-induced seizures.G. Testylier, L. Tonduli & G. Lallement - 1999 - Acta Biotheoretica 47 (3-4):191-197.
    Soman, an anticholinesterasic neurotoxic drug, induces epileptic seizures during severe intoxication. Their trigger conditions still remain unknown and a great variability between animals is observed. The butterfly model in the catastrophe theory has been used to explain these triggering conditions.We have developed a technique allowing, in freely moving rats, the « in vivo » determination of three sets of neurophysiological data, followed before and during a soman intoxication. For the same rat, we associated cortical acetylcholinesterase (AChE) activity by microdialysis with (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  15
    The implication of Berkeley's earliest philosophy concerning things.George H. Thomas - 1972 - Journal of the History of Philosophy 10 (4):425-430.
  30.  16
    The Implication and Utilization of Corrective and Restorative Concept of Justice in ‘Integrated Social Studies’ -with Emphasis on the view of justice in Aristotle and Jeremy Bentham-. 송선영 - 2017 - Journal of Ethics: The Korean Association of Ethics 1 (116):1-18.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  11
    The Implication of Max Scheler’s Personalism for Character Education in Secondary Moral Subject. 조은영 & 홍석영 - 2014 - Journal of Ethics: The Korean Association of Ethics 1 (94):39-62.
    오늘날 대한민국 교육의 주요 키워드 중 하나는 인성 교육이다. 대다수의 국민들은 인성 교육이 그 어느 때보다 중요하며, 학교 교육에서 인성 교육을 더욱 강화해야 한다는 의견들을 보여 주고 있다. 대한민국 정부도 인성 교육 관련 계획을 지속적으로 수립하여 시행하고 있다. 특히 도덕 교과는 ‘2009 개정 교육과정’에서 인성 교육의 주관 교과이며 중핵 교과로서의 역할을 담당한다고 천명하였다. 지금까지 도덕 교과에서는 도덕 사회화 접근, 인지 발달 접근, 덕 윤리적 접근, 통합적 접근 등 다양한 접근을 활용하여 인성 교육을 실시해왔다. 이러한 접근들은 인성 교육에 긍정적 효과를 주기도 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  3
    The Implication of Divinity through the Examples of God in the Book of Changes. 이선행 - 2015 - 동서철학연구(Dong Seo Cheol Hak Yeon Gu; Studies in Philosophy East-West) 77 (77):149-172.
    『주역』은 도를 음양의 작용으로 신을 음양으로 헤아릴 수 없는 것이라 정의하고 있다. 신은 만물이 묘합되어 있음을 말로 표현한 것이라 하고, 신묘함으로써 덕을 밝히고 그 덕을 백성들이 모두 사용한다고 하였다. 신은 음양이 묘합되어 있는 형이상의 존재로 도덕적이며 형이상‧하를 아우르는 개념이다. 건곤책수와 역을 통해 신을 도울 수 있다고 하고, 기미를 아는 것이 신이라고 하였다. 신이 책수를 통해 표상되었음은 곧 신이 시간과 변화를 주재하는 주재적 존재임을 알 수 있다. 신도는 천지신도라 하여 하늘의 속성으로 보고 있다. 사시가 틀리지 않는다고 하고, 신도로 가르치니 천하가 복종한다고 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. The paradoxes of strict implication.John L. Pollock - 1966 - Logique Et Analyse 34:180-96.
  34. Contrast and Implication in Natural Language.Yoad Winter - 1994 - Journal of Semantics 11 (4):365-406.
    In this paper we introduce a theoretical framework and a logical application for analysing the semantics and pragmatics of contrastive conjunctions in natural language. It is shown how expressions like although, nevertheless, yet, and but are semantically definable as connectives using an operator for implication in natural language and how similar pragmatic principles affect the behaviour of both contrastive conjunctions and indicative conditionals. Following previous proposals, conditions on contrast in a conjunction are analysed as presuppositions of die conjunction. Further (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35. A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc - 2021 - Studia Logica 109 (4):791-828.
    We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36. (1 other version)Strict Implication - An Emendation.C. I. Lewis - 1920 - Journal of Philosophy 17 (11):300.
    No categories
     
    Export citation  
     
    Bookmark   10 citations  
  37.  25
    Meaning and Implication.Alan Ross Anderson - 1974 - Idealistic Studies 4 (1):79-88.
    Brand Blanshard has been among the most stubborn of contemporary philosophers in rejecting that mathematical analysis of “logic” which has most enchanted his contemporary mathematical practitioners of the trade. He has said repeatedly that the mathematically orthodox have simply got hold of the whole topic by the wrong handle, and cited many complaints about material and strict “implication” as evidence that something has gone gravely wrong. Most of the objections he raises coincide with those of students newly introduced to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  6
    The Implication of Vedyatva Mentioned in Yoga Philosophy.Seung Suk Jung - 2014 - The Journal of Indian Philosophy 40:159-181.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  9
    Curricular Implication of Chu Hsi’s ‘Immersive Nourishing before the Activation of Mind’.Kwang-Min Kim - 2014 - The Journal of Moral Education 26 (2):163.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  14
    Educational Implication of Buddhist "Non-self".Kwang-Min Kim - 2017 - The Journal of Moral Education 29 (4):1-19.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  16
    Implication of the Idea of Imagination for Moral Education.Dong-Hyun Kim - 2011 - The Journal of Moral Education 23 (2):217.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  12
    The Implication of Mencian Theory on Hsing in Moral Education.In Kim - 2001 - Journal of Moral Education 13 (1):51.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  46
    Eight Inference Rules for Implication.Michael Arndt - 2019 - Studia Logica 107 (4):781-808.
    Utilizing an idea that has its first appearance in Gerhard Gentzen’s unpublished manuscripts, we generate an exhaustive repertoire of all the possible inference rules that are related to the left implication inference rule of the sequent calculus from a ground sequent, that is, a logical axiom. We discuss the similarities and differences of these derived rules as well as their interaction with the implication right rule under cut and the structural axiom. We further consider the question of analyticity (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  61
    Equationally definable implication algebras for orthomodular lattices.G. N. Georgacarakos - 1980 - Studia Logica 39 (1):5 - 18.
    The fact that it is possible to define three different material conditionals in orthomodular lattices suggests that there exist three different orthomodular logics whose conditionals are material conditionals and whose models are orthomodular lattices. The purpose of this paper is to provide equationally definable implication algebras for each of these material conditionals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  37
    The Pursuit of an Implication for the Logics L3A and L3B.Alejandro Hernández-Tello, José Arrazola Ramírez & Mauricio Osorio Galindo - 2017 - Logica Universalis 11 (4):507-524.
    The authors of Beziau and Franceschetto work with logics that have the property of not satisfying any of the formulations of the principle of non contradiction, Béziau and Franceschetto also analyze, among the three-valued logics, which of these logics satisfy this property. They prove that there exist only four of such logics, but only two of them are worthwhile to study. The language of these logics does not consider implication as a connective. However, the enrichment of a language with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  46. Indexicals, context-sensitivity and the failure of implication.Gillian Russell - 2011 - Synthese 183 (2):143 - 160.
    This paper investigates, formulates and proves an indexical barrier theorem, according to which sets of non-indexical sentences do not entail (except under specified special circumstances) indexical sentences. It surveys the usual difficulties for this kind of project, as well some that are specific to the case of indexicals, and adapts the strategy of Restall and Russell's "Barriers to Implication" to overcome these. At the end of the paper a reverse barrier theorem is also proved, according to which an indexical (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  26
    Weak implication on generalized Lukasiewicz algebras of order N.A. V. Figallo, C. Gallardo & A. Ziliani - 2010 - Bulletin of the Section of Logic 39 (3/4):187-198.
  48.  85
    Strong Boethius' thesis and consequential implication.Claudio Pizzi & Timothy Williamson - 1997 - Journal of Philosophical Logic 26 (5):569-588.
    The paper studies the relation between systems of modal logic and systems of consequential implication, a non-material form of implication satisfying "Aristotle's Thesis" (p does not imply not p) and "Weak Boethius' Thesis" (if p implies q, then p does not imply not q). Definitions are given of consequential implication in terms of modal operators and of modal operators in terms of consequential implication. The modal equivalent of "Strong Boethius' Thesis" (that p implies q implies that (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  49. Physicalism and strict implication.Robert Kirk - 2006 - Synthese 151 (3):523-536.
    Suppose P is the conjunction of all truths statable in the austere vocabulary of an ideal physics. Then phsicalists are likely to accept that any truths not included in P are different ways of talking about the reality specified by P. This ‘redescription thesis’ can be made clearer by means of the ‘strict implication thesis’, according to which inconsistency or incoherence are involved in denying the implication from P to interesting truths not included in it, such as truths (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  50.  52
    Grounding principles for (relevant) implication.Francesca Poggiolesi - 2020 - Synthese 198 (8):7351-7376.
    Most of the logics of grounding that have so far been proposed contain grounding axioms, or grounding rules, for the connectives of conjunction, disjunction and negation, but little attention has been dedicated to the implication connective. The present paper aims at repairing this situation by proposing adequate grounding principles for relevant implication. Because of the interaction between negation and implication, new grounding principles concerning negation will also arise.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 897