Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process for mathematical proofs. This work presents how argumentation theories can be applied to describe specific informal features in the development of proof-events. The concept of proof-event was coined by Goguen who described mathematical proof as a public social event that takes place in space and time. This new meta-methodological concept (...) is designed to cover not only “traditional” formal proofs but all kinds of proofs and inference steps, including incomplete or purported proofs. Our approach attempts to make proof-events more comprehensive to express the complete trajectory of a mathematical proof-event until the ultimate validation of the proving outcome. Thus, we advance an extended version of proof-event calculus which is built on argumentation theories designed to capture the internal and external structure of collaborative mathematical practice and highlight the relationship between proof, human reasoning, and cognitive processes. In addition, another area in which argumentation can make a significant contribution is dealing with the defeasible knowledge of the Web which is a product of its open and ubiquitous nature. This approach seems to be sufficient for the presentation of Web-based proving processes as manifested in the case of the Mini-Polymath 4 project. (shrink)

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle’s ontological square, logical oppositions in Avicenna’s hypothetical logic, and the power of the square of (...) opposition to solve theological problems regarding predestination and theodicy. Other topics covered include: Hegel’s opposition to diagrams De Morgan’s unpublished octagon of opposition turnstile figures of opposition institutional model-theoretic treatment of oppositions Lacan’s four formulas of sexuation the theory of oppositional poly-simplexes The Exoteric Square of Opposition will appeal to pure logicians, historians of logic, semioticians, philosophers, theologians, mathematicians, and psychoanalysts. (shrink)

In this paper, we explore certain exemplifications of transgression in the history and philosophy of mathematics. We recognize transgressive acts in the transition from a “real” to an “imaginary” world. Further, we suggest the concept of proof-events that transgress traditional concepts of mathematical proof. The theory of proof-events provides us with means to identify transgressive acts in the development of a discovery proof-event. These concern the creative understanding of a purported mathematical proof by reconstructing the meaning conveyed by it, eventually (...) supplementing it, surpassing stylistic hindrances in the narrative formulated by a prover, exceeding the boundaries of the (local) logic of a prover, etc. Finally, we identify transgressive acts with discontinuous points of change in the development of proof-events and suggest formal measures for their recognition. (shrink)

