В трехзначной логике Я. Лукасевича [10], если обычным образом ввести дизъюнкцию посредством импликации и отрицания, эта формула принимает значение п. Т.е. ситуация «В 20.00 завтра я буду читать статью по логике или буду размышлять о смысле жизни» оказывается необходимой.
В трехзначной логике Клини указанная формула при указанных значениях принимает значение с [11].
Причина ограниченности логик Лукасевича и Клини заключается в том, что во время их создания не был известен принцип квазифункциональности.
Приемы -- это предписания, являющиеся, как правило, составляющими технологий, методов, стратегий. В качестве примера можно привести приемы разъяснения выражений. Этими приемами являются разъяснение посредством словарей, описание, характеристика, сравнение, разъяснение посредством примеров, определение и некоторые другие, например, определение -- характеристика.
Технологии -- это рекомендации, какие приемы и в какой последовательности надо применять, чтобы успешнее решить поставленную задачу. В качестве примера приведем технологию разъяснения выражений.
Пусть для решения поставленной задачи требуется использовать выражения, которые должны иметь точное значение, т.е. должны быть терминами. Следует осуществить следующие действия в следующей последовательности.
Первое действие. Ответить на вопрос «Нужно ли разъяснять выражение?» Если выражение требует разъяснения, то нужно осуществить следующее действие.
Второе действие. Решить, какой прием разъяснения применить. Допустим, что ищем разъяснение в словарях. В словаре может быть дано разъяснение, но оно сделано для решения другой задачи. В этом случае, а также если разъяснение неудовлетворительное, то применяется какой-то другой прием.
Пусть ни один из приемов, не являющихся определением, не подходит. Тогда обращаемся к определению.
Решаем, какое определение применять, номинальное или реальное. Первое из них -- указание или соглашение о том, в каком смысле будем применять выражение в данном тексте, например, в статье. Второе -- указываем отличительную систему признаков, характеризующую рассматриваемые объекты [12]. Допустим, применяется реальное определение. Тогда нужно соблюдать правила определения. Полезно обратить внимание на следующие из них. Первое. Определение должно быть прагматически оправданным, то есть оно должно быть необходимым для решения поставленной задачи. При несоблюдении этого правила возникает ошибка «неработающее определение». Второе. Определение должно быть эффективным, т.е. в определяющей части нужно указывать признаки, которые можно устанавливать.
Технологии полезно излагать в процессе преподавания. Так, если формулируется какое-либо правило, то нужно указать технологию его применения.
Пример. При изложении логического аспекта аргументации следует привести правило «Целесообразно осуществить анализ обсуждаемой проблемы и явно сформулировать тезис» и изложить технологию его реализации. Технология может заключаться в выполнении следующих действий.
Первое действие. Провести анализ обсуждаемой темы. Для этого в утверждениях участников дискуссии нужно выделить наиболее простые составляющие. Пусть одна из сторон утверждает, что параметрические показатели для оценки работы преподавателей химического факультета вуза, разработанные Ректоратом, являются наилучшими. Вторая сторона так не считает. Какие наиболее простые составляющие можно выделить в утверждениях участников дискуссии?
Утверждения первой из сторон:
С.1. Новые химические соединения, полученные преподавателями (на основе государственного финансирования), должны быть немедленно описаны в статьях, а статьи следует направить в журналы США или стран Западной Европы, т.е. нужно учитывать время получения научного результата и его предоставления в зарубежный журнал;
С.2. Для назначения стимулирующих выплат учитывать только количество публикаций в западных журналах.
Утверждения второй стороны:
Д.1. То же, что и С.1.
Д.2. Учитывать не только публикации в западных журналах, но и публикации в отечественных журналах, сборниках, а также учитывать опубликованные монографии, учебные пособия и тезисы конференций.
В Д.2. в свою очередь можно выделить утверждения: Д. 1.1. Учитывать публикации в западных журналах; Д.2.2. Учитывать публикации в отечественных журналах; Д.2.3. Учитывать публикации в сборниках; Д.2.4. Учитывать опубликованные монографии; Д.2.5. Учитывать опубликованные учебные пособия; Д.2.6. Учитывать тезисы конференций.
Второе действие. Установить, в чем участники дискуссии согласны, а в чем не согласны. В случае рассматриваемого примера стороны не согласны в следующем: учитывать публикации в отечественных журналах, сборниках, а также учитывать опубликованные монографии, учебные пособия и тезисы конференций.
Третье действие. Сформулировать тезис или тезисы аргументации. Можно, например, тезисом дискуссии считать утверждение «Учитывать изданные монографии, рекомендованные ученым советом факультета, а также учебники с грифом УМО химических факультетов».
Приведены методологические средства, в разработку которых авторы статьи внесли по крайней мере некоторые дополнения. Другие методологические средства -- методы, стратегии, тактики и т.д. в статье не рассматриваются. Предполагаем, что в обсуждении изложенной проблемы примут участие представители других разделов философии, и возможно, других учебных дисциплин.
Список литературы
[1] Архиереев Н.Л. Семантика допустимых множеств оценок // Логические исследования. 2011. Вып. 16.
[2] Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания. М., 1994.
[3] Ивлев В.Ю. Категории необходимости, случайности и возможности: их смысл и методологическая роль в научном познании // Философия и общество. 1977. № 3.
[4] Ивлев В.Ю. Методологический принцип введения категорий модальности в современном научном познании // Гуманитарный вестник. 2016. № 12 (50). С. 4. DOI: 10.18698/23068477-2016-12-403.
[5] Ивлев В.Ю., Ивлева М.Л. Методологическая роль категорий необходимости, случайности и возможности в научном познании. М.: МГТУ «МАМИ», 2011. 109 с.
[6] Ивлев В.Ю., Ивлев Ю.В. От детерминизма к квазидетерминизму в логике и вне логики // История и философия науки в эпоху перемен: сб. научных статей. В 6 т. Т. 1. М.: Изд-во «Русское общество истории и философии науки», 2018.
[7] Ивлев Ю.В. Квазиматричная (квазифункциональная) логика. М., 2018.
[8] Ивлев Ю.В. Содержательная семантика модальной логики. М., 1985.
[9] Ивлев Ю.В. Модальная логика. М., 1991.
[10] Карпенко А.С. Развитие многозначной логики. М., 2010.
[11] Клини С. Введение в метаматематику. М., 1957.
[12] Петров Ю.А. Азбука логичного мышления. М., 1991.
[13] Rescher N. Many-valued logic. N.Y., 1969.
[14] Рузавин Г.И. Научная теория: Логико-методологический анализ. М., 1978.
[15] Whitehead A.N., Russell, B. Principia Mathematica. Volume 1. Cambridge university Press, 2010.
Logical Methodology
Absract. The regulatory documents of the Ministry of Higher Education and Science set the task of forming competencies of students. Competences are understood as knowledge and skills. Knowledge is the world outlook component of science, and therefore the corresponding academic discipline, and skills are its methodological component. The world outlook refers to the system of views on the subject area of science, and the methodology is the system of intangible means of cognition and practical activities developed in this science and presented in the relevant academic discipline. It is noted that the subject of study in logic is not only the particular structure of thoughts and processes of thinking (forms of thought and processes of thinking), but also the types and characteristics of the original components of complex thoughts and processes of thinking, such as signs and terms. In the article on the example of logic the author's concept of the methodological component of the academic discipline is described. Attention is drawn to the importance of using in the process of cognition methodological standpoints created on the basis of world outlook, as well as to the need to take into account the types of knowledge -- empirical and theoretical knowledge, problem, hypothesis, theory. Some other methodological tools of logic are given, for example, principles, technology. More well-known methodological tools (methods, strategies, tactics, etc.) are not considered. It is assumed that the article will cause interest among the representatives of other philosophical, and not only philosophical, academic disciplines, and a discussion of the problem of ideological and methodological components of these disciplines will continue.
Key words: logic, subject area of logic, world outlook, methodology, sign, semantic meaning of a sign (implication, idea, emotional image), term, world outlook standpoint, methodological principle, technology