русс | укр

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

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

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

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


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

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


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


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

Каждое предложение указанного выше вида логически не зависит от остальных, всех вместе и каждого в отдельности. Следовательно, всякий раз, когда говорят, что одно такое предложение увеличивает или уменьшает вероятность другого, это должно происходить благодаря некоторому принципу взаимосвязи, который, если ему доверяют, должен заслужить доверие на основе других свидетельств, чем восприятие. Наиболее очевидным примером такого принципа является индукция.

Предложения, которые Карнап имел в виду, должны, в свете того, что он говорит о них, быть другого вида. Несколько цитат помогут сделать данную мысль ясной.

«Мы отличаем проверку предложения от его подтверждения в связи с пониманием процедуры, например, проведения определенных экспериментов, которые ведут к подтверждению в некоторой степени самого предложения или же его отрицания. Мы будем называть предложение проверяемым, если мы знаем метод его проверки; и мы будем называть его подтверждаемым, если мы знаем, при каких условиях предложение могло бы быть подтверждено» (с. 420).

«Предикат "Р" языка L называется наблюдаемым для организма (например, личности) N, если для подходящих аргументов, например для "W, tf способен при подходящих обстоятельствах прийти к заключению, на основе небольшого числа наблюдений, о целостном предложении, скажем "Р(Ъ)" такому, что либо "Р(Ъ)"Г либо "не-Р(&)" подтверждается в столь высокой степени, что мы либо принимаем, либо отвергаем "Р(Ь)">> (с. 454).

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

f



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


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


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

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

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


 


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

 
 

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

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