Skip to main content
Humanities LibreTexts

3.15.6: Conclusion

  • Page ID
    1903
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    You have worked hard trying to understand these proofs of soundness and completeness. I too have worked hard, first in understanding them and then in my efforts to write them up in a clear and accessible form. Working on the strength of the presentations of others, I will be very happy if I have made some small contribution to improving the accessibility of soundness and completeness and if I have avoided both horns of the dilemma of too much complication versus inaccuracies in the proofs. Whatever I have accomplished, I am sure that my presentation can be improved. I welcome your comments and suggestions. In the meantime, you should not be discouraged if you have found part I1 of this text to be very difficult. Soundness and completeness are substantial mathematical results. If you understand them only in a fragmentary way, you can greatly improve your grasp by patiently going over these chapters again.

    CHAPTER CONCEPTS

    In reviewing this chapter, be sure you have a firm grasp on the following:

    1. Interpretation
    2. Unnamed Object
    3. s-Variant Truth of an Existentially Quantified Sentenced)
    4. Truth of a Universally Quantified Sentence
    5. Infinite Tree
    6. Infinite Semantic Tableau Derivation
    7. Downward correctness of a Truth Tree Rule
    8. Upward correctness of a Truth Tree Rule
    9. Interpretation Represented by an Infinite Truth Tree Branch
    10. Restrictions on the Derivation Rule for VI
    11. Restrictions on the Derivation Rule for 3E
    12. Terminal Interpretation in a Semantic Tableau Derivation
    13. Closed Semantic Tableau Derivation
    14. Compactness for Predicate Logic
    15. Interpretation for a Language with Identity
    16. Interpretation for a Language with Function Symbols

    Contributors and Attributions

    • Paul Teller (UC Davis). The Primer was published in 1989 by Prentice Hall, since acquired by Pearson Education. Pearson Education has allowed the Primer to go out of print and returned the copyright to Professor Teller who is happy to make it available without charge for instructional and educational use.


    3.15.6: Conclusion is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?