На секции «Философия науки». Илкка Ниинилуото, финский логик, член Ассамблеи Конгресса, председатель секции.


С.М. Антаков во время доклада.


Вступительное слово на английском языке перед докладом С.М. Антакова произносит Екатерина Антакова.

Видеозапись доклада С.М. Антакова в Афинах. Видна только нижняя (русскоязычная) часть слайдов презентации

В феврале 2013 года издательством Нижегородского Государственного Университета им. Н. И. Лобачевского выпущен учебник С. М. Антакова «Основные идеи и задачи классической логики». Он сопровождается двумя предисловиями, второе из которых раскрывает новационный научный аспект содержания учебника.

Учебник доступен в формате pdf: скачать PDF, 2,8 MB.

Учебник логики С. М. Антакова, обложка
С. М. Антаков. Основные идеи и задачи классической логики
С. М. Антаков. Основные идеи и задачи классической логики
С. М. Антаков. Основные идеи и задачи классической логики

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

Нижегородский государственный университет им. Н.И. Лобачевского

С.М. Антаков

ОСНОВНЫЕ ИДЕИ И ЗАДАЧИ КЛАССИЧЕСКОЙ ЛОГИКИ

Учебное пособие

Рекомендовано учёным советом факультета социальных наук для студентов ННГУ, обучающихся по гуманитарным специальностям

Нижний Новгород, 2012

УДК 160
ББК 87.4
А 72

Р е ц е н з е н т ы:
зав. кафедрой правоведения Нижегородского государственного
архитектурно-строительного университета, доктор философских наук,
профессор Г.П. Корнев;
зав. кафедрой алгебры и математической логики
Тверского государственного университета, доктор физико-математических наук, профессор А.В. Чагров

Антаков С.М.

А 72 Основные идеи и задачи классической логики: Учебное пособие. – Нижний Новгород: Издательство Нижегородского госуниверситета, 2012. – 174 с.
ISBN 978-5-91326-209-7

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

Книга предназначена для студентов гуманитарных специальностей ННГУ им. Н.И. Лобачевского, изучающих логику. Она может быть с успехом использована и для самообразования.

Ответственный за выпуск:
председатель методической комиссии факультета социальных наук, кандидат социологических наук, доцент Петрова И.Э.

УДК 160
ББК 87.4
(С) С.М. Антаков, 2012
(С) Нижегородский государственный университет им. Н.И. Лобачевского, 2012

More »

Материал временно скрыт от просмотра.

Антаков С.М. Наука как экзистенция // Вестник Нижегородского
университета им. Н.И. Лобачевского. No. 1 Часть 3. Н.Новгород: Изд-во
ННГУ им. Н.И. Лобачевского, 2012. С. 81-88.

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

Ключевые слова: антиномия, кризис, новация, модернизм, неопозитивизм, постпозитивизм, разум, революция, фундаментализм, экзистенциальная философия.

1. Непредметный аспект науки

Термин «наука» имеет три главных словарных значения: 1) научное знание, 2) научная деятельность, производящая научное знание, и 3) наука как социальный институт. Они хорошо известны, поэтому тема «Наука как знание» была бы всем понятна (но и не интересна). Однако приходится разъяснять, чтó автор понимает под наукой как экзистенцией. Неопозитивизм и постпозитивизм – две наиболее влиятельные в ХХ веке философии науки – имеют общую позитивистскую направленность, хотя их подходы к науке диаметрально противоположны. Именно наука как знание, то есть как предмет, который можно передать другому, является предметом неопозитивизма, а наука как деятельность стала предметом постпозитивизма. Конечно, рассматривая науку как деятельность, постпозитивизм не может отвлечься и от субъекта этой деятельности. Однако субъект в данном случае редуцируется к «социальному институту», опредмечивается, то есть оказывается не подлинным субъектом. Задача преодоления такого позитивистского по существу подхода оправдывает тему «Наука как экзистенция».

Наука как экзистенция всегда ограничивалась «парадигмами», запретами, логическими, математическими и прочими формами. Поэтому историю науки необходимо представить как борьбу с ограничениями, имеющую характер софистической (просветительской) борьбы против сковывающих традиций, против консерватизма и замшелых авторитетов. Экзистенциальный характер науки, её активизм и прагматизм (устремлённость к благу, особенно возвышенно-духовному) ярко выражен русским космизмом, по существу фундированным немецкой классической философией. Так, согласно К. Ясперсу, принадлежащему немецкой философской традиции, наука есть рациональное самосознание, ориентирующее в мире и само ориентированное на идеал целесообразного переустройства мира и практического создания жизненно необходимых благ 1.

