THE LOGIC AND POSSIBILITIES OF AN ICONIC ANALYSIS OF REASONING

Abstract

Статья показывает, каким образом логические диаграммы способны вносить свой вклад в изучение природы рассуждений. Диаграммы многомерны, мультимодальны и жестко не связаны с вербальным языком. Они акцентируют внимание на структурных особенностях, а потому весьма продуктивны для изучения рассуждений. Такие схемы способны рассказать о рассуждениях то, что порой вызывает сложности у алгебраического подхода. Настоящая работа очерчивает основные исторические вехи в их развитии (от Дж. Вивеса до Ч. Пирса и современных исследований), а также акцентирует внимание на, пожалуй, самой важной составляющей подобных конструкций – их иконической природе. На протяжении многих столетий диаграммы использовались в логике как вспомогательный материал для обучения студентов логике, но относительно недавно возник интерес и к их устройству. В наши дни мы можем наблюдать как за развитием диаграмматических теорий, так и непосредственно за изучением внутреннего устройства логических схем, которые в семиотической классификации относятся к знакам-иконам, то есть к знакам, которые имеют определенное сходство со своим объектом. В отличие от знака-символа, икона репрезентирует информацию, делает ее наблюдаемой и извлекаемой: если символ коннотирует, то икона обозначает. Однако даже это развернутое определение требует немалых уточнений. Во втором и третьем разделах речь идет о разнообразии иконических знаков и об особенностях иконического анализа соответственно. Иконическая составляющая в разных диаграммах проявляет себя по-разному: схемы Л. Эйлера наделены семантической базой, у Дж. Венна они показывают процесс исключения ненужной информации, а подход Пирса демонстрирует процедуру трансформации посылок в заключение. Строго говоря, если в диаграммах Эйлера наблюдаемо заключение, то у Пирса мы видим последовательность переходов. Это объясняется различиями не только между типами икон (образ, диаграмма, метафора), но и между уровнями иконичности (оптимальная и операционная). На сегодняшний день в рамках семиотики исследователи предлагают делить логические языки на языки, ссылающиеся на тип знака, и языки, ссылающиеся на его явление. Эта дихотомия опять же проясняет природу диаграмм. Уточнения природы знака-иконы и видов иконичности дают надежду на использование диаграмм для разностороннего изучения рассуждений в недалеком будущем. В статье отстаивается позиция, что логические диаграммы способны на своем уровне предоставлять ответы на вопросы «Как протекает рассуждение?», «Какова природа логического следования?», «Как в рассуждениях появляются новые знания?» и так далее. The article contributes to the debates on logical diagrams and reasoning studies. Diagrams in logic are multidimensional, multimodal, and language free (reasoning does not need a certain language to be introduced). They emphasize structural peculiarities and, consequently, tell us about reasoning in a way that causes difficulties for the algebraic approach. The article lists historical landmarks in developing such schemes (from Juan Luis Vives to Charles S. Peirce, and other contemporary investigations) and pays attention to the essential aspect of diagrammatic constructions, namely, their iconic nature. For a long time, diagrams had a supportive function; they were used as a tool for “dull-witted students”, but later they became an object of research. Today both diagrammatic approaches are developed and the essence of diagrams is studied. From a semiotic point of view, diagrams are icons. It means they are signs that resemble their objects. In contrast to symbols, icons represent information; they make it observable. Briefly, if symbols connote, icons denote. However, this detailed definition has to be substantially clarified. That is why issues of the second and third sections introduce the variety of iconic signs and characteristics of an iconic analysis, respectively. Different diagrams have different specific iconic features: Leonhard Euler’s schemes possess meaning-carrying relationships, John Venn’s circles (or cells) demonstrate the elimination of “unnecessary information”, while Peirce’s approach introduces the procedure of transforming premises into conclusions. Strictly speaking, if the conclusion is observational in Euler’s diagrams, Peirce’s constructions shift this observational advantage to the process (transformation with the line of identity is observational). First of all, these differences can be explained with various types of icons (image, diagram, and metaphor), but also, which is even more important, with levels of iconicity (optimal and operational). In addition, contemporary scholars propose to distinguish two types of logical languages (“type-referential” and “occurrence-referential”). If we admit that different diagrams belong to different kinds of languages, we get another clarification of diagrammatic variety. The icon and iconicity specification provides possibilities for applying diagrams in investigations on the nature of reasoning in the near future. Indeed, these logical schemes can study reasoning from various perspectives and answer such questions as “How does reasoning flow?”, “What is the logical essence of reasoning validity?”, “How does reasoning provide new knowledge?”, etc.