Some notes on nominalism

  title={Some notes on nominalism},
  author={Leon Henkin},
  journal={Journal of Symbolic Logic},
  pages={19 - 29}
  • L. Henkin
  • Published 1 March 1953
  • Computer Science
  • Journal of Symbolic Logic
In two papers appearing in successive issues of this Journal, Quine and Goodman, impelled by a philosophical standpoint which forswears all traffic in abstract entities, have explored the possibility of reinterpreting the language of classical mathematics so as to give it meaning (consistent with the observed overt pattern of standard usage) in terms of the narrow domain of entities which they recognize. The present paper offers several comments on this program. 

Systems of Substitutional Semantics

A semantics meeting four criteria is devised that constitutes a continuous semantics for natural and formal languages and is purely substitutional, containing no appeal to referential interpretations.

Leon Henkin the Reviewer

In this chapter, we intend to look at Henkin’s reviews, a total of forty-six. The books and papers reviewed deal with a large variety of subjects that range from the algebraic treatment of logical

April the 19th

This paper is about my book (Manzano, Extensions of first-order logic, 1996), published by Cambridge University Press in 1996. The main purpose of it being to pinpoint Henkin’s influence concerning

Perspectives on the Logical Study of Language

Logicism Renewed: Logical Foundations for Mathematics and Computer Science

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable

Visions of Henkin

The first two sections of this paper are biographical, discussing both his personal and academic life and the last section presents three aspects of Henkin’s work: his completeness method, philosophy and his renowned results on completeness.

Identity , Equality , Nameability and Completeness January 11 , 2017

  • Philosophy
  • 2017
This contribution is divided into two parts. The first one is devoted to the concepts of identity and equality in a variety of logical systems that motivates the definition of our system of

PhDs in Logic IX

s of Invited Talks A Gentle Introduction to Abstract Algebraic Logic Petr Cintula Czech Academy of Sciences Algebraic logic is the branch of mathematical logic that studies logical systems by giving

Henkin on Completeness

The Completeness of Formal Systems is the title of the thesis that Henkin presented at Princeton in 1947 under the supervision of Alonzo Church. A few years after the defense of his thesis, Henkin