Switch to: Citations

Add references

You must login to add references.
  1. The Liar: An Essay on Truth and Circularity.Jon Barwise & John Etchemendy - 1987 - Oxford, England and New York, NY, USA: Oxford University Press USA. Edited by John Etchemendy.
    Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...)
    Download  
     
    Export citation  
     
    Bookmark   125 citations  
  • The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - London, England: Routledge & Kegan Paul. Edited by R. B. Braithwaite.
    First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.
    Download  
     
    Export citation  
     
    Bookmark   447 citations  
  • Applying Kripke's Theory of Truth.Vann McGee - 1989 - Journal of Philosophy 86 (10):530-539.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Pointers to Truth.Haim Gaifman - 1992 - Journal of Philosophy 89 (5):223.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • What is Cantor's Continuum Problem (1964 version).Kurt Gödel - 1964 - Journal of Symbolic Logic (2):116-117.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • The Revision Theory of Truth.A. Gupta & N. D. Belnap - 1993 - MIT Press.
    In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..
    Download  
     
    Export citation  
     
    Bookmark   217 citations  
  • Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
    Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...)
    Download  
     
    Export citation  
     
    Bookmark   546 citations  
  • Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
    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   403 citations  
  • Stoic logic.Benson Mates - 1961 - Berkeley,: University of California Press.
    This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1973.
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  • The development of logic.W. C. Kneale - 1962 - New York: Oxford University Press. Edited by Martha Kneale.
    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   180 citations  
  • Quality and concept.George Bealer - 1982 - New York: Oxford University Press.
    This study provides a unified theory of properties, relations, and propositions (PRPs). Two conceptions of PRPs have emerged in the history of philosophy. The author explores both of these traditional conceptions and shows how they can be captured by a single theory.
    Download  
     
    Export citation  
     
    Bookmark   203 citations  
  • Singular terms, truth-value gaps, and free logic.Bas C. van Fraassen - 1966 - Journal of Philosophy 63 (17):481-495.
    Download  
     
    Export citation  
     
    Bookmark   225 citations  
  • Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Download  
     
    Export citation  
     
    Bookmark   880 citations  
  • Notes on naive semantics.Hans Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  • Truth and paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
    Download  
     
    Export citation  
     
    Bookmark   153 citations  
  • An extension of basic logic.Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (2):95-106.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Languages with self-reference I: Foundations.Donald Perlis - 1985 - Artificial Intelligence 25 (3):301-322.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Mathematical Logic.J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.
    Download  
     
    Export citation  
     
    Bookmark   98 citations  
  • Towards a Theory of Meaningfulness and Truth: An Introduction to Variational Semantics.Brian Edison Mcdonald - 1992 - Dissertation, University of Colorado at Boulder
    We start with a nearly arbitrary standard classical first order "language" $C\sb{o},$ which is expanded to $C\sb{M,T}$ = "$C\sb{o}+M+T$", where for any variable x, M and T are unary formulas. We start also with a model ${\cal T}\sb{o},$ which together with $C\sb{o}$ represents a fixed non-problematic interpreted first order language. For each $\mu,\tau\subseteq U\sb{o},$ the universe of discourse for ${\cal T}\sb{o},$ the model ${\cal T}\sb{\mu,\tau}$ over $C\sb{M,T}$ is given so that its reduct to $C\sb{o}$ is just ${\cal T}\sb{o},$ and so (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Vagueness, and Paradox: An Essay in the Logic of Truth. [REVIEW]Jamie Tappenden - 1994 - Philosophical Review 103 (1):142-144.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • [Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
    Reviewed Works:John R. Steel, A. S. Kechris, D. A. Martin, Y. N. Moschovakis, Scales on $\Sigma^1_1$ Sets.Yiannis N. Moschovakis, Scales on Coinductive Sets.Donald A. Martin, John R. Steel, The Extent of Scales in $L$.John R. Steel, Scales in $L$.
    Download  
     
    Export citation  
     
    Bookmark   219 citations  
  • Book Review:Encyclopedia of Philosophy. [REVIEW]Leonard Linsky - 1970 - Ethics 80 (4):322-.
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • The Paradox of the liar.Robert Lazarus Martin (ed.) - 1970 - New Haven [Conn.]: Yale University Press.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Lectures in set theory.Thomas J. Jech - 1971 - New York,: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
    " There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
    Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
    Download  
     
    Export citation  
     
    Bookmark   104 citations  
  • Some remarks on extending and interpreting theories with a partial predicate for truth.William N. Reinhardt - 1986 - Journal of Philosophical Logic 15 (2):219 - 251.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Necessity predicates and operators.William N. Reinhardt - 1980 - Journal of Philosophical Logic 9 (4):437 - 450.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • On representing ‘true-in-L’ in L.Robert L. Martin - 1975 - Philosophia 5 (3):213-217.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Naive semantics and the liar paradox.Hans Herzberger - 1982 - Journal of Philosophy 79 (9):479-497.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • A fixed point theorem for the weak Kleene valuation scheme.Anil Gupta & Robert L. Martin - 1984 - Journal of Philosophical Logic 13 (2):131 - 135.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Gupta's rule of revision theory of truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.
    Gupta’s Rule of Revision theory of truth builds on insights to be found in Martin and Woodruff and Kripke in order to permanently deepen our understanding of truth, of paradox, and of how we work our language while our language is working us. His concept of a predicate deriving its meaning by way of a Rule of Revision ought to impact significantly on the philosophy of language. Still, fortunately, he has left me something to.
    Download  
     
    Export citation  
     
    Bookmark   52 citations