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

1000+ found
Sort by:
  1. Robert Kirk (2001). Nonreductive Physicalism and Strict Implication. Australasian Journal of Philosophy 79 (4):544-552.score: 240.0
    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)  
     
    My bibliography  
     
    Export citation  
  2. Jurgen Schroder (2006). Physicalism and Strict Implication. Synthese 151 (3):537-545.score: 240.0
    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)  
     
    My bibliography  
     
    Export citation  
  3. Fabrice Correia (2001). Priorean Strict Implication, Q and Related Systems. Studia Logica 69 (3):411-427.score: 240.0
    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 (9 more)  
     
    My bibliography  
     
    Export citation  
  4. Jürgen Schröder (2006). Physicalism and Strict Implication. Synthese 151 (3):537 - 545.score: 240.0
    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)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. 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.score: 240.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. K. Kikuchi (2002). Dual-Context Sequent Calculus and Strict Implication. Mathematical Logic Quarterly 48 (1):87-92.score: 210.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Robert Kirk (1982). Physicalism, Identity, and Strict Implication. Ratio 24 (December):131-41.score: 210.0
     
    My bibliography  
     
    Export citation  
  8. Robert Kirk (2006). Physicalism and Strict Implication. Synthese 151 (3):523-536.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  9. Claudio Cerrato (1994). Natural Deduction Based Upon Strict Implication for Normal Modal Logics. Notre Dame Journal of Formal Logic 35 (4):471-495.score: 180.0
    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)  
     
    My bibliography  
     
    Export citation  
  10. Ian Hacking (1963). What is Strict Implication? Journal of Symbolic Logic 28 (1):51-71.score: 150.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. C. I. Lewis (1914). The Calculus of Strict Implication. Mind 23 (90):240-247.score: 150.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Ruth C. Barcan (1946). A Functional Calculus of First Order Based on Strict Implication. Journal of Symbolic Logic 11 (1):1-16.score: 150.0
  13. Robert Kirk (1996). Strict Implication, Supervenience, and Physicalism. Australasian Journal of Philosophy 74 (2):244-57.score: 150.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. C. I. Lewis (1920). Strict Implication--An Emendation. Journal of Philosophy, Psychology and Scientific Methods 17 (11):300-302.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Ruth Barcan Marcus (1953). Strict Implication, Deducibility and the Deduction Theorem. Journal of Symbolic Logic 18 (3):234-236.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. 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.score: 150.0
  17. Robert K. Meyer (1974). Entailment is Not Strict Implication. Australasian Journal of Philosophy 52 (3):212 – 231.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. C. I. Lewis (1936). Emch's Calculus and Strict Implication. Journal of Symbolic Logic 1 (3):77-86.score: 150.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Norman M. Martin (1960). Deduction and Strict Implication. Synthese 12 (1):25 - 33.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Arthur Pap (1955). Strict Implication, Entailment, and Modal Iteration. Philosophical Review 64 (4):604-613.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  21. C. I. Lewis & C. H. Langford (2013). A Note on Strict Implication (1935). History and Philosophy of Logic 35 (1):1-6.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. William Tuthill Parry (1934). The Postulates for "Strict Implication". Mind 43 (169):78-80.score: 150.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Edward V. Huntington (1934). Independent Postulates Related to C. I. Lewis's Theory of Strict Implication. Mind 43 (170):181-198.score: 150.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  24. J. M. Shorter (1956). Contradictories and Strict Implication. Philosophy and Phenomenological Research 17 (1):122-124.score: 150.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. Atwell R. Turquette (1954). Many-Valued Logics and Systems of Strict Implication. Philosophical Review 63 (3):365-379.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26. William Tuthill Parry (1939). Modalities in the Survey System of Strict Implication. Journal of Symbolic Logic 4 (4):137-154.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. E. M. Curley (1975). The Development of Lewis' Theory of Strict Implication. Notre Dame Journal of Formal Logic 16 (4):517-527.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  28. 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.score: 150.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  29. Austin E. Duncan-Jones (1935). Is Strict Implication the Same as Entailment? Analysis 2 (5):70 - 78.score: 150.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30. Soren Hallden (1948). A Note Concerning the Paradoxes of Strict Implication and Lewis's System S. Journal of Symbolic Logic 13 (3):138 - 139.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Sergio Celani & Ramon Jansana (2005). Bounded Distributive Lattices with Strict Implication. Mathematical Logic Quarterly 51 (3):219-246.score: 150.0
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Joseph T. Clark (1952). Thomas Aquinas and Strict Implication. Philosophical Studies of the American Catholic Philosophical Association 3:51-53.score: 150.0
  33. J. Jay Zeman (1968). The Semisubstitutivity of Strict Implication. Journal of Symbolic Logic 33 (3):462-464.score: 150.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  34. Alan Ross Anderson (1955). Review: Takeo Sugihara, Strict Implication Free From Implicational Paradoxes. [REVIEW] Journal of Symbolic Logic 20 (3):303-303.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Charles A. Baylis (1937). Review: C. I. Lewis, Emch's Calculus and Strict Implication. [REVIEW] Journal of Symbolic Logic 2 (1):46-46.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Giovanna Corsi (1987). Weak Logics with Strict Implication. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):389-406.score: 150.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Frederic B. Fitch (1933). Note on Leo Abraham's “Transformations” of Strict Implication. The Monist 43 (2):297-298.score: 150.0
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  38. 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.score: 150.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Paul Henle (1937). Review: Tang Tsao-Chen, The Theorem "$P Qldot = Ldot Pq = P$" and Huntington's Relation Between Lewis's Strict Implication and Boolean Algebra; Tang Tsao-Chen, A Paradox of Lewis's Strict Implication. [REVIEW] Journal of Symbolic Logic 2 (1):58-58.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. David Makinson (1972). Review: Ian Hacking, What is Strict Implication? [REVIEW] Journal of Symbolic Logic 37 (2):417-417.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Charles A. Baylis (1939). Review: Tang Tsao-Chen, Algebraic Postulates and a Geometric Interpretation for the Lewis Calculus of Strict Implication. [REVIEW] Journal of Symbolic Logic 4 (1):27-27.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. 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.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Frederic B. Fitch (1949). Review: Soren Hallden, A Question Concerning a Logical Calculus Related to Lewis' System of Strict Implication, Which is of Special Interest for the Study of Entailment. [REVIEW] Journal of Symbolic Logic 14 (3):199-199.score: 150.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Szymon Frankowski (2007). Pure Strict Implication Logics. Bulletin of the Section of Logic 36 (1/2):59-65.score: 150.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Paul Henle (1940). Review: William Tuthill Parry, Modalities in the Survey System of Strict Implication. [REVIEW] Journal of Symbolic Logic 5 (1):37-37.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Wolfgang Lenzen (1987). Leibniz's Calculus of Strict Implication. In. In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. 1--35.score: 150.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. J. C. C. McKinsey (1939). Review: P. G. J. Vredenduin, A System of Strict Implication. [REVIEW] Journal of Symbolic Logic 4 (3):124-124.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. George Myro & P. T. Geach (1971). A Note on Strict Implication and Entailment. Analysis 32 (2):55 - 56.score: 150.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  49. 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.score: 150.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. 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.score: 150.0
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000