The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: A logically motivated theory
Replies: 15   Last Post: May 21, 2013 8:22 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 2,665
Registered: 6/29/07
A logically motivated theory
Posted: May 18, 2013 11:40 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In this theory Sets are nothing but object extensions of some
predicate. This theory propose that for every first order predicate
there is an object extending it defined after some extensional

This goes in the following manner:

Define: E is extensional iff for all x,y: (for all z. z E x iff z E y)
-> x=y

where E is a primitive binary relation symbol.

Now sets are defined as

x is a set iff Exist E,P: E is extensional & for all y. y E x <-> P(y)


[1] If E, D are primitive binary relation symbols then:

E,D are extensional -> (For all x,y: (for all z. z E x iff z D y) ->

is an axiom.

[2] If E, D are primitive binary relation symbols; P,Q are first order
language formulas in which x do not occur free, then

E,D are extensional ->
for all x ((for all y. y E x iff Q) & (for all y. y D x iff P)) ->
(for all y. P<->Q)

is an axiom

[3] If P is first order predicate, then

Exist E,x: E is extensional & for all y. y E x iff P(y)

is an axiom.

where E range over primitive binary relations only.


It is possible that this might interpret PA?

The whole motivation beyond this theory is to extend any first order
predicate by objects. It is a purely logical motivation. If this does
interpret PA and no inconsistency is shown with it, then PA can in a
sense be seen as a kind of a logical theory. IF we extend [3] to allow
infinitely long formulas, then possibly second order arithmetic would
be provable? if so then it would be a kind of a logical theory also.

All of that motivates logicism.


Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.