Цитаты из книги Логика. Учебник

Имя - это слово или словосочетание, обозначающее какой-либо предмет. Поскольку имя является знаком, оно имеет значение или смысл (или то и другое). Значение имени - это предмет, обозначаемый этим именем. Другие названия значения имени - денотат, де сигнат, номинат. Смысл (или концепт) - это представленная в языке…

Американский философ Чарльз Пирс (1839-1914) заложил основы особой науки о знаках - семиотики. В этой науке выделяют три раздела - синтаксис, семантику и прагматику, что связано с наличием трех аспектов языка. Синтаксисом называется раздел семиотики, в котором исследуются отношения между материальными объектами,…

Знак - это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.

При построении языка логики предикатов будем понимать свойства как общие имена предметов, а n-местные отношения - как общие имена n-ок предметов. Общие имена в таком расширительном толковании будем называть предикаторами. Знаки предметных функций, или функциональные знаки, или предметные функторы, представляют предметные…

Слова или словосочетания, выражающие признаки последовательностей из n предметов (n ≥ 1), называются знаками признаков, или п-мест ными предикатами.

Суждения эквивалентности. Суждение эквивалентности это суждение, в котором утверждается взаимная обусловленность двух ситуаций. Суждения эквивалентности выражаются, как правило, посредством предложений с союзом «если, и только если, ..., то....» ( «тогда, и только тогда, ..., когда...»). В этих суждениях, так же как и в…

Условные суждения. Суждение, в котором утверждается, что на личие одной ситуации обусловливает наличие другой, называется условным. Условные суждения чаще всего выражаются предложе ниями с союзом «если..., то...». Для определения условного суждения следует охарактеризовать необходимые и достаточные условия для события,…

Разделительные суждения - это суждения, в которых утверждается наличие одной из двух, трех и т. д. ситуаций. Если утверждается наличие по крайней мере одной из двух ситуаций, суждение называ ется (нестрого) разделительным, или соединительно-разделительным, или дизъюнктивным. Если утверждается наличие ровно одной из двух…

Соединительные суждения - это суждения, в которых утверждается наличие двух или более ситуаций. Пример: «Понятые присутствуют, и протокол составляется». Чаще всего такие утверждения выражаются посредством предложений, содержащих союз «и». Встречающийся в естественном языке союз «и» употребляется в нескольких значениях.…

Суждения об отношениях. Суждения, в которых говорится о том, что определенное отношение имеет место (или не имеет места) между элементами пар. троек и т. д. предметов, называются суждениями об отношениях; таковыми являются, например, суждения: «Москва больше Рязани», «Каждый следователь знает некоторого адвоката лучше,…