Экзистенциальный характер науки позволил ей успешно конкурировать с религией, начиная с Нового времени, и дать людям новую, сциентистскую и в определённом смысле антропоцентричную, веру. Поэтому желательно положить в основу изложения истории науки определения науки не столько как знания и соответствующей деятельности, сколько как субъекта этой деятельности. Да и сама научная деятельность при этом должна рассматриваться шире, как деятельность, не только производящая знание, но и целеполагающая, этическая.
More »

В феврале 2013 года в издательстве Нижегородского Государственного Университета им. Н. И. Лобачевского вышла книга итальянского математика и философа Габриэле Лолли «Философия математики. Наследие двадцатого столетия».

Философия Математики Габриэле Лолли - обложка

обложка книги Г. Лолли - задняя часть

В феврале 2013 года издательством Нижегородского Государственного Университета им. Н. И. Лобачевского выпущен учебник С. М. Антакова «Основные идеи и задачи классической логики». Он сопровождается двумя предисловиями, второе из которых раскрывает новационный научный аспект содержания учебника.

Учебник доступен в формате pdf: скачать PDF, 2,8 MB.

Учебник логики С. М. Антакова, обложка
С. М. Антаков. Основные идеи и задачи классической логики
С. М. Антаков. Основные идеи и задачи классической логики
С. М. Антаков. Основные идеи и задачи классической логики

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

Нижегородский государственный университет им. Н.И. Лобачевского

С.М. Антаков

ОСНОВНЫЕ ИДЕИ И ЗАДАЧИ КЛАССИЧЕСКОЙ ЛОГИКИ

Учебное пособие

Рекомендовано учёным советом факультета социальных наук для студентов ННГУ, обучающихся по гуманитарным специальностям

Нижний Новгород, 2012

УДК 160
ББК 87.4
А 72

Р е ц е н з е н т ы:
зав. кафедрой правоведения Нижегородского государственного
архитектурно-строительного университета, доктор философских наук,
профессор Г.П. Корнев;
зав. кафедрой алгебры и математической логики
Тверского государственного университета, доктор физико-математических наук, профессор А.В. Чагров

Антаков С.М.

А 72 Основные идеи и задачи классической логики: Учебное пособие. – Нижний Новгород: Издательство Нижегородского госуниверситета, 2012. – 174 с.
ISBN 978-5-91326-209-7

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

Книга предназначена для студентов гуманитарных специальностей ННГУ им. Н.И. Лобачевского, изучающих логику. Она может быть с успехом использована и для самообразования.

Ответственный за выпуск:
председатель методической комиссии факультета социальных наук, кандидат социологических наук, доцент Петрова И.Э.

УДК 160
ББК 87.4
(С) С.М. Антаков, 2012
(С) Нижегородский государственный университет им. Н.И. Лобачевского, 2012

More »

Альфред Тарский (США)

Первая публикация на русском языке (переводчик не указан):
Тарский А. Истина и доказательство // Вопросы философии. 1972. № 8. С. 136-145.

Предметом обсуждения в этой статье является старый вопрос, который довольно часто рассматривался в современной литературе, и поэтому нелегко сделать оригинальный вклад в его обсуждение. Я боюсь, что для многих читателей ни одна из идей, изложенных в этой статье, не покажется существенно новой. Однако я надеюсь, что они, возможно, проявят интерес к способу расположения и связывания материала1.

Наша первая задача состоит в объяснении значения термина «истинное». Эта задача будет рассматриваться здесь в существенно ограниченном объёме. Понятие истины встречается во многих различных контекстах, и существуют несколько различных категорий объектов, с которыми сопоставляется термин «истинное». В психологических дискуссиях мы можем говорить об истинных чувствах, равно как и об истинных убеждениях; в рассуждениях из области эстетики может рассматриваться истинное содержание некоторого предмета искусства. В данной же статье нас интересует только то, что может быть названо логическим понятием истины. Говоря более точно, мы займёмся исключительно значением термина «истинное», когда этот термин используется по отношению к предложениям. По-видимому, таким было первоначальное использование термина «истинное» в человеческом языке. Предложения трактуются здесь как логические объекты — как некоторые ряды звуков или написанных знаков (конечно, не всякий такой ряд представляет собою предложение). Более того, говоря о предложениях, мы всегда имеем в виду повествовательные предложения.

Вероятно, наиболее известное из философских определений понятие истины дано в «Метафизике» Аристотеля: «В самом деле, говорить, что сущее не существует или не сущее существует, это — ложь, а говорить, что сущее существует, и не-сущее не существует, это — правда»2.

Интуитивное содержание аристотелевской формулировки представляется довольно ясным. Тем не менее она оставляет желать лучшего с точки зрения точности и формальной корректности. В частности, эта формулировка непосредственно приложима лишь к высказываниям, которые «говорят» о чем-то, «что это есть» или «что этого нет»; в большинстве случаев было бы довольно трудно оценить высказывание в этой форме, не искажая его смысла и духа языка. Возможно, это и есть одна из причин того, почему в современной философии предлагаются различные заменители для аристотелевской формулировки. В качестве примера можно привести следующие:

