The book presents a thoroughly elaborated logical theory of generalized truth-values
understood as subsets of some established set of (basic) truth values. After elucidating the …

Publisher Summary This chapter provides an overview of the Hilbert's program. Hilbert's
program is, in the first instance, a proposal and a research program in the philosophy and …

Models and theories are of central importance in science, and scientists spend substantial
amounts of time building, testing, comparing and revising models and theories. It is therefore …

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs,
with details of proofs worked out and examples and exercises to aid the reader's …

A simple explanation of theoreticity says that a term is theoretical if and only if it refers to
nonobservational entities. Paradigmatic examples of such entities are electrons, neutrinos …

The period from 1900 to 1935 was particularly fruitful and important for the development of
logic and logical metatheory. This survey is organized along eight" itineraries" concentrating …

Determining the semantic content of sentences, and uncovering regularities between
linguistic form and meaning, requires attending to both morphological and syntactic …

Proof theory is not an esoteric technical subject that was invented to support a formalist
doctrine in the philosophy of mathematics; rather, it has been developed as an attempt to …

The meaning of definite descriptions is a central topic in philosophy and linguistics.
Indefinites have been relatively neglected by philosophers, under the Russellian …

'Natural deduction'designates a type of logical system described initially in Gentzen (1934)
and Jaśkowski (1934). It also designates the type of reasoning that these logical systems …