Title

A Term Logic for Physically Realizable Models of Information

Document Type

Book

Role

contributor

Publication

The Old New Logic: Essays on the Philosophy of Fred Sommers

Publisher

MIT Press

Standard Number

0262151138

First Page

135

Last Page

168

Publication Date

2005

Abstract

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

1987

Share

COinS