Книга: Бочаров Вячеслав Александрович, Маркин Владимир Ильич «Основы логики. Учебник»

Основы логики. Учебник

Серия: "Классический университетский учебник"

Этот учебник представляет собой основное содержание курса лекций по логике, который авторы в течение ряда лет читали на философском и психологическом факультетахМосковского государственного университета им. М. В. Ломоносова. Учебник предназначен для студентов гуманитарных и естественных факультетов университетов, а также для всех желающих изучать логику самостоятельно или усовершенствоваться в ее знании.

Издательство: "Форум" (2019)

ISBN: 978-5-8199-0169-4

Купить за 1961 руб в Лабиринте

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Силлогистические теорииМонография является итогом многолетних исследований силлогистических теорий с точки зрения символической… — Прогресс-Традиция, Подробнее...2010518бумажная книга
Силлогистические теорииМонография является итогом многолетних исследований силлогистических теорий с точки зрения символической… — Прогресс-Традиция, (формат: 60x90/16, 336 стр.) Подробнее...2010541бумажная книга

Бочаров, Вячеслав Александрович

(р. 13.12.1937) — спец. по логике; д-р филос. наук, проф. Род. в Москве. В 1965 окончил филос. ф-т МГУ. С 1966 работает на кафедре логики филос. ф-та МГУ, с 1990 — проф. этой кафедры. Канд. дисс. — "Силлогистика без экзистенциальных предпосылок" (1980). Докт. дисс. — "Анализ силлогистических теорий" (1988). Обл. научных иссл. —свободные логики, совр. силлогистические теории, онтология и мереология Лесневского, теология, филос. проблемы логики, логика и методол. науч. познания. В ходе работ по этой тематике были получены следующие конкретные результаты: в ист. плане было обосновано глубокое отличие по семантике силлогистики Аристотеля от традиционной версии этой теории; в частности, был обоснован тезис о неэкзист. характере аристотелевской силлогистики и построены разнообразные позитивные, негативные и сингулярные силлогистики; была построена расширенная силлогистика (силлогистика со сложными терминами) и доказана метатео-рема о дефинициальной эквивалентности этой теории булевой алгебре; разработана одна из версий онтологии Лесневского как совр. варианта силлогистики; доказана метатеорема о дефинициальной эквивалентности онтологии Лесневского и кванторной силлогистики, строящейся в аристотелевском духе; построено исчисление предикатов первого порядка, обогащенного дескрипциями нового типа, а именно переменной дескрипцией (универсалией) и доказана непротиворечивость этого исчисления; последний аппарат был использован для анализа логич. аргумента Ансельма и его критики И.Кантом; дана реконструкция логико-филос. представления И.Кантом идеи Бога; разработан алгоритм построения вывода в одном из вариантов натурального исчисления предикатов; для логики высказываний построена компьютерная реализация данного алгоритма.

Соч.: Предмет и методы формальной логики // Современные проблемы теории познания диалектического материализма. М., 1970; Алгебраические реконструкции силлогистики // Логико-методологические исследования. М., 1980; Булева алгебра в терминах силлогистики // Логические исследования. Вып.1. М., 1983; Аристотель и традиционная логика. М., 1984; Интерпретация ассерторической силлогистики у Аристотеля // Логика Аристотеля в Тбилиси. М., 1985; Силлогистика. М., 1986; Силлогистика с сингулярными терминами // Современная логика и методология науки. М., 1987; Анализ критики Кантом онтологического аргумента // Кантовский сборник. Вып. 14. Калининград, 1989; Исчисление предикатов с универсалиями. Сер. статей: I. Формальное построение // Философские основания неклассических логик. М., 1990; II. Семантика // Логические методы в компьютерных науках. М., 1991; III. Философские основания // Труды научно-исследовательского семинара логического центра ИФ РАН. М., 1994; Дефини-циальная эквивалентность элементарной онтологии и силлогистики // Труды научно-исследовательского семинара логического центра ИФ РАН. М., 1997; Алгоритм поиска вывода в классической логике предикатов. [В соавт.] // Логические исследования. Вып.5. М., 1998; Кантовская модель Бога. [В соавт.] // Логические исследования. Вып.7. М., 2000.

Источник: Бочаров, Вячеслав Александрович

Маркин, Владимир Ильич

(р. 09.05.1958) — спец. по логике; д-р филос. наук, проф. Род. в Севастополе. Окончил филос. ф-т МГУ (1980), асп. того же ф-та по кафедре логики (1983). С 1984 работает на этой кафедре, в наст. вр. — проф. Зам. декана филос. ф-та МГУ по науч. работе (с сентября 2001). Докт. дисс. — "Исследование силлогистических теорий средствами символической логики" (1997). Работает в обл. модальной логики, силлогистики и компьютерных приложений логики. Построил ряд логич. систем с внутр. модальностями, осуществил аксиоматизацию силлогистик Лейбница, Больцано, Кэрролла; доказал погружаемость в исчисление предикатов разл. силлогистических теорий; осуществил формальную реконструкцию аподиктической силлогистики Аристотеля, традиц. и аристотелевского вариантов сингулярной негативной силлогистики. Осуществил обобщение стандартной позитивной силлогистики за счет введения новых силлогистических констант исчерпываемости и неисчерпыва-емости универсума объемами терминов. Предложил аксиоматизацию и адекватную семантику "воображаемой логики" и "логики понятий" Н.А.Васильева.

Соч.: Теорема полноты в логике внутренних модальностей // Методология развития научного знания. М., 1982; Окрестностная семантика для модальностей de re // Модальные и релевантные логики. М., 1982; Семантический анализ аподиктической силлогистики Аристотеля // Логика Аристотеля. Тбилиси, 1985; Типология признаков, модальности de re и семантика возможных состояний объектов // Современная логика и методология науки. М., 1987; Силлогистика и современная логика. [В соавт.] // В. МГУ. Сер."Философия". 1987. № 4; Формализация неаристотелевских силлогистик // Интенсиональные логики и логическая структура теорий. Тбилиси, 1988; Философское и методологическое значение логики. [В соавт.] // ВФ. 1988. № 2; Силлогистические теории в современной логике. М., 1991; Силлогистические теории и исчисление предикатов (Ч.1) // Логические исследования. Вып.1. М., 1993; Основы логики. Учебник. [В соавт.]. М., 1994; Доказательство и его поиск. Логика и компьютер. [В соавт.]. Вып.3. М., 1996; Сингулярная негативная силлогистика Аристотеля и свободная логика // Логические исследования. Вып.4. М., 1997; Формальная деконструкция традиционной сингулярной негативной силлогистики // Логические исследования. Вып.5. М., 1998; Обобщенная позитивная силлогистика // Там же. Вып.6. М., 1999; Воображаемая логика-2: реконструкция одного из вариантов знаменитой логической системы Н.А.Васильева // Труды научно-исследовательского центра ИФ РАН. М., 1999; Погружение воображаемой логики Н.А.Васильева в кванторную трехзначную логику // Логические исследования. Вып.7. М., 2000.

Источник: Маркин, Владимир Ильич

См. также в других словарях:

  • ОСНОВЫ ИНФОРМАТИКИ И ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ — (ОИВТ), уч предмет, введенный в ср у ч заведения Рос Федерации с 1985/86 у ч г. Предусматривает изучение законов и методов сбора, передачи и обработки информации с помощью электронной вычислит техники Цель обучения ОИВТ формирование «компьютерной …   Российская педагогическая энциклопедия

  • История логики — изучает развитие науки о формах и законах правильного мышления (логика). Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя… …   Википедия

  • Логика — Гр …   Википедия

  • Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»