<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>I'm not anything of the sort. Just because the inadequacies of tools you thought all powerful are pointed out to you, it doesn't follow that you can go around calling others names.</div><div><br></div><div>Do you have formal higher training in Math?</div><div><br></div><div><br>No dia 17/10/2014, às 15:03, "Norwood, Frederick Hudson" <<a href="mailto:NORWOODR@mail.etsu.edu">NORWOODR@mail.etsu.edu</a>> escreveu:<br><br></div><blockquote type="cite"><div>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 14 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoAcetate, li.MsoAcetate, div.MsoAcetate
{mso-style-priority:99;
mso-style-link:"Balloon Text Char";
margin:0in;
margin-bottom:.0001pt;
font-size:8.0pt;
font-family:"Tahoma","sans-serif";}
span.EmailStyle17
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.BalloonTextChar
{mso-style-name:"Balloon Text Char";
mso-style-priority:99;
mso-style-link:"Balloon Text";
font-family:"Tahoma","sans-serif";}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">António Pedro Marques is at least unabashedly post-modern, refusing to be chained by logic.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">You, Marc Aramini, keep confusing logic with science. Mathematics is built on logic. If the premise becomes false, then you no longer apply modus ponens.
You don’t need to lose your head. Every even number is divisible by two. What if the original premise is “This number is odd.” Then the theorem doesn’t apply. It doesn’t disprove modus ponens.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D">Rick Norwood<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D"><o:p> </o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:"Tahoma","sans-serif"">From:</span></b><span style="font-size:10.0pt;font-family:"Tahoma","sans-serif""> Urth [<a href="mailto:urth-bounces@lists.urth.net">mailto:urth-bounces@lists.urth.net</a>]
<b>On Behalf Of </b>Marc Aramini<br>
<b>Sent:</b> Friday, October 17, 2014 9:40 AM<br>
<b>To:</b> The Urth Mailing List<br>
<b>Subject:</b> Re: (urth) I, even I, would celebrate, in rhymes inept the great...<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">These are linguistic truths built into the definitions themselves ...
<o:p></o:p></p>
<div>
<p class="MsoNormal">the statement if A then B is either true linguistically <o:p>
</o:p></p>
</div>
<div>
<p class="MsoNormal">or it isn't, in which case the premise was wrong. It doesn't mean much else.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal">ie "If I have no head I will die." technology advances, and now I can live without a head - the original premise then becomes false. Doesn't mean anything.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal"> <o:p></o:p></p>
</div>
<div>
<p class="MsoNormal">On Fri, Oct 17, 2014 at 6:23 AM, Norwood, Frederick Hudson <<a href="mailto:NORWOODR@mail.etsu.edu" target="_blank">NORWOODR@mail.etsu.edu</a>> wrote:<o:p></o:p></p>
</div>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0in 0in 0in 6.0pt;margin-left:4.8pt;margin-right:0in">
<p class="MsoNormal" style="margin-bottom:12.0pt">Modus ponens is unprovable. You have to start somewhere. Is it possible that modus ponens is false? Of course it is possible. I may be a madman, and modus ponens may not say what I think it says. I may
be the only creature in the universe, and modus ponens may really mean, "Thou art God." But these objections can be raised in any discussion whatsoever, and after a while most people stop raising them. If I am sane, and if modus ponens says what I think
it says, then it seems to me bedrock on which to build. Further, if there are cases where A implies B, A is true, and B is false, then that ends the discussion, because every statement is both true and false, and in that case there is no point in saying anything
at all.<br>
<br>
Rick Norwood<br>
<br>
-----Original Message-----<br>
From: Urth [mailto:<a href="mailto:urth-bounces@lists.urth.net" target="_blank">urth-bounces@lists.urth.net</a>] On Behalf Of Jeffery Wilson
<a href="http://clueland.com/" target="_blank">clueland.com</a><br>
Sent: Friday, October 17, 2014 1:56 AM<br>
To: The Urth Mailing List<br>
Subject: Re: (urth) I, even I, would celebrate, in rhymes inept the great...<o:p></o:p></p>
<div>
<div>
<p class="MsoNormal">On 10/16/2014 7:07 AM, Norwood, Frederick Hudson wrote:<br>
> Jeffery Wilson: I do say A is A. That's called the reflexive property of equality. And, yes, I've read the Lewis Carroll bit. Even wrote a poem about it.<br>
<br>
If you already know that the modus ponens is unprovable, and are familiar with reflexive equality which is axiomatic, why are you bothering to hold up modus ponens as an example of an absolute truth?<br>
<br>
--<br>
Jeff Wilson - < <a href="mailto:jwilson@clueland.com" target="_blank">jwilson@clueland.com</a> ><br>
A&M Texarkana Computational Intelligence Lab < <a href="http://www.tamut.edu/cil" target="_blank">
http://www.tamut.edu/cil</a> > _______________________________________________<br>
Urth Mailing List<br>
To post, write <a href="mailto:urth@urth.net" target="_blank">urth@urth.net</a><br>
Subscription/information: <a href="http://www.urth.net/" target="_blank">http://www.urth.net</a><br>
_______________________________________________<br>
Urth Mailing List<br>
To post, write <a href="mailto:urth@urth.net" target="_blank">urth@urth.net</a><br>
Subscription/information: <a href="http://www.urth.net/" target="_blank">http://www.urth.net</a><o:p></o:p></p>
</div>
</div>
</blockquote>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br><span>Urth Mailing List</span><br><span>To post, write <a href="mailto:urth@urth.net">urth@urth.net</a></span><br><span>Subscription/information: <a href="http://www.urth.net">http://www.urth.net</a></span></div></blockquote></body></html>