Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

Рекомендуем ознакомиться

'Программа'
Основное состояние ферромагнетика. Метод молекулярного поля в теории ферромагнетизма. Спонтанная намагниченность, ее зависимость от температуры. Восп...полностью>>
'Документ'
Вы начинаете изучение информатики на углубленном уровне. Как известно, компьютер обладает неограниченными возможностями: с ним можно поиграть в какую...полностью>>
'Документ'
Светильник для тела есть око. Итак, если око твое будет чисто, то все тело твое будет светло; если же око твое будет худо, то все тело твое будет тем...полностью>>
'Доклад'
В Российской Федерации в 2010 году произошло 360 чрезвычайных ситуаций, в том числе техногенного характера - 178, природного характера -118 и биолого...полностью>>

В. А. Смирнова по теории логического выво­да с учетом их внутренней взаимосвязи и научной значимости. Цен­тральное место здесь занимает монография

Главная > Монография
Сохрани ссылку в одной из сетей:

Предисловие

В данном томе представлена подборка работ выдающегося отечест­венного логика профессора В.А.Смирнова по теории логического выво­да с учетом их внутренней взаимосвязи и научной значимости. Цен­тральное место здесь занимает монография В.А.Смирнова «Формаль­ный вывод и логические исчисления». Во вводной статье А.С.Карпенко «Некоторые логические идеи В.А.Смирнова» и в подготовленных ком­ментариях к тому проведен сравнительный анализ идей и результатов профессора Смирнова в области теории логического вывода с трудами представителей других научных школ, уточняется смысл ряда утвер­ждений, устраняются отдельные неточности. Обращается внимание на поставленные им проблемы, обсуждается роль новаторских идей В.А.Смирнова в развитии логики. Показано в частности, что впервые в мировой литературе В.А.Смирнов создал логики без правил сокращения и рассмотрел методы доказательства разрешимости подобных логик. Впоследствии логики без сокращений стали активно разрабатываться отечественными и зарубежными учеными. Для решения задач поиска вывода важное значение имели построенные В.А.Смирновым эпсилон-исчисления. Им же впервые было начато изучение вопросов классифи­кации логических систем.

Переиздание основных трудов В.А.Смирнова по теории логического вывода, несомненно, привлечет внимание специалистов в области ло­гики и смежных дисциплин, будет способствовать дальнейшему разви­тию логической науки, для которой так много сделал Владимир Алек­сандрович.

НЕКОТОРЫЕ ЛОГИЧЕСКИЕ ИДЕИ В. А. СМИРНОВА

Не умаляя вклада Владимира Александровича Смирнова в методоло­гию и философию науки, хочу подчеркнуть, что в первую очередь В.А.Смирнов был логиком, причем логиком высочайшего класса. К тому же, что весьма редко встречается в логическом мире, он оставался работающим логиком до конца своей жизни. Последнее означает, что он постоянно интересовался новейшими достижениями в области со­временной символической логики и, самое главное, стремился получать новые технические результаты в избранных им областях.

Совершенно не вдаваясь здесь в логическую технику, я постараюсь передать атмосферу некоторых идей В.А.Смирнова, обозначив, в пер­вую очередь, то место, которое эти идеи занимают в современном логи­ческом мире.

В центре своего исследования я положу только три работы В.А.Смирнова:

(I). Логические взгляды Н.А.Васильева // Очерки по истории ло­гики в России. М., 1962. С.242-257;

(II). Формальный вывод и логические исчисления. М., 1972;

(III). Логические методы анализа научного знания. М., 1987.

Основные идеи этих трех работ, расходясь концентрическими круга­ми и накладываясь друг на друга, должны ввести нас в логический уни­версум В.А.Смирнова, который во многом предугадал некоторые тен­денции развития современной логики.

I

О русском логике Н.А.Васильеве (1880-1940) писали и ранее, но этой работе В.А.Смирнова повезло более, чем какой-либо другой, по той простой причине, что на неё появилась обстоятельная рецензия на анг­лийском языке и не где-нибудь, а в главном международном журнале по логике.

Идеи о возможности конструирования неаристотелевских логик по­явились в начале нашего века в работе Л.Брауэра о недостоверности закона исключенного третьего и одновременно в 1910 г. в работах Я.Лукасевича и Н.А.Васильева, которые независимо друг от друга пришли к выводу, что пересмотр основных законов аристотелевской логики (и в особенности таких, как закон непротиворечия: одно и то же суждение не может быть и истинным и ложным, и закон исключен­ного третьего: из двух противоречащих суждений, либо первое, либо второе должно быть истинным) приводит к построению неаристоте­левской логики, при этом оба ссылались на пример построения неэвкли­довой геометрии. Но идеи Н.А.Васильева были богаче и гораздо шире, и именно на их глубину обратил внимание в своей статье В.А.Смирнов.

