Journal of Philosophical Logic 41 (3):519-545 (2012)
In this paper we develop a reconstruction of the Tractatus ontology. The basic idea is that objects are unsaturated and that Sachlagen are like molecules. Bisimulation is used for the proper individuation of the Sachlagen. We show that the ordering of the Sachlagen is a complete distributive, lattice. It is atomistic , i.e., each Sachlage is the supremum of the Sachverhalte below it. We exhibit three normal forms for Sachlagen: the bisimulation collapse, the canonical unraveling and the canonical bisimulation collapse. The first of these forms is unique modulo isomorphism, the second and third are simply unique. The subset ordering on normal forms of the second and third kind reflects the ordering of the Sachlagen
|Keywords||Wittgenstein Tractatus Ontology Bisimulation Unraveling|
|Categories||categorize this paper)|
References found in this work BETA
Citations of this work BETA
No citations found.
Similar books and articles
Program Constructions That Are Safe for Bisimulation.Van Benthem Johan - 1998 - Studia Logica 60 (2):311-330.
A Situational Formal Ontology of the Tracatus.Natan Berber - 2008 - Polish Journal of Philosophy 2 (2):5-20.
Symbols in Wittgenstein's Tractatus.Colin Johnston - 2007 - European Journal of Philosophy 15 (3):367-394.
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown -
Backwards Easton Forcing and 0#. [REVIEW]M. C. Stanley - 1988 - Journal of Symbolic Logic 53 (3):809 - 833.
Carnap's 1934 Objections to Wittgenstein's Say/Show Distinction.Alexei Angelides - 2012 - Erkenntnis 76 (2):147-169.
The Divine Conjectures: A Contemporary Account of Human Origins and Destiny.Allan Melvin Russell & Mary Gerhart - 2008 - Zygon 43 (2):395-410.
Added to index2012-04-27
Total downloads36 ( #135,679 of 2,132,887 )
Recent downloads (6 months)2 ( #287,851 of 2,132,887 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.