Book: Бочаров Вячеслав Александрович «Силлогистические теории»

Силлогистические теории

Серия: "-"

Монография является итогом многолетних исследований силлогистических теорий с точки зрения символической логики. Дается детальная классификация систем силлогистики в зависимости от выразительных возможностей их языков и принимаемых в них условий истинности категорических высказываний. Осуществляется формальная реконструкция ряда имеющихся в истории логики силлогистик - силлогистик Аристотеля, Л. Кэрролла, Б. Больцано, Дж. Венна, Н. А. Васильева, а также традиционной и фундаментальной силлогистики. Устанавливаются метатеоретические взаимосвязи между различными системами силлогистики, а также между силлогистиками и современными логическимитеориями. Для нескольких систем силлогистики предлагаются адекватные интенсиональные семантики. Впервые ставится и исследуется проблема полноты множества логических констант в силлогистической теории.

Издательство: "Прогресс-Традиция" (2010)

ISBN: 978-5-89826-361-4

Купить за 418 руб в My-shop

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

(р. 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.

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

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги
Бочаров Вячеслав АлександровичСиллогистические теорииМонография является итогом многолетних исследований силлогистических теорий с точки зрения символической логики. Дается детальная классификация систем силлогистики в зависимости от выразительных… — @Прогресс-Традиция, @ @- @ @ Подробнее...2010
418бумажная книга
Бочаров Вячеслав Александрович, Маркин Владимир ИльичСиллогистические теорииМонография является итогом многолетних исследований силлогистических теорий с точки зрения символической логики. Дается детальная классификация систем силлогистики в зависимости от выразительных… — @Прогресс-Традиция, @ @ @ @ Подробнее...2010
518бумажная книга
В. А. Бочаров, В. И. МаркинСиллогистические теорииМонография является итогом многолетних исследований силлогистических теорий с точки зрения символической логики. Дается детальная классификация систем силлогистики в зависимости от выразительных… — @Прогресс-Традиция, @(формат: 60x90/16, 336 стр.) @ @ @ Подробнее...2010
367бумажная книга
Бочаров Вячеслав Александрович, Маркин Владимир ИльичСиллогистические теорииМонография является итогом многолетних исследований силлогистических теорий с точки зрения символической логики. Дается детальная классификация систем силлогистики в зависимости от выразительных… — @Прогресс-Традиция, @(формат: 60x90/16, 336 стр.) @ @ @ Подробнее...2010
541бумажная книга

Look at other dictionaries:

  • Силлогистические теории — Силлогистика (греч. σιλλογισtικόσ  выводящий умозаключение) теория логического вывода, исследующая умозаключения, состоящие из т. н. категорических высказываний (суждений): общеутвердительных («всякое S есть Р»); общеотрицательных («ни… …   Википедия

  • СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… …   Философская энциклопедия

  • Маркин, Владимир Ильич — В Википедии есть статьи о других людях с такой фамилией, см. Маркин. Маркин Владимир Ильич Дата рождения: 9 мая 1958(1958 05 09) (54 года) Место рождения: Севастополь, УССР …   Википедия

  • Владимир Ильич Маркин — Маркин Владимир Ильич Дата рождения: 9 мая 1958 г. Место рождения: Севастополь, УССР СССР Гражданство …   Википедия

  • Владимир Маркин — Маркин Владимир Ильич Дата рождения: 9 мая 1958 г. Место рождения: Севастополь, УССР СССР Гражданство …   Википедия

  • Маркин, Владимир — Маркин Владимир Ильич Дата рождения: 9 мая 1958 г. Место рождения: Севастополь, УССР СССР Гражданство …   Википедия

  • Маркин В. — Маркин Владимир Ильич Дата рождения: 9 мая 1958 г. Место рождения: Севастополь, УССР СССР Гражданство …   Википедия

  • Маркин В. И. — Маркин Владимир Ильич Дата рождения: 9 мая 1958 г. Место рождения: Севастополь, УССР СССР Гражданство …   Википедия

  • Маркин Владимир — Ильич Дата рождения: 9 мая 1958 г. Место рождения: Севастополь, УССР СССР Гражданство …   Википедия

  • Маркин Владимир Ильич — Дата рождения: 9 мая 1958 г. Место рождения: Севастополь, УССР СССР Гражданство …   Википедия

  • Маркин, Владимир Ильич — (р. 09.05.1958) спец. по логике; д р филос. наук, проф. Род. в Севастополе. Окончил филос. ф т МГУ (1980), асп. того же ф та по кафедре логики (1983). С 1984 работает на этой кафедре, в наст. вр. проф. Зам. декана филос. ф та МГУ по науч. работе… …   Большая биографическая энциклопедия