Abstract
Chu spaces have found applications in computer science, mathematics, and physics. They enjoy a useful categorical duality analogous to that of lattice theory and projective geometry. As natural mathematics Chu spaces borrow ideas from the natural sciences, particularly physics, while as rational mechanics they cast Hamiltonian mechanics in terms of the interaction of body and mind.
This paper addresses the chief stumbling block for Descartes' 17th-century philosophy of mind-body dualism, how can the fundamentally dissimilar mental and physical planes causally interact with each other? We apply Cartesian logic to reject not only divine intervention, preordained synchronization, and the eventual mass retreat to monism, but also an assumption Descartes himself somehow neglected to reject, that causal interaction within these planes is an easier problem than between. We use Chu spaces and residuation to derive all causal interaction, both between and within the two planes, from a uniform and algebraically rich theory of between-plane interaction alone. Lifting the two-valued Boolean logic of binary relations to the complex-valued fuzzy logic of quantum mechanics transforms residuation into a natural generalization of the inner product operation of a Hilbert space and demonstrates that this account of causal interaction is of essentially the same form as the Heisenberg-Schrödinger quantum-mechanical solution to analogous problems of causal interaction in physics.
This work was supported by ONR under grant number N00014-92-J-1974
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
M. Barr. Autonomous categories, LNM 752. Springer-Verlag, 1979.
M. Barr. Autonomous categories and linear logic. Math Structures in Comp. Sci., 1(2), 1991.
R.T Casley, R.F. Crew, J. Meseguer, and V.R. Pratt. Temporal structures. Math. Structures in Comp. Sci., 1(2):179–213, July 1991.
J.G. Cramer. The transactional interpretation of quantum mechanics. Reviews of Modern Physics, pages 647–687, 1986.
J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.
V. Gupta and V.R. Pratt. Gates accept concurrent behavior. In Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci., pages 62–71, November 1993.
V. Gupta. Concurrent Kripke structures. In Proceedings of the North American Process Algebra Workshop, Cornell CS-TR-93-1369, August 1993.
B. Jónsson. Varieties of relation algebras. Algebra Universalis, 15:273–298, 1982.
Y. Lafont and T. Streicher. Games semantics for linear logic. In Proc. 6th Annual IEEE Symp. on Logic in Computer Science, pages 43–49, Amsterdam, July 1991.
V.R. Pratt. Semantical considerations on Floyd-Hoare logic. In Proc. 17th Ann. IEEE Symp. on Foundations of Comp. Sci., pages 109–121, October 1976.
V.R. Pratt. On the composition of processes. In Proceedings of the Ninth Annual ACM Symposium on Principles of Programming Languages, January 1982.
V.R. Pratt. Some constructions for order-theoretic models of concurrency. In Proc. Conf. on Logics of Programs, LNCS 193, pages 269–283, Brooklyn, 1985. Springer-Verlag.
V.R. Pratt. Modeling concurrency with partial orders. Int. J. of Parallel Programming, 15(1):33–71, February 1986.
V.R. Pratt. Action logic and pure induction. In J. van Eijck, editor, Logics in AI: European Workshop JELIA '90, LNCS 478, pages 97–120, Amsterdam, NL, September 1990. Springer-Verlag.
V.R. Pratt. Dynamic algebras as a well-behaved fragment of relation algebras. In Algebraic Logic and Universal Algebra in Computer Science, LNCS 425, pages 77–110, Ames, Iowa, June 1988, 1990. Springer-Verlag.
V.R. Pratt. Event spaces and their linear logic. In AMAST'91: Algebraic Methodology and Software Technology, Workshops in Computing, pages 1–23, Iowa City, 1992. Springer-Verlag.
V.R. Pratt. The second calculus of binary relations. In Proceedings of MFCS'93, pages 142–155, Gdańsk, Poland, 1993. Springer-Verlag.
V. Pratt. Chu spaces: complementarity and uncertainty in rational mechanics. Technical report, TEMPUS Summer School, Budapest, July 1994. Manuscript available as pub/bud.tex.Z by anonymous FTP from Boole.Stanford.EDU.
V.R. Pratt. Chu spaces: Automata with quantum aspects. In Proc. Workshop on Physics and Computation (PhysComp'94), Dallas, 1994. IEEE.
A. Pultr and V. Trnková. Combinatorial, Algebraic and Topological Representations of Groups, Semigroups, and Categories. North-Holland, 1980.
B. Russell. The analysis of matter. Paul, Trench, Trubner (also Dover 1955), 1927.
R. Rosebrugh and R.J. Wood. An adjoint characterization of the category of sets. Proc. Amer. Math. Soc., 122(2):409–413, 1994.
R.A. Watson. Descartes and Cartesianism. In The New Encylopaedia Britannica. Encyclopaedia Britannica, Inc., 1986.
M. Ward and R.P. Dilworth. Residuated lattices. Trans. AMS, 45:335–354, 1939.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pratt, V. (1995). Rational mechanics and natural mathematics. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds) TAPSOFT '95: Theory and Practice of Software Development. CAAP 1995. Lecture Notes in Computer Science, vol 915. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59293-8_190
Download citation
DOI: https://doi.org/10.1007/3-540-59293-8_190
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59293-8
Online ISBN: 978-3-540-49233-7
eBook Packages: Springer Book Archive