Switch to: Citations

References in:

Truth via Satisfaction?

In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications. pp. 273-287 (2017)

Add references

You must login to add references.
  1. Tarski's Theory of Truth.Hartry Field - 1972 - Journal of Philosophy 69 (13):347.
    Download  
     
    Export citation  
     
    Bookmark   262 citations  
  • The Complete Works of Aristotle. The Revised Oxford Translation.Jonathan Barnes - 1986 - Revue Philosophique de la France Et de l'Etranger 176 (4):493-494.
    Download  
     
    Export citation  
     
    Bookmark   154 citations  
  • On the Metamathematics of Algebra.Abraham Robinson - 1952 - Journal of Symbolic Logic 17 (3):205-207.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • (1 other version)Logic: The Laws of Truth.Nicholas J. J. Smith - 2012 - Princeton, N.J.: Princeton University Press.
    Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that presents (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • (1 other version)Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
    The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
    Download  
     
    Export citation  
     
    Bookmark   188 citations  
  • Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
    8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.
    Download  
     
    Export citation  
     
    Bookmark   600 citations  
  • Metalogic: an introduction to the metatheory of standard first order logic.Geoffrey Hunter - 1971 - Berkeley,: University of California Press.
    This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically ...
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • A mathematical introduction to logic.Herbert Bruce 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   121 citations  
  • Tarski's conceptual analysis of semantical notions.Solomon Feferman - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. New York: Oxford University Press. pp. 72.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.
    Download  
     
    Export citation  
     
    Bookmark   190 citations  
  • (1 other version)Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
    Download  
     
    Export citation  
     
    Bookmark   153 citations  
  • The Complete Works: The Rev. Oxford Translation.Jonathan Barnes (ed.) - 1984 - Princeton, N.J.: Princeton University Press.
    The Oxford Translation of Aristotle was originally published in 12 volumes between 1912 and 1954. It is universally recognized as the standard English version of Aristotle. This revised edition contains the substance of the original Translation, slightly emended in light of recent scholarship three of the original versions have been replaced by new translations and a new and enlarged selection of Fragments has been added. The aim of the translation remains the same: to make the surviving works of Aristotle readily (...)
    Download  
     
    Export citation  
     
    Bookmark   264 citations  
  • (1 other version)Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • What languages have Tarski truth definitions?Wilfrid Hodges - 2004 - Annals of Pure and Applied Logic 126 (1-3):93-113.
    Tarski's model-theoretic truth definition of the 1950s differs from his 1930s truth definition by allowing the language to have a set of parameters that are interpreted by means of structures. The paper traces how the model-theoretic theorems that Tarski and others were proving in the period between these two truth definitions became increasingly difficult to fit into the framework of the earlier truth definition, making the later one more or less inevitable. The paper also maintains that neither recursiveness nor satisfaction (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (2 other versions)A Mathematical Introduction to Logic.J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (2):340-341.
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • (2 other versions)Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
    This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Metalogic: An Introduction to the Metatheory of Standard First Order Logic.M. J. Cresswell & Geoffrey Hunter - 1972 - Philosophical Quarterly 22 (86):79.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (2 other versions)Computability and Logic.Stephen Leeds - 1977 - Journal of Symbolic Logic 42 (4):585-586.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Non-standard Analysis.Gert Heinz Müller - 2016 - Princeton University Press.
    Considered by many to be Abraham Robinson's magnum opus, this book offers an explanation of the development and applications of non-standard analysis by the mathematician who founded the subject. Non-standard analysis grew out of Robinson's attempt to resolve the contradictions posed by infinitesimals within calculus. He introduced this new subject in a seminar at Princeton in 1960, and it remains as controversial today as it was then. This paperback reprint of the 1974 revised edition is indispensable reading for anyone interested (...)
    Download  
     
    Export citation  
     
    Bookmark   172 citations  
  • Mathematical logic: a first course.Joel W. Robbin - 1969 - Mineola, N.Y.: Dover Publications.
    Suitable for advanced undergraduates and graduate students from diverse fields and varying backgrounds, this self-contained course in mathematical logic features numerous exercises that vary in difficulty. The author is a Professor of Mathematics at the University of Wisconsin.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Introduction to Model Theory and the Metamathematics of Algebra.Abraham Robinson - 1963 - Journal of Symbolic Logic 29 (1):56-56.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Truth in a Structure.Wilfrid Hodges - 1986 - Proceedings of the Aristotelian Society 86:135 - 151.
    Wilfrid Hodges; VIII*—Truth in a Structure, Proceedings of the Aristotelian Society, Volume 86, Issue 1, 1 June 1986, Pages 135–152, https://doi.org/10.1093/ari.
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • Truthier Than Thou: Truth, Supertruth and Probability of Truth.Nicholas J. J. Smith - 2015 - Noûs 50 (4):740-58.
    Different formal tools are useful for different purposes. For example, when it comes to modelling degrees of belief, probability theory is a better tool than classical logic; when it comes to modelling the truth of mathematical claims, classical logic is a better tool than probability theory. In this paper I focus on a widely used formal tool and argue that it does not provide a good model of a phenomenon of which many think it does provide a good model: I (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Tarski, truth and model theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.
    As Wilfrid Hodges has observed, there is no mention of the notion truth-in-a-model in Tarski's article 'The Concept of Truth in Formalized Languages'; nor does truth make many appearances in his papers on model theory from the early 1950s. In later papers from the same decade, however, this reticence is cast aside. Why should Tarski, who defined truth for formalized languages and pretty much founded model theory, have been so reluctant to speak of truth in a model? What might explain (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (2 other versions)Formal Logic: Its Scope and Limits.Timothy McCarthy - 1967 - Journal of Symbolic Logic 49 (4):1408-1409.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • (1 other version)On the Foundations of Geometry and Formal Theories of Arithmetic.Gottlob Frege - 1974 - Mind 83 (329):131-133.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • (3 other versions)Mathematical Logic.J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.
    Download  
     
    Export citation  
     
    Bookmark   100 citations  
  • (1 other version)On the Foundations of Geometry and Formal Theories of Arithmetic.Howard Jackson - 1981 - Journal of Symbolic Logic 46 (1):175-179.
    Download  
     
    Export citation  
     
    Bookmark   8 citations