skip to content
Logic, semantics, metamathematics : papers from 1923 to 1938 Preview this item
ClosePreview this item
Checking...

Logic, semantics, metamathematics : papers from 1923 to 1938

Author: Alfred Tarski; John Corcoran
Publisher: Indianapolis, Ind. : Hackett Pub. Co., ©1983.
Edition/Format:   Book : English : 2nd ed.View all editions and formats
Database:WorldCat
Summary:

Contains the text of "The Concept of Truth in Formalized Languages". This title includes a preface and an analytical index for use by philosophers and linguists as well as by historians of  Read more...

Rating:

based on 1 rating(s) 1 with a review

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Alfred Tarski; John Corcoran
ISBN: 0915144751 9780915144754 091514476X 9780915144761
OCLC Number: 9647116
Notes: Includes indexes.
Description: xxx, 506 pages ; 23 cm
Contents: On the primitive term of logistic --
Foundations of the geometry of solids --
On some fundamental concepts of metamathematics --
Investigations into the sentential calculus / Jan Lukasiewicz and Alfred Tarski --
Fundamental concepts of the methodology of the deductive sciences --
On definable sets of real numbers --
Logical operations and projective sets / Casimir Kuratowski and Alfred Tarski --
The concept of truth in formalized languages --
Some observations on the concepts of w --
consistency and w --
completeness --
Some methodological investigations on the definability of concepts --
On the foundations of boolean algebra --
Foundations of the calculus of systems --
On the limitations of the means of expression of deductive theories / Adolf Lindenbaum and Alfred Tarski --
On extensions of incomplete systems of the sentential calculus --
The establishment of scientific semantics --
On the concept of logical consequence --
Sentential calculus and topology.
Responsibility: by Alfred Tarski ; translated by J.H. Woodger.
More information:

Reviews

Editorial reviews

Publisher Synopsis

I can think of no better publishing project in the general area of logic and the foundations of mathematics than the republication and appropriate corrections under Tarski's supervision of this Read more...

 
User-contributed reviews

WorldCat User Reviews (1)

Two Important Papers on Two Important Concepts: Truth and Consequence.

by frangonabrasa (WorldCat user published 2009-06-04) Excellent Permalink

<!--[if gte mso 9]><xml> <w:WordDocument> <w:View>Normal</w:View> <w:Zoom>0</w:Zoom> <w:PunctuationKerning /> <w:ValidateAgainstSchemas /> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText>...
Read more...  Read more...

  • Was this review helpful to you?
  •   
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

All user tags (4)

View most popular tags as: tag list | tag cloud

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/9647116>
library:oclcnum"9647116"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/9647116>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"2nd ed. /"
schema:contributor
schema:copyrightYear"1983"
schema:creator
schema:datePublished"1983"
schema:description"On the primitive term of logistic -- Foundations of the geometry of solids -- On some fundamental concepts of metamathematics -- Investigations into the sentential calculus / Jan Lukasiewicz and Alfred Tarski -- Fundamental concepts of the methodology of the deductive sciences -- On definable sets of real numbers -- Logical operations and projective sets / Casimir Kuratowski and Alfred Tarski -- The concept of truth in formalized languages -- Some observations on the concepts of w -- consistency and w -- completeness -- Some methodological investigations on the definability of concepts -- On the foundations of boolean algebra -- Foundations of the calculus of systems -- On the limitations of the means of expression of deductive theories / Adolf Lindenbaum and Alfred Tarski -- On extensions of incomplete systems of the sentential calculus -- The establishment of scientific semantics -- On the concept of logical consequence -- Sentential calculus and topology."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/309301078>
schema:inLanguage"en"
schema:name"Logic, semantics, metamathematics : papers from 1923 to 1938"@en
schema:publisher
schema:url
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.