Обсуждение:Высказывание (логика)

Последнее сообщение: 11 лет назад от РоманСузи в теме «Высказывание это суждение?»

Не понял почему «Париж — столица Франции» — высказывание, а предложение «На улице идет дождь» (о свойстве улицы) — нет, аналогично почему «5>3» — высказывание, а выражение «2+3» (тоже об отношениях чисел, 2 прибавлено к 3 м) — нет. 178.206.34.149 10:16, 9 июля 2012 (UTC)Ответить

Определение править

До сих пор в статье было сказано, что высказывание - это из математической логики, а всё остальное повествование шло на текстовых примерах, тогда как в мат.логике, естественно, используются формулы. Складывается впечатление, что статья не о термине мат.логики - почти без формул (в конце кванторы чуть-чуть маячат), а понятии откуда-то ещё, либо сделана попытка очень сильно упростить для тех, кто пугается математики. Полагаю, что это упущение нужно исправить и после словесных объяснений дать алгебраические понятия, чтобы статья раскрывала понятие полностью. Для преемственности я оставил часть старого определения, но я не знаю, откуда оно взято. РоманСузи 08:26, 12 августа 2012 (UTC)Ответить

Высказывание это суждение? править

http://ru.wikipedia.org/wiki/Суждение задумайтесь, в чем разница. В учебнике логики СПбГУ 2011 года не видят разницы 213.85.69.121 23:51, 4 октября 2012 (UTC)Ответить

  • По Кондакову (Логический словарь, 1971 г.), суждение и высказывание отождествлять неправильно. Высказывание - это термин мат.логики, простые высказывания в формулах участвует в виде одной буквы, а не разложены в виде "S есть P", как это в логике делается для некоторого вида суждений. В высказывании нас интересует только истинность-ложность, от всего экстралогического абстрагируются. Моё личное мнение: высказывание и суждение (грубо) аналогично числу и физической величине: у последней кроме значения может быть размерность и физический смысл, но для вычислений по формулам они не нужны. В учебнике может быть для какой-то рабочей цели и контекста сделано отождествление, но это не значит, что нужно принимать за общее определение. РоманСузи 03:32, 5 октября 2012 (UTC) PS. А о каком учебнике речь? РоманСузи 04:39, 5 октября 2012 (UTC)Ответить