русс | укр

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

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

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

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


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

Объектный язык


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


лъямс. Он обнаружит, что А зовут Вильяме, В зовут Вильяме и так далее. Фактически он может сделать подобное открытие относительно всех жителей деревни, но он не может знать, что он это сделал. Чтобы узнать это, ему следовало бы установить, что «А, В, С,..— это все жители деревушки». Но эта ситуация подобна знанию того, что в кладовой отсутствует сыр; подобное знание включает в себя знание того, что «никто в данной деревушке не является ни А, ни В, ни С, ни...» И это не может быть прямо известно с помощью одного только восприятия.

Случай со словом «некоторый» чуть менее очевидный1. Неужели наш приятель, о котором шла речь в приведенном выше случае, не знает, что «некоторых людей в этой деревушке зовут Вильямса-ми»? Мы полагаем, что не знает. Ситуация сходна с «пудингом-или-паштетом». С точки зрения восприятия, ни один из жителей деревушки не является «некоторыми людьми»; они являются теми людьми, которыми они являются. Только окольным путем, при помощи языка, мы можем понимать выражение «некоторые люди». Когда бы мы ни делали высказывание о некотором предмете из собрания, имеются альтернативные возможности в наших головах; в каком конкретном случае высказывание может быть истинным или ложным, и мы утверждаем, что оно истинно в определенных случаях, но, возможно, не во всех. Мы не можем выразить альтернативы без использования истинности и ложности, а истинность и ложность, как мы уже видели, выражаются в лингвистических терминах. Чистый объектный язык не может, следовательно, содержать слово «некоторые», как и слово «все».

Мы уже видели, что объектный язык, в отличие от языков более высоких уровней, не содержит слов «истинный» и «ложный» в каком бы то ни было смысле. Следующая ступень языка такова, что позволяет говорить не только то, что говорится в объектном языке, но и об этом языке. В этом языке второго уровня мы можем определить, что имеется в виду, когда говорится, что предложение языка первого уровня является истинным. А имеется в виду, что

1 Итог обсуждения и данной темы будет подведен в одной из последующих глав.



<== предыдущая лекция | следующая лекция ==>
Объектный язык | Объектный язык


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


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

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

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


 


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

 
 

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

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