© Semiotics of Reasoning and Logic Research Group
WELCOME
to the SLR Research Group
The Research Group Semiotics of Logic and Reasoning was established by researchers from the USA and Europe working on topics related to the interdisciplinary study of all types of reasoning: • mathematical proving, • inference or argumentation instances, • diagrammatic reasoning, • computer-assisted proving, etc. and their applications in • physical systems, • deductive systems, • communications networks, • the hermeneutics of the history of mathematics, • mathematics education, and other areas. These issues are approached from a broader semiotic perspective involving • Peirce’s semiotics, • Goguen’s algebraic semiotics and • a category-theoretical perspective.Objectives
The Group aims to connect various research centers, scholars, and academic institutions around the globe involved in similar or related research to engage in collaborative projects in these areas at local, regional, and global levels. The Group participates in the activities of the Logica Universalis Association and other interdisciplinary societies.
Topics of Research
• Semiotics of the dialogical nature of proving discourse. • Proving and the development of knowledge systems. • The study of proving from the perspective of the Peircean theory of signs, especially his idea of operational iconicity. • The study of abductive inferences in diagrammatic reasoning. • The transfer of the German hermeneutic and Russian formalism methodologies to questions of understanding proof narratives. • The application of communication models to describe stylistic features of mathematical proof narratives. • Styles of reasoning in mathematics vs. styles in art. • Agency, Being, Events and Truth. • History of Logic and Reasoning.
© Lorem ipsum dolor sit Nulla in mollit
pariatur in, est ut dolor eu eiusmod lorem
WELCOME
to the SLR Research Group
The Research Group Semiotics of Logic and Reasoning was established by researchers from the USA and Europe working on topics related to the interdisciplinary study of all types of reasoning: • mathematical proving, • inference or argumentation instances, • diagrammatic reasoning, • computer-assisted proving, etc. and their applications in • physical systems, • deductive systems, • communications networks, • the hermeneutics of the history of mathematics, • mathematics education, and other areas. These issues are approached from a broader semiotic perspective involving • Peirce’s semiotics, • Goguen’s algebraic semiotics and • a category-theoretical perspective.Objectives
The Group aims to connect various research centers, scholars, and academic institutions around the globe involved in similar or related research to engage in collaborative projects in these areas at local, regional, and global levels. The Group participates in the activities of the Logica Universalis Association and other interdisciplinary societies.
“Dolore exercitation
aliqua non occaecat”
Topics of Research
• Semiotics of the dialogical nature of proving discourse. • Proving and the development of knowledge systems. • The study of proving from the perspective of the Peircean theory of signs, especially his idea of operational iconicity. • The study of abductive inferences in diagrammatic reasoning. • The transfer of the German hermeneutic and Russian formalism methodologies to questions of understanding proof narratives. • The application of communication models to describe stylistic features of mathematical proof narratives. • Styles of reasoning in mathematics vs. styles in art. • Agency, Being, Events and Truth. • History of Logic and Reasoning.
