Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


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

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

Advanced Search

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

Posts: 1,968
Registered: 12/4/12
Re: Matheology S 224
Posted: Apr 14, 2013 5:38 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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.
>
>


Why don't you read what the paradigm of first
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
quantifiers. But, adding quantifiers to
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
your own mind.

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

see "conceited reasoner"




Date Subject Author
4/12/13
Read Re: Matheology § 224
Alan Smaill
4/12/13
Read Re: Matheology § 224
namducnguyen
4/12/13
Read Re: Matheology § 224
Frederick Williams
4/12/13
Read Re: Matheology § 224
fom
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
fom
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
fom
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology S 224
Jesse F. Hughes
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
Peter Percival
4/14/13
Read Re: Matheology S 224
fom
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
fom
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
fom
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
Jesse F. Hughes
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
Jesse F. Hughes
4/14/13
Read Re: Matheology S 224
namducnguyen
4/16/13
Read Re: Matheology S 224
namducnguyen
4/16/13
Read Re: Matheology S 224
namducnguyen
4/16/13
Read Re: Matheology S 224
Jesse F. Hughes
4/16/13
Read Re: Matheology S 224
namducnguyen
4/16/13
Read Re: Matheology S 224
fom
4/17/13
Read Re: Matheology S 224
namducnguyen
4/17/13
Read Re: Matheology S 224
fom
4/17/13
Read Re: Matheology S 224
namducnguyen
4/17/13
Read Re: Matheology S 224
Jesse F. Hughes
4/17/13
Read Re: Matheology S 224
Jesse F. Hughes
4/17/13
Read Re: Matheology S 224
namducnguyen
4/20/13
Read Re: Matheology S 224
namducnguyen
4/17/13
Read Re: Matheology S 224
Frederick Williams
4/17/13
Read Re: Matheology S 224
Frederick Williams
4/17/13
Read Re: Matheology S 224
fom
4/17/13
Read Re: Matheology S 224
Frederick Williams
4/17/13
Read Re: Matheology S 224
fom
4/17/13
Read Re: Matheology S 224
fom
4/18/13
Read Re: Matheology S 224
namducnguyen
4/18/13
Read Re: Matheology S 224
Frederick Williams
4/18/13
Read Re: Matheology S 224
namducnguyen
4/19/13
Read Re: Matheology S 224
Frederick Williams
4/19/13
Read Re: Matheology S 224
namducnguyen
4/20/13
Read Re: Matheology S 224
Frederick Williams
4/19/13
Read Re: Matheology S 224
Frederick Williams
4/19/13
Read Re: Matheology S 224
namducnguyen
4/20/13
Read Re: Matheology S 224
Frederick Williams
4/14/13
Read Re: Matheology S 224
Jesse F. Hughes
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
Jesse F. Hughes
4/14/13
Read Re: Matheology S 224
namducnguyen
4/14/13
Read Re: Matheology S 224
Peter Percival
4/15/13
Read Re: Matheology § 224
Peter Percival
4/14/13
Read Re: Matheology § 224
namducnguyen
4/14/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Frederick Williams
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/15/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
fom
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Frederick Williams
4/14/13
Read Re: Matheology § 224
Frederick Williams
4/14/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
Peter Percival
4/13/13
Read Re: Matheology § 224
namducnguyen
4/13/13
Read Re: Matheology § 224
namducnguyen

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

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.