Full Text

completenes


Subject Philosophy

DOI: 10.1111/b.9781405106795.2004.x


Extract

L ogic A property ascribed to a system of formal logic, an axiomatic system or a theory, generally meaning that all truths of the system or the theory can be derived or proved within the system or theory. A logical system is semantically complete if and only if all of its semantically valid formulae are theorems of the system. It is syntactically complete if an addition of a non-theorem will lead to inconsistency. Syntactical completeness is the stronger sense of completeness. A theory is complete or negation-complete if any of its statements or the negation of that statement is provable within the theory. However, according to Gödel 's theorem , none of the systems of ordinary arithmetic is complete for it must either be inconsistent or contain at least one truth that is not provable within the system itself. This thesis of incompleteness effectively undermines Hilbert 's program of providing mathematical proofs of its own consistency. “The notion of completeness of a logical system has a semantical motivation, consisting roughly in the intention that the system shall have all possible theorems not in conflict with the interpretation.” Church, Introduction to Mathematical Logic ... log in or subscribe to read full text

Log In

You are not currently logged-in to Blackwell Reference Online

If your institution has a subscription, you can log in here:

 

     Forgotten your password?

Find out how to subscribe.

Your library does not have access to this title. Please contact your librarian to arrange access.


[ access key 0 : accessibility information including access key list ] [ access key 1 : home page ] [ access key 2 : skip navigation ] [ access key 6 : help ] [ access key 9 : contact us ] [ access key 0 : accessibility statement ]

Blackwell Publishing Home Page

Blackwell Reference Online ® is a Blackwell Publishing Inc. registered trademark
Technology partner: Semantico Ltd.

Blackwell Publishing and its licensors hold the copyright in all material held in Blackwell Reference Online. No material may be resold or published elsewhere without Blackwell Publishing's written consent, save as authorised by a licence with Blackwell Publishing or to the extent required by the applicable law.

Back to Top