This paper focuses on the relation between logic and ontology. In particular, it demonstrates how classical logical theory can clarify the ontological part of Ludwig Wittgenstein’s Tractatus Logico-Philosophicus. To this end, the work examines the adequacy of a formal system that was devised by the Polish logician, mathematician and philosopher Roman Suszko (1919–1979) as a model for the Tractatus. Following a brief explanation of the Tractarian ontology, the main ideas of Suszko’s system and its philosophical significance will be considered. The (...) latter will be illustrated in the context of central Tractarian concepts. Finally, two implications for a better understanding of the Tractarian ontology will be pointed out. (shrink)

This paper disucsses the Boolean algebraic axiomatic system of situations suggested by the Polish logician Roman Suszko (1919-1979). The paper will specifically examine the adequacy of the axioms, definitions and theorems of Suszko’s system as a model for Ludwig Wittgenstein’s Tracatus Logico-Philosophicus. It will be shown how the formal properties of Suszko’s system - the atomicity and completeness of the Boolean algebraic system - can be employed in order to clarify key concepts of the situational part of the Tractarian ontology. (...) After considering the formal reconstruction of the Tractarian concepts of teh world and logical space, a controversial issue pertaining to necessary facts in the Tracatus will be addressed. This will be followed by a formal clarification of the Tractarian concepts of logical place and possible worlds, the latter being identified as combinations of states and affairs, which are, according to the Tractarian ontology, the simplest kinds of situations. (shrink)