Abstract
At the conference of the Logic Section of IFiS PAN in October 1969, Professor J. Słupecki introduced a certain formal system W, which was published in the article ‘A Generalization of Modal Logic’.1 This paper was the point of departure for the following considerations.
Translated by Theodore Stazeski.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Notes
Studia Locica 28,1971,7–17.
R. Suszko: 1971, `Identity Connective and Modality’, Studia Logica 27, 7–41.
S. L. Bloom, R. Suszko, 1972: `Investigations into Sentential Calculus with Identity’, Notre Dame Journal of Formal Logic 13, 289–308.
The definition belongs to the metatheory. That is why we use the identity sign = in it to distinguish it from the sign of identity, which occurs in language J. This distinction is not indispensable.
Compare R. Suszko, W. Zandarowska: 1971, `Systemy S4 i S5 Lewisa a spójnik identycznogci’ (Lewis Systems S4 and S5 the Identity Connective)’, Studia Logica 29, 169–177.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Suszko, R. (1994). The Reification of Situations. In: Woleński, J. (eds) Philosophical Logic in Poland. Synthese Library, vol 228. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8273-5_17
Download citation
DOI: https://doi.org/10.1007/978-94-015-8273-5_17
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4276-7
Online ISBN: 978-94-015-8273-5
eBook Packages: Springer Book Archive