[FOM] First Order Logic
hewitt at concurrency.biz
Fri Aug 30 17:28:29 EDT 2013
I am having trouble understanding why the proponents of first-order logic think that second-order systems are unusable.
[Dedekind 1888] and [Peano 1889] thought they had achieved success because they had presented axioms for natural numbers and real numbers such that models of these axioms are unique up to isomorphism with a unique isomorphism. And later generations of mathematicians were happy to use these axioms.
The above axiomatizations bar many mathematical monsters that are created by the "first-order thesis" [Barwise 1985]. The article http://arxiv.org/abs/0812.4852 presents a mathematical foundation for Computer Science that is an alternative to the first-order thesis.
From: MartDowd at aol.com
Sent: Wednesday, August 28
Expanding on this point, the difference between first-order and second-order logic is that in second-order logic set variables are required to range over subsets of the domain. Second-order logic is not usable in practice because there is no recursively enumerable set of axioms (theorem 41C of Enderton's logic book).
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM