Our manuscript addresses the foundational question of cognitive science: how do we know? Specifically, examination of the mathematics of acquiring mathematical knowledge revealed that knowing-within-mathematics is reflective of knowing-in-general. Based on the correspondence between ordinary cognition (involving physical stimuli, neural sensations, mental concepts, and conscious percepts) and mathematical knowing (involving objective particulars, measured properties, abstract theories, and concrete models), we put forward the functorial semantics of mathematical knowing as a formalization of cognition. Our investigation of the similarity between mathematics and (...) cognition led us to argue against the compartmentalization of scientific knowledge and ordinary cognition, and make a case for the understanding of the basic science of knowing in terms of functorial semantics. Recognizing functorial semantics as an elementary form of cognition can help advance cognitive science the way calculus helped in the advancement of physics. (shrink)

The popular view according to which category theory provides a support for mathematical structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics. While structural mathematics studies ‘invariant form’ (Awodey) categorical mathematics studies covariant and contravariant transformations which, generally, have no invariants. In this paper I develop a non-structuralist interpretation of categorical mathematics.

In science as in mathematics, it is popular to know little and resent much about category theory. Less well known is how common it is to know little and like much about set theory. The set theory of almost all scientists, and even the average mathematician, is fundamentally different from the formal set theory that is contrasted against category theory. The latter two are often opposed by saying one emphasizes Substance, the other Form. However, in all known systems of mathematics (...) throughout history, mathematicians have moved fluidly between ideas conceived of as thing-like, property-like, and process-like. On the other hand one way to advance science is to better distinguish between thing, property, and process. All this constitutes a distracting background for those interested in, or distressed by, the possible application of category theory to science, and to mathematics as well. (shrink)

In science as in mathematics, it is popular to know little and resent much about category theory. Less well known is how common it is to know little and like much about set theory. The set theory of almost all scientists, and even the average mathematician, is fundamentally different from the formal set theory that is contrasted against category theory. The latter two are often opposed by saying one emphasizes Substance, the other Form. However, in all known systems of mathematics (...) throughout history, mathematicians have moved fluidly between ideas conceived of as thing-like, property-like, and process-like. On the other hand one way to advance science is to better distinguish between thing, property, and process. All this constitutes a distracting background for those interested in, or distressed by, the possible application of category theory to science, and to mathematics as well. (shrink)

This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. (...) Next, the book explores category theory and details how it has revolutionized the notion of the axiomatic method. It considers the question of identity/equality in mathematics as well as examines the received theories of mathematical structuralism. In the end, Rodin presents a hypothetical New Axiomatic Method, which establishes closer relationships between mathematics and physics. Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of higher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical Hilbert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in categorical logic opens new possibilities for using this method in physics and other natural sciences. This volume offers readers a coherent look at the past, present and anticipated future of the Axiomatic Method. (shrink)

Math literacy is miniscule compared to the near universal language literacy of mother tongues. Our search for the root cause of this undesirable human condition led us to: Grammar (or the abstract essence) of a language. Language learning begins with grammar, unless the language happens to be mathematics, which is unique in not even considering including the grammar (abstract general/theory) of mathematics in the mathematical pedagogy. Here we make a case for introducing the abstract essence of mathematics--Conceptual Mathematics--in high school (...) math curriculum. Recognizing that the singular purpose of education is to nurture the universal yearning for understanding, we show how a nurturing pedagogy naturally resolves the "learning crisis", with the solution manifesting as human development. Furthermore, the nurturing pedagogy that we advocate invariably results in the culture of research excellence. (shrink)

What is Gandhi’s Satya? How does truth entail peace? Satya or truth, for Gandhi, is experiential. The experiential truth of Gandhi does not exclude epistemological, metaphysical, or moral facets of truth, but is an unequivocal acknowledgement of the subjective basis of the pursuit of objectivity. In admitting my truth, your truth, our truth, their truth, etc., Gandhi brought into clear focus the reality of I and we—the subjects (or viewpoints) of subjective experiences (views). The totality of these subjective viewpoints, along (...) with their mutual relationships, constitutes an objective frame of reference for reconciling or putting together seemingly irreconcilable perceptions into a unitary whole of mutual understanding and an ever more refined comprehension of reality, thereby engendering peace. Considering the generality of the basic tenet—viewpoint dependence of views—of Gandhi’s satyagraha and in view of the kinship between positive conception of peace and unity, I put forward ‘satyagraha for science’ as a method to address numerous foundational problems in various branches of science centered on unity such as the binding problem in neuroscience. (shrink)

Formal Axiomatic method as exemplified in Hilbert’s Grundlagen der Geometrie is based on a structuralist vision of mathematics and science according to which theories and objects of these theories are to be construed “up to isomorphism”. This structuralist approach is tightly linked with the idea of making Set theory into foundations of mathematics. Category theory suggests a generalisation of Formal Axiomatic method, which amounts to construing objects and theories “up to general morphism” rather than up to isomorphism. It is shown (...) that this category-theoretic method of theorybuilding better fits mathematical and scientific practice. Moreover so since the requirement of being determined up to isomorphism (i.e. categoricity in the usual model-theoretic sense) turns to be unrealistic in many important cases. The category-theoretic approach advocated in this paper suggests an essential revision of the structuralist philosophy of mathematics and science. It is argued that a category should be viewed as a far-reaching generalisation of the notion of structure rather than a particular kind of structure. Finally, I compare formalisation and categorification as two alternative epistemic strategies. (shrink)