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 actual truth is that ... industry standard stipulative definitions
Date: Sat, 19 Oct 2024 12:01:02 +0300
Organization: -
Lines: 46
Message-ID: <vevsge$3qcjk$1@dont-email.me>
References: <ve39pb$24k00$1@dont-email.me> <vebchp$3m87o$1@dont-email.me> <1071eb58637e27c9b2b99052ddb14701a147d23a@i2pn2.org> <vebeu2$3mp5v$1@dont-email.me> <58fef4e221da8d8bc3c274b9ee4d6b7b5dd82990@i2pn2.org> <vebmta$3nqde$1@dont-email.me> <99541b6e95dc30204bf49057f8f4c4496fbcc3db@i2pn2.org> <vedb3s$3g3a$1@dont-email.me> <vedibm$4891$2@dont-email.me> <72315c1456c399b2121b3fffe90b933be73e39b6@i2pn2.org> <vee6s1$7l0f$1@dont-email.me> <1180775691cf24be4a082676bc531877147202e3@i2pn2.org> <veec23$8jnq$1@dont-email.me> <c81fcbf97a35bd428495b0e70f3b54e545e8ae59@i2pn2.org> <vef37r$bknp$2@dont-email.me> <7e79306e9771378b032e6832548eeef7429888c4@i2pn2.org> <veikaf$14fb3$1@dont-email.me> <veipmb$15764$2@dont-email.me> <c56fcfcf793d65bebd7d17db4fccafd1b8dea072@i2pn2.org> <vejfg0$1879f$3@dont-email.me> <velajq$1l69v$1@dont-email.me> <velnfc$1n3gb$1@dont-email.me> <vent54$255ab$1@dont-email.me> <veosaf$29dtl$8@dont-email.me> <01a0b3f782aeafebc2435eced402848307c2b177@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 19 Oct 2024 11:01:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7f05503354eec5ee8ccd6a83bd8fd864";
	logging-data="4010612"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/bEego9ZXNiL0oEs3q3lBH"
User-Agent: Unison/2.2
Cancel-Lock: sha1:JBxM+vzsjmlVYWtmJBukhLno1l8=
Bytes: 3418

On 2024-10-17 00:06:07 +0000, Richard Damon said:

> On 10/16/24 1:14 PM, olcott wrote:
>> On 10/16/2024 3:23 AM, Mikko wrote:
>>> On 2024-10-15 12:33:47 +0000, olcott said:
>>> 
>>>> On 10/15/2024 3:54 AM, Mikko wrote:
>>>>> On 2024-10-14 16:05:20 +0000, olcott said:
>>>>> 
>>>>>> A stipulative definition is a type of definition in which
>>>>>> a new or currently existing term is given a new specific
>>>>>> meaning for the purposes of argument or discussion in a
>>>>>> given context. https://en.wikipedia.org/wiki/Stipulative_definition
>>>>>> 
>>>>>> *Disagreeing with a stipulative definition is incorrect*
>>>>> 
>>>>> The Wikipedia page does not say that. It only says that a stipulative
>>>>> definition itself cannot be correct.
>>>> 
>>>> If X cannot be incorrect then disagreeing that X is correct
>>>> is incorrect.
>>> 
>>> While agreement with a definition is incorrect in some sense one
>>> can choose whether to accept the or reject the definition.
>>> 
>>>>> It says nothing about disagreement.
>>>>> In particular, one may diagree with the usefulness of a stipulative
>>>>> definition.
>>>> 
>>>> It seems that my reviewers on this forum make being disagreeable
>>>> a top priority.
>>> 
>>> Irrelevant.
>> 
>> Not at all. If reviewers are lying about my work
>> that is libelous.
> 
> Which means you need to actual prove that something is a lie, and not 
> that you just disagree with it.

At least where I live such proof is not needed. It is sufficient that
the insulting statement is not proven.

-- 
Mikko