Email this article On 2nd Order Calculi of Individuals
Abstract
From early work of N. Goodman to recent approaches by H. Field and D. Lewis, there have
been attempts to combine 2nd order languages with calculi of individuals. This paper is a contribution,
containing basic definitions and distinctions and some metatheorems, to the development
of a general metatheory of such theories.
been attempts to combine 2nd order languages with calculi of individuals. This paper is a contribution,
containing basic definitions and distinctions and some metatheorems, to the development
of a general metatheory of such theories.
Keywords
nominalism, mereology, calculus of individuals, 2nd order logic, Goodman,
Lewis, Field.
________________________
THEORIA :: eISSN: 2171-679X | ISSN: 0495-4548
Contact: theoria [at] ehu.es
THEORIA is published under a Creative Commons Licence: Attribution-Noncommercial-No Derivative Works 2.5 Generic