Skip to main content
Taylor & Francis Group Logo
    Advanced Search

    Click here to search products using title name,author name and keywords.

    • Login
    • Hi, User  
      • Your Account
      • Logout
      Advanced Search

      Click here to search products using title name,author name and keywords.

      Breadcrumbs Section. Click here to navigate to respective pages.

      Chapter

      The Elimination of Variables by Regular Combinators
                           1
      loading

      Chapter

      The Elimination of Variables by Regular Combinators 1

      DOI link for The Elimination of Variables by Regular Combinators 1

      The Elimination of Variables by Regular Combinators 1 book

      The Elimination of Variables by Regular Combinators 1

      DOI link for The Elimination of Variables by Regular Combinators 1

      The Elimination of Variables by Regular Combinators 1 book

      ByHaskell B. Curry
      BookCritical Approaches to Science & Philosophy with a new introduction

      Click here to navigate to parent product.

      Edition 1st Edition
      First Published 1999
      Imprint Routledge
      Pages 17
      eBook ISBN 9781351313087
      Share
      Share

      ABSTRACT

      This chapter presents some considerations concerning combinatory logic which this chapter by Quine has suggested. It turns to the question of the ontology of combinatory logic, because it is necessary to be clear about it in view of the constant reference to ontological questions in the work of Quine and philosophers of similar persuasion. In the situation of Quine the operators operate on one or more "predicates" to form another predicate, not necessarily with the same number of arguments. The system proposed by Quine is such that the "operators"—which are partly combinators, and partly combinations of combinators and other logical notions—are applied directly to predicates. There are two kinds of such operations. The first kind are simply combinators; the second kind are combinations of combinators with operations from ordinary logic, viz., negation, conjunction and existential quantification. Combinatory logic can be applied to ontological situations of various sorts, and, except in a very broad sense.

      T&F logoTaylor & Francis Group logo
      • Policies
        • Privacy Policy
        • Terms & Conditions
        • Cookie Policy
        • Privacy Policy
        • Terms & Conditions
        • Cookie Policy
      • Journals
        • Taylor & Francis Online
        • CogentOA
        • Taylor & Francis Online
        • CogentOA
      • Corporate
        • Taylor & Francis Group
        • Taylor & Francis Group
        • Taylor & Francis Group
        • Taylor & Francis Group
      • Help & Contact
        • Students/Researchers
        • Librarians/Institutions
        • Students/Researchers
        • Librarians/Institutions
      • Connect with us

      Connect with us

      Registered in England & Wales No. 3099067
      5 Howick Place | London | SW1P 1WG © 2022 Informa UK Limited