русс | укр

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

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

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

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


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

Базисные суждения


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


Мы начинаем, говорит он, с витгенштейновских атомарных суждений; они были заменены Protokollsätze с целью выразить результаты наблюдения. Но в дальнейшем Protokollsätze перестали быть результатом наблюдения, так что никакой класс утверждений более не принимался в качестве базисного.

Карнап, продолжает Гемпель, говорит, что не существует никаких абсолютно первичных утверждений науки, даже в отношении Protokollsätze может в дальнейшем потребоваться обоснование. Тем не менее:

«Карнап и Нейрат никоим образом не имеют намерений сказать: "не существуют факты, существуют только суждения''; напротив, вхождение определенных утверждений в протокол наблюдателя или в научную книгу рассматривается ими как эмпирический факт, а входящие в протокол суждения — как эмпирические объекты. Что авторы действительно намереваются сказать, может быть выражено более точно благодаря карнаповскому различию материального и формального модусов речи...»

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

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

«Чтобы иметь относительно высокую степень достоверности, следует вернуться к Protokollsätze или заслуживающим доверия наблюдателям» [Возникают два вопроса: А. Как узнать, кто заслуживает доверия? Б. Как узнать, что они сообщают? - Б. Рассел]

«Система "Protokollsätze", которую считаем истинной..., может быть охарактеризована только исторически, т. е. как система, ко-



<== предыдущая лекция | следующая лекция ==>
Базисные суждения | Базисные суждения


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


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

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

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


 


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

 
 

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

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