Switch to: Citations

Add references

You must login to add references.
  1. Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
    I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...
    Download  
     
    Export citation  
     
    Bookmark   275 citations  
  • Parts of Classes.David K. Lewis - 1991 - Blackwell.
    Download  
     
    Export citation  
     
    Bookmark   251 citations  
  • Is Mereology Ontologically Innocent?Byeong-Uk Yi - 1999 - Philosophical Studies 93 (2):141-160.
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • Second-Order Logic Still Wild.Michael D. Resnik - 1988 - Journal of Philosophy 85 (2):75-87.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • The Principles of Mathematics.Bertrand Russell - 1903 - Allen & Unwin.
    Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...)
    Download  
     
    Export citation  
     
    Bookmark   250 citations  
  • Methods of Logic.W. V. O. Quine - 1950 - Harvard University Press.
    Download  
     
    Export citation  
     
    Bookmark   148 citations  
  • Action, Emotion And Will.A. KENNY - 1963 - Ny: Humanities Press.
    ACTION, EMOTION AND WILL "This a clear and persuasive book which contains as many sharp points as a thorn bush and an array of arguments that as neat and ...
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • Frege: Philosophy of Mathematics.Michael DUMMETT - 1991 - Harvard University Press.
    In this work Dummett discusses, section by section, Frege's masterpiece The Foundations of Arithmetic and Frege's treatment of real numbers in the second volume ...
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • Mathematical Logic.Stephen Cole Kleene - 1967 - Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Introduction to Mathematical Logic.ALONZO CHURCH - 1956 - Princeton: Princeton University Press.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Download  
     
    Export citation  
     
    Bookmark   118 citations  
  • Introduction to Mathematical Logic.ALONZO CHURCH - 1944 - London: Oxford University PRess.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Download  
     
    Export citation  
     
    Bookmark   128 citations  
  • A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • The Calculus of Individuals and its Uses.Henry S. Leonard & Nelson Goodman - 1940 - Journal of Symbolic Logic 5 (2):45-55.
    Download  
     
    Export citation  
     
    Bookmark   116 citations  
  • Posthumous Writings.Gottlob Frege - 1979 - Blackwell.
    Download  
     
    Export citation  
     
    Bookmark   136 citations  
  • A System of Logic.John Stuart Mill - 1874 - Longman.
    Download  
     
    Export citation  
     
    Bookmark   356 citations  
  • Philosophy of Logic.W. V. O. Quine - 1970 - Harvard University Press.
    With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar--but argues against the doctrine that the logical ...
    Download  
     
    Export citation  
     
    Bookmark   270 citations  
  • Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
    Download  
     
    Export citation  
     
    Bookmark   138 citations  
  • Anadic Logic and English.Richard E. Grandy - 1976 - Synthese 32 (3-4):395 - 402.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Against Pluralism.A. P. Hazen - 1993 - Australasian Journal of Philosophy 71 (2):132 – 144.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • A Theory of Aggregates.Tyler Burge - 1977 - Noûs 11 (2):97-117.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Reading the Begriffsschrift.George Boolos - 1985 - Mind 94 (375):331-344.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Complex Individuals and Multigrade Relations.Adam Morton - 1975 - Noûs 9 (3):309-318.
    I relate plural quantification, and predicate logic where predicates do not need a fixed number of argument places, to the part-whole relation. For more on these themes see later work by Boolos, Lewis, and Oliver & Smiley.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • The Development of Logic.W. C. Kneale - 1962 - Oxford University Press.
    This book traces the development of formal logic from its origins in ancient Greece to the present day. The authors first discuss the work of logicians from Aristotle to Frege, showing how they were influenced by the philosophical or mathematical ideas of their time. They then examine developments in the present century.
    Download  
     
    Export citation  
     
    Bookmark   169 citations  
  • Elementary Logic.Benson Mates - 1965 - New York: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Nominalist Platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
    Download  
     
    Export citation  
     
    Bookmark   131 citations  
  • A Mathematical Introduction to Logic.Herbert B. Enderton - 1972 - New York: Academic Press.
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Frege and Dummett Are Two.Alex Oliver - 1994 - Philosophical Quarterly 44 (174):74-82.
    In "Frege: Philosophy of Mathematics" Dummett recommends the following thesis, (PNP): the correct analysis of any sentence containing a plural noun phrase will show that the phrase is functioning predictively. According to Dummett, (PNP), applied to numerical predications such as the leaves are 1,000' is the key premise in Frege's argument against Mill's theory of numbers. But Frege never subscribed to (PNP) and he rejected such numerical predications, and point out how Frege's own semantic theory for plural noun phrases obscures (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Grundlagen der Arithmetik.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   203 citations  
  • From Discourse to Logic.Hans Kamp & Uwe Reyle - 1993 - Dordrecht: Kluwer Academic Publishers.
    Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...
    Download  
     
    Export citation  
     
    Bookmark   312 citations  
  • To Be is to Be a Value of a Variable (or to Be Some Values of Some Variables).George Boolos - 1984 - Journal of Philosophy 81 (8):430-449.
    Download  
     
    Export citation  
     
    Bookmark   150 citations  
  • Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Dover Publications.
    Seminal work by great modern philosopher and mathematician focuses on certain issues of mathematical logic that Russell believed invalidated much traditional and contemporary philosophy. Topics include number, order, relations, limits and continuity, propositional functions, descriptions and classes, more. Clear, accessible excursion into the realm where mathematics and philosophy meet.
    Download  
     
    Export citation  
     
    Bookmark   290 citations  
  • Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 2007 - Cambridge University Press.
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel’s incompleteness theorems, but also a large number of optional topics, from Turing’s theory of computability to Ramsey’s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a (...)
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • Plurals and Events.Barry Schein - 1993 - MIT Press.
    Barry Schein proposes combining a second-order treatment of plurals with DonaldDavidson's suggestion that there are positions for reference to events in ordinary predicates inorder to account for several of the more puzzling features of ...
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • Numbers and Relations.Byeong-Uk Yi - 1998 - Erkenntnis 49 (1):93 - 113.
    In this paper, I criticize John Bigelow's account of number and present my own account that results from the criticism. In doing so, I argue that proper understanding of the nature of number requires a radical departure from the standard conception of language and reality and outline the alternative conception that underlies my account of number. I argue that Bigelow's account of number rests on an incorrect analysis of the plural constructions underlying the talk of number and propound an analysis (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Flexibly Structured Predication.Barry Taylor & Allen P. Hazen - 1992 - Logique Et Analyse 35:374-393.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Roots of Reference.W. V. Quine - 1974 - Lasalle, Ill., Open Court.
    Our only channel of information about the world is the impact of external forces on our sensory surfaces. So says science itself. There is no clairvoyance. How, then, can we have parlayed this meager sensory input into a full-blown scientific theory of the world? This is itself a scientific question. The pursuit of it, with free use of scientific theory, is what I call naturalized epistemology. The Roots of Reference falls within that domain. Its more specific concern, within that domain, (...)
    Download  
     
    Export citation  
     
    Bookmark   139 citations  
  • Philosophical and Mathematical Correspondence.Gottlob Frege, Gottfried Gabriel, Brian Mcguinness & Hans Kaal - 1982 - Revue Philosophique de la France Et de l'Etranger 172 (1):64-64.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   154 citations  
  • Methods of Logic.P. L. Heath & Willard Van Orman Quine - 1955 - Philosophical Quarterly 5 (21):376.
    Download  
     
    Export citation  
     
    Bookmark   106 citations  
  • Immanence and Validity.W. V. Quine - 1991 - Dialectica 45 (2‐3):219-230.
    SummaryMetatheory may be pursued immanently, i.e., within the object language, or transcendently in metalanguages. Immanently, the hierarchy of metalanguages gives way to a hierarchy of predicates. The immanent approach accentuates the symmetry between Russell's paradox and Cantor's theorem: class shortage versus predicate shortage. Appeal to metatheoretic models, in defining logical truth, gives way to appeal to substitutions of expressions of the object language. Can this be said also of set‐theoretic truth, despite predicate shortage? Equivalently: is substitutional quantification unscathed by predicate (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Algebraic Semantics in Language and Philosophy.Godehard Link - 1998 - CSLI Publications.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • Is Two a Property?Byeong-uk Yi - 1999 - Journal of Philosophy 96 (4):163-190.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Current Periodical Articles.Dick Tom & Gerald J. Massey - 1976 - American Philosophical Quarterly 13 (1).
    Download  
     
    Export citation  
     
    Bookmark   8 citations