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 5:38 PM

On 4/14/2013 3:33 PM, Nam Nguyen wrote:
> On 14/04/2013 1:05 PM, fom wrote:
>
>

>> So much for any claims concerning "standard FOL".
>
> Why don't you read my post there carefully.
>
>

order logic is carefully?

This is what you presented:

- Ix <-> ~Fx /\ Fx <-> ~Ix
- Ix -> Ex.

And of one of the new "Anti-Inference" rules is:

- From Fx one shall _not_ infer Ex.

--------------------------------------------

It does not matter what your "new logic" is.

First-order logic has a paradigm. If a quantifier
can be true of any singular term t, then it will
be true of

Ex(x=t)

Now, you could think of how one might define
predicates to express what you have called
first-order logic definitely makes it not
first-order logic.

And, for what this is worth, you will probably
have difficulty with those particular
predicates. They look as if they would have
to be second-order logic.

There is a simple schema for "There are exactly
n denotations". A "finiteness" predicate would
seem to have to quantify over that schema in order
to find one that is satisfied.

I have no difficulty thinking about second-order
logic. But, it is not first order logic.

--------------------------------------------

I had been sympathetic toward seeing what you
had been trying to do. I just figured that I
might be of some assistance to clean it up. I
have been flamed before without anyone trying
to help. It is not fun.

But all you really want to do is win arguments.

Worse yet, you start arguments to win arguments,
and, then, you only win in so far as it is in

http://en.wikipedia.org/wiki/Doxastic_logic#Types_of_reasoners

see "conceited reasoner"

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