русс | укр

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

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

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

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


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

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


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


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

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

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

Между методом, который отстаиваю я в теории познания, и методом, который отстаивает Карнап (совместно со многими другими), имеется различие в исходном пункте, которое крайне важно и (как я полагаю) недостаточно осознано. Я начинаю с предложений о частных событиях, таких как «Это — красное», «Это — яркое», «Я-сейчас испытываю чувство жары». Свидетельствами в пользу подобных предложений являются не другие предложения, а внеязыковые события; свидетельство целиком состоит из такого единичного события, и ничто происходящее в другом месте или в другое время не может подтвердить или же опровергнуть данное свидетельство. Предшествовавшие события связаны причинно с



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


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


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

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

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


 


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

 
 

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

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