Рецензию на указанную статью В.А.Смирнова сразу заметили уже в монографии Н.Решера по многозначной логике, где Н.А.Васильев был назван, с одной стороны, одним из предшественников многозначных логик, а с другой - становится одним из предшественников паранепро­тиворечивой логики (в таких логиках из А и отрицания А не всегда следует произвольное высказывание В). На следующем Международном Конгрессе приглашенным докладчиком о Н.А.Васильеве был уже В.А.Смирнов. Наконец, в 1989 г. В.А.Смирнов подготавливает и изда­ет не раз упоминаемые нами избранные труды Н.А.Васильева с обшир­ным приложением, где также публикуется его статья о Н.А.Васильеве.

Логические взгляды Н.А.Васильева оказали большое влияние на В.А.Смир­нова, и до конца своих дней он разрабатывал их в различных направлениях. Так возникла идея комбинированных логик, где вводятся операции над событиями, они играют роль внутренних логических зна­ков, в то время как обычные логические знаки играют роль внешних логических знаков, и эта часть логики является абстрактной логикой. С точки зрения В.А.Смирнова, возможен двоякий подход к неклассиче­ским логикам. Либо абстрактная часть логики (логика истинности) не варьируется, а внутренняя, онтологическая часть, может быть отлична от классической (например, за счёт изменения онтологических предпо­сылок), либо онтологическая часть остается прежней, а меняется абст­рактная часть (пересматриваются гносе­о­логические предпосылки). Воз­можна комбинация этих двух подходов, когда неклассичность появляет­ся за счёт пересмотра как онтологических, так и гносеологических пред­посылок. Вообще, стоит заметить, что идея разделе­ния в одной и той же системе логических операций на внутренние (язык-объект) и внеш­ние (метаязык) является весьма плодотворной и возникала независимым образом у разных логиков. Особенно здесь стоит выделить работу Д.А.Бочвара, где строится первая трехзначная логика бессмыс­лен­но­сти для разрешения некоторых теоретико-множественных парадоксов. В свою очередь, идеи Д.А.Бочвара были развиты В.К.Финном и его уче­никами, что привело к оригинальным и эффективным методам аксиомати­зации различных классов конечнозначных предикатных логик. Од­нако подход В.А.Смирнова отличался всё-таки необычайной широтой.

Другая идея В.А.Смирнова, а именно идея многомерных логик, вос­ходит к предложенному Н.А.Васильевым подразделению логических законов на два уровня: внешний и внутренний, абстрактный и эмпири­ческий. Первый уровень зависит от гносеологических установок, он не варьируется  это логика лжи и истины. На этом уровне верен закон не­противоречия и закон исключенного третьего. Второй уровень зависит от онтологических допущений о познаваемом мире, при этом в «одно­мерном» мире опыт даёт только позитивные атомарные утверждения, а отрицательные утверждения не атомарны, они являются результатом вывода. Двумерный случай В.А.Смирнов рассматривает на примере дважды алгебр Брауэра. Первоначально В.А.Смирнов предложил ак­сиоматику N-мерных логик в форме силлогистики. Позднее им было предложено построение логики N-измерений в виде алгебры классов, предполагая в дальнейшем сравнить её с N-мерными логиками в форме силлогистики.

Основная идея многомерных логик состоит в том, что опыт даёт нам атомарные утверждения "многих типов", а отсюда мы приходим к идее "многомерных" миров. В этих мирах имеет место своя логика. Можно предположить, что В.А.Смирнов подошел к идее обобщения логической семантики так называемых "возможных миров", или "точек соотнесе­ния". Частные интересные случаи стали уже появляться в современной литературе. Например, у А.Н.Прайора в каждом возможном мире имеет место трехзначная логика Лукасевича, и этим определяется се­мантика для "логики случайного бытия". Р.Раутли предложил семан­тику для релевантных и паранепротиворечивых логик, где в каждом возможном мире действует не алгебра Буля, а алгебра де Моргана; а В.Л.Васюков вводит тернарное отношение на мирах, которые структу­рализованы специального вида MV-алгебрами Чэна, и таким образом стро­ится точная модель для бесконечнозначной логики Лукасевича, и т.д.

