Article
Gathering things is quite different from gathering sentences. Things, in its most general sense (what the classics called transcendental) are gathered in sets or bigger classes, up to the proper class of everything. We may say such a huge collection is complete. But notice it is deprived of the collection of all and only incomplete collections. Hence its not complete after all.
More modestly, we may gather all things that are sentences of a language. Just as in Borges' Babel Library, where the infinite set of all possible sentences are compiled. This set may seem somehow complete, but again notice it is not particularly interesting, since it is a trivial chaos where anything expressible is expressed. So let's now gather, even more modestly, only all the true sentences of a language. This is the first useful sense of completeness. Given a domain of interpretation and a language referring to it, a set of sentences is model-complete if it contains all sentences that are true in such a domain. Notice that other languages with different expressive power may also contain this set among their sentences, just as such a domain may be described by other languages. A mathematically precise notion of “domain of interpretation” brings us to distinct semantics. It's certainly not easy to gather model complete set of sentences. Accumulating all truths about my left little finger is a huge task. Even gathering all expressible truths about my left little finger is an impressive unprobable piece of work. However, there are a number of such huge tasks that we perform with our tiny brain, poor resources and limited time. Learning a natural language is one of them, since it involves the task of acquiring a recursive procedure to access the infinite set of all sentences. Another example of the application of finite rules to construct an infinite amount of finite sequences is Babel's Library as described by Borges, which is learnable or constructible with just the alphabet. Another computable procedure with the same recursive structure is the one constructing deductions or proofs from rules and axioms. In this case sequences of sequences are recursively formed, in such a way that an infinite set of truths can be condensed in a finite, even small, set of axioms. Is there a similar procedure to recursively obtain a model-complete set of truths?, that is, a recursive or computational means to access all truths with respect to a certain domain of interpretation? Take for example the natural numbers, as the infinite domain standardly interpreting arithmetic. Let the language of arithmetic be given, say as was informally taught to us in school. Moreover, we have a computational procedure to calculate logical consequences from basic axioms of arithmetic (as discovered by Peano and Frege). Do we have then a logical procedure to compute all arithmetical truths? Gödel proofed that such a procedure does not consistently exist, the proof being the first incompleteness theorem. This answers negatively the question whether a model complete collection of truths is accessible by purely recursive or computational means. Notice it does not answer the question of whether non-recursive methods are available to access the set of all truths (arithmetical or of another nature). Annexed files include several explicit proofs and additional materials. References
- BOOLOS, G.; R. JEFFREY, J. BURGUESS (2002).
*Computability and Logic.*Cambridge: Cambridge University Press. - BORGES, J.L. (1996). “La biblioteca de Babel” en:
*Ficciones, Obras Completas I.*Barcelona: Emecé. - FITTING, M. (2007).
*Incompleteness in the Land of Sets*. New York, Berlin: Springer. - GÖDEL, K. (1931). “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme”.
*Monatshefte für Mathema**tik und Physik,**38*, 173-198. - SALTO, F. (2006). “Verdad y Recursividad.” en: J.M. Méndez (ed.),
*Artículos de segunda mano*. Salamanca: Varona. - SMULLLYAN, R. (1992).
*Gödel's Incompleteness Theorems.*New York: Oxford University Press.
| EntriesNew entry. Before doing a new entry, please, copy this line and the following ones and paste them at the column bottom. Next fill out the fields: 'name', 'date' and 'text', and delete this upper blue paragraph.
[Substitute this paragraph with your entry] Entries under workMaalesch Slim (25.07.2018, within the course "Odyssey of Philosophy and Information", facilitated by J.M.Díaz at HM)[Note of the Facilitator (hereinafter referred as NF). Notes of the facilitator use this format and start with the identifier "NF". They intend to provide hints about how the text needs to be changed. Whever this has been addressed the auhor can write a comment using tha same format, but in green, or if the issue is resolved, just taking the NF comment away] The entry was first based on the Borges' Babel Library book, where the complete existence of every book makes it incomplete because of the lack of incompleteness in itself [NF: You have confused here article and entry. You are writting an entry proposal, the text on the left column is the published article, for which the entry proposal intends to be an additional contribution]. This stirred some thoughts about the Paradox of the logic phenomenon and thus the incompleteness theorem and other theories then derived from it that will be stated and treated in this article. Incompleteness is the property of being incomplete, where incomplete is defined generally as not being complete, lacking some parts. It has unfinished, partial, fragmentary as synonyms (Incomplete, 2018; Harper, 2018). |