Re: A missing definition in "Gödel's Proof" by Nagel & Newman (open letter)

Is a truth-table for that statement that shows it to be true in
all combinations of T and F for p and q considered to be a valid
proof of its truth?
NO Sorry i need to use capitals here.
Something is a proof if there is a derrivation of the theorem from
the axioms and inference rules.
A proof is very strict thing.
Truth tables do not prove anything.
Really????? Surely a truth-table demonstration that a wff is a
tautology is a perfectly good proof that it is true (and indeed is
necessarily so).

If you have already proved that your axiomatization is complete for
two-valued logic. That wasn't the case here, was it?

If I remember right the system presented in one of Copi's elementary
books was proved after the event to characterize a 52-valued system.

============== j-c ====== @ ====== purr . demon . co . uk ==============
Jack Campin: 11 Third St, Newtongrange EH22 4PU, Scotland | tel 0131 660 4760
<http://www.purr.demon.co.uk/jack/> for CD-ROMs and free | fax 0870 0554 975
stuff: Scottish music, food intolerance, & Mac logic fonts | mob 07800 739 557
.

Relevant Pages

  • Re: Any comments?
    ... KJV "The Bible"? ... By convention the capitalization of these words includes an implication that isn't present in the text you're citing (you also left out a comma before "but", but I don't believe that has the theological import that those initial capitals do). ... There's a big difference between Jesus' saying "I am the way, and the truth, and the life" and his saying "I am the Way, the Truth and the Life". ... Maybe they simply conformed to the standard of English that was around at the time the translation occurred - especially if they were pursuing that ever-popular "readability" that some of the new translations seem to be going for. ...
    (comp.lang.cobol)
  • =?iso-8859-1?q?Re:_A_missing_definition_in_=22G=F6dels_Proof=22_by_Nagel_&_Newman_(open_
    ... NO Sorry i need to use capitals here. ... Truth tables do not prove anything. ... you have to interpret the array of ...
    (sci.logic)
  • Re: Epistemology 201: The Science of Science
    ... "Analytic" refers to sentences whose truth values can be determined from ... brings us back to OR - and a tautology. ... It's logically true even if there is no relationship between Jack ... That inference is one of the most common mistakes in reasoning: ...
    (sci.math)
  • Re: Epistemology 201: The Science of Science
    ... "Analytic" refers to sentences whose truth values can be determined from ... brings us back to OR - and a tautology. ... It's logically true even if there is no relationship between Jack ... That inference is one of the most common mistakes in reasoning: ...
    (sci.cognitive)
  • Re: Epistemology 201: The Science of Science
    ... "Analytic" refers to sentences whose truth values can be determined from ... brings us back to OR - and a tautology. ... It's logically true even if there is no relationship between Jack ... That inference is one of the most common mistakes in reasoning: ...
    (sci.physics)
Quantcast