Читать онлайн «Философские основания научной теории»

СОДЕРЖАНИЕ I. ЛОГИКО-МАТЕМАТИЧЕСКИЕ ОСНОВАНИЯ НАУЧНОЙ ТЕОРИИ Бесселъ X. Свободная от парадоксов система следованпя в логике высказываний и нетрадиционной теории предикации 3 Перевераев В. Н. Логическая семантика теории множеств 37 Ледников Е. Е. , Омелъянчип В. И. Теория определенных описаний для алетпческой модальной логики 70 Свириденко Д. И. Предпосылки логического подхода к программированию 91 II. СЕМАНТИКА ЯЗЫКА НАУЧНОЙ ТЕОРИИ Тулъчинский Г. Л. В каком смысле возможна теория смысла 108 Костюк В. II. Интенсиональность и диалог как функции естественного языка 128 Поляков И. В. Проблемы референции языка философии . . . 154 Бессонов А. В. Очерк логической теории истины 177 Петров В. В. Научные метафоры: природа и механизм функционирования 19G Клевакииа Е. Б. Язык п мнение: к вопросу о логических ндеа- лизациях 220 Хилпинен Р. Императивы, семантические игры и парадокс Росса 237 III. ЭМПИРИЧЕСКИЕ ОСНОВАНИЯ НАУЧНОЙ ТЕОРИИ Горан В. П. Эмпиризм как научная тенденция и как философская доктрина 261 Пазелъсгмй В. В. Логические н социологические аспекты экспертной оценки нового знания 283 *'*■■ АКАДЕМИЯ НАУК СССР СИБИРСКОЕ ОТДЕЛЕНИЕ институт истории, филологии и философии ФИЛОСОФСКИЕ ОСНОВАНИЯ НАУЧНОЙ ТЕОРИИ Ответственные редакторы д-ра филос. наук В. В. Целищев, В. Н. Карпович НОВОСИБИРСК ИЗДАТЕЛЬСТВО «НАУК СИБИРСКОЕ ОТДЕЛЕНИЕ 1985 Философские основания научной теории. —Новосибирск: Наука, 1985. Сборник посвящен анализу философско-логических и методологических проблем обоснования теоретического знания. Исследуются логико-математические и эмпирические основания научной теории, ее логическая структура, концептуальный аппарат, онтологические и гносеологические предпосылки, в частности обсуждаются вопросы нетрадиционной теории предикации, алетической модальной логики, семантики научного языка. Книга адресована. сцециалистам в области логики и теории познания. Рецензенты В. П. Фофанов, В. М. Фигуровская ФИЛОСОФСКИЕ ОСНОВАНИЯ НАУЧНОЙ ТЕОРИИ Утверждено к печати Институтом истории, филологии и философии СО АН СССР Редактор издательства Ю. П. Бубенков Художниц А. И. Смирное Технический редактор Г. Я. Герасимчук Корректоры Л. Л. Михайлова, В. А. Бирюкова HB"J* 23813 Сдано в набор 25. 10. 84. Подписано в печать 11. 05. 85. МН-04231. Формат 84 х 108VS!. Бумага типографская J* 3. Обыкновенная гарнитура. Высокая печать. Усл. печ. л. 15,1. Усл. кр. -отт. 15,2. Уч. -изд. л. 16. Тираж 3150 экз. Заказ М> 448. Цена 1 р. 90 к. Ордена Трудового Красною Знамени издательство «Наука», Сибирское отделение. 630099, Новосибирск, 99, Советская, 18. 4-я типография издательства «Наука». 630077, Новосибирск, 77, ' Станиславского, 25. 0301000000—842 тп ^ Издательство «Наука», 1985 г. ф 042(02)-85 w т ЛОГИКО-МАТЕМАТИЧЕСКИЕ л- ОСНОВАНИЯ НАУЧНОЙ ТЕОРИИ Хорст Весселъ (ГДР) СВОБОДНАЯ ОТ ПАРАДОКСОВ СИСТЕМА СЛЕДОВАНИЯ В ЛОГИКЕ ВЫСКАЗЫВАНИЙ И НЕТРАДИЦИОННОЙ ТЕОРИИ ПРЕДИКАЦИИ * 1. КЛАССИЧЕСКИЕ ТЕОРИИ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ И ИХ ПАРАДОКСЫ Под теорией логического следования в логике высказываний мы понимаем ту область логики, в которой правила логического следования устанавливаются для таких высказываний, которые составлены из пропозициональных операторов отрицания, конъюнкции, дизъюнкции и всех других операторов, определимых через перечисленные.