Switch to: Citations

References in:

Information recovery problems

Theoria 10 (3):55-78 (1995)

Add references

You must login to add references.
  1. Argumentations and Logic.John Corcoran - 1989 - ARGUMENTAION 3 (1):17-43.
    Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.
    After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Meanings of Implication.John Corcoran - 1973 - Diálogos. Revista de Filosofía de la Universidad de Puerto Rico 9 (24):59-76.
    Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (1 other version)Elementary logic.Benson Mates - 1972 - New York,: Oxford University Press.
    The present text book is intended as an introduction to elementary logic. Its content, structure, and manner have been determined in large measure - perhaps 'caused' is the better word- by certain desiderata about which the reader should be informed at the outset. The leading idea is that even an introductory treatment of logic may profitably be fashioned around a rigorous framework.
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • On Formally Undecidable Propositions of Principia Mathematica and Related Systems.Kurt Gödel - 1931 - New York, NY, USA: Basic Books.
    First English translation of revolutionary paper that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • A Philosophical Companion to First-order Logic.R. I. G. Hughes (ed.) - 1993 - Indianapolis and Cambridge: Hackett Publishing.
    This volume of recent writings, some previously unpublished, follows the sequence of a typical intermediate or upper-level logic course and allows teachers to enrich their presentations of formal methods and results with readings on corresponding questions in philosophical logic.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Studies in the Way of Words.Paul Grice - 1989 - Philosophy 65 (251):111-113.
    Download  
     
    Export citation  
     
    Bookmark   771 citations  
  • (2 other versions)Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • (1 other version)Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
    Download  
     
    Export citation  
     
    Bookmark   184 citations  
  • (1 other version)From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
    Download  
     
    Export citation  
     
    Bookmark   160 citations  
  • (1 other version)General Logic.Ralph M. Eaton - 1932 - The Monist 42:155.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Elementary Logic.G. T. Kneebone & Benson Mates - 1966 - Journal of Symbolic Logic 31 (3):483.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • (1 other version)General Logic.Ralph M. Eaton - 1932 - Philosophy 7 (26):235-239.
    Download  
     
    Export citation  
     
    Bookmark   7 citations