Deutsch English Français Italiano |
<vc1910$rkci$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: The Foundation of Linguistic truth is stipulated relations between finite strings Date: Fri, 13 Sep 2024 14:52:00 +0300 Organization: - Lines: 28 Message-ID: <vc1910$rkci$1@dont-email.me> References: <vb8ku7$3m85g$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 13 Sep 2024 13:52:01 +0200 (CEST) Injection-Info: dont-email.me; posting-host="712056d384ab0d3704642ae216efc2e7"; logging-data="905618"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18iAIqbsLUOQzWRMThZLPM+" User-Agent: Unison/2.2 Cancel-Lock: sha1:WI2dwutVkRBl5PLPhx19V8/Qp3g= Bytes: 1958 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