К сожалению, В.А.Смирнов не успел осуществить свои разнообраз­ные идеи относительно многомерных логик.

II

Книга В.А.Смирнова "Формальный вывод и логические исчисления", по которой он защитил докторскую диссертацию, исключительно богата совершенно новыми идеями и определенно является его наивысшим интеллектуальным взлетом. Идеи, высказанные и разработанные в этой книге, во многом опередили своё время и, что важно, интенсивно разви­ваются сейчас в мировой логической литературе. Я отмечу только две темы, заслуживающие особого внимания в связи с современным разви­тием логики. Сразу хочу подчеркнуть, что эта книга не только не была переведена на английский язык, но на неё не была сделана даже рецен­зия в каком-либо международном журнале; поэтому эта блестящая ра­бота В.А.Смирнова осталась неизвестной для зарубежного читателя.

В этой книге впервые в мировой литературе было положено начало исследованиям логических систем без правила сокращения (гл. 5). Правило сокращения позволяет освобождаться от повторений одной и той же формулы, и это свойство логической системы оказывается свя­занным с проблемой разрешения самого исчисления, т.е. логики естест­венно заинтересованы в том, чтобы для каждой правильно построенной формулы данного исчисления можно было решить вопрос, является ли эта формула теоремой или нет.

В.А.Смирнов строит такое секвенциальное исчисление, результат расширения которого за счет добавления двух структурных правил со­кращения (слева и справа) является секвенциальным вариантом класси­ческой логики предикатов. Доказано, что пропозициональная часть этого исчисления совпадает с пропозициональной частью классической логики и что проблема разрешения для неё разрешима. Также получены другие результаты относительно данного исчисления.

Ради справедливости стоит сказать, что в 1972 г. независимо от В.А.Смирнова появляются краткие тезисы В.Н.Гришина, который за­интересовался работами о применении многозначных логик Лукасевича (заметим, что трехзначная логика Лукасевича является исторически первой логикой, в которой закон сокращения не имеет места) к теории множеств. Как раз работы В.Н.Гришина стали доступными для зару­бежных специалистов и привлекли к себе внимание.

В 1985 г. выходит обстоятельная работа японских ученых о логиках без сокращений, после чего появляется уже целый ряд чисто логических работ в этой области, а затем - знаменитая работа Дж.Жирара, кото­рая обозначила целое направление в применении логик без сокращений в компьютерных науках. Однако нигде в зарубежных работах ссылок на исходные идеи В.А.Смирнова нет.

Другая идея В.А.Смирнова, высказанная и получившая развитие в этой книге, является, по моему мению его главным творческим дости­жением. Начнем с того, что В.А.Смирновым построена предикатная ло­гическая система, названная им абсолютной; она лежит в основе целой иерархии логических систем. Абсолютная система является системой релевантной логики, а её импликативный фрагмент совпадает со "сла­бой позитивной импликацией" Чёрча. Таким образом, независимо от А.Чёрча был открыт импликативный фрагмент релевантной логики R. (В своё время В.А.Смирнов рассказывал автору этих строк, что когда он был в аспирантуре, для того, чтобы получить в читальном зале ино­странную литературу, нужно было иметь специальное разрешение на это. Неудивительно, что большинство западных научных работ было вне досягаемости.)

Начиная с конца 80-х годов появляется целый ряд работ, где строятся различные иерархии логических систем. Здесь в качестве исходной логической системы берется полное (full) исчисление синтаксических категорий Ламбека. Но главная цель В.А.Смирнова  построить клас­сификацию логических исчислений. В книге дается классификация син­гулярных секвенциальных исчислений, в основе которой, в свою оче­редь, лежит классификация правил введения и удаления логических знаков слева и справа. Этот подход к классификации я бы назвал внеш­ним. Предлагается еще один подход, внутренний, где за основу берется логическая связка импликации "если…, то…", что весьма естественно для логических исчислений, и тогда ставится вопрос о классификации импликативных логик, т.е. таких логик, в которых единственным логи­ческим знаком является импликация. При этом подходе четко выделены два способа классификации:

1) так как формальные выводы различаются по своей структуре, то соответственно этому теорема дедукции принимает различный вид. По­следнее позволяет классифицировать импликативные логики в зависи­мости от того, какая формулировка теоремы дедукции имеет место;

2) в основу классификации можно положить структурные правила в зависимости от соответствия между этими правилами и импликатив­ными формулами.

