Tarski on Categoricity and Completeness: An Unpublished Lecture from 1940
One of the central pieces of evidence used in Chapter 16 is an unpublished lecture by Tarski entitled “On the completeness and categoricity of deductive theories”(1940). This Chapter provides a step by step commentary of this lecture that in addition to shedding light into Tarski’s notion of logical consequence also contains important developments concerning the notions of categoricity and semantical completeness in higher order logic that have recently been the object of renewed attention by mathematical logicians.
Keywords: Key words: logical consequence, categoricity, semantical completeness, syntactical completeness, Tarski, Carnap
Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
Please, subscribe or login to access full text content.
If you think you should have access to this title, please contact your librarian.
To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .