When is a Schema Not a Schema? On a Remark by Suszko
- 13 Downloads
A 1971 paper by Roman Suszko, ‘Identity Connective and Modality’, claimed that a certain identity-free schema expressed the condition that there are at most two objects in the domain. Section 1 here gives that schema and enough of the background to this claim to explain Suszko’s own interest in it and related conditions—via non-Fregean logic, in which the objects in question are situations and the aim is to refrain from imposing this condition. Section 3 shows that the claim is false, and suggests a diagnosis as to why it might have been made, in terms of quantifier scope distinctions as they bear on schematic formulations. In between, Section 2 discusses an issue brought up by this discussion but not involving the mistaken claim itself, and shows that Suszko was familiar with two different ways (using identity) to set an upper or lower finite bound to the domain—a contrast which some contemporary readers may associate with David Lewis (for reasons that will be explained in that section).
KeywordsSuszko Schemata Identity Non-Fregean logic
Unable to display preview. Download preview PDF.
- 2.Avigad, J., and R. Zach, The epsilon calculus, in E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Summer 2016 Edition). https://plato.stanford.edu/archives/sum2016/entries/epsilon-calculus/
- 3.Bigelow, J., The Reality of Numbers, Oxford University Press, Oxford 1988.Google Scholar
- 4.Church, A., Introduction to Mathematical Logic (Vol. I), Princeton University Press, Princeton NJ 1956.Google Scholar
- 6.Forbes, G., Logic, logical form, and the open future, Philosophical Perspectives, Vol. 10: Metaphysics 73–92, 1996.Google Scholar
- 11.Hugly, P., and C. Sayward, Bound variables and schematic letters, Logique et Analyse 24:425–429, 1981.Google Scholar
- 15.Humberstone, L., Philosophical Applications of Modal Logic, College Publications, London 2016.Google Scholar
- 17.Oliver, A., The matter of form: logic’s beginnings, in J. Lear, and A. Oliver (eds.), The Force of Argument: Essays in Honor of Timothy Smiley, Routledge, New York, NY 2010, pp. 165–185.Google Scholar
- 20.Słupecki, J., St. Leśniewski’s protothetics, Studia Logica 1:46–111, 1953.Google Scholar
- 23.Suszko, R., Sentential variables versus arbitrary sentential constants, Prace z Logiki 6:85–88, 1971.Google Scholar
- 25.Wajsberg, M., Investigations of functional calculus for finite domain of individuals, in S. J. Surma (ed.), Mordechaj Wajsberg: Logical Works, Polish Academy of Sciences, Institute of Philosophy and Sociology, Wrocław 1977. (German original of this paper publ. 1933.), pp. 40–49.Google Scholar