Hostname: page-component-78c5997874-4rdpn Total loading time: 0 Render date: 2024-11-05T14:00:06.727Z Has data issue: false hasContentIssue false
  • English
  • Français

The identity of individuals in a strict functional calculus of second order

Published online by Cambridge University Press:  12 March 2014

Ruth C. Barcan
Ruth C. Barcan*
Affiliation:
Yale University
Get access Rights & Permissions [Opens in a new window]

Extract

In previous papers we developed two functional calculi of first order based on strict implication which we called S2 and S4. In the present paper, these systems will be extended to include a functional calculus of second order with the purpose of introducing the relation of identity of individuals.

Primitive symbols. ̂ {the abstraction operator, the blank space to be replaced by an appropriate variable}.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 12 , Issue 1 , March 1947 , pp. 12 - 15
Copyright
Copyright © Association for Symbolic Logic 1947

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1 Barcan, R. C., A functional calculus of first order based on strict implication, this Journal, vol. 11 (1946), pp. 1–16Google Scholar and The deduction theorem in a functional calculus of first order based on strict implication, this Journal, vol. 11 (1946), pp. 115–118. The reader is asked to make the following changes in the enumeration of the axioms and theorems appearing in these papers: Place “1.” before the number of each theorem, e.g., axiom 1 will be referred to as 1.1 etc.

2 Part of this paper was included in a dissertation written in partial fulfillment of the requirements for the Ph.D. degree in Philosophy at Yale University. I am indebted to Professor Frederic B. Fitch for his criticisms and suggestions.

3 1.8, extended over propositional variables is a special case of 2.1. 1.8, extended over functional variables is a special case of 2.2.

4 The following condition should be added to Rule IV on p. 2 of A functional calculus of first order etc.: α should not occur freely in A at a place where β would be bound.

5 To prove the converse of such a theorem as 2.25 requires some principle such as □A ⊰ (B ⊰ □ A). That this principle is not provable in S22 can be shown by the Group I matrix on p. 493 of Lewis and Langford's Symbolic Logic, where this matrix has been appropriately interpreted for quantification.