русс | укр

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

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

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

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


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

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


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


бится суждение тождества: «Этот оттенок цвета, который я вижу, тождественный с определенным оттенком, который я вспоминаю, глядя на него». Подобное мнение уводит меня далеко за пределы любого текущего восприятия и не может обладать сколько-нибудь приемлемой степенью достоверности. Итак, в любой теории возможность повторений, допускаемых Карнапом, порождает трудности, которые он, кажется, не осознает. Они показывают, что тот вид предложений, который он рассматривает, не является видом, с которого следует начинать обсуждение эмпирического свидетельства, поскольку предложения Карнапа и менее просты, и менее надежны, чем предложения иного вида, существование которых подразумевается карнаповской дискуссией (хотя он, кажется, не догадывается об этом).

Любое употребление языка предполагает на деле определенную степень общности, которая необязательна в познании. Рас: смотрим, например, определение «предиката». Предикатом является класс сходных звуков, связанных с определенной привычкой. Мы можем сказать: «пусть P будет классом сходных звуков. Тогда P для данного организма N является "предикатом"1, если существует класс E сходных событий такой, что вхождение любого элемента в класс E вызывает у N побуждение произнести звук класса Р». Класс звуков P обладает этим свойством для N только в том случае, если N часто сталкивается на опыте с совместным проявлением £ и Р. Повторяемость и общность, на самом деле, существенны для обсуждаемого вопроса, поскольку язык состоит из привычек, привычка включает в себя повторяемость, а повторяемость может быть только одной из универсалий. Но в знании все сказанное не является необходимым, поскольку мы используем язык и можем использовать его корректно без того, чтобы быть осведомленными о процессе, посредством которого мы и приобретаем указанные навыки.



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

1 Или, точнее, предикатом, обладающим остенсивным определением.



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


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


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

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

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


 


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

 
 

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

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