Предложение является истинным, если оно отмечает действительное положение дел.

Истинность предложения состоит в его согласии (или соответствии) с реальностью.

Благодаря использованию технических философских терминов эти формулировки имеют весьма «учёный» вид, Однако меня не оставляет чувство, что эти новые формулировки, если их проанализировать более детально, окажутся менее ясными, чем формулировка, предложенная Аристотелем3.

На концепцию истины, которая нашла свое выражение в аристотелевой формулировке (и соответствующих формулировках более позднего происхождения), обычно ссылаются как на классическую или семантическую концепцию истины. Под семантикой мы подразумеваем ту часть логики, которая, грубо говоря, рассматривает отношения между лингвистическими объектами (например, предложениями) и тем, что выражается этими объектами. Семантический аспект термина «истинное» ясно раскрывается объяснением, предлагаемым Аристотелем, и некоторыми формулировками, которые будут приведены в нашем дальнейшем изложении. Мы попытаемся дать здесь более точное объяснение классической концепции истины, которое смогло бы заменить аристотелеву формулировку, сохраняя её основные идеи. Для этой цели мы должны прибегнуть к помощи некоторых технических средств современной логики. Мы должны будем также точно определить язык, с предложениями которого будем иметь дело. Это необходимо только потому, что последовательности звуков или знаков, которые являются истинными либо ложными, или, во всяком случае, осмысленными в одном языке, могут быть бессмысленными выражениями в другом.
More »

Материалы философского семинара «Теория и практики гуманитарных исследований» 25 декабря 2010 г. Доклад С. М. Антакова.

1. Выступление С. М. Антакова
«Возможность истории II. Генеральный метод истории» — часть 1

Доклад С. М. Антакова

Доклад С. М. Антакова — часть 1

2. Выступление С. М. Антакова
«Возможность истории II. Генеральный метод истории» — часть 2

Доклад С. М. Антакова

Доклад С. М. Антакова — часть 2

3. Выступление С. М. Антакова
«Возможность истории II. Генеральный метод истории» — часть 3

Доклад С. М. Антакова

Доклад С. М. Антакова — часть 3

4. Свободное обсуждение доклада С. М. Антакова

5. Аудиозапись доклада С. М. Антакова

6. Аудиозапись вопросов по докладу С. М. Антакова

7. Аудиозапись выступлений других участников семинара

Материалы философского семинара «Теория и практики гуманитарных исследований» 20 ноября 2010 г. Доклад С. М. Антакова.

1. Выступление С. М. Антакова «Возможность истории I. Апория трансцендентальных оснований субъект-объектного дуализма теоретического знания»

2. Обсуждение доклада

Обсуждение доклада С. М. Антакова

Обсуждение доклада

3. Аудиозапись полной версии семинара

4. Текстовая версия доклада

Текст во многих местах изменён и расширен по сравнению с устным докладом, в нём, в частности, появился новый раздел «Кривизна (несоизмеримость, или иррациональность) бытия относительно мышления. Континуум как модель бытия».

Доклад С. М. Антакова Материал закрыт для просмотра с 30 ноября 2010 г.

Автор исходит из того, что основания логики суть онтология, понимаемая как совокупность идеальных предметов, и соответствующая протологика (первая логика), служащая посредником между онтологией и логикой и обладающая 1) собственной, вторичной, но более богатой, онтологией, построенной по образцу первой онтологии, и 2) наиболее адекватным языком, выражающим предметы онтологии, участвующим в их создании и указывающим на них.

Дедукция из этих начал различных логических систем означает их прямое математико-логическое обоснование в том смысле, который вкладывался в понятие обоснования Декартом и Гуссерлем, и принципиально отличается от сложившегося в ХХ веке традиционного математико-логического обоснования, которое является, по существу, косвенным. Методология последнего разрабатывалась К. Поппером применительно к области математического естествознания. Своеобразное epochē Поппера, обратное к феноменологическому, заключалось в его сознательном отказе обсуждать прямой метод, выраженном в терминах отделения «контекста открытия» от «контекста обоснования». Тем самым обоснование редуцируется им к вполне опредмеченной, манипулятивной и лишенной трансцендентальных корней «деятельности», то есть к механическому процессу («пробам и ошибкам»).

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

К этим предметам в протологике добавляются также её служебные предметы — иконы и имена. Иконы, простые (неделимые) имена и сложные имена-описания суть предметы своего рода, выражающие предметы онтологии, создающие предметы протологики и указывающие на предметы. Имена могут порождаться по внутренним правилам языка независимо от онтологии и в силу этой автономии языка могут быть «пустыми» («ложными», «неправильными» в отношении онтологии), то есть ничего не выражать и не создавать и ни на что не указывать. Это создает кардинальное затруднение протологики и логики, известное как проблема истины.

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

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