Формальная vs судебная логика
Nov. 19th, 2025 11:47 amС человеческой точки зрения
" ...не угрожаю убийством, так как люди и так смертны, особенно те, кто не отдает долги вовремя.." -
это, конечно, прямая угроза убийством. Но если рассматривать эту фразу с точки зрения математической логики, то нет, хотя в 99% случаев суд сочтет это угрозой, так как фраза построена с инверсией смысла, и первая часть неявно отрицает вторую.
Аналогичная по структуре фраза с инверсией смысла: "Я против выпивки, так как мне перестали дарить водку".
Формально автор фразы заявляет, что он против выпивки, но любой, кто может пройти тест Тьюринга, конечно, поймет эту фразу в обратном смысле.
Объяснение для
xaxam, который кажется не понимает или делает вид, что не понимает ограничений формальной логики.
" ...не угрожаю убийством, так как люди и так смертны, особенно те, кто не отдает долги вовремя.." -
это, конечно, прямая угроза убийством. Но если рассматривать эту фразу с точки зрения математической логики, то нет, хотя в 99% случаев суд сочтет это угрозой, так как фраза построена с инверсией смысла, и первая часть неявно отрицает вторую.
Аналогичная по структуре фраза с инверсией смысла: "Я против выпивки, так как мне перестали дарить водку".
Формально автор фразы заявляет, что он против выпивки, но любой, кто может пройти тест Тьюринга, конечно, поймет эту фразу в обратном смысле.
Объяснение для