русс | укр

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

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

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

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


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

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


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


Что касается «достоверности» фактических предпосылок, то по этому поводу следует сказать то, что говорится ниже.

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

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

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

В итоге: фактические предпосылки могут не быть достоверными, но не существует ничего более достоверного, что могло бы продемонстрировать их ложность.

г

ГЛАВА XXIII ОПРАВДАННАЯ УТВЕРЖДАЕМОГО

Вспомним, что в начале гл. XXI были выделены четыре теории истины, из которых я защищаю четвертую, а именно теорию корреспонденции. Третья, теория когеренции, была рассмотрена и отвергнута в гл. X. Вторая, заменяющая понятие «истины» понятием «вероятности», может быть представлена в двух формах, одну из которых я считаю приемлемой, а вторую должен отвергнуть как ошибочную. В той форме, в которой она ограничивается утверждением о том, что мы никогда не можем быть уверены в истинности некоторого данного суждения, выраженного словами, я ее принимаю. Однако в той форме, в которой заявляется, что понятие «истины» не является необходимым, я ее отвергаю. Мне представляется, что высказывание «"р" вероятно» в точности эквивалентно высказыванию «"р — истинно" вероятно» и что когда мы говорим «"р" вероятно», нужна некоторая вероятность того, что это высказывание истинно. Я не вижу причин, по которым защитники вероятности должны отвергать понятие «истины» в утвержде-





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


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


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

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

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


 


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

 
 

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

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