Results for 'Strict Implication'

992 found
Order:
  1.  53
    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 (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  67
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  17
    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  
     
    Bookmark   1 citation  
  4.  79
    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  
     
    Bookmark  
  5.  38
    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  
     
    Bookmark  
  6.  10
    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  
     
    Bookmark  
  7.  14
    Ian Hacking. What is Strict Implication?The Journal of Symbolic Logic, Vol. 28 No. 1 , Pp. 51–71.David Makinson - 1972 - Journal of Symbolic Logic 37 (2):417.
    Review of the paper mentioned in the title.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Physicalism, Identity, and Strict Implication.Robert Kirk - 1982 - Ratio (Misc.) 24 (December):131-41.
     
    Export citation  
     
    Bookmark   2 citations  
  9. 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 (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  10.  36
    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 (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  11.  2
    Lyndon’s Interpolation Property for the Logic of Strict Implication.Narbe Aboolian & Majid Alizadeh - forthcoming - Logic Journal of the IGPL.
    The main result proves Lyndon’s and Craig’s interpolation properties for the logic of strict implication ${\textsf{F}}$, with a purely syntactical method. A cut-free G3-style sequent calculus $ {\textsf{GF}} $ and its single-succedent variant $ \textsf{GF}_{\textsf{s}} $ are introduced. $ {\textsf{GF}} $ can be extended to a G3-variant of the sequent calculus GBPC3 for Visser’s basic logic. Also a simple syntactic proof of known embedding result of $ {\textsf{F}} $ into $ {\textsf{K}} $ is provided. An extension of $ (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  24
    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  
     
    Bookmark  
  13.  15
    Editor's Introduction to C.I. Lewis and C.H. Langford 'A Note on Strict Implication'.Edwin Mares - 2014 - History and Philosophy of Logic 35 (1):1-6.
    The article ‘A Note on Strict Implication’ was submitted for publication by C.I. Lewis and C.H. Langford but withdrawn in proof. The paper is, according to notes and letters by both Lewis and Langford, largely by Lewis. It constitutes an early attempt by Lewis to give meanings for the modal connectives using abstract objects. To be necessary, for example, is for a statement to have the same intension as a truth-functional tautology. This theory prefigures the view of Lewis's (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Material and Strict Implication in Boolean Algebras, Revisited.Enric Trillas & Rudolf Seising - 2014 - Archives for the Philosophy and History of Soft Computing 2014 (2).
    It can be said that Formal Logic begun by studying an idealization of the statements ’if p, then q’, something coming from long ago in both Greek and Scholastic Philosophy. Nevertheless, only in the XX Century it arrived at a stage of formalization once in 1910 Russell introduced and identified the ’material conditional’ with the expresion ”not p or q”. In 1918, and from paradoxical conditionals like ”If the Moon is a cheese, it is a Lyon’s face”, Lewis critiziced the (...)
    No categories
     
    Export citation  
     
    Bookmark  
  15.  21
    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  
     
    Bookmark  
  16. A Functional Calculus of First Order Based on Strict Implication.Ruth C. Barcan - 1946 - Journal of Symbolic Logic 11 (1):1-16.
  17.  85
    Strict Implication, Supervenience, and Physicalism.Robert Kirk - 1996 - Australasian Journal of Philosophy 74 (2):244-57.
  18. What is Strict Implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.
  19.  46
    Weak Logics with Strict Implication.Giovanna Corsi - 1987 - Mathematical Logic Quarterly 33 (5):389-406.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  20.  44
    Is Strict Implication The Same As Entailment.Austin E. Duncan-Jones & Alonso Church - 1934 - Analysis 2 (5):70.
  21.  26
    A Note on Strict Implication (1935).C. I. Lewis & C. H. Langford - 2014 - History and Philosophy of Logic 35 (1):1-6.
    Editor's Note: This paper was found in galley proof form from the journal Mind in the C.I. Lewis Archives in the Special Collections Department of the Stanford University Libraries, call number M174, Box 18, Folder 1. There are two copies of the proofs in this folder, one includes Lewis's corrections. The version that appears here incorporates all of Lewis's corrections. Where these corrections are substantive, the original wording is give in a footnote. The paperwas withdrawn from publication by Lewis early (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  55
    Entailment is Not Strict Implication.Robert K. Meyer - 1974 - Australasian Journal of Philosophy 52 (3):212 – 231.
  23. Bounded Distributive Lattices with Strict Implication.Sergio A. Celani & Ramón Jansana Ferrer - 2005 - Mathematical Logic Quarterly 51 (3):219.
     
    Export citation  
     
    Bookmark   5 citations  
  24. The Calculus of Strict Implication.C. I. Lewis - 1914 - Mind 23 (90):240-247.
  25.  90
    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.
  26.  74
    Strict Implication, Deducibility and the Deduction Theorem.Ruth Barcan Marcus - 1953 - Journal of Symbolic Logic 18 (3):234-236.
  27.  17
    A Strict Implication Calculus for Compact Hausdorff Spaces.G. Bezhanishvili, N. Bezhanishvili, T. Santoli & Y. Venema - 2019 - Annals of Pure and Applied Logic 170 (11):102714.
  28.  49
    Note on Leo Abraham’s “Transformations” of Strict Implication.Frederic B. Fitch - 1933 - The Monist 43 (2):297-298.
  29. A Functional Calculus of First Order Based on Strict Implication.Ruth Barcan[from old catalog] Marcus - 1946 - [N. P..
     
    Export citation  
     
    Bookmark   7 citations  
  30. Hugh MacColl and the Algebra of Strict Implication.Stephen Read - 1998 - Nordic Journal of Philosophical Logic 3:59-84.
     
    Export citation  
     
    Bookmark   2 citations  
  31.  55
    Strict Implication--An Emendation.C. I. Lewis - 1920 - Journal of Philosophy, Psychology and Scientific Methods 17 (11):300-302.
  32.  2
    What is Strict Implication?Ian Hacking - 1972 - Journal of Symbolic Logic 37 (2):417-417.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  33. 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  
     
    Bookmark   7 citations  
  34.  29
    The Postulates for "Strict Implication".William Tuthill Parry - 1934 - Mind 43 (169):78-80.
  35.  17
    Modalities in the Survey System of Strict Implication.William Tuthill Parry - 1939 - Journal of Symbolic Logic 4 (4):137-154.
  36.  5
    Leibniz's Calculus of Strict Implication.Wolfgang Lenzen - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 1--35.
  37.  40
    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.
  38.  63
    A Note on Strict Implication and Entailment.George Myro & P. T. Geach - 1971 - Analysis 32 (2):55 - 56.
  39.  11
    Is Strict Implication the Same as Entailment?Austin Duncan-Jones - 1935 - Analysis 2 (5):70-78.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  25
    Some Axiom-Pairs for Material and Strict Implication.A. N. Prior - 1961 - Mathematical Logic Quarterly 7 (1-5):61-65.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  20
    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.
  42. Strict Implication - An Emendation.C. I. Lewis - 1920 - Journal of Philosophy 17 (11):300.
    No categories
     
    Export citation  
     
    Bookmark   7 citations  
  43.  27
    The Semisubstitutivity of Strict Implication.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (3):462-464.
  44.  23
    A Note on Bronstein's and Tarter's Definition of Strict Implication.J. C. Chenoweth McKinsey - 1934 - Philosophical Review 43 (5):518-520.
  45.  35
    Emch's Calculus and Strict Implication.C. I. Lewis - 1936 - Journal of Symbolic Logic 1 (3):77-86.
  46.  16
    Vredenduin P. G. J.. A System of Strict Implication.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124.
  47.  14
    A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.
  48.  17
    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.
  49.  42
    Deduction and Strict Implication.Norman M. Martin - 1960 - Synthese 12 (1):25 - 33.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  8
    Strict Implication in A Sequence of Extensions of S4.Dolph Ulrich - 1981 - Mathematical Logic Quarterly 27 (13‐14):201-212.
1 — 50 / 992