русс | укр

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

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

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

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


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

Логические слова


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


быть замещен дизъюнкцией. С психологической точки зрения, с другой стороны, здесь имеется ясное различие. Предикат является дизъюнктивным, если мы чувствуем желание решить альтернативы, которые остаются открытыми; а если нет — то нет. Но подобные рассуждения не являются вполне адекватными. Альтернативы должны быть такими, какие вызывает в уме предикат, а не возможностями, не относящимися к делу. Так, слово «мальчик» не должно считаться дизъюнктивным, поскольку оставляет открытым вопрос: «темноволосый или белокурый?» Таким образом, предикат только тогда является дизъюнктивным, если он вызывает вопрос, и ведет он себя так или нет, зависит исключительно от интересов соответствующей личности.

Все наше знание о мире, поскольку оно выражается в словах, является более или менее общим, поскольку каждое предложение содержит, по крайней мере, одно слово, не являющееся собственным именем, и все такие слова являются общими. Следовательно, каждое предложение логически эквивалентно дизъюнкции, в которой предикат заменен альтернативой двух более частных предикатов. Дает ли нам предложение ощущение знания или же сомнения, зависит от того, оставляет оно открытыми альтернативы, вызывающие различные действия и эмоции, или же нет. Каждая дизъюнкция, которая не является логически исчерпывающей (т. е. не такая, как «А или не-А»), сообщает некоторую информацию о мире, если дизъюнкция истинна; но информация может оставить нас в такой неуверенности, в какой то, что сообщается, воспринимается как неведение.

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



<== предыдущая лекция | следующая лекция ==>
Логические слова | Логические слова


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


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

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

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


 


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

 
 

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

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