В 65 Войшвилло, Е. К. Символическая логика (классическая и релевантная) : философско-методологические аспекты: учеб. пособие / Е. К. Войшвилло. - М. : Высшая школа, 1989. - 152 с. - Библиогр.: с. 147-148. - ISBN 5-06-001417-7 Допущено Гл. упр. преподавания обществ. наук Гос. ком. СССР по нар. образованию Содержание: Классическая и неклассическая логики. О знании формализованных языков . - С .3-8 Классическая логика (высказываний и предикатов) . - С .9-87 Язык классической логики предикатов первого порядка . - С .9-22 Классическая логика предикатов первого порядка (КЛП) . - С .23-30 Язык классической логики высказываний (ЯКЛВ) и классическая логика высказываний (КЛВ) . - С .31-38 Исчисления высказываний и предикатов . - С .39-87 Релевантная логика . - С .88-135 История, направления развития и методологическое значение релевантной логики . - С .88-95 Понятие релевантного логического следования для формул классической логики (следование первого порядка). Семантика обобщенных описаний состояний . - С .96-116 Натуральные варианты некоторых систем релевантной логики . - С .117-135 ~РУБ 87.4 Рубрики: Философские науки Логика Кл.слова (ненормированные): классическая логика -- релевантная логика -- логика высказываний -- логика предикатов -- формализованные языки Аннотация: В работе рассматриваются системы классической и релевантной логики и связанные с ними вопросы философско-методологического характера - понятие формализации рассуждений, значение логических исчислений, вопрос об информативности законов логики, развитие понятия логического следования от классической логики к релевантной и др. Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |