s may be interpreted as attributes. To every proposition about an object a there corresponds one or more attributes which ' R. C. Barcan (Marcus), The identity of individuals in a strict functional calculus of first order, Journal of Symbolic Logic, Vol. XII (1947), pp. 12-15.
No takes yet. Share an insight, caveat, or question.
Ruth Barcan Marcus (1967) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: