A Formal Ontology of Situations

Part of the Nijhoff International Philosophy Series book series (NIPS, volume 53)


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.


Boolean Algebra Classical Logic Completeness Theorem Formal Ontology True Sentence 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Ajdukiewicz, K. 1967a: “Intensional expressions”, Studia Logica 20, 63–86.CrossRefGoogle Scholar
  2. Ajdukiewicz, K. 1967b: “Proposition as the connotation of sentence”, Studia Logica 20, 87–98.CrossRefGoogle Scholar
  3. Bloom, S. L. 1971: “A completeness theorem for ‘theories of kind W’“, Studia Logica 27, 43–55.CrossRefGoogle Scholar
  4. Bloom, S.L. 1974: “On ‘generalized logics’“, Studia Logica 33, 65–68.CrossRefGoogle Scholar
  5. Bloom, S.L. and Suszko, R. 1971: “Semantics for the sentential calculus with identity”, Studia Logica 28, 77–81.CrossRefGoogle Scholar
  6. Bloom, S.L. and Suszko, R. 1972: “Investigations into the sentential calculus with identity”, Notre Dame Journal of Formal Logic 13, 289–308.CrossRefGoogle Scholar
  7. Łoś, J. 1948: “Logiki wielowartosciowe a formalizacja funkcji intensjonalnych” [Many-valued logics and the formalization of intensional functions], Kwartalnik filozoficzny 17, 59–78.Google Scholar
  8. Łoś, J. 1949: “O matrycach logicznych” [About logical matrices], Travaux de la Société des Sciences et des Letters de Wroclaw , ser., 19, B.Google Scholar
  9. Michaels, A. and Suszko, R. 1976: “Sentential calculus of identity and negation”, Reports on Mathematical Logic 7, 87–106.Google Scholar
  10. Omyła, M. 1976: “Translatability in non-Fregean theories”, Studia Logica 36, 127–138.Google Scholar
  11. Omyła, M. 1978: “Boolean theories with quantifiers”, Bulletin of the Section of Logic 7, 76–83.Google Scholar
  12. Omyła, M. 1982: “The logic of situations”, Language and ontology, Wien, 195–198.Google Scholar
  13. Omyła, M. 1986: Zarys logiki niefregewskiej [Outline of non-Fregean logic], Warszawa.Google Scholar
  14. Omyła, M. 1990: “Principles of non-Fregean semantics for sentences” (Abstract), Journal of Symbolic Logic 60, 422–423.Google Scholar
  15. Omyła, M. and Suszko, R. 1972a: “Descriptions in theories of kind W”, Bulletin of the Section of Logic 1, 8–13.Google Scholar
  16. Omyła, M. and Suszko, R. 1972b: “Definitions in theories of kind W”, Bulletin of the Section of Logic 1, 14–19.Google Scholar
  17. 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.CrossRefGoogle Scholar
  18. Suszko, R. 1968: “Ontology in the Tractatus of L. Wittgenstein”, Notre Dame Journal of Formal Logic 9, 7–33.CrossRefGoogle Scholar
  19. Suszko, R. 1968a: “Non-Fregean logic and theories”, Analele Universitatii Bucuresti, Acta logica 11, 105–25.Google Scholar
  20. Suszko, R. 1971a: “Quasi completeness in non-Fregean logic”, Studia Logica 29, 7–14.CrossRefGoogle Scholar
  21. Suszko, R. 1971b: “Reifikacja sytuacji” [The reification of situations], Studia Filozoficzne 2, 65–82.Google Scholar
  22. Suszko, R. 1975: “Abolition of the Fregean axiom”, Lecture Notes in Mathematics 453, 169–39.CrossRefGoogle Scholar
  23. Suszko, R. 1977: “The Fregean axiom and Polish mathematical logic in the 1920”, Studia Logica 35, 377–380.CrossRefGoogle Scholar
  24. Suszko, R. 1993: “The reification of situations” [English version of Suszko 1971 to appear in Philosophical logic in Poland, Synthese Library].Google Scholar
  25. Wittgenstein, L. 1922: Tractatus Logico-Philosophicus, London.Google Scholar
  26. Wolniewicz, B. 1968: Rzeczy i fakty. Wstȩp do pierwszej filozofii Wittgensteina [Things and facts. An introduction to Wittgenstein’s first philosophy], Warszawa.Google Scholar
  27. Wolniewicz, B. 1985: Ontologia sytuacji [Ontology of situations], Warszawa.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1996

Authors and Affiliations

There are no affiliations available

Personalised recommendations