David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 41 (2-3):249 - 268 (1982)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Dag Prawitz (1965). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
Nicholas Rescher (1971). Temporal Logic. New York,Springer-Verlag.
M. J. Petry, G. W. F. Hegel, A. V. Miller & J. N. Findlay (1970). Science of Logic. Philosophical Quarterly 20 (80):273.
Graham Priest (1979). Logic of Paradox. Journal of Philosophical Logic 8 (1):219-241.
Citations of this work BETA
Dimiter Vakarelov (1989). Intuitive Semantics for Some Three-Valued Logics Connected with Information, Contrariety and Subcontrariety. Studia Logica 48 (4):565 - 575.
Alexej P. Pynko (1995). Characterizing Belnap's Logic Via De Morgan's Laws. Mathematical Logic Quarterly 41 (4):442-454.
Seiki Akama, Tetsuya Murai & Yasuo Kudo (forthcoming). Partial and Paraconsistent Approaches to Future Contingents in Tense Logic. Synthese:1-11.
Jean Paul van Bendegem (2014). Inconsistency in Mathematics and the Mathematics of Inconsistency. Synthese 191 (13):3063-3078.
Joseph Wayne Smith (1986). Logic and the Consistency of the World. Erkenntnis 24 (2):105 - 114.
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 downloads49 ( #89,230 of 1,911,838 )
Recent downloads (6 months)1 ( #458,984 of 1,911,838 )
How can I increase my downloads?