Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

If Machiavelli were a hacker, he'd have worked for the CSSG. -- Phil Lapsley


computers / comp.ai.philosophy / I finally understand why model theory is needed

SubjectAuthor
o I finally understand why model theory is neededolcott

1
I finally understand why model theory is needed

<tum6i8$3hf3q$4@dont-email.me>

 copy mid

https://www.novabbs.com/computers/article-flat.php?id=10723&group=comp.ai.philosophy#10723

 copy link   Newsgroups: sci.logic comp.theory comp.ai.philosophy
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: sci.logic,comp.theory,comp.ai.philosophy
Subject: I finally understand why model theory is needed
Date: Sun, 12 Mar 2023 22:50:32 -0500
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <tum6i8$3hf3q$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 13 Mar 2023 03:50:32 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b5037940ea48ca04f9ab2f8a30ef81c2";
logging-data="3718266"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX180L/eknL/ow2A0bvsCuwuo"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.8.0
Cancel-Lock: sha1:kYmaA5v1nZWXK6T/Dqlnr0tXNIg=
Content-Language: en-US
 by: olcott - Mon, 13 Mar 2023 03:50 UTC

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

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor