Date: Mar 24, 2013 3:51 PM
Author: fom
Subject: Re: Matheology § 224
On 3/24/2013 10:26 AM, WM wrote:

> On 24 Mrz., 16:13, William Hughes <wpihug...@gmail.com> wrote:

>> On Mar 24, 4:03 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

>>

>> Induction proves that every

>>

>> True

>>

>> and all

>>

>> False

>

> So you do no longer adhere to ZFC+FOPL?

http://en.wikipedia.org/wiki/Erotetics

http://en.wikipedia.org/wiki/Sophists

> There a proof "for every" is a proof "for all". Unfortunately current

> logic does not distinguish.

Then define, in standard form, the interpretations of

quantifiers.

Here are some ideas that may inform your definition.

http://en.wikipedia.org/wiki/Quantifier#Formal_semantics

http://en.wikipedia.org/wiki/Term_logic

http://plato.stanford.edu/entries/square/

At the very least, you could tell us where the logicians

went wrong.