русс | укр

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

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

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

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


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

Значимость и верификация


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


торого может быть проверена с помощью наблюдения. Для него предикат «Р» является наблюдаемым, если существует предложение «?(&)», которое может быть проверено наблюдением; но такая формулировка не помогает нам установить, может ли быть проверено наблюдением предложение Р(с). Я бы сказал, что до тех пор, пока у нас нет множества предложений формы «?(&)», которые уже проверены с помощью наблюдения, слово «Р» следует считать лишенным значения, поскольку привычка, которая конституирует значение, еще не выработана. Я бы сказал, что более подходящим предметом наблюдения является не слово, а предложение: «Р» и «с» оба могут иметь значение, полученное из опыта, но может не существовать наблюдения, определяющего истинность или ложность предложения «Р(с)>>. Действительно ли такое случается, это, по моему мнению, важный вопрос. И я хотел бы добавить, что подобным же образом для предложений, фундаментальных для эмпирических данных, только единственное, неповторимое событие позволяет утверждать или отрицать предложение «Р(с)>>. Но коль скоро возможно повторение событий, мы выходим за рамки эмпирического базиса.

Слово «наблюдаемый», подобно всем словам, включающим возможность, таит в себе опасность. Как мы уже поняли, карнаповс-кое определение говорит, что «Р» является «наблюдаемым», если определенные наблюдения могли бы иметь место. Но мы не можем, для начала, знать, что наблюдения возможны, хотя они и происходят в действительности. Поэтому представляется необходимым заменить слово «наблюдаемый» на «тот, который наблюдался», и говорить, что предикат «Р» является наблюдавшимся, если на самом деле произведены наблюдения, помогающие сделать заключение о «Р(Ь)» для некоторого Ь.

Кроме того: карнаповское определение, коль скоро оно остается в силе, является чисто каузальным: наблюдения служат причиной того, что наблюдатель убежден либо в Р(Ь), либо в не-Р(Ь). Ничего не сказано о том, как показать, есть ли какой-нибудь довод (в противовес причине), в силу которого наблюдения вели бы к подобному убеждению. И я не вижу, как можно что-нибудь ска-



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


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


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

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

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


 


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

 
 

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

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