Читаем Феномен науки. Кибернетический подход к эволюции полностью

Не всякий объект можно подставить в качестве аргумента (аргументов) в заданную функцию. Если объект a — рыжий пес, то, очевидно, конструкция «чин»(a) бессмысленна. Бессмысленна и конструкция +(a, B), где a — число, а, B — точка в пространстве. Множество объектов, которые могут быть аргументами функции (для функций от многих аргументов — множество наборов объектов), называется ее областью определения. Область определения функции «чин» (x) образуют все те объекты, которые являются военнослужащими. Объекты, которые могут быть значениями данной функции, образуют множество, которое называют областью значений функции. В область значений функции «чин»(x) входят такие объекты, как «прапорщик», «поручик», «майор» и др., но никак не «3.14» или «рыжий пес». Функция «чин»(x) приписывает каждому военнослужащему определенный чин.

Когда мы имеем дело с функциями, одно из отношений между объектами становится особенно важным, а именно отношение равенства. Оно необходимо для установления соответствия между функциональными конструкциями и наименованиями объектов из области значений функций. Выделяя равенство из массы других отношений, мы сохраним для него привычную запись х = у вместо записи в виде предиката =(х, у). Тот факт, что объект c имеет фамилию «Пшебысский» и чин «поручик», будет выглядеть следующим образом:

(«фамилия»(c) = «Пшебысский») («чин»(c) = «поручик»).

Отношение равенства можно определить формально с помощью следующих четырех утверждений:

(a)(a = a).(a)(b)[(a = b) (b = a)].(a)(b)(c)[(a = b) (b = c) (a = c)].(a)(b)[(a = b) (W(a) W(b))].

Последнее утверждение верно для любого высказывания W(x), зависящего от переменной х. В качестве упражнений предлагаем читателю перевести эти утверждения на естественный язык.

В одном из примеров, приведенных выше, мы видели предикат D(x, y), имеющий смысл: «x является делителем у». Понятие делимости целиком определяется операцией (функцией) умножения, поэтому предикат D(x, у) может быть выражен через функцию. Натуральное (т. е. целое положительное) число p является делителем числа n тогда и только тогда, когда существует такое натуральное число т, что n = p x m. На языке исчисления предикатов

(p)(n)[D(p, n) (m)(n = x(p, m))].

Каждой функции от n аргументов можно поставить в соответствие n+1-местный предикат, выражающий то отношение, что один (скажем, последний) аргумент есть данная функция от остальных аргументов. Например, функции x(x, y) соответствует предикат M(x, y, z), который дает верное высказывание в том и только в том случае, когда z = x(x, y). В общем случае функции f(x, у, ..., z) соответствует предикат F(x, у, ..., z, u), обладающий свойством

(x)( y)...(z)( u)[F(x, у, ..., z, и) (f(x, у, ..., z) = u)].

Предикат F выражает фактически то же понятие, что и функция f. Любое высказывание, содержащее функциональные символы, можно переписать, используя лишь предикатные символы и введя дополнительно некоторое число объектных переменных. Таким образом, обе конструкции, порождающие новые объекты, — конструкция со связкой «такой, что» и функция — не являются принципиально необходимыми и без них можно обойтись. Однако в отличие от конструкции «такой, что» функциональные символы весьма удобны и широко используются в логике.

6.13. Синтаксис и семантика

В заключение нашего краткого очерка логики рассмотрим вопрос о связи языка логики и естественного языка. Попутно будут введены важные понятия синтаксис и семантика языка.

Вспомним фразу о рыжем псе, которую мы разложили в набор высказываний, выражаемых с помощью предикатов. Смысл, значение, этого набора совпадает со смыслом исходной фразы, а форма записи, структура текста, существенно отличается. В семиотике (наука, изучающая знаковые системы) совокупность правил построения элементов языка называют его синтаксисом, а связь между элементами языка и их значениями — семантикой. Следовательно, первое, что бросается в глаза при сравнении логического и естественного языков, это то, что язык логики имеет другой синтаксис. Этот синтаксис прост и единообразен. Он основан на стиле обозначений, сложившемся в математике, — конструирование более сложных элементов языка из более простых, изображается по аналогии с математической записью операций и функций. Синтаксис языка логики полностью формализован, т. е. существует набор четко сформулированных правил, с помощью которых можно построить любой языковый элемент. Далее, какой бы правильно построенный элемент языка (объект или высказывание) мы ни взяли, всегда можно восстановить путь, которым этот элемент был построен, его структуру. Этот процесс называется синтаксическим анализом элемента. Легко убедиться, что в языке логики синтаксический анализ чрезвычайно прост и однозначен.

Перейти на страницу:

Похожие книги

Физика для всех. Движение. Теплота
Физика для всех. Движение. Теплота

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

Александр Исаакович Китайгородский , Лев Давидович Ландау

Научная литература / Физика / Технические науки / Учебники / Образование и наука
Компьютерные сети. 5-е издание
Компьютерные сети. 5-е издание

Перед вами — очередное, пятое издание самой авторитетной книги по современным сетевым технологиям, написанной признанным экспертом в этой области Эндрю Таненбаумом в соавторстве с профессором Вашингтонского университета Дэвидом Уэзероллом. Первая версия этого классического труда появилась на свет в далеком 1980 году, и с тех пор каждое издание книги неизменно становилось бестселлером и использовалось в качестве базового учебника в ведущих технических вузах. В книге последовательно изложены основные концепции, определяющие современное состояние и тенденции развития компьютерных сетей. Авторы подробнейшим образом объясняют устройство и принципы работы аппаратного и программного обеспечения, рассматривают все аспекты и уровни организации сетей — от физического до уровня прикладных программ. Изложение теоретических принципов дополняется яркими, показательными примерами функционирования Интернета и компьютерных сетей различного типа. Пятое издание полностью переработано с учетом изменений, происшедших в сфере сетевых технологий за последние годы и, в частности, освещает такие аспекты, как беспроводные сети стандарта 802.12 и 802.16, сети 3G, технология RFID, инфраструктура доставки контента CDN, пиринговые сети, потоковое вещание, интернет-телефония и многое другое.

А. Гребенькова , Джеймс Уэзеролл

Технические науки
Металлоискатели
Металлоискатели

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

Михаил Васильевич Адаменко

Радиоэлектроника / Технические науки / Образование и наука