A Term Logic for Physically Realizable Models of Information
The Old New Logic: Essays on the Philosophy of Fred Sommers
A paper in two parts. The first part establishes a mathematical model of information based on uniform arrangements of matter in space. These so-called singulary structures correspond to material representations of symbolic patterns, determined by the physical requirements of storing arbitrarily large amounts of data in a memory of unbounded size. The second part introduces a functionally based term logic using numerical threshold quantifiers without variables. Our main result shows that this classically motivated singulary logic has the same expressive power as ordinary first-order logic within this context. It can be seen as contributing to the logical foundations of information. --author-supplied description
Faculty Start Year
Lindell, Steven. "A Term Logic for Physically Realizable Models of Information." The Old New Logic: Essays on the Philosophy of Fred Sommers. By David S. Oderberg. Cambridge, MA: MIT, 2005. 135-68. Print.