Search All of the Math Forum:

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

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

Topic: Matheology § 224
Replies: 84   Last Post: Apr 20, 2013 4:43 PM

 Messages: [ Previous | Next ]
 fom Posts: 1,968 Registered: 12/4/12
Re: Matheology S 224
Posted: Apr 14, 2013 3:05 PM

On 4/14/2013 1:51 PM, Peter Percival wrote:
> Nam Nguyen wrote:
>

>> The difficulty in the Mx quantifier is actually a reflection on the
>> need of introducing to FOL new logical quantifiers:
>>
>> - Ix (There are infinitely many x's)
>> - Fx (There are finitely many x's)

>
> So called "generalized quantifiers" have been studied. Mostowski comes
> to mind.
>

>> And of one of the new "Anti-Inference" rules is:
>>
>> - From Fx one shall _not_ infer Ex.

>
> And Lukasiewicz used rules of rejection.
>
> So that'll be two more diversions to keep you from proving you claim
> about cGC and ~cGC being unknowable.
>

And, the "not infering Ex" from some other
quantifier is clearly not the paradigm
of first order logic.

Free logics are characterized by their difference
with regard to existence assumptions and the
denotations of terms. So, the fastest way to
verify that this statement is not classical is
found in the first paragraph of

http://plato.stanford.edu/entries/logic-free/

The first-order presupposition binding denotations
with existents comes from the description theories
of Frege and Russell. In the first instance, the
description theory arose from the insistence that
logic be about truth, whence singular terms should
not denote non-existent or self-contradictory objects.
In the second instance, the description theory arose
from the related problem of presupposition failure
when denotations referred to non-existent objects.

So much for any claims concerning "standard FOL".

Date Subject Author
4/12/13 Alan Smaill
4/12/13 namducnguyen
4/12/13 Frederick Williams
4/12/13 fom
4/13/13 namducnguyen
4/13/13 fom
4/13/13 namducnguyen
4/13/13 fom
4/13/13 namducnguyen
4/13/13 Peter Percival
4/13/13 namducnguyen
4/13/13 Peter Percival
4/13/13 namducnguyen
4/13/13 Peter Percival
4/13/13 namducnguyen
4/13/13 Jesse F. Hughes
4/14/13 namducnguyen
4/14/13 namducnguyen
4/14/13 namducnguyen
4/14/13 Peter Percival
4/14/13 fom
4/14/13 namducnguyen
4/14/13 fom
4/14/13 namducnguyen
4/14/13 namducnguyen
4/14/13 fom
4/14/13 namducnguyen
4/14/13 namducnguyen
4/14/13 namducnguyen
4/14/13 Jesse F. Hughes
4/14/13 namducnguyen
4/14/13 Jesse F. Hughes
4/14/13 namducnguyen
4/16/13 namducnguyen
4/16/13 namducnguyen
4/16/13 Jesse F. Hughes
4/16/13 namducnguyen
4/16/13 fom
4/17/13 namducnguyen
4/17/13 fom
4/17/13 namducnguyen
4/17/13 Jesse F. Hughes
4/17/13 Jesse F. Hughes
4/17/13 namducnguyen
4/20/13 namducnguyen
4/17/13 Frederick Williams
4/17/13 Frederick Williams
4/17/13 fom
4/17/13 Frederick Williams
4/17/13 fom
4/17/13 fom
4/18/13 namducnguyen
4/18/13 Frederick Williams
4/18/13 namducnguyen
4/19/13 Frederick Williams
4/19/13 namducnguyen
4/20/13 Frederick Williams
4/19/13 Frederick Williams
4/19/13 namducnguyen
4/20/13 Frederick Williams
4/14/13 Jesse F. Hughes
4/14/13 namducnguyen
4/14/13 namducnguyen
4/14/13 Jesse F. Hughes
4/14/13 namducnguyen
4/14/13 Peter Percival
4/15/13 Peter Percival
4/14/13 namducnguyen
4/14/13 namducnguyen
4/13/13 Frederick Williams
4/13/13 Peter Percival
4/13/13 Peter Percival
4/13/13 namducnguyen
4/15/13 Peter Percival
4/13/13 fom
4/13/13 namducnguyen
4/13/13 Peter Percival
4/13/13 namducnguyen
4/13/13 Frederick Williams
4/14/13 Frederick Williams
4/14/13 namducnguyen
4/13/13 Peter Percival
4/13/13 namducnguyen
4/13/13 namducnguyen