|Finitude and Infinitude in the Atomic Calculus of Individuals|
|Lewis (David) & Hodges (Wilfrid)|
|Source: Lewis - Papers in Philosophical Logic|
|Paper - Abstract|
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.
Goodman's "Goodman (Nelson) - The Structure of Appearance".
Text Colour Conventions (see disclaimer)
|© Theo Todman, June 2007 - Jan 2019.||Please address any comments on this page to firstname.lastname@example.org.||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|