Studia Logica 41 (2-3):249 - 268 (1982)
|Abstract||The paper concerns time, change and contradiction, and is in three parts. The first is an analysis of the problem of the instant of change. It is argued that some changes are such that at the instant of change the system is in both the prior and the posterior state. In particular there are some changes from p being true to p being true where a contradiction is realized. The second part of the paper specifies a formal logic which accommodates this possibility. It is a tense logic based on an underlying paraconsistent prepositional logic, the logic of paradox. (See the author's article of the same name Journal of Philosophical Logic 8 (1979).) Soundness and completeness are established, the latter by the canonical model construction, and extensions of the basic system briefly considered. The final part of the paper discusses Leibniz's principle of continuity: Whatever holds up to the limit holds at the limit. It argues that in the context of physical changes this is a very plausible principle. When it is built into the logic of the previous part, it allows a rigorous proof that change entails contradictions. Finally the relation of this to remarks on dialectics by Hegel and Engels is briefly discussed.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Fabio Bellissima & Saverio Cittadini (1999). Finite Trees in Tense Logic. Studia Logica 62 (2):121-140.
Robin Le Poidevin (1991). Change, Cause, and Contradiction: A Defence of the Tenseless Theory of Time. St. Martin's Press.
Ulrich Meyer (2006). Worlds and Times. Notre Dame Journal of Formal Logic 47 (1):25--37.
Robert Trypuz (2010). A Completeness Proof of Kiczuk's Logic of Physical Change. Studia Logica 95 (1/2):139 - 159.
M. J. Cresswell (2010). Temporal Reference in Linear Tense Logic. Journal of Philosophical Logic 39 (2):173 - 200.
Volodymyr Navrorskyy (1999). Paraconsistent Description of Change. Theoria 14 (1):83-94.
Tomasz Jarmużek & Andrzej Pietruszczak (2009). The Tense Logic for Master Argument in Prior's Reconstruction. Studia Logica 92 (1):85 - 108.
Ulrich Meyer (2009). 'Now' and 'Then' in Tense Logic. Journal of Philosophical Logic 38 (2):229-247.
Added to index2009-01-28
Total downloads31 ( #44,779 of 722,751 )
Recent downloads (6 months)3 ( #25,873 of 722,751 )
How can I increase my downloads?