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.