русс | укр

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

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

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

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


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

Истина и опыт


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


Вопрос об истине, выходящей за границы опыта, может быть сформулирован как следующий: пусть аг, а2,.. ап— все имена моего словаря, причем я поименовал все, что только можно поименовать. Предположим, что все высказывания faα,/α2,../αη — ложны; возможно ли тем не менее, чтобы высказывание «существует χ такой, что^х» было истинным? Или, напротив, можем ли мы сделать вывод, что «/х — ложно для любого х»?

Невозможно обсуждать данный вопрос, не определив вначале, что подразумевается под «истиной» высказывания «существует χ такой, что/к». Такое суждение называется «суждением существования».

Невозможно определить «истинность» суждения существования иначе, чем в терминах базисных суждений существования. Любое другое определение будет использовать суждения существования. Например, в приведенном выше случае «допустим, что существует личность, отличная от меня, чей словарь содержит некоторое имя Ъ, которого нет в моем словаре, и которое таково, что для него/Ь — \ суждение восприятия». Это всего лишь новое и более сложное суж- ;i дение существования, даже если мы, подобно Беркли, заменим ги- | потетическую личность Богом. 1

Поэтому кажется, что мы должны перечислить базисные суж- f дения существования и отнести к «истинным» те, которые из них 1 выводимы. Но в таком случае остается вопрос: в каком смысле ис- | тинны базисные суждения существования? Кажется, мы могли бы сказать, что они «опытные». Например, когда некто стучит в дверь и вы говорите «кто там?», вы знаете, что «некто есть там» и вы же-, лаете узнать суждение формы «а есть там».

Предположим, мы утверждаем, что «существует χ такой, что jx», Î когда для каждого имени нам известно, что «fa» — ложно. В этом! случае мы не можем получить лингвистическое высказывание без! переменной. Мы не можем сказать: «существует имя "а" такое, чтр| "/а" — истинно», поскольку здесь просто подставляется имя в каче*| стве переменной, так что результирующее выражение обладает ем меньшей вероятностью истины, чем исходное высказывание. Если:! полагаю, например, что существуют события в физическом мир которые никем не воспринимаются, эти события должны быть бе*|





<== предыдущая лекция | следующая лекция ==>
ИСТИНА И ОПЫТ | Истина и опыт


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


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

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

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


 


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

 
 

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

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