ABSTRACT

Originally published in 1958. A study in the logical foundations of modern theoretical semantics, this book is concerned with notions of designation and consistency as well as denotation and truth. It presents several semantical theories, each of which with what were new concepts or treatments from the author. Talking at a time when semantical theory was gained great ground, this book also looks at the methodology of the sciences and the semantics of scientific language alongside analysis of meaning and expression. It is influenced by the writings of Carnap, Church, Frege, Goodman, Quine, Russell and Tarski.

chapter II|39 pages

First-Order Languages

chapter III|29 pages

First-Order Syntax

chapter IV|16 pages

Multiple Denotation: First-Order Semantics

chapter V|28 pages

Truth, Adequacy, and Consistency

chapter VI|22 pages

Set Theory and Theory of Types

chapter VII|14 pages

Satisfaction, Designation, Determination

chapter VIII|12 pages

Non-Translational Semantics (I)

chapter IX|22 pages

Non-Translational Semantics (II)

chapter X|14 pages

Individual and Functional Constants

chapter XI|27 pages

Inscriptions and Multiple Denotation

chapter XII|9 pages

Inscriptions and Comprehension

chapter XIII|33 pages

First-Order Constructivism