[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Subject Index][Author Index]

RE: Archaeopteryx flight




-----Original Message-----
From: owner-dinosaur@usc.edu [mailto:owner-dinosaur@usc.edu]On Behalf Of
philidor11
Sent: Monday, September 03, 2001 12:41 PM
To: Dinogeorge@aol.com; dinosaur@usc.edu
Subject: Re: Archaeopteryx flight

Dinogeorge stated:

<No, a mathematical proof is a logically constructed sequence of statements
that extends from a set of statements known or assumed to be true to a
proposition whose truth is established by the existence of the sequence.
There is no circularity. Here the operative phrase, of course, is "logically
constructed.">

The assumptions in this statement include the premises (the 'statements
known or assumed to be true') and also the logic which connects these
premises to a conclusion 'whose truth is established'.  After the argument
is complete, a proposition has become a conclusion, no?

Anyway, the logic itself is subject to question, and may be proven either
outright incorrect or ambiguous.
Talking about Kant's antinomies, a web essay notes:

More recently Quine has defined an antinomy as a paradox which 'produces a
self-contradiction by accepted ways of reasoning. It establishes that some
tacit and trusted pattern of reasoning must be made explicit and
henceforward be avoided or revised.' Such revision, Quine says, involves
'nothing less than a repudiation of part of our conceptual heritage'.
http://www.xrefer.com/entry/551291

If a proposition and its opposite can both be proven, or both be proven
false, there's something wrong with the logic.  In many cases, the problem
proves to be confusing interpretation with observation...

So, I suggest that 'truth is established by the existence of the sequence'
is overstating it a bit.,,

<<

And this applies to dinosaurs how?


Tracy L. Ford
P. O. Box 1171
Poway Ca  92074