Высказывание (логика): различия между версиями

482 байта добавлено ,  8 месяцев назад
== Высказывание и суждение ==
Одно и то же суждение может быть выражено в разных [[Язык|языках]] и в разных [[Знаковая система (семиотика)|знаковых формах]] в пределах одного языка. Когда суждение рассматривается в связи с какой-то конкретной формой его языкового выражения, оно называется высказыванием. Термин «суждение» употребляют, когда отвлекаются от того, какова именно его знаковая форма{{sfn|Войшвилло, Дегтярёв|2001|с=22}}.
В современной математической логике ещё не установилось однозначное определение понятия “высказывание”, что позволяют некоторые логики иногда заменяя его термином “суждение”. Здесь высказывание нельзя отождествлять с суждением, которое, также обладает свойством выражать либо истину, либо ложь. Однако в отличии от высказывания, которое в первом разделе математической логики – [[исчисление высказываний|исчислении высказываний]], рассматривается как нерасчленённое целое, суждение является абсолютным единством [[Субъект (логика)|субъекта]] и [[Объект (философия)|объекта]], которые связаны между собой по смыслу. Помимо истинностного значения суждение несёт в себе некоторое содержание, которое может быть выражено в утверждении или отрицании чего-либо относительно предметов и явлений, их свойств, связей и отношений. Различаются высказывания и суждения также символической записью их формул. Простое высказывание всегда обозначается простым знаком А или В и др. Прстое категорическое суждение имеет выражение вида: «S есть (не есть) P». Различаются и формулы сложных высказывний и сложных суждений.
 
Различаются и формулы сложных высказывний и сложных суждений. Так импликативное высказывание, в котором два простых высказывания, связанные союзом, «если…, то…», выражаются в логике высказываний формулой «А <math>\rightarrow</math>B» и читается как «А влечёт (имплицирует) В», соответствующее же этому высказыванию условное суждение,
 
== Виды высказываний ==