more from this thinker | more from this text
Full Idea
No deductive system is semantically incomplete in and of itself; rather a deductive system is incomplete with respect to a specified formal semantics.
Gist of Idea
A deductive system is only incomplete with respect to a formal semantics
Source
Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3)
A Reaction
This important point indicates that a system might be complete with one semantics and incomplete with another. E.g. second-order logic can be made complete by employing a 'Henkin semantics'.
| 19391 | We can assign a characteristic number to every single object [Leibniz] |
| 10621 | Gödel's First Theorem sabotages logicism, and the Second sabotages Hilbert's Programme [Smith,P on Gödel] |
| 17888 | The undecidable sentence can be decided at a 'higher' level in the system [Gödel] |
| 17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
| 10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
| 10609 | Two routes to Incompleteness: semantics of sound/expressible, or syntax of consistency/proof [Smith,P] |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| 15353 | The first incompleteness theorem means that consistency does not entail soundness [Horsten] |
| 10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
| 13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |