русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Значимость предложений


Дата добавления: 2015-07-09; просмотров: 531; Нарушение авторских прав


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

Когда мы обобщаем отношение R (скажем, бинарное отношение) процесс является тем же самым, разве что подставленная на место отношения переменная «S» принимает значения, ограниченные бинарными отношениями, чтобы сохранить условие значимости. Рассмотрим, например, мнение, что у людей все должно быть общим. Если я согласен с данным наставлением, это означает, что если х — произвольный человек, a R — произвольное бинарное отношение, то я имею отношение 1? к х. Другими словами, каждое предложение формы: «Если х — человек, мы имеем отношение R к х» является истинным. Или рассмотрим высказывание «Никакие два человека не являются такими, что между ними нет никакого отношения». Это значит, что если х и у — люди, то некоторое предложение формы «х находится в отношении R к у» — истинно. Это означает, что каждое предложение формы «если х и у — люди, некоторое предложение формы «"х находится в отношении R к у" — является истинным» — является истинным.

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

Предложения, в которых используется обобщение предикатов, часто встречаются в обычной речи. Примером являются предложения: «Наполеон обладал всеми качествами великого полководца» и «Елизавета имела добродетели ее отца и деда, но не имела их пороков». (Я не соблюдаю исторической точности в наших иллюстрациях.)

По причинам, которые проявятся в главе XIX, назову атомистической иерархией предложений семейство предложений, полученных из атомарных суждений восприятия с помощью трех операций: подстановки, соединения и обобщения.

il



<== предыдущая лекция | следующая лекция ==>
Значимость предложений | Значимость предложений


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.452 сек.