2017 Выпуск 18(1)

Обсуждается проблема «субъективного» в физике. Показано, что некоторый класс квантовых автоматов (автоматы Альберта) способен демонстрировать нечто вроде «субъективного опыта». Делается предположение, что такие автоматы способны генерировать геделевские суждения. Дополнительно демонстрируется, что учет таких необычных свойств автоматов Альберта способен с новой стороны осветить проблему соотношения квантовых и классических свойств.

T

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

T

В работе рассматриваются различные подходы к применению семантики Данна-Белнапа в формальном моделировании аргументативных рассуждений. Среди данных подходов нами выделяется два из них: подход А. Бохмана, основанный на понятии би-секвенциальных отношений, и подход Д.В. Зайцева, основанный на парадигме обобщенных истинностных значений. Главным результатом работы является применение логик ETL и NFL к формальному моделированию аргументативных рассуждений. Данные логики могут быть сформулированы в семантике Д.В. Зайцева, где связка отрицания определяется как отрицание де Моргана. Таким образом, в данной работе подвергается критике тезис о том, что выбор отрицания де Моргана для аргументативной логики приводит к системе FDE.

I

Статья посвящена проблеме построения истории аргументативных практик. Исследование динамики развития аргументации позволило бы разделить все многообразие аргументативного инструментария на априорные и культурно-исторически обусловленные способы обоснования; а следовательно – внесло бы свой вклад и в понимание когнитивной сферы человека, и в решение практических задач – в частности, прогнозирования развития аргументативных практик и поиска наиболее эффективных способов аргументации.
Однако осуществление этого масштабного проекта требует формулирования методологических оснований анализа аргументативных текстов, которые позволяли бы сопоставлять тексты разного типа и разных исторических периодов. Сегодня существует два подхода к исследованию истории аргументации: аналитический подход к истории философии и исторический подход к анализу аргументации М.А. Финокьяро. В статье предлагается взять последний в качестве основания для формулирования методологии исследования истории аргументативных практик. Этот подход представляет собой трехшаговый путь, где на первом шаге осуществляется выбор эмпирического текстового материала, на втором – погружение в контекст, а на третьем – формулирование финальных обобщений касательно аргументативного поведения автора исследуемого текста. Однако М.А. Финокьяро накладывает жесткие ограничения на выбор текста, связанные с возможностью осуществления третьего шага только при наличии достаточного тематического и аргументативного многообразия. Для снятия этого ограничения предлагается понимание аргументации как специфического гиперязыка; такое понимание не только упростит сопоставление разноплановых текстов, но и в сочетании с погружением в контекст позволит формулировать обобщения для узконаправленных текстов, исключаемых методом М.А. Финокьяро.

T

Термин «доказательство» используется для обозначения целого спектра интеллектуальных процедур, направленных на установление объективной истины или обоснование истинности некоторого предложения, приемлемости императива, справедливости оценки, а также на убеждение других людей в его адекватности. В математике доказательство играет центральную роль, но, вместе с тем, общего понятия математического доказательства нет. Существует несколько весьма различных точек зрения на сущность математического доказательства, его цели, критерии и идеалы, и со временем эти критерии и идеалы меняются.
Доказательство в других науках рассматривается как процесс исследования, проверки и подтверждения некоторых положений с целью поиска и обоснования истины – объективной или конвенционально принятой. Здесь доказательство заключается главным образом в поисках подтверждающих свидетельств, их оценке и установлении того, что лучше всего они объясняются доказываемой гипотезой. Построение демонстрирующего рассуждения, которое и считается доказательством в дедуктивных науках, во многих других областях совсем не обязательно.
В разных областях познания критерии состоятельности и приемлемости доказательств различны. В одних – это формально-дедуктивная строгость, в других – очевидность аргументов и интуитивная ясность рассуждения, в-третьих – достоверность и достаточность подтверждающих свидетельств.
Основным общим критерием приемлемости доказательства представляется его убедительность – способность вызвать у адресата такое принятие доказанного утверждения, что он готов убеждать в нем других. Доказательство всегда погружено в социально-исторический контекст, поэтому общего для всех наук и всех времен понятия доказательства не только не существует, но и не может существовать.

T