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 StatisticsDisclaimer


Philosophers Index Abstract

    The Barcan systems of first order quantified modal logic1 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, 2018
  2. Mauve: Text by correspondent(s) or other author(s); © the author(s)



© Theo Todman, June 2007 - Nov 2018. 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