44 found
Order:
See also
  1.  51
    Propositional Logic of Supposition and Assertion.John T. Kearns - 1997 - Notre Dame Journal of Formal Logic 38 (3):325-349.
    This presentation of a system of propositional logic is a foundational paper for systems of illocutionary logic. The language contains the illocutionary force operators '' for assertion and ' ' for supposition. Sentences occurring in proofs of the deductive system must be prefixed with one of these operators, and rules of take account of the forces of the sentences. Two kinds of semantic conditions are investigated; familiar truth conditions and commitment conditions. Accepting a statement A or rejecting A commits a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  2.  45
    Modal Semantics Without Possible Worlds.John T. Kearns - 1981 - Journal of Symbolic Logic 46 (1):77-86.
  3.  28
    An Illocutionary Logical Explanation of the Liar Paradox.John T. Kearns - 2007 - History and Philosophy of Logic 28 (1):31-66.
    This paper uses the resources of illocutionary logic to provide a new understanding of the Liar Paradox. In the system of illocutionary logic of the paper, denials are irreducible counterparts of assertions; denial does not in every case amount to the same as the assertion of the negation of the statement that is denied. Both a Liar statement, (a) Statement (a) is not true, and the statement which it negates can correctly be denied; neither can correctly be asserted. A Liar (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4. Conditional Assertion, Denial, and Supposition as Illocutionary Acts.John T. Kearns - 2006 - Linguistics and Philosophy 29 (4):455 - 485.
  5. Thinking Machines: Some Fundamental Confusions. [REVIEW]John T. Kearns - 1997 - Minds and Machines 7 (2):269-87.
    This paper explores Church's Thesis and related claims madeby Turing. Church's Thesis concerns computable numerical functions, whileTuring's claims concern both procedures for manipulating uninterpreted marksand machines that generate the results that these procedures would yield. Itis argued that Turing's claims are true, and that they support (the truth of)Church's Thesis. It is further argued that the truth of Turing's and Church'sTheses has no interesting consequences for human cognition or cognitiveabilities. The Theses don't even mean that computers can do as much (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  31
    The Strong Completeness of a System for Kleene's Three-Valued Logic.John T. Kearns - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (3-6):61-68.
  7.  13
    The Strong Completeness of a System for Kleene's Three‐Valued Logic.John T. Kearns - 1979 - Mathematical Logic Quarterly 25 (3‐6):61-68.
  8.  5
    The Contribution of Le'sniewski.John T. Kearns - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):61-93.
  9.  7
    Thinking Machines: Some Fundamental Confusions.John T. Kearns - 1997 - Minds and Machines 7 (2):269-287.
    This paper explores Church's Thesis and related claims madeby Turing. Church's Thesis concerns computable numerical functions, whileTuring's claims concern both procedures for manipulating uninterpreted marksand machines that generate the results that these procedures would yield. Itis argued that Turing's claims are true, and that they support Church's Thesis. It is further argued that the truth of Turing's and Church'sTheses has no interesting consequences for human cognition or cognitiveabilities. The Theses don't even mean that computers can do as much as peoplecan (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  10
    Reconceiving Experience: A Solution to a Problem Inherited From Descartes.John T. Kearns - 1996 - Albany, NY, USA: State University of New York Press.
    Presents a new framework for understanding language, thought, and experience, and for carrying out research.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  15
    Categorial Grammar and the Logical Form of Quantification.John T. Kearns - 1986 - Philosophical Review 95 (1):127-129.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  26
    Combinatory Logic with Discriminators.John T. Kearns - 1969 - Journal of Symbolic Logic 34 (4):561-575.
  13.  10
    The Completeness of Combinatory Logic with Discriminators.John T. Kearns - 1973 - Notre Dame Journal of Formal Logic 14 (3):323-330.
  14.  6
    Two Views of Variables.John T. Kearns - 1969 - Notre Dame Journal of Formal Logic 10 (2):163-180.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  2
    Combinatory Logic with Discriminators.John T. Kearns - 1973 - Journal of Symbolic Logic 38 (2):339-340.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  23
    RAn Enlarged Conception of the Subject Matter of Logic.John T. Kearns - 2004 - Ideas Y Valores 53 (126):57-74.
    This paper is an introduction to illocutionary logic, i.e. the logic of speech acts. The author proposes an approach to this subject matter that is different from John Searle’s and Daniel Vanderveken’s views. They conceive illocutionary logic as a supplement or an appendix to standard logic, pro..
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  11
    A More Satisfactory Description of the Semantics of Justification.John T. Kearns - 1981 - Notre Dame Journal of Formal Logic 22 (2):109-119.
  18.  13
    Leśniewski's Strategy and Modal Logic.John T. Kearns - 1989 - Notre Dame Journal of Formal Logic 30 (2):291-307.
  19.  15
    The Logical Concept of Existence.John T. Kearns - 1968 - Notre Dame Journal of Formal Logic 9 (4):313-324.
  20.  20
    Three Substitution-Instance Interpretations.John T. Kearns - 1978 - Notre Dame Journal of Formal Logic 19 (3):331-354.
  21.  4
    An Elementary System of Ontology.John T. Kearns - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 89:87.
  22. “An Illocutionary Analysis of Conditional Assertions” Próximamente En.John T. Kearns - 2004 - In Libor Behounek (ed.), Logica Yearbook 2003.
     
    Export citation  
     
    Bookmark   1 citation  
  23.  18
    Denoting and Referring, Some Steps Toward a New Paradigm.John T. Kearns - 1976 - Philosophy and Phenomenological Research 37 (1):79-100.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24. Deductive Logic: A Programmed Introduction.John T. Kearns - 1969 - New York, NY, USA: New Century.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  20
    Eugene C. Luschei. The Logical Systems of Lesniewski. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1962, VII + 361 Pp. [REVIEW]John T. Kearns - 1973 - Journal of Symbolic Logic 38 (1):147-148.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  44
    Intuitionist Logic, a Logic of Justification.John T. Kearns - 1978 - Studia Logica 37 (3):243 - 260.
  27. Meaningful Acts Rather Than Meaningful Expressions.John T. Kearns - 1994 - In Savas L. Tsohatzidis (ed.), Foundations of Speech Act Theory: Philosophical and Linguistic Perspectives. Routledge. pp. 50.
     
    Export citation  
     
    Bookmark  
  28.  6
    Mackie J. L.. Truth Probability and Paradox. Studies in Philosophical Logic. Clarendon Library of Logic and Philosophy. The Clarendon Press, Oxford University Press, Oxford 1973, Xii + 305 Pp. [REVIEW]John T. Kearns - 1981 - Journal of Symbolic Logic 46 (1):174-175.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  18
    Ontological Economy.John T. Kearns - 1981 - International Studies in Philosophy 13 (2):86-87.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30.  5
    Ontological Economy: Substitutional Quantification and Mathematics. [REVIEW]John T. Kearns - 1981 - International Studies in Philosophy 13 (2):86-87.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  6
    Quantifiers and Universal Validity.John T. Kearns - 1966 - Logique Et Analyse 9 (1):298-309.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  9
    Quantifiers and Universal Validity.John T. Kearns & George Goe - 1968 - Journal of Symbolic Logic 33 (1):137-138.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  6
    Review: Eugene C. Luschei, The Logical Systems of Lesniewski. [REVIEW]John T. Kearns - 1973 - Journal of Symbolic Logic 38 (1):147-148.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Russell's Epistemic Understanding of Logic.John T. Kearns - 2005 - Teorema: International Journal of Philosophy 24 (3):115-132.
     
    Export citation  
     
    Bookmark  
  35.  7
    Review: J. L. Mackie, Truth Probability and Paradox. Studies in Philosophical Logic. [REVIEW]John T. Kearns - 1981 - Journal of Symbolic Logic 46 (1):174-175.
  36.  22
    Substance and Time.John T. Kearns - 1970 - Journal of Philosophy 67 (9):277-289.
  37.  14
    Sameness or Similarity?John T. Kearns - 1968 - Philosophy and Phenomenological Research 29 (1):105-115.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  10
    Two Concepts of Opposition, Multiple Squares.John T. Kearns - 2012 - In J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Birkhäuser. pp. 119--127.
  39.  14
    The Logic of Calculation.John T. Kearns - 1976 - Mathematical Logic Quarterly 23 (1‐6):45-58.
  40.  20
    The Logic of Calculation.John T. Kearns - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (1-6):45-58.
  41. The Principles of Deductive Logic.John T. Kearns - 1987 - Albany, NY, USA: State University of New York Press.
    Clear focus on its application of formal logic to ordinary English is the most distinctive feature of this textbook for the introductory course in deductive logic. Great care is taken with the appropriate translation into logical languages of ordinary English sentences. Evaluation of these translations promotes a more effective use of ordinary language. The Principles of Deductive Logic presents symbolic logic in a fuller and more leisurely fashion than other introductory textbooks. Early chapters cover informal material, including definition and informal (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  6
    The Logical Systems of Lesniewski.John T. Kearns - 1962 - Journal of Symbolic Logic 38 (1):147-148.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  8
    Truth Probability and Paradox. Studies in Philosophical Logic.John T. Kearns - 1981 - Journal of Symbolic Logic 46 (1):174-175.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  14
    The Problem of Meaning in Indian Philosophy.John T. Kearns - 1965 - Philosophy East and West 15 (3):291-293.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark