Abstract
The theoretical foundation for this paper is the system of a non-Fregean logic created by Roman Suszko under the influence of Wittgenstein’s Tractatus Logico-Philosophicus. In fact, we use just a fragment of it called here a non-Fregean sentential logic.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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.
References
Ajdukiewicz, K. 1967a: “Intensional expressions”, Studia Logica 20, 63–86.
Ajdukiewicz, K. 1967b: “Proposition as the connotation of sentence”, Studia Logica 20, 87–98.
Bloom, S. L. 1971: “A completeness theorem for ‘theories of kind W’“, Studia Logica 27, 43–55.
Bloom, S.L. 1974: “On ‘generalized logics’“, Studia Logica 33, 65–68.
Bloom, S.L. and Suszko, R. 1971: “Semantics for the sentential calculus with identity”, Studia Logica 28, 77–81.
Bloom, S.L. and Suszko, R. 1972: “Investigations into the sentential calculus with identity”, Notre Dame Journal of Formal Logic 13, 289–308.
Łoś, J. 1948: “Logiki wielowartosciowe a formalizacja funkcji intensjonalnych” [Many-valued logics and the formalization of intensional functions], Kwartalnik filozoficzny 17, 59–78.
Łoś, J. 1949: “O matrycach logicznych” [About logical matrices], Travaux de la Société des Sciences et des Letters de Wroclaw , ser., 19, B.
Michaels, A. and Suszko, R. 1976: “Sentential calculus of identity and negation”, Reports on Mathematical Logic 7, 87–106.
Omyła, M. 1976: “Translatability in non-Fregean theories”, Studia Logica 36, 127–138.
Omyła, M. 1978: “Boolean theories with quantifiers”, Bulletin of the Section of Logic 7, 76–83.
Omyła, M. 1982: “The logic of situations”, Language and ontology, Wien, 195–198.
Omyła, M. 1986: Zarys logiki niefregewskiej [Outline of non-Fregean logic], Warszawa.
Omyła, M. 1990: “Principles of non-Fregean semantics for sentences” (Abstract), Journal of Symbolic Logic 60, 422–423.
Omyła, M. and Suszko, R. 1972a: “Descriptions in theories of kind W”, Bulletin of the Section of Logic 1, 8–13.
Omyła, M. and Suszko, R. 1972b: “Definitions in theories of kind W”, Bulletin of the Section of Logic 1, 14–19.
Omyła, M. and Zygmunt, J. 1984: “Roman Suszko (1919 – 1979): A bibliography of the published work with an outline of his logical investigations”, Studio, Logica 43, 421–441.
Suszko, R. 1968: “Ontology in the Tractatus of L. Wittgenstein”, Notre Dame Journal of Formal Logic 9, 7–33.
Suszko, R. 1968a: “Non-Fregean logic and theories”, Analele Universitatii Bucuresti, Acta logica 11, 105–25.
Suszko, R. 1971a: “Quasi completeness in non-Fregean logic”, Studia Logica 29, 7–14.
Suszko, R. 1971b: “Reifikacja sytuacji” [The reification of situations], Studia Filozoficzne 2, 65–82.
Suszko, R. 1975: “Abolition of the Fregean axiom”, Lecture Notes in Mathematics 453, 169–39.
Suszko, R. 1977: “The Fregean axiom and Polish mathematical logic in the 1920”, Studia Logica 35, 377–380.
Suszko, R. 1993: “The reification of situations” [English version of Suszko 1971 to appear in Philosophical logic in Poland, Synthese Library].
Wittgenstein, L. 1922: Tractatus Logico-Philosophicus, London.
Wolniewicz, B. 1968: Rzeczy i fakty. Wstȩp do pierwszej filozofii Wittgensteina [Things and facts. An introduction to Wittgenstein’s first philosophy], Warszawa.
Wolniewicz, B. 1985: Ontologia sytuacji [Ontology of situations], Warszawa.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Omyla, M. (1996). A Formal Ontology of Situations. In: Poli, R., Simons, P. (eds) Formal Ontology. Nijhoff International Philosophy Series, vol 53. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8733-4_6
Download citation
DOI: https://doi.org/10.1007/978-94-015-8733-4_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4718-2
Online ISBN: 978-94-015-8733-4
eBook Packages: Springer Book Archive