The Identity of Individuals in a Strict Functional Calculus of Second Order
Marcus (Ruth Barcan)
Source: Journal of Symbolic Logic 12, No. 1, Mar., 1947, pp. 12-15
Paper - Abstract

Paper Summary


Philosophers Index Abstract

    The Barcan systems of first order quantified modal logic are extended to include functional and propositional variables, an abstraction operator and abstract formation along with axiom schemata for second order quantification theory and abstract elimination. Identity is introduced (I or =) and theorems proved about that relation including the proof that identity and necessary identity are strictly equivalent, i.e., the necessity of identity.

Comment:

Published as Ruth C. Barcan

Text Colour Conventions (see disclaimer)

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



© Theo Todman, June 2007 - November 2017. 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