Finitude and Infinitude in the Atomic Calculus of Individuals
Lewis (David) & Hodges (Wilfrid)
Source: Lewis - Papers in Philosophical Logic
Paper - Abstract

Paper StatisticsDisclaimer


Philosophers Index Abstract

    Nelson goodman has raised the question whether there is any sentence in the language of his calculus of individuals which is true in every finite intended model, no matter how large, but false in every infinite atomic intended model. We prove that there is no such sentence. This negative answer is obtained as a corollary to a normal form theorem for the language in question.

Comment:

Goodman's "Goodman (Nelson) - The Structure of Appearance".

Text Colour Conventions (see disclaimer)

  1. Blue: Text by me; © Theo Todman, 2019
  2. Mauve: Text by correspondent(s) or other author(s); © the author(s)



© Theo Todman, June 2007 - March 2019. Please address any comments on this page to theo@theotodman.com. File output:
Website Maintenance Dashboard
Return to Top of this Page Return to Theo Todman's Philosophy Page Return to Theo Todman's Home Page