Results for 'Strict Implication'

999 found
Order:
  1.  40
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  41
    Priorean Strict Implication, Q and Related Systems.Fabrice Correia - 2001 - Studia Logica 69 (3):411-427.
    We introduce a system PSI for a strict implication operator called Priorean strict implication. The semantics for PSI is based on partial Kripke models without accessibility relations. PSI is proved sound and complete with respect to that semantics, and Prior's system Q and related systems are shown to be fragments of PSI or of a mild extension of it.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  46
    Physicalism and Strict Implication.Jurgen Schroder - 2006 - Synthese 151 (3):537-545.
    The aim of this paper is to determine the plausibility of Robert Kirk’s strict implication thesis as an explication of physicalism and its relation to Jackson and Chalmer’s notion of application conditionals, to the notion of global supervenience and to a posteriori identities. It is argued that the strict implication thesis is subject to the same objection that affects the notion of global supervenience. Furthermore, reference to an idealised physics in the formulation of strict (...) threatens to make the thesis vacuous. Third, Kirk’s claim that the strict implication thesis does not entail reduction of the mental to the physical (excluding phenomenal properties) is untenable if a functional model of reduction is preferred over Nagel’s classical model. Finally, Kirk’s claim that the physical facts entail in an a priori way the fact that certain brain states feel somehow seems to be unfounded. (shrink)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  4.  7
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  5.  18
    Physicalism and Strict Implication.Jürgen Schröder - 2006 - Synthese 151 (3):537 - 545.
    The aim of this paper is to determine the plausibility of Robert Kirk's strict implication thesis as an explication of physicalism and its relation to Jackson and Chalmer's notion of application conditionals, to the notion of global supervenience and to a posteriori identities. It is argued that the strict implication thesis is subject to the same objection that affects the notion of global supervenience. Furthermore, reference to an idealised physics in the formulation of strict (...) threatens to make the thesis vacuous. Third, Kirk's claim that the strict implication thesis does not entail reduction of the mental to the physical (excluding phenomenal properties) is untenable if a functional model of reduction is preferred over Nagel's classical model. Finally, Kirk's claim that the physical facts entail in an a priori way the fact that certain brain states feel somehow seems to be unfounded. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  6.  3
    Index of Volume 79, 2001.Stephen Buckle, Miracles Marvels, Mundane Order, Temporal Solipsism, Robert Kirk, Nonreductive Physicalism, Strict Implication, Donald Mertz Individuation, Instance Ontology & Dale E. Miller - 2001 - Australasian Journal of Philosophy 79 (4):594-596.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7. Physicalism, Identity, and Strict Implication.Robert Kirk - 1982 - Ratio 24 (December):131-41.
     
    Export citation  
     
    My bibliography   1 citation  
  8.  97
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  9.  16
    Bounded Distributive Lattices with Strict Implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
    The present paper introduces and studies the variety WH of weakly Heyting algebras. It corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. The tools developed in the paper can be applied to the study of the subvarieties of WH; among them are the varieties determined by the strict implication fragments of normal modal logics as well as (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  10.  16
    Ockham’s Calculus of Strict Implication.Wolfgang Lenzen - 2015 - Logica Universalis 9 (2):181-191.
    In his main work Summa Logicae written around 1323, William of Ockham developed a system of propositional modal logic which contains almost all theorems of a modern calculus of strict implication. This calculus is formally reconstructed here with the help of modern symbols for the operators of conjunction, disjunction, implication, negation, possibility, and necessity.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  16
    Natural Deduction Based Upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
    We present systems of Natural Deduction based on Strict Implication for the main normal modal logics between K and S5. In this work we consider Strict Implication as the main modal operator, and establish a natural correspondence between Strict Implication and strict subproofs.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  12. A Functional Calculus of First Order Based on Strict Implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (1):1-16.
  13. What is Strict Implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  14.  64
    Strict Implication, Supervenience, and Physicalism.Robert Kirk - 1996 - Australasian Journal of Philosophy 74 (2):244-57.
  15.  17
    A Note on Strict Implication (1935).C. I. Lewis & C. H. Langford - 2014 - History and Philosophy of Logic 35 (1):1-6.
  16. Bounded Distributive Lattices with Strict Implication.Sergio A. Celani & Ramón Jansana Ferrer - 2005 - Mathematical Logic Quarterly 51 (3):219.
     
    Export citation  
     
    My bibliography   4 citations  
  17.  24
    Weak Logics with Strict Implication.Giovanna Corsi - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):389-406.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  18.  29
    Entailment is Not Strict Implication.Robert K. Meyer - 1974 - Australasian Journal of Philosophy 52 (3):212 – 231.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  19.  63
    The Calculus of Strict Implication.C. I. Lewis - 1914 - Mind 23 (90):240-247.
  20.  58
    A Note on Strict Implication and Entailment.George Myro & P. T. Geach - 1971 - Analysis 32 (2):55 - 56.
  21.  14
    Strict Implication in A Sequence of Extensions of S4.Dolph Ulrich - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):201-212.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  48
    The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (4):115-118.
  23.  32
    Note on Leo Abraham's “Transformations” of Strict Implication.Frederic B. Fitch - 1933 - The Monist 43 (2):297-298.
  24.  29
    A Question Concerning a Logical Calculus Related to Lewis' System of Strict Implication, Which is of Special Interest for the Study of Entailment.Sören Halldén - 1948 - Theoria 14 (3):265-269.
  25.  36
    Strict Implication, Deducibility and the Deduction Theorem.Ruth Barcan Marcus - 1953 - Journal of Symbolic Logic 18 (3):234-236.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  26. Calculi of Pure Strict Implication.E. J. Lemon, C. A. Meredith, D. Meredith, A. N. Prior & I. Thomas - 1958 - Studia Logica 8:331-333.
    Translate
     
     
    Export citation  
     
    My bibliography   5 citations  
  27.  38
    Strict Implication--An Emendation.C. I. Lewis - 1920 - Journal of Philosophy, Psychology and Scientific Methods 17 (11):300-302.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  28.  37
    Is Strict Implication the Same as Entailment?E. Duncan-Jones Austin - 1934 - Analysis 2 (5):70 - 78.
  29. Weak Logics with Strict Implication.Giovanna Corsi - 1987 - Mathematical Logic Quarterly 33 (5):389-406.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  30.  13
    The Semisubstitutivity of Strict Implication.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (3):462-464.
  31.  17
    Some Axiom-Pairs for Material and Strict Implication.A. N. Prior - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):61-65.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  11
    Modalities in the Survey System of Strict Implication.William Tuthill Parry - 1939 - Journal of Symbolic Logic 4 (4):137-154.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  33.  38
    Deduction and Strict Implication.Norman M. Martin - 1960 - Synthese 12 (1):25 - 33.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  34.  13
    Pure Strict Implication Logics.Szymon Frankowski - 2007 - Bulletin of the Section of Logic 36 (1/2):59-65.
    Direct download  
     
    Export citation  
     
    My bibliography  
  35. A Functional Calculus of First Order Based on Strict Implication.Ruth Barcan[from old catalog] Marcus - 1946 - [N. P..
     
    Export citation  
     
    My bibliography   2 citations  
  36.  7
    A Note on Bronstein's and Tarter's Definition of Strict Implication.J. C. Chenoweth McKinsey - 1934 - Philosophical Review 43 (5):518-520.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  3
    Review: Soren Hallden, A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1. [REVIEW]Alonzo Church - 1949 - Journal of Symbolic Logic 14 (1):69-69.
  38.  7
    Hugh MacColl and the Algebra of Strict Implication.Stephen Read - 1998 - Nordic Journal of Philosophical Logic 3:59-84.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  1
    Strict Implication in A Sequence of Extensions of S4.Dolph Ulrich - 1981 - Mathematical Logic Quarterly 27 (13‐14):201-212.
  40.  4
    Review: Ruth C. Barcan, A Functional Calculus of First Order Based on Strict Implication[REVIEW]W. V. Quine - 1946 - Journal of Symbolic Logic 11 (3):96-97.
  41.  21
    A Note Concerning the Paradoxes of Strict Implication and Lewis's System S.Soren Hallden - 1948 - Journal of Symbolic Logic 13 (3):138 - 139.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  42.  9
    Thomas Aquinas and Strict Implication.Joseph T. Clark - 1952 - Philosophical Studies of the American Catholic Philosophical Association 3:51-53.
  43.  16
    The Postulates for "Strict Implication".William Tuthill Parry - 1934 - Mind 43 (169):78-80.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  44.  1
    Note on Leo Abraham’s “Transformations” of Strict Implication.Frederic B. Fitch - 1933 - The Monist 43 (2):297-298.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  2
    Review: Ruth C. Barcan, The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication[REVIEW]W. V. Quine - 1947 - Journal of Symbolic Logic 12 (3):95-95.
  46.  15
    Emch's Calculus and Strict Implication.C. I. Lewis - 1936 - Journal of Symbolic Logic 1 (3):77-86.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  47. A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.
  48.  13
    Strict Implication, Entailment, and Modal Iteration.Arthur Pap - 1955 - Philosophical Review 64 (4):604-613.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  49.  13
    Independent Postulates Related to C. I. Lewis's Theory of Strict Implication.Edward V. Huntington - 1934 - Mind 43 (170):181-198.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  50.  11
    Many-Valued Logics and Systems of Strict Implication.Atwell R. Turquette - 1954 - Philosophical Review 63 (3):365-379.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 999