1. Forum
  2. Usenet
  3. COMP.AI.PHILOSOPHY

  • I finally understand why model theory is needed

    From olcott@21:1/5 to All on Sun Mar 12 22:50:32 2023
    XPost: sci.logic, comp.theory

    I kept thinking why do we need model theory when a universal knowledge
    ontology would do?

    The answer is that models are essentially nothing more than tiny subsets
    of a universal knowledge ontology.

    https://en.wikipedia.org/wiki/Ontology_(computer_science)

    --
    Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
    hits a target no one else can see." Arthur Schopenhauer

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)