The volume starts with the paper of Lynn Maurice Ferguson Arnold, former Premier of South Australia and former Minister of Education of Australia, concerning the Exposition Internationale des Arts et Techniques dans la Vie Moderne (International Exposition of Art and Technology in Modern Life) that was held from 25 May to 25 November 1937 in Paris, France. The organization of the world exhibition had placed the Nazi German and the Soviet pavilions directly across from each other. Many papers are devoted (...) to the interpretation of this opposition. Arnold’s paper considers the differences in the two totalitarian states’ architectural and design discourse styles. Although each of them communicated a totalitarian language of purposes, permissions, and boundaries, they essentially differed in the styles of discourse represented by the architecture and design of their respective pavilions. They were opposites of each other and the liberal ideals they contested. The internationalist viewpoint reflecting the multi-ethnic mix of the USSR is contrasted to the ein Volk homogeneity represented in the German pavilion. The Soviet pavilion opted for a utopian future to be arrived at by “benign” leadership, whereas the German pavilion anchored itself in the myth of Teutonic history with the nostalgic pride protected by the swastika-bearing eagle. Jean-Yves Béziau is best known as a logician and founder of Universal Logic. However, in this paper, he poses a new philosophical question: why philosophical discourse does not use images? The paper begins with a general analysis of different types of philosophical discourses. Then, he focuses on why images have been and are still rejected in philosophical discourse. He explains various ways to use images in a fruitful way to develop philosophical thinking and discourse and illustrates his view by providing several examples. He concludes with a promising programmatic declaration about founding a new journal entitled World Journal of Pictorial Philosophy to stimulate the usage of images for developing philosophical thinking. Although complaints about the obscurity of many philosophers’ discourse are widespread, Tatiana Denisova, ex-professor of the Surgut University and a research associate of the University of the Aegean undertakes a positive attitude to this problem. She explains that the reasons for the obscurity of philosophical texts, the subsequent complexity in communicating philosophers’ meanings and their eventual incomplete understanding is not a sign of their inferiority. On the contrary, it is a sign of the fruitfulness of philosophical discourse, which can generate new meanings. Thus, the darkness of philosophical discourse is like the life-giving chaos, and the obscurity that it inevitably contains can be the keeper of implicit meanings and even their generator. Katarzyna Gan-Krzywoszyńska and Piotr Leśniewski, authors of a monograph on Polish philosopher Kazimierz Ajdukiewicz (1890 – 1963), make a comparative analysis of his educational style with that of Paulo Reglus Neves Freire (1921 – 1997). The authors highlight that these scholars have distinctly different backgrounds. The former was an educator, philosopher and a leading advocate of critical pedagogy connected with the dialogical Latin-American tradition. The latter was a philosopher and logician, a notable representative of the Lwów–Warsaw school of logic with significant contributions to semantics, model theory and the philosophy of science. Despite their apparent difference, the authors identify some striking similarities regarding their attitudes towards education; notably, their approaches are essentially dialogical. Gilah Yelin Hirsch is a multidisciplinary artist who works as a painter, writer, curator, educator, and filmmaker. In her experiential paper, he explains how and why she uses four channels of communication in her creative expression: writing, painting, filmmaking, and teaching, as dialogic inquiry. She considers that these channels compose a continuum of discourse styles, each reaching a different facet of kaleidoscopic consciousness. She claims that her choice of medium is prompted by a need to communicate her insights profoundly. Thus, for instance, she created painted allegories to express narratives based on dreams and visions emerging from her subconscious. Art and healing is another Tibetan-rooted type of discourse practised by the author. Creating and observing a healing image produces a positive psychophysiological change in both the artist and the viewer. The discourse here is tripartite between creator, image, and viewer. Filmmaking is another type of discourse she practices between the filmmaker/artist as shaman or healer and the viewer as respondent or participant. These films are meant to be experienced frame by frame, physically and emotionally in both the body and mind. Jocelyn Ireson-Paine is a cartoonist and programmer. His paper offers an original attempt to use category theory in cartooning. Category theory is a branch of mathematics that provides concepts and methods to describe general abstract structures in terms of a labelled directed graph called category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms or transformations or mappings). The author explores different ways to define “style” in art using category theory and a relational view of art. Moreover, he examines how “translation” (transformation) between styles could be defined and reveals the difficulties of how it could be implemented in a computer using special software. Jens Lemanski is a philosopher who has revived research in Arthur Schopenhauer’s legacy by exploring his work on mathematical evidence, logic diagrams, and problems of semantics. In this paper, he advances a new approach to eristic as an art of protecting oneself from the one who deliberately violates norms of discourse ethics to win an argument. The author attributes the origins of this view to Schopenhauer, suggesting a new reading of his work. According to the author, eristic is a prohibitive technique that takes effect when the norms of discourse ethics are transgressed and violated. Thus, eristic is viewed as a discipline of Enlightenment philosophy and a correlate of discourse ethics. Roshdi Rashed is an authority on the history of Arabic mathematical sciences. Proceeding from Gilles-Gaston Granger’s definition of mathematical style, he studies the question of whether a mathematical work can be characterized by a single style or by a multitude of styles. This question is explored within the style of a single work, namely Menelaus’s Sphaerica, and through the study of the development of a single problem over time, namely the isoperimetric problem. He indicates Menelaus’s divergence from the Euclidean style of (plane and stereometric) geometry caused by the drop of the Parallel Postulate, which associated it with hyperbolic geometry. Hence, the author concludes that Menelaus’s Sphaerica incorporates the well-known Euclidean style with a variation of the non-Euclidean one. On the other hand, examining the isoperimetric problem reveals another interesting historical picture. A succession of different styles (cosmological, geometric, infinitesimalistic, style of the calculus of variations, of synthetic geometry) can be observed due to the transformation of the research object over time. Boris Shalyutin, a Russian social philosopher, and Ombudsman for Human Rights in the Kurgan Region, explores the origins of discourse in combination with the birth of society and law. He claims that legal discourse marks the historical emergence of discourse in general. Homo Juridicus generated Homo Sapiens, which have created new spheres of discourse, notably moral discourse and further philosophical, political, and scientific discourse. Petros Stefaneas, a logician, computer scientist and novelist, suggests an alternative to the traditional narratology approach for studying (interactive) social media discourse. He claims that style describes how the parts of a narrative are blended into a whole. The author relies upon Goguen’s and Harrel’s concept of style as a choice of blending principles and transfers to the study of the social media narratives elements from the methodology of studying Web-based collaborative search for mathematical proofs like those implemented within the Polymath project. The last paper belongs to Ghil‘ad Zuckermann, a linguist, language revivalist, and proponent of a model of the emergence of Israeli Hebrew, according to which Hebrew and Yiddish were the primary sources of Modern Hebrew. This paper explores the fascinating and multifaceted Yiddish language and its survival in Israeli. Yiddish is characterized by a unique style that embeds psycho-ostensive expressions throughout its discourse. The author highlights the cross-fertilization between Hebrew and Yiddish as it manifests itself in any aspect of the Israeli language. He claims that Yiddish survives beneath Israeli phonetics, phonology, discourse, syntax, semantics, lexis, and even morphology, although traditional and institutional linguists have been most reluctant to admit it. (shrink)