русс | укр

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

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

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

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


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

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


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


от суждений «Л — смертен», «В — смертен» и т. д., а каждое из последних суждений приобретает истинность от таких суждений, как «тело А коченеет», «тело В коченеет» и т. д. Эти суждения, для определенных значений А и В, могут быть выведены из наблюдения. Поэтому они являются базисными суждениями в обеих теориях. Они, если истинные, будут базисными суждениями логической теории, даже когда они ненаблюдаемы; логическая теория будет придерживаться того, что имеется «факт», который превратил бы высказывание «Тело А коченеет» в истинное, даже если никто не осведомлен об этом факте — или альтернативно, что имеется противоположный факт, или, точнее, множество фактов, из которых бы следовало, что А — бессмертен.

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

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

Предложения, которые выражают опыты, обладают определенной логической формой. Когда они выражают такие опыты, которые снабжают данными физику, они всегда атомарны. Что касается данных психологии, существуют трудности в утверждении того, что это имеет место, но мы уже видели основания думать, что эти трудности преодолимы. Имеются воспоминания, включающие ло-



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


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


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

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

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


 


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

 
 

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

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