Тема классификации импликативных логик была развита В.А.Смирновым в ещё одной работе, где обращено внимание на ту серьезную проблему, что оба способа классификации не охватывают классической логики. В первом случае, теорема дедукции, которая имеет место для интуиционистской логики, имеет место также и для классиче­ской, и поэтому не различает первую от второй. Во втором случае, нет такого структурного правила, которое отвечало бы за переход от интуи­ционистской импликации к классической. В гильбертовских исчисле­ниях такой переход обычно осуществляется за счет добавления закона Пирса, но структурного правила, соответствующего этому закону, не существует.

К классификации импликативных логик можно подойти с совершен­но иной стороны, используя свойства базисных (исходных) комбинато­ров I, B, C, W, K и S, впервые введенных М.Шейнфинкелем, а затем Х.Карри. Оказалось, что между комбинаторами и импликативными формулами существует однозначное соответствие. В силу указанного соответствия (оно еще называется изоморфизмом Карри-Ховарда), можно классифицировать импликативные логики посредством комбина­торов, и наоборот.

Однако эта классификация, как и классификация В.А.Смирнова, не охватывает классической импликативной логики, поскольку нет такого комбинатора, который соответствовал бы закону Пирса, и вообще, лю­бой неинтуиционистской импликативной формуле. Поэтому в указан­ной работе конструируется весьма сложным образом такой “комбина­тор” Р, который соответствовал бы закону Пирса.

Итак, перед нами стоит следующая исходная проблема (назовем её проблемой В.А.Смирнова): найти единое основание для классификации импликативных логик, которая включала бы и классическую имплика­цию.

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

Конечно, в каком-то всеобъемлющем виде классифицировать логики невозможно, уж слишком разнообразен мир логики и по своей сути даже континуален. Но построение различных иерархий родственных логиче­ских систем и классификация определенных классов исчислений при­влекает и будет привлекать всё большее внимание специалистов.

III

Следующая книга В.А.Смирнова «Логические методы анализа науч­ного знания» оказалась многострадальной. Вышла она с большим опа­заданием, и предшествовала этому напряженная борьба (конец 70-х  первая половина 80 годов.), которая шла в секторе логики Института философии РАН. И хотя лидерство В.А.Смирнова как логика было бес­спорным, но тогдашняя дирекция Института поддержала противоборст­вующую сторону.

Из этой книги я выделю опять же только две темы, а именно резуль­таты в области модально-временных логик и тему сравнения теорий. В книге (гл.5, §2) подводится как бы итог работы по модально-временным логикам. Первая статья была опубликована а 1978 г., и одновременно и независимо (как это часто бывает в истории науки) начинает появ­ляться целый ряд работ по этой же теме Дж.Бёрджеса. Исходные идеи о логиках с модально-временными операторами как единых логических операций (типа "возможно будет, что…") впервые были высказаны А.Н.Прайором. Им же в связи с этим были введены временные струк­туры с линейным временем в прошлое и ветвящимся в будущее.

А.Н.Прайор исходил из чисто философской проблематики, и именно уже в указанной работе В.А.Смирнова было предложено весьма ориги­нальное решение знаменитой аристотелевской проблемы о морском сражении посредством введения метрических модально-временных операторов. При таком подходе введение промежуточного истинност­ного значения, как это было сделано Я.Лукасевичем, не требуется.

Ещё одна важная идея, высказанная здесь В.А.Смирновым, состоит в новом понимании сопряженности между прошлым и будущим. В обычных временных логиках между прошлым и будущим существует зеркальная симметрия, или, как предложил А.Н.Прайор, операторы будущего времени могут быть трехзначными, и на этом пути опровер­гаются некоторые фаталистические утверждения. В.А.Смирнов пред­лагает принять принцип, согласно которому то, что реализовалось, было возможным в прошлом , но не обязательно в сколь угодно дале­ком прошлом. Естественно, сразу же возникают вопросы о погружении известных модальных логик в новые временные системы, на решение которых всегда обращал внимание В.А.Смирнов.

Исследования по модально-временным логикам в дальнейшем стали приобретать всё более технический характер, поскольку требовалось решать проблемы о полноте и разрешимости логических систем, моде­лями которых являются древовидные структуры. Однако вклад В.А.Смирнова в философскую логику несомненен.

