русс | укр

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

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

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

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


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

Истина и верификация


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


Ромула, китайцы — Яо и Шуи, а британцы — короля Артура, хотя все эти заслуживающие поклонения личности являются литературным вымыслом.

Мы видели в главе XIV, что мнение, такое как «вам жарко», включает в его полном выражении переменную. Можем ли мы сказать, что каждое мое мнение, которое выходит за рамки моего личного опыта, включает по крайней мере одну переменную? Давайте рассмотрим пример, настолько неблагоприятный, насколько это возможно, для данной гипотезы. Предположим, мы с приятелем стоим и разглядываем толпу людей. Мой приятель говорит: «Вон там Джонс». Я верю ему, но не могу видеть Джонса, который, как я предполагаю, известен как мне, так и моему другу. Я предположу, что мой друг и я придаем одно и то же значение слову «Джонс»; к счастью, здесь нет необходимости обсуждать, что представляет собой это значение. Слово «там» является для наших целей решающим. Оно использовано моим приятелем как собственное имя для определенного зрительного направления. (Мы уже обсудили в главе VII тот смысл, в котором «там», как эгоцентрическая подробность, может рассматриваться в качестве собственного имени.) Мой приятель может пояснить слово «там», указав направление; это позволит мне приблизительно определить, какое направление он называет «там». Но что бы он ни делал или говорил, слово «там» для меня не является собственным именем — оно всего лишь более или менее смутное описание. Если я вижу Джонса, я могу сказать: «Да, вон он там». В таком случае я произношу суждение, которое не могло быть сообщено мне высказыванием моего приятеля. Услышанное мной слово «там», как оно было использовано моим приятелем, для меня означает всего лишь «где-т о в границах определенного района» и, таким образом, использует переменную.

Давайте попытаемся определить слово «опыт», которое часто употребляется крайне неопределенно. Оно имеет различные, хотя и взаимосвязанные значения в различных контекстах. Давайте начнем с лингвистического определения.

Лингвистически слово обладает значением, которое лежит в области «опыта», если для него имеется остенсивное определение.



<== предыдущая лекция | следующая лекция ==>
Истина и верификация | Истина и верификация


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


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

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

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


 


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

 
 

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

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