Re: Godel's Incompleteness and Nonmonotonic Logic

From: Aatu Koskensilta (aatu.koskensilta_at_xortec.fi)
Date: 08/25/04 

Date: Wed, 25 Aug 2004 23:13:08 +0300

Jamie Andrews; real address @ bottom of message wrote:
> This *completeness* result does not extend to arithmetic
> because no *finite* set of axioms characterizes arithmetic.
> Induction on the integers is an axiom *schema*, not a single axiom.

This is nonsense. Gödel's completeness theorem does apply to infinite
sets of axioms and derivations from them. In particular, the deductive
closure of a set of axioms A is exactly the set D of its logical
consequences. This doesn't imply that the deductive closure of any
consistent set of axiom is complete in the sense that for every sentence
A, either A is in the deductive closure or the negation of A is. Some
are and some are not, but this has nothing to do with the completeness
theorem. 

-- 
Aatu Koskensilta (aatu.koskensilta@xortec.fi)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
  - Ludwig Wittgenstein, Tractatus Logico-Philosophicus

Relevant Pages

  • Re: Godels Incompleteness and Nonmonotonic Logic
    ... Gödel's completeness theorem does apply to infinite ... sets of axioms and derivations from them. ... either A is in the deductive closure or the negation of A is. ...
    (sci.logic)
  • Re: Godels Incompleteness and Nonmonotonic Logic
    ... infinite sets of axioms and derivations from them. ... Finite derivations, yes. ... then it's a logical consequence of a finite subset ... nothing to do with the completeness theorem. ...
    (sci.logic)
  • Re: Do we really nedd to have models for a theory?
    ... we would never have LEARNED this completeness theorem. ... >> One reason we care about models of a theory is that often it's ... >BEFORE we had axioms for Peano Arithmetic. ... People usually use ZFC but even that was obviously ...
    (sci.logic)
  • Re: FOL & completeness
    ... The completeness theorem is that if a formula is satisfied by ALL ... iff, ... said axioms. ... usually mentioned as itself a clause in the incompleteness theorem. ...
    (sci.logic)
  • Re: Are Hilberts Axioms independent?
    ... |One feature of Hilbert's book is that the axioms are not first order ... the completeness theorem for first order logic doesn't apply ... every structure satisfying all of the B_i also satisfies A. Trivially, ... |one is entitled to have a model of non-Euclidean geometry, ...
    (sci.math)