Значительное место в данной книге занимает тема сравнения раз­личных теорий и, в первую очередь, аксиоматических теорий. По суще­ству этой проблематикой В.А.Смирнов интересовался весь свой зрелый период научной деятельности. На самом деле эта тема является продол­жением исследований по определимости, в частности, определимости дескриптивных терминов. Результаты, полученные здесь, были доложе­ны им (совместно с В.Н.Садовским) на V Международном Конгрессе по логике, методологии и философии науки в 1975 г.

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

Известно, что теория групп первоначально возникла как теория ко­нечных групп подстановок (C.Jordan, 1970). Однако очень скоро было осознано, что операция подстановки здесь не при чем, а главное  изу­чение свойств бинарной операции без предположения конечности мно­жества элементов и без каких-либо предположений о природе элементов группы. Такой подход впервые оформился в самостоятельную область математики в 1916 г. с выходом книги О.Ю.Шмидта «Абстрактная тео­рия групп».

В это же время начинает оформляться трехзначная логика Лукасевича как результат "борьбы за освобождение человеческого духа". В 1929 г. эта логика обобщается на бесконечнозначый случай, а в середине века происходит алгебраизация бесконечнозначной логики Лукасевича в виде MV-алгебр Чэна, т.е., как и в случае с теорией групп, происходит полное абстрагирование от природы элементов. В это же время сама теория групп обогащается решеточным порядком и начинает бурно раз­виваться как самостоятельный раздел математики в виде теории реше­точно-упорядоченных групп.

Наконец, в 1986 г. выходит фундаментальная работа М.Мундичи , где доказывается эквивалентность целого ряда алгебраических теорий, возник­ших на совершенно различных основаниях и в разное время, с MV-алгеб­рами Чэна; в том числе доказывается эквивалентность реше­точно-упорядо­ченных групп (со строгой единицей) с MV-алгебрами .

Имеются и другие интересные примеры эквивалентности различных и весьма несхожих теорий, но все эти примеры носят частный характер. В.А.Смирнов подходит к проблеме сравнения теорий гораздо шире, а имен­но разрабатывает саму теорию сравнения теорий. Он формулирует понятие несущественного расширения теории, переводимого расшире­ния и анализи­рует с их помощью логические отношения между теория­ми, сфор­му­лиро­ван­ными в разных языках и на базе различных логик. Он рассмат­ри­вает целый спектр различных типов отношений между теориями  погружа­ю­щие операции, вложимость одной теории в дру­гую, рекурсивную эквива­лент­ность, относительную эквивалентность  и доказывает ряд теорем, опи­сы­ва­ющих их свойства. В дальнейшем В.А.Смирнов неоднократно исполь­зовал разработанные им методы в своих исследованиях взаимоот­ношения различ­ных теорий. Одним из последних его результатов является доказа­тель­ство эквивалентности онтологии Лесневского и оккамовской силлогистики.

Конечно, не все идеи В.А.Смирнова здесь рассмотрены, а только те, как говорилось вначале, которые представляют особый интерес в современ­ном мире логики. Что-то, может быть, было и пропущено, но возьму на себя смелость сказать, проработав с В.А.Смирновым без ма­лого четверть века (вначале в качестве его студента, затем аспиранта, и всё остальное время в одном секторе), что основная заслуга моего Учи­теля в логике не только в его результатах, но и в том, что им была соз­дана удивительная атмосфера содружества логиков в нашей стране и за ее пределами. В этой атмосфере можно было работать, обмениваться идеями на многочисленных конферен­циях и получать новые результаты.

Многочисленные его ученики рассеялись по белу свету и с благодар­ностью вспоминают и рассказывают о Владимире Александровиче Смир­нове. А придет ещё время личных воспоминаний его учеников, и тогда откро­ются поразительные черты его характера не только как ло­гика, но и как личности.

А. С. Карпенко

Подбор работ В.А.Смирнова по теории логического вывода, их анализ и комментарии к ним подготовлены при поддержке Российского фонда фундаментальных исследований, грант № 97–06–80360.

См.: Анисов А.М. Концепция научной философии В.А.Смирнова // Философия науки. Вып. 2. ИФРАН. М., 1977. С. 5-27.

См. предисловие и библиографию в сб.: Васильев Н.А. Воображаемая логика. Избр. труды (ред. В.А.Смирнов). М.1989.

См.: Comey D.D. Review of V.A.Smirnov 1962 // The Journal of Symbolic Logic. 1965. Vol. 30. P.368-370.

