Cover Image

Logic, semantics, metamathematics : papers from 1923 to 1938 /

Show other versions (1)

Bibliographic Details
Main Author:	Tarski, Alfred, 1901-1983
Other Authors:	Woodger. J. H. (Translator)
Format:	Book
Language:	English
Published:	Oxford, Clarendon Press, 1956.
Subjects:	Logic, Symbolic and mathematical. Semantics (Philosophy) Mathematics. Philosophy. Logic. Semantics. Mathematics Philosophy Logic Semantics Logique symbolique et mathématique. Sémantique (Philosophie) Mathématiques. Philosophie. Logique. Sémantique. philosophy. logic. semantics. Logic, Symbolic and mathematical Metamathematica. Logica. Semantiek.

Table of Contents:

On the primitive term of logistic
Foundations of the geometry of solids
On some fundamental concepts of metamathematics
Investigations into the sentential calculus
Fundamental concepts of the methodology of the deductive sciences
On definable sets of real numbers
Logical operations and projective sets
The concept of truth in formalized languages
Some observations on the concepts of omega-consistency and omega-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
On extensions of incomplete systems of the sentential calculus
The establishment of scientific semantics
On the concept of logical consequence
Sentential calculus and topology.