Re: The Foundation of Linguistic truth is stipulated relations between finite strings

On 2024-09-04 03:41:58 +0000, olcott said:

The Foundation of Linguistic truth is stipulated relations
between finite strings.
 The only way that we know that "cats" <are> "animals"
(in English) is the this is stipulated to be true.
 *This is related to*
Truth-conditional semantics is an approach to semantics of
natural language that sees meaning (or at least the meaning
of assertions) as being the same as, or reducible to, their
truth conditions. This approach to semantics is principally
associated with Donald Davidson, and attempts to carry out
for the semantics of natural language what Tarski's semantic
theory of truth achieves for the semantics of logic.
https://en.wikipedia.org/wiki/Truth-conditional_semantics
 *Yet equally applies to formal languages*

No, it does not. Formal languages are designed for many different
purposes. Whether they have any semantics and the nature of the
semantics of those that have is determined by the purpose of the
language.
--
Mikko