См.: Brouwer L.E.J. De onbetrouwbaarheid der logische principles // Tijdschrift voor wijsbegeertre. 1908. Vol. 2. P. 152-158. (Англ. перевод: The unreliability of the logical principles // Brouwer L.E.I. Collected works. Vol. I (ed. A.Heyting). Amsterdam, 1975. P. 107-111.)

См.: Łukasiewicz J. Über den Satz des Widerspruchs bei Aristoteles // Bull. Intern. Acad. Sci. Cracov. Classe de Philosophie. 1910. P.15-38. (Англ. перевод в: Review of Metaphysics. 1971. Vol. 24).

См.: Васильев Н.А. О частных суждениях, о треугольнике про­тивоположностей и законе исключенного четвертого // Ученые Зап. Казанского ун-та. Год 77. 1910, октябрь. Кн. 10. С.1-47. (Переиздано: Васильев Н.А. Воображаемая логика. Избр. труды (ред. В.А.Смирнов). М., 1989. С.12-53.)

См. также: Васильев Н.А. Воображаемая (неаристотелева) логика // Журнал м-ва нар. Просвещения (Н.С.). 1912, август .Ч. 40. С.207-246; Васильев Н.А. Логика и металогика // Логос. 1912-1913, № 1-2. С.53-81. (Переиздано в: Васильев Н.А. Воображаемая логика. Избр. труды (ред. В.А.Смирнов). М., 1989.)

Rescher N. Many-valued logic. N.Y., 1969.

См. приглашенный доклад А.Арруды: Arruda A.I. N.A.Vasil'ev: A forerunner of paraconsistent logic // VII-th International Congress on Logic, Methodology and Philosophy of Science. Salsburg, 1983. Section 6. P.14-17. См. также: Arruda A.I. N.A.Vasil'ev: A forerunner of paraconsistent logic // Philosophia Naturalis. 1984. Vol. 21. P.472-491.

Smirnov V.A. Logical ideas of N.A.Vasiliev and modern logic // Abstracts of 8-th International Congress on Logic, Methodology and Philosophy of Science. Moscow, 1987. Vol. 5. P. 86-89. См. также: Smirnov V.A. The logical ideas of N.Vasiliev and modern logic // Logic, Methodology and Philosophy of Science. Amsterdam, 1989. P.625-640.

Смирнов В.А. Логические идеи Н.А.Васильева и современная логика // Васильев Н.А. Воображаемая логика. Избр. труды М., 1989. С.229-259.

См.: Smirnov V.A. Assertion and predication. Combined calculus of propositions and situations // Abstracts of 8-th International Congress on Logic, Methodology and Philosophy of Science. Moscow, 1987. Vol. 1. P.333-335; Смирнов В.А. Утверждение и предикация. Комбинированные исчисления высказываний и событий // Синтаксические и семантические исследования неэкстенсиональных логик. М., 1989. С.27-35; Смирнов В.А. Комбинирование исчислений предложений и событий и логика истины фон Вригта // Исследования по неклассическим логикам. М., 1989. С.16-29.

Бочвар Д.  А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Математический сборник. 1938. Т. 4. Вып. 2. С. 287-308. (Англ. перевод в: History and Philosophy of Logic. 1981. Vol. 2.)

См., напр., Аншаков О. М., Рычков С. В. Об одном способе формализации и клас­сификации многозначных логик // Семиотика и информатика. 1984. Вып. 23. С. 78-106.

Смирнов В.А Дважды алгебры и симметрические логики // Логические исследования. Вып. 1. М., 1993. С.46-54.

Смирнов В.А. Аксиоматизация логических систем Н.А.Васильева // Современная логика и методология науки. М., 1987. С.143-151; Смирнов В.А. Логические идеи Н.А.Васильева и современная логика // Васильев Н.А. Воображаемая логика. Избр. труды М., 1989. С.229-259.

Smirnov V.A. Multidimensional logics // Abstracts of the IX International Congress on Logic, Methodology and Philosophy of Science. Uppsala, 1991. P.168; Смирнов В.А. Многомерные логики // Логические исследования. Вып. 2. М., 1993. С.259-278.

Prior A.N. Tense logic for non-permanent existence // Prior A. N. Papers on time and tense. Oxford, 1968. P. 145-160.

Routley R. American plan completed: alternative classical-style semantics, without stars, for relevant and paraconsistent logics // Studia Logica. 1984. Vol. 43, N 1-2. P. 131-158.

Vasyukov V. L. The completeness of the factor semantics for the Łukasiewicz's infinite-valued logics // Studia Logica. 1993. Vol. 52. P. 143-167.

