Deutsch English Français Italiano |
<vber20$qdsh$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: sci.logic Subject: Re: {linguistic truth} is the foundation of truth in mathematical logic Date: Fri, 6 Sep 2024 15:03:12 +0300 Organization: - Lines: 15 Message-ID: <vber20$qdsh$1@dont-email.me> References: <vbdfk4$h64u$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 06 Sep 2024 14:03:13 +0200 (CEST) Injection-Info: dont-email.me; posting-host="d2806f8404483309abc03a5fad54b0c1"; logging-data="866193"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+oFwbc0JVyvXMwq1KaN0sM" User-Agent: Unison/2.2 Cancel-Lock: sha1:5Ofzb1hQ6Z0wo1TNZ01tPy5ojoA= Bytes: 1341 On 2024-09-05 23:41:55 +0000, olcott said: > A whole body of {linguistic truth} can be defined as expressions > of language that are true on the basis of their meaning expressed > in this same language. > > Expressions that can only be known to be true on the basis > of observation belong to a different class of knowledge. Linguistic things should be discussed in sci.lang. This group is for things related to logic. -- Mikko