Search results for 'Strict Implication' (try it on Scholar)

1000+ found
Order:
  1.  33
    Robert Kirk (2001). Nonreductive Physicalism and Strict Implication. 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.  32
    Fabrice Correia (2001). Priorean Strict Implication, Q and Related Systems. 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.  22
    Jurgen Schroder (2006). Physicalism and Strict Implication. 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.  5
    K. Kikuchi (2002). Dual-Context Sequent Calculus and Strict Implication. 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.  2
    Stephen Buckle, Miracles Marvels, Mundane Order, Temporal Solipsism, Robert Kirk, Nonreductive Physicalism, Strict Implication, Donald Mertz Individuation, Instance Ontology & Dale E. Miller (2001). Index of Volume 79, 2001. Australasian Journal of Philosophy 79 (4):594-596.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  4
    Jürgen Schröder (2006). Physicalism and Strict Implication. 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 (4 more)  
     
    Export citation  
     
    My bibliography  
  7. Robert Kirk (1982). Physicalism, Identity, and Strict Implication. Ratio 24 (December):131-41.
     
    Export citation  
     
    My bibliography   1 citation  
  8.  65
    Robert Kirk (2006). Physicalism and Strict Implication. 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   1 citation  
  9.  14
    Wolfgang Lenzen (2015). Ockham’s Calculus of Strict Implication. 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  
  10.  15
    Sergio Celani & Ramon Jansana (2005). Bounded Distributive Lattices with Strict Implication. 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   1 citation  
  11.  14
    Claudio Cerrato (1994). Natural Deduction Based Upon Strict Implication for Normal Modal Logics. 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. Ruth C. Barcan (1946). A Functional Calculus of First Order Based on Strict Implication. Journal of Symbolic Logic 11 (1):1-16.
  13. Ian Hacking (1963). What is Strict Implication? Journal of Symbolic Logic 28 (1):51-71.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  14.  53
    Robert Kirk (1996). Strict Implication, Supervenience, and Physicalism. Australasian Journal of Philosophy 74 (2):244-57.
  15.  16
    C. I. Lewis & C. H. Langford (2013). A Note on Strict Implication (1935). History and Philosophy of Logic 35 (1):1-6.
  16. Sergio A. Celani & Ramón Jansana Ferrer (2005). Bounded Distributive Lattices with Strict Implication. Mathematical Logic Quarterly 51 (3):219.
     
    Export citation  
     
    My bibliography   4 citations  
  17.  56
    George Myro & P. T. Geach (1971). A Note on Strict Implication and Entailment. Analysis 32 (2):55 - 56.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18.  21
    Robert K. Meyer (1974). Entailment is Not Strict Implication. Australasian Journal of Philosophy 52 (3):212 – 231.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  19.  12
    Giovanna Corsi (1987). Weak Logics with Strict Implication. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):389-406.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  20.  60
    C. I. Lewis (1914). The Calculus of Strict Implication. Mind 23 (90):240-247.
  21.  44
    Ruth C. Barcan (1946). The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication. Journal of Symbolic Logic 11 (4):115-118.
  22.  36
    Austin E. Duncan-Jones (1935). Is Strict Implication the Same as Entailment? Analysis 2 (5):70 - 78.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  35
    Ruth Barcan Marcus (1953). Strict Implication, Deducibility and the Deduction Theorem. Journal of Symbolic Logic 18 (3):234-236.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  24.  15
    Sören Halldén (1948). A Question Concerning a Logical Calculus Related to Lewis' System of Strict Implication, Which is of Special Interest for the Study of Entailment. Theoria 14 (3):265-269.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  25.  4
    Dolph Ulrich (1981). Strict Implication in A Sequence of Extensions of S4. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):201-212.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  7
    J. C. Chenoweth McKinsey (1934). A Note on Bronstein's and Tarter's Definition of Strict Implication. Philosophical Review 43 (5):518-520.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27.  34
    C. I. Lewis (1920). Strict Implication--An Emendation. Journal of Philosophy, Psychology and Scientific Methods 17 (11):300-302.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  28.  12
    Frederic B. Fitch (1933). Note on Leo Abraham's “Transformations” of Strict Implication. The Monist 43 (2):297-298.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  29.  11
    Szymon Frankowski (2007). Pure Strict Implication Logics. Bulletin of the Section of Logic 36 (1/2):59-65.
    Direct download  
     
    Export citation  
     
    My bibliography  
  30.  6
    Stephen Read (1998). Hugh MacColl and the Algebra of Strict Implication. Nordic Journal of Philosophical Logic 3:59-84.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  9
    J. Jay Zeman (1968). The Semisubstitutivity of Strict Implication. Journal of Symbolic Logic 33 (3):462-464.
  32. E. J. Lemon, C. A. Meredith, D. Meredith, A. N. Prior & I. Thomas (1958). Calculi of Pure Strict Implication. Studia Logica 8:331-333.
    Translate
     
     
    Export citation  
     
    My bibliography   5 citations  
  33.  9
    Joseph T. Clark (1952). Thomas Aquinas and Strict Implication. Philosophical Studies of the American Catholic Philosophical Association 3:51-53.
  34.  4
    W. V. Quine (1946). Review: Ruth C. Barcan, A Functional Calculus of First Order Based on Strict Implication. [REVIEW] Journal of Symbolic Logic 11 (3):96-97.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  35.  11
    William Tuthill Parry (1939). Modalities in the Survey System of Strict Implication. Journal of Symbolic Logic 4 (4):137-154.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  36.  23
    Norman M. Martin (1960). Deduction and Strict Implication. Synthese 12 (1):25 - 33.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  37.  3
    Alonzo Church (1949). Review: Soren Hallden, A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1. [REVIEW] Journal of Symbolic Logic 14 (1):69-69.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  38.  16
    William Tuthill Parry (1934). The Postulates for "Strict Implication". Mind 43 (169):78-80.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  39.  5
    A. N. Prior (1961). Some Axiom-Pairs for Material and Strict Implication. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):61-65.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Ruth Barcan[from old catalog] Marcus (1946). A Functional Calculus of First Order Based on Strict Implication. [N. P..
     
    Export citation  
     
    My bibliography   2 citations  
  41.  15
    C. I. Lewis (1936). Emch's Calculus and Strict Implication. Journal of Symbolic Logic 1 (3):77-86.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  42.  13
    Arthur Pap (1955). Strict Implication, Entailment, and Modal Iteration. Philosophical Review 64 (4):604-613.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  43.  1
    Kentaro Kikuchi (2002). Dual-Context Sequent Calculus and Strict Implication. Mathematical Logic Quarterly 48 (1):87-92.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  44.  12
    Edward V. Huntington (1934). Independent Postulates Related to C. I. Lewis's Theory of Strict Implication. Mind 43 (170):181-198.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  45.  2
    P. G. J. Vredenduin (1939). A System of Strict Implication. Journal of Symbolic Logic 4 (2):73-76.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  46.  2
    W. V. Quine (1947). Review: Ruth C. Barcan, The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication. [REVIEW] Journal of Symbolic Logic 12 (3):95-95.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  11
    Sören Halldén (1948). A Note Concerning the Paradoxes of Strict Implication and Lewis's System S. Journal of Symbolic Logic 13 (3):138-139.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  48.  11
    Atwell R. Turquette (1954). Many-Valued Logics and Systems of Strict Implication. Philosophical Review 63 (3):365-379.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  49.  9
    Soren Hallden (1948). A Note Concerning the Paradoxes of Strict Implication and Lewis's System S. Journal of Symbolic Logic 13 (3):138 - 139.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  50.  10
    J. M. Shorter (1956). Contradictories and Strict Implication. Philosophy and Phenomenological Research 17 (1):122-124.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000