Если уж быть совсем точным, то первая работа на эту тему была опубликована годом раньше: Smirnov V.A. On decidability of decision problem for sequential calculus of predicates without contractions // IV-th International Congress for Logic, Methodology and Philosophy of Science. Bucharest, 1971.

Гришин В.Н. Об одной нестандартной логике и её применении к теории множеств // Вторая Всесоюзная конференция по математической логике (Тезисы кратких сообщений). М., 1972.

См.: Гришин В.Н. Об одной нестандартной логике и её применении к теории множеств // Исследования по формализованным языкам и неклассическим логикам. М., 1974. С.135-171; Гришин В.Н. Об алгебраической семантике логики без сокращений // Исследования по теории множеств и неклассическим логикам. М., 1976. С.247-264.

Ono H., Komori Y. Logics without the contraction rule // The Journal of Symbolic Logic. 1985. Vol. 50. P. 169-201.

См. в особенности: Kiriyama E., Ono H. The contraction rule and decision problems for logics without structural rules // Studia Logica. 1991. Vol. 50. N 2. P. 299-319.

Girard J.Y. Linear logic // Theoretical computer science. 1987. Vol. 50. P. 1-102.

См.: Долгова Т.Н., Попов В.М. Проблемы релевантной логики в работе В.А.Смирнова «Формальный вывод и логические исчисления» // Логические исследования. Вып. 4. М., 1997. С. 79-93.

Church A. The weak theory of implication // Kontrolliertes Denken, Untersuchungen zum Logikkalkul und der Logik der Einzelwissenschaften. Munich, 1951. P. 22-37. (Abstract: The weak positive implicational propositional calculus // The Journal of Symbolic Logic. 1951. Vol. 16, N 3. P. 238).

См.: Došen K. Sequent-systems and groupoid models. I // Studia Logica. 1988. Vol. 47. N 4. P. 353-385; Došen K. Sequent-systems and groupoid models. II // Ibid. Vol. 48. N 1. P. 41-65; Wansing H. Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic. Bericht N 9. (Preprint). 1990; и в особенности: Ono H. Structural rules and a logical hierarchy // Mathematical logic. N.Y., 1990. P. 95-104.

Lambek J. The mathematics of sentence structure // American Mathematical Monthly. 1958. Vol. 65. P. 154-170. (Рус. перевод: Математическое исследование структуры предложений // Математическая лингвистика. М., 1964. С. 47-68).

Смирнов В.А. Формальный вывод, теоремы дедукции и теории импликации // Логический вывод. М., 1979. С. 54-68.

Schönfinkel M. Über die Bausteine der Mathematihschen Logik // Mathematischen Annalen, 1924. Bd. 92. S. 305-316. (Англ. перевод: From Frege to Gödel: a source - book in mathematical logic. Cambridge, 1967. P. 355-366.)

Curry H. B., Feys R. Combinatory Logic. Vol. 1. Amsterdam, 1958.

Gabbay D.V., de Queiroz R. J. G. B. Extending the Curry-Howard interpretation to linear, relevant and other resource logics // The Journal of Symbolic Logic.1992. Vol. 57. N 4. P. 1319-1365.

См.: Карпенко А.С. Импликативные логики: решетки и конструкции // Логические исследования. Вып. 2. М., 1993. С. 224-258; Karpenko A.S. Construction of classical propositional logic // Bulletin of the Section of Logic. 1993. Vol. 22. N 3. P. 92-97; Карпенко А.С. Классификация пропозициональных логик // Логические исследования. Вып. 4. М., 1997. C. 107-133.

В.А.Смирнов. Логики с модальными временными операторами // Модальные и интенсиональные логики (Тезисы координационного совещания). М., 1978. С.145-148.

Burgess J.P. The unreal future // Theoria. 1978. Vol. 44, part 3. P.157-179.

См., в особенности: Prior A.N. Past, present and future. Oxford, 1967.

Подробно о фаталистическом аргументе Аристотеля и логических реконструкциях этого аргумента, которые привели также и к появлению модально-временных логик, см.: Карпенко А.С. Фатализм и случайность будущего: Логический анализ. М., 1990.

См. также: Смирнов В.А. Логические системы с модальными временными операторами // Модальные и интенсиональные логики и их применение к проблемам методологии науки. М., 1984. С. 49-58.

Prior A.N. The syntax of time distinctions // Franciscan Studies. 1958. Vol. 18. N 2. P.105-120.

См.: Smirnov V.A. Tense logics with nonstandard interconnections between past and future // VII-th International Congress on Logic, Methodology and Philosophy of Science. Salsburg, 1983. Section 5 and 12. P. 164-168.

Начиная с 1985 г., появляется целая серия работ А.Занардо. См.: Zanardo A. A finite axiomatization of the set of strongly valid Ockhamist formulas // Journal of Philosophical Logic. 1985. Vol. 14. N 4. P.447-468; Branching-time logic with quantification over branches. The point of view of modal logic // The Journal of Symbolic Logic. 1996. Vol. 61. N 1. P. 1-39; см. также: Gurevich Y., Shelah S. The decision problem for branching-time logic // The Journal of Symbolic Logic. 1985. Vol. 50. N 3. P.668-681.

См.: Sadovski V.N., Smirnov V.A. Definability and indentifiability: certain problems and hypotheses // Basic problems in Methodology and linguistics. Dordrecht-Boston, 1977. P. 63-80.

См.: Smirnov V.A. Logical relation between theories // Synthese. Dordrecht. 1986. Vol. 66. N 1. P.71-87.

Łukasiewicz J. Farewell lecture by proffessor Jan Łukasiewicz, delivered in the Warsaw University Lecture Hall on March 7, 1918 // Łukasiewicz J. Selected works. Warszawa, 1970. P. 84-86.

См.: Łukasiewicz J., Tarski A. Untersuchungen über den Aussagenkalkül // Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie. Classe III. 1930. Vol. 23. P. 1-21. (Англ. перевод: Investigations into the sentential calculus // Łukasiewicz J. Selected works. Warszawa, 1970. P. 131-152).

Chang C. C. Algebraic analysis of many-valued logics // Transactions of the American Mathematical Society. 1958. Vol. 88. P. 467-490.

См.: Копытов В. М. Решеточно-упорядоченные группы. М., 1984.

Mundici M. Interpretation of AFC*-algebras in Łukasiewicz sentential calculus // Journal of Functional Analysis. 1986. Vol. 65. P. 15-63.

См. также: Nola A. D., Lettieri A. Perfect MV-algebras are categorilly equivalent to Abelian l groups // Studia Logica. 1994. Vol. 53. N 2.

Смирнов В.А. Дефинициальная эквивалентность элементарной онтологии и обобщенной силлогистики оккамовского типа // Логические исследования. Вып. 2. М., 1993. С.17-31; Smirnov V.A. Definitional equivalence of elementary ontology and generalized syllogistic of occamian type // Preprint 93-03. Institute for Logic, Cognitive Science and Development of Personality. M., 1993. P.1-17.

См. аналитический обзор «Результыты В.А.Смирнова в области современной формальной логики» (под общей редакцией А.С.Карпенко) // Логические исследования. Вып. 4. М., 1997. С. 40-69.



Скачать документ

Похожие документы:

  1. И научные учреждения второе переработанное и дополненное издание

    Документ
    Э. Ш. Айрапетьянц (Ленинград), А. И. Алексеев, проф. (Пермь), А. А. Андронов, проф. (Горький), А. Е. Арбузов, проф. (Казань), Н. Н. Ба­ранский, проф. (Москва), Р.
  2. Всесоюзный институт по изучению причин и разработке мер предупреждения преступности советская криминалистика

    Литература
    Систематическое изложение криминалистики в курсах, учебниках и справочниках всегда на­чинается с характеристик предмета, содержа­ния, системы, методов этой науки и ее места среди других наук.
  3. Министерство здравоохранения и социального развития РФ волгоградский государственый медицинский университет

    Монография
    А. И. Краюшкин, Л. И. Александрова, Н. И. Гончаров История кафедры анатомии человека. Под редакцией профессора В.Б. Мандрикова. Монография. – Волгоград, 2010.
  4. Гический словарь институт "открытое общество" мегапроект "Пушкинская библиотека" книги для российских библиотек москва педагогика-пресса 1999

    Документ
    В словарь включено более 1200 статей, раскрывающих содержание терминов и понятий практически из всех разделов психологии (об­щей, возрастной, медицинской, инженерной, педагогической и т.
  5. Д. А. Леонтьев психология смысла

    Монография
    д-р психол. наук, проф., чл.-кор. РАО Б.С.Братусь д-р психол. наук, проф., чл.-кор. РАО В.А.Иванников д-р психол. наук, проф., чл.-кор. РАН В.Ф.Петренко д-р психол.

Другие похожие документы..