Почему данное предложение не является высказыванием?

[integral2009]

Почему данное предложение не является высказыванием?
Расстояние между Туапсе и Анапой невелико.

[gris]

Ох, велико, — возразил муравей.

[_Ivana]

Ох, является, кажется мне. Во всяком случае, хочется более подробного разбирательства...

[integral2009]

То есть из-за того "невелико" -- понятие относительное? То есть однозначно сказать истина или ложь -- нельзя, потому не является высказыванием?

[gris]

А чего тут разбирать? Естественно, что можно создать некоторое окружение, где оценка этого расстояния будет однозначной.
И точно так же для любого высказывания можно придумать окружение, где оно высказыванием не будет.
Тут явное упражнение на то, что высказывание он либо истинно, либо ложно.

И потом: нас не спрашивают, является ли предложение высказыванием. Нам дано, что это предложение не является высказыванием. И спрашивается: почему?

[_Ivana]

Простите, но я не вижу, как из единственного высказывания "Предложение "Расстояние между Туапсе и Анапой невелико." не является высказыванием", заданного как истинное, можно вывести какие-либо следствия, кроме как тривиальную ложность отрицания данного высказывания.

[provincialka]

_Ivana в сообщении #772399 писал(а):

Простите, но я не вижу, как из единственного высказывания "Предложение "Расстояние между Туапсе и Анапой невелико." не является высказыванием", заданного как истинное, можно вывести какие-либо следствия, кроме как тривиальную ложность отрицания данного высказывания.

Формально-логически может, и нельзя. Вся проблема в том, что задание описано на естественном языке, а он допускает неоднозначную интерпретацию. Вот и надо выбрать такую, в котором данное предложение высказыванием не является. Например, обратить внимание на нечеткость понятия "невелико".

[integral2009]

_Ivana в сообщении #772399 писал(а):

Простите, но я не вижу, как из единственного высказывания "Предложение "Расстояние между Туапсе и Анапой невелико." не является высказыванием", заданного как истинное, можно вывести какие-либо следствия, кроме как тривиальную ложность отрицания данного высказывания.

Высказывание — это утверждение, которое является либо истинным, либо ложным.
То, что это -- утверждение -- очевидно, а вот то, что высказывание -- не очевидно...

[_Ivana]

Простите, но это напоминает задания типа "объясните, почему 1+1=3" или "почему Путин - плохой человек". А "почему автор задания - ду ставит некорректные задачи" в задании не надо объяснить? Это бы имхо как раз получилось логически обосновать. (Простите за несдержанность, возможно необоснованную)

integral2009 а разве истинность или ложность утверждения (по крайней мере, данного) не зависит от контекста (или "окружения", "интерпретации" в терминах других участников), выбор которого оставлен на произвол читателя?

[provincialka]

Не надо требовать от учебного задания той же формальной строгости, что и от работ по основаниям математики. При таких завышенных требованиях ни одну задачу нельзя будет сформулировать конечным числом высказываний

[integral2009]

_Ivana в сообщении #772409 писал(а):

integral2009 а разве истинность или ложность утверждения (по крайней мере, данного) не зависит от контекста (или "окружения", "интерпретации" в терминах других участников), выбор которого оставлен на произвол читателя?

В том-то и дело -- что я и создал эту тему, чтобы прояснить эти формальные вещи, чтобы узнать -- каким образом идентифицируется истина или ложь. Не обязательно конкретно это утверждение, а вообще.

-- Вт окт 08, 2013 14:36:03 --

gris в сообщении #772392 писал(а):

И потом: нас не спрашивают, является ли предложение высказыванием. Нам дано, что это предложение не является высказыванием. И спрашивается: почему?

А если бы все-таки был вопрос "является ли предложение высказыванием"?

[_Ivana]

Вот это уже интереснее. Но ведь думать об этом надо, по крайней мере, решающему задачу в такой постановке. Да и постановщику задачи степень строгости можно легко повысить, если предложить построить контексты, в которых данное утверждение будет являться истинным высказыванием, ложным высказыванием и не являться высказыванием.

integral2009, и я тоже хочу прояснить для себя эти вещи, поэтому и решил развить тему, несмотря на мнение "А чего тут разбирать?"

[gris]

Я ответил, предполагая, что автору была задана такая учебная задача. Подобные задачи находятся в контексте учебного курса со всеми его умолчаниями и окружениями. Обычно студенту понятно, что имеется в виду и что от него хотят. К тому же нерукопожатное правило двух У иногда полезно применять в хорошем смысле.
Ну а если ТС сам придумал это предложение, то ему и карты в руки. Если он хочет сделать это предложение высказыванием в КТВ, то пусть изволит ему раз и навсегда назначить истинность или ложность. Либо указать систему высказываний, в которой фигурируют Туапсе, расстояние, Анапа и далеко. А сам этот набор символов вне системы определения истинности не является высказыванием.
На память приходят Кэрролловские силлогизмы.
Впрочем, тут, конечно, можно поговорить о Гёделе и т.п. Тогда и надо было с этого начинать.

[_Ivana]

(Оффтоп)

А что такое "нерукопожатное правило двух У"?

О Гёделе имхо слишком сложно, но Кэрролловские и вообще силлогизмы почему бы не рассмотреть? Наверное можно придумать исходные наборы силлогизмов, из которых сабжевое утверждение будет прямо следовать.

[gris]

Про правило не скажу
А вот: Только расстояния, большие $n$ км, считаются далёкими.