On 3/16/2017 11:20 AM, Clark Goble wrote:
The way I usually think about it is that there are many continuous
equations such that the limit as x → ∞ y → 0.
But if we use some language with a finite alphabet and limit
the theories to a finite specification, there are at most
a countable number of theories.
But there are two ways for a theory expressed in discrete signs
to describe a continuous aspect of the world:
1. Let the variables range over a continuous domain.
2. Let the symbols (predicates) have a continuous mapping
to the world. For example, 'circle' could describe any
of a continuous range of circular aspects of the world.
John
-----------------------------
PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L
to this message. PEIRCE-L posts should go to [email protected] . To
UNSUBSCRIBE, send a message not to PEIRCE-L but to [email protected] with the
line "UNSubscribe PEIRCE-L" in the BODY of the message. More at
http://www.cspeirce.com/peirce-l/peirce-l.htm .
