Crispin Wright is widely recognised as one of the most important and influential analytic philosophers of the twentieth and twenty-first centuries. This volume is a collective exploration of the major themes of his work in philosophy of language, philosophical logic, and philosophy of mathematics. It comprises specially written chapters by a group of internationally renowned thinkers, as well as four substantial responses from Wright. In these thematically organized replies, Wright summarizes his life's work and responds to the contributory (...) essays collected in this book. In bringing together such scholarship, the present volume testifies to both the enormous interest in Wright's thought and the continued relevance of Wright's seminal contributions in analytic philosophy for present-day debates. (shrink)

Number is a major object in mathematics. Mathematics is a discipline which studies the properties of a number. The object is expressible by mathematical language, which has been devised more rigorously than natural language. However, the language is not thoroughly free from natural language. Countability of natural number is also originated from natural language. It is necessary to understand how language leads a number into mathematics, its’ main playground.

The more traditional approaches to the history and philosophy of science and technology continue as well, and probably will continue as long as there are skillful practitioners such as Carl Hempel, Ernest Nagel, and th~ir students. Finally, there are still other approaches that address some of the technical problems arising when we try to provide an account of belief and of rational choice. - These include efforts to provide logical frameworks within which we can make sense of these notions. This (...) series will attempt to bring together work from all of these approaches to the history and philosophy of science and technology in the belief that each has something to add to our understanding. The volumes of this series have emerged either from lectures given by authors while they served as honorary visiting professors at the City College of New York or from conferences sponsored by that institution. The City College Program in the History and Philosophy of Science and Technology oversees and directs these lectures and conferences with the financial aid of the Association for Philosophy of Science, Psychotheraphy, and Ethics. MARTIN TAMNY RAPHAEL STERN PREFACE The papers in this collection stem largely from the conference 'Foun dations: Logic, Language, and Mathematics' held at the Graduate Center of the City University of New York on 14-15 November 1980. (shrink)

Recent scholarship has helped to demythologise the life and work of Georg Philipp Friedrich von Hardenberg who, as the poet “Novalis”, had come to instantiate the nineteenth-century’s stereotype of the romantic poet. Among Hardenberg’s interests that seem to sit uneasily with this literary persona were his interests in science and mathematics, and especially in the idea, traceable back to Leibniz, of a mathematically based computational approach to language. Hardenberg’s approach to language, and his attempts to bring (...) class='Hi'>mathematics to bear on poetry, is examined in relation to debates that developed late in the eighteenth century over the relation of language to thought—debates which share many features with contemporary ones in this area. (shrink)

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse (...) on logic. -/- Beginning with Schopenhauer’s philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer’s anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer’s philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. -/- Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer’s work as it relates to modern mathematical and logical study. (shrink)

For parents wanting their children to get a head start in reading, it can be a challenge to find something that will maintain their attention. Now, learning to read can become a fun and enter- taining thing to do with the help of an extraordinary cat. Join Cleo-cat-tra as she brings reading to life in the charming picture book Rhymes and Times with Cleo-cat-tra by Lucy T. Geringer and illustrated by Bernardita Cox Kollock. Rhymes and Times of Cleo-cat-tra is a (...) picture book about a special cat named Cleo-cat-tra. She is not an ordinary cat, as she cleverly rhymes about animals, people, and things she encounters inside and outside her house. The rhymes are silly which make learning a fun and creative pro- cess for kids and for parents to share. This delightful story makes use of colorful illustrations to heighten a child's imagination. Its simple text and brief sentences make reading easy for the early reader. It is also a great book for children who are learning English and can be enjoyed both at home and in school through lively interactive discussions between students and teachers. It is a book for all ages. (shrink)

The paper gives an overview of Arthur Schopenhauer's theory of rationality. For Schopenhauer, rationality is a human faculty based on language, which, in addition to language, is primarily concerned with knowledge or philosophy of science and practical action. For Schopenhauer, language is the umbrella term under which he subsumes logic and eristics. This paper will first introduce Schopenhauer's logic and clarify its connection to the philosophy of language. This is followed by eristic dialectics, which reflects on (...) how one can protect oneself from people who argue irrationally in a goal-oriented way. Schopenhauer's philosophy of mathematics belongs to the field of philosophy of science. Unlike many other authors of his time, Schopenhauer does not advocate a rationalist but a representationalist approach, which, however, includes a theory of rationality. Therefore, Schopenhauer's representationalist approach will finally be discussed, emphasizing its relationship to his theory of rationality. (shrink)

The economist Paul Samuelson acknowledged that he was a disciple of Edwin Bidwell Wilson (1879–1964), an American polymath who was a protégé of Josiah Willard Gibbs. Wilson’s influence on the development of sciences in America has been relatively neglected, as he mostly acted behind the scenes of academia at the organizational and pedagogical fronts. At the basis of his activism were original ideas about the foundations of mathematics and science. This essay reconstructs Wilson’s career and foundational discussions, which evolved (...) as he reacted to David Hilbert’s mathematics, Bertrand Russell’s logic, Henri Poincaré’s conventionalism, Karl Pearson’s statistics, Charles Sanders Peirce’s inference theory, and Lawrence Henderson’s work in social sciences. In brief, after having started his professional life as a mathematician at Yale University (1902–1907), Wilson marginalized himself from mathematics and joined other academic communities and fields, working in mathematical physics at MIT (1907–1922) and in statistics, social science, and economics at Harvard University (1922–retirement). He defined mathematics as a language, meaning by this that mathematics and science were reciprocally indispensable, with the former providing structure and the latter meaning. In an American exceptionalist spirit, Wilson also meant to suggest that homegrown mathematical and scientific traditions should prevail over European ones. (shrink)

To borrow a phrase from Galileo: What does it mean that the story of the creation is "written in the language of mathematics?" This book is an attempt to understand the natural world, its consistency, and the ontology of what we call laws of nature, with a special focus on their mathematical expression. It does this by arguing in favor of the Essentialist interpretation over that of the Humean and Anti-Humean accounts. It re-examines and critiques Descartes' notion of (...) laws of nature following from God's activity in the world as mover of extended bodies, as well as Hume's arguments against causality and induction. It then presents an Aristotelian-Thomistic account of laws of nature based on mathematical abstraction, necessity, and teleology, finally offering a definition for laws of nature within this framework. (shrink)

Since the methods employed during teacher-learner interchange are constrained by the internal structure of a discipline, a study of the interaction amongst verbal language, technical language and structure of disciplines is at the heart of the classic problem of transfer in teaching-learning situations. This paper utilizes the analytic method of philosophy to explore aspects of the role of language in mathematics education, and attempts to harmonize mathematical meanings exposed by verbal language and the precise meanings (...) expressed by the mathematics register (MR) formulated in verbal language. While focusing on the integration of language use and meaning construction in mathematics education, the paper explores the relationship between the conceptual understanding revealed by the mathematics register and the procedural knowledge that refers to the mathematical content through ordinary discourse. (shrink)

Professor Hilary Putnam has been one of the most influential and sharply original of recent American philosophers in a whole range of fields. His most important published work is collected here, together with several new and substantial studies, in two volumes. The first deals with the philosophy of mathematics and of science and the nature of philosophical and scientific enquiry; the second deals with the philosophy of language and mind. Volume one is now issued in a new edition, (...) including an essay on the philosophy of logic first published in 1971. (shrink)

This paper is an introduction to the volume Language, Logic and Mathematics in Schopenhauer. It shows the basic interpretations discussed in Schopenhauer’s research, explains the aims and tasks of Schopenhauer’s philosophy and shows the importance of language, logic and mathematics in Schopenhauer’s system.

An insight, Central to platonism, That the objects of pure mathematics exist "in some sense" is probably essential to any adequate account of mathematical truth, Mathematical language, And the objectivity of the mathematical enterprise. Yet a platonistic ontology makes how we can come to know anything about mathematical objects and how we use them a dark mystery. In this paper I propose a framework for reconciling a representation-Relative provability theory of mathematical truth with platonism's valid insights. Besides helping (...) to clarify the ontology of pure mathematics, I think this approach suggests a novel philosophical interpretation of some central results of modern mathematics, Including godel's incompleteness theorems and the independence theorems for the continuum hypothesis. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Matter and Mathematics: An Essentialist Account of the Laws of Nature by Andrew YOUNANDominic V. CassellaYOUNAN, Andrew. Matter and Mathematics: An Essentialist Account of the Laws of Nature. Washington, D.C.: The Catholic University of America Press, 2023. xii + 228 pp. Cloth, $75.00Andrew Younan’s work situates itself between two opposing philosophical accounts of the laws of nature. In one corner, there are the Humeans (or Nominalists); (...) in the other, the Anti-Humeans (or Platonists). The goal of the book is to find an explanation for the orderliness of the natural world that avoids falling into the difficulties of the two opposing philosophies. For example, the Humeans treat “events” as fundamental, and the laws of nature follow from these “events.” For the Humeans, reality is essentially random, with any order being something of our own contrivance. Whereas for the Anti-Humeans, the laws of nature are fundamental and are treated as causing events, turning the effect of necessity into the cause of material [End Page 166] characteristics. Looking to Aristotle and Thomas Aquinas, Younan proposes the recovery of a third option, the Essentialist position. This Essentialist position understands substances, that is, individual beings, as fundamental and all else (for example, events and laws of nature) follow from these individual beings. The thesis of the book, generally understood, is that Essentialism evades the critiques that the Humeans and Anti-Humeans put against one another while retaining what is right in each approach.The book is divided into two parts. The book’s first part deals with general objections and replies and is divided into three chapters. Chapters 1 and 2 address the two opposing accounts of nature mentioned, while chapter 3 argues for the benefits of recovering an Essentialist position. Chapter 1 examines the objection that Aristotelian natural philosophy is incompatible with modern science, an objection raised by Descartes. Chapter 2 addresses the objections of the Humeans, namely, that natural philosophy and, with it, causality and induction have been debunked. Chapter 3 looks at the fathers of quantum theory, specifically Heisenberg, and argues that a return to Aristotle’s understanding of nature would benefit the modern scientific project. The book’s second part is an argument for the Essentialist position and is divided into three chapters. Chapters 4 and 5 are the foundation for chapter 6. Chapter 4 is an abstractive account of mathematics, differing from Descartes and his conceptions, which draws on the texts of Aristotle and Aquinas’s Division and Methods. Chapter 5 situates necessity and its role in Aristotelian natural philosophy. Chapter 6 is the author’s attempt at defining what it is to be a law of nature.Younan argues that adopting an essentialist understanding of nature in a system where all knowledge begins in the senses has three significant “payoffs.” The first is that it avoids governance language, that is, it avoids making laws themselves causes of necessity; the second is that it avoids the assertion of a priori knowledge; the third is that it understands individual things as the fundamental primitives in nature, restoring the substance to its proper place as the thing that “stands under” accidental being.The book is concluded with an appendix that explores and rearticulates Thomas Aquinas’s fifth way under the consideration of everything the author had argued for in the book’s main text. Taking as established by the rest of the book that necessity and teleology go hand in hand, Younan argues for a creator God who establishes a universe freely but within certain parameters that follow upon being itself. Younan concludes, with Thomas Aquinas, that laws of nature are “ordinances of reason” that must come from a rational mind. To be as consistent as they are, the laws of nature must be promulgated by God, and they are discoverable within the nature of matter itself.Younan’s book often engages its interlocutors on the big-picture scale, frequently giving generalizations and not going into details to avoid getting bogged down in the weeds. The author is very aware of what he is doing. [End Page 167] It is appropriate since engaging the multiheaded hydra of the schools of thought that Younan... (shrink)

Language and Philosophical Problems investigates problems about mind, meaning and mathematics rooted in preconceptions of language. It deals in particular with problems which are connected with our tendency to be misled by certain prevailing views and preconceptions about language. Philosophical claims made by theorists of meaning are scrutinized and shown to be connected with common views about the nature of certain mathematical notions and methods. Drawing in particular on Wittgenstein's ideas, Sren Stenlund demonstrates a strategy for (...) tracing out and resolving conceptual and philosophical problems. By a critical examination of examples from different areas of philosophy, he shows that many problems arise through the transgression of the limits of the use of technical concepts and formal methods. Many prima facie different kinds of problems are shown to have common roots, and should thus be dealt and resolved together. Such an approach is usually prevented by the influence of traditional philosophical terminology and classification. The results of this investigation make it clear that the received ways of subdividing the subject matter of philosophy often conceal the roots of the problem. (shrink)

This volume presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991. The chapters presented in this volume continue the mathematical development of situation theory, including the introduction of a graphical notation; and the applications of situation theory discussed are wide-ranging, including topics in natural language semantics and philosophical logic, and exploring the use of information theory in the social sciences. The research presented in this volume (...) reflects a growing international and interdisciplinary activity of importance for many fields concerned with information. (shrink)

In this, his magnum opus, distinguished linguist Zellig Harris presents a formal theory of language structure, in which syntax is characterized as an orderly system of departures from random combinations of sounds, words, and indeed of all elements of language.

In this first of three papers, a novel cognitive and psycho-linguistic non metric or non quantitative methodology developed for the analysis and validation of unconscious cognition and meaning in ostensibly literal verbal narratives is presented. Unconscious referents are reconceptualized as sub-literal referents. An integrally systemic, structural, and internally consistent set of operations is delineated and instantiated. The method is related to aspects of two models. The first is logico-mathematic structure; the second is linguistic syntax. After initially framing the problem that (...) the method addresses, along with some theoretical implications, historical precursors are briefly outlined. The method presents novel cognitive and linguistic operations. Though the method raises a number of issues of theory, research, and methodology, and makes a contribution to these areas, it stands independently, qua method. (shrink)

This paper is in two parts. The first presents an analysis of the epistemology underlying the practice of classical Indian mathematical astronomy, as presented in three works of Nīlakaṇṭha Somayāji (1444–1545 CE). It is argued that the underlying concepts put great value on careful observation and skill in development of algorithms and use of computation. This is reflected in the technical terminology used to describe scientific method. The keywords in this enterprise include parīkṣā, anumāna, gaṇita, yukti, nyāya, siddhānta, tarka and (...) anveṣaṇa. The concepts that underlie these terms are analysed and compared with such ideas as theory, model, computation, positivism, empiricism etc. In a short second part, it is proposed that the primacy awarded to number and computation in classical Indian science led to an artificial language that did include equations but emphasized displays that facilitated calculation, as in the Bakshali manuscript (800 CE?). It is further argued that echoes of these concepts can be recognized in current science, where computation is once again playing a greater role triggered by spectacular developments in computer technology. (shrink)

In this article we review the discussion over the thesis that language serves as an integrator of contents coming from different cognitive modules. After presenting the theoretical considerations, we examine two strands of empirical research that tested the hypothesis — spatial cognition and mathematical cognition. The idea shared by both of them is that each is composed of two separate modules processing information of a specific kind. For spatial thinking these are geometric information about the location of the object (...) and the information about the object’s properties such as color or size. For mathematical thinking, they are the absolute representation of small numbers and the approximate representation of numerosities. Language is said to integrate the two kinds of information within each of these domains, which the reviewed data demonstrates. In the final part of the paper, we offer some comments on the theoretical side of the discussion. (shrink)

Shows that when Qyuine's criterion of ontological commitment is modified to allow for the legitimacy of substitutional quantification, two consequences follow: (i) fundamental questions of ontology cease to be settled by mere appeal to logical form and truth, and (ii) a powerful method for reducing ontological commitments becomes available.

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.1 (2003) 1-12 [Access article in PDF] Art and Mathematics in Education Richard Hickman and Peter Huckstep We begin by asking a simple question: To what extent can art education be related to mathematics education? One reason for asking this is that there is, on the one hand, a significant body of claims that assert that mathematics is an art, and, (...) on the other, work in art that has a mathematical basis. Observations of these kinds are not trivial. They have significant implications for the teaching of these areas of the curriculum in at least two ways. First, there is the methodological issue of the extent to which we should teach mathematics and art separately, and second, the teleological question of why they appear in the curriculum at all. So the relationship between the nature of mathematics and art, perceived or real, bears down on questions of the individuation and the justification of these disciplines, or, in other words, upon pedagogy and purpose. Although in principle both the pedagogy and the purpose of any discipline are distinct, there are important connections between them, as we shall draw out.As far as mathematics goes, it has been stressed that the purposes of even rudimentary aspects of mathematics such as counting do need to be made explicit to pupils. 1 What have been seen as errors in understanding are internally linked with pupils' ideas of the purposes of counting. Anna Sierpinska discusses a similar situation within the broader aspect of what she calls "theory" in higher mathematics. 2 More generally, John Passmore, in his analysis of pupils' understanding includes the case where a pupil sees no need to understand since he or she cannot understand the point of learning the subject. 3 If the purposes of art and mathematics are strikingly similar then there is reason to suppose that certain pedagogical approaches that [End Page 1] follow from this will improve understanding of both mathematics and art, and therefore understanding of reasons for engaging in math-based and art-based activities.In schools we see what appears to be some evidence of connections between art and mathematics in cross-curricular work, such as that described in Jacqueline Cossentino and David Schaffer. 4 Apart from providing much-needed motivation, an important value of this approach toward mathematics is that it can illuminate pupils' understanding of some of its purpose by, at the very least, allowing them to recognize instances of mathematics at work, often in unsuspecting contexts. In particular, by facilitating some transference of knowledge pupils can appreciate the so-called "power" of mathematics in its widespread application to the world of artefacts produced by themselves and others.Can we go further than displaying connections between these disciplines? Can we treat mathematics itself as art? In particular, can we suppose that pupils can make mathematics just as they can make artefacts? Some writers seem to imply this by invoking the notion of creativity as a common property between the two disciplines. 5 Leaving aside the ironic sense of creativity in, for example, the case of "creative accountancy" pupils must indeed "make" sense of mathematics and they must originate mathematical assertions of their own that have not been directly taught. In both respects mathematics is similar to the learning of a language. Further than this, we value pupils' inventiveness in their approaches to areas of mathematics, calculations for example.The linking of mathematics and art via creativity has its most persuasive force in the change of attitude toward axiomatic foundations. 6 The story is familiar: for centuries Euclidean geometry was (wrongly) supposed to offer truths of the actual space in which we lived, since its axioms were thought to be confirmed by our intuitions of space. However, when it was found that consistent and useful axiomatic systems could be constructed by making certain alterations to these axioms, it became clear that mathematics was not simply discovered. It involved a significant measure of creativity. Yet one thing is clear: the sense that children make of mathematics, the original utterances they make... (shrink)

Tarski, Carnap and Quine spent the academic year 1940?1941 together at Harvard. In their autobiographies, both Carnap and Quine highlight the importance of the conversations that took place among them during the year. These conversations centred around semantical issues related to the analytic/synthetic distinction and on the project of a finitist/nominalist construction of mathematics and science. Carnap's Nachlaß in Pittsburgh contains a set of detailed notes, amounting to more than 80 typescripted pages, taken by Carnap while these discussions were (...) taking place. In my article, I present a survey of these notes with special emphasis on Tarski's rejection of the analytic/synthetic distinction, the passage from typed languages to first-order languages, Tarski's finitism/nominalism, and the construction of a finitist language for mathematics and science. (shrink)

The lack of conceptual analysis within cognitive science results in multiple models of the same phenomena. However, these models incorporate assumptions that contradict basic structural features of the domain they are describing. This is particularly true about the domain of mathematical cognition. In this paper we argue that foundational theoretic aspects of psychological models for language and arithmetic should be clarified before postulating such models. We propose a means to clarify these foundational concepts by analyzing the distinctions between metric (...) and linguistic compositionality, which we use to assess current models of mathematical cognition. Our proposal is consistent with the scientific methodology that determines that careful conceptual analysis should precede theoretical descriptions of data. 2012 APA, all rights reserved). (shrink)

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical (Boolean) foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated (...) in this paper have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims at providing an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic has fewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic ${\rm PPC}_{3}$ , with two kinds of falsity and two negations. It introduces the notion of Σ-space for a sentence A (or / A /, the set of situations in which A is true) as the basis of logical model theory, and the notion of / ${\bf P}^{A}$ / (the Σ-space of the presuppositions of A), functioning as a 'private' subuniverse for / A /. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. ${\rm PPC}_{3}$ and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of ${\rm PPC}_{3}$ as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: $1_{a}$ for the conjoined presuppositions of a, ã for the complement of a within $1_{a}$ , and â for the complement of $1_{a}$ within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. This volume is part of Springer’s book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader in the realm of ideas, (...) offering concepts and definitions that enrich the field and lead to new research directions. Parikh has contributed to a variety of areas in logic, computer science and game theory. In mathematical logic his contributions have been in recursive function theory, proof theory and non-standard analysis; in computer science, in the areas of modal, temporal and dynamic logics of programs and semantics of programs, as well as logics of knowledge; in artificial intelligence in the area of belief revision; and in game theory in the formal analysis of social procedures, with a strong undercurrent of philosophy running through all his work.This is not a collection of articles limited to one theme, or even directly connected to specific works by Parikh, but instead all papers are inspired and influenced by Parikh in some way, adding structures to and enriching “Parikh-land”. The book presents a brochure-like overview of Parikh-land before providing an “introductory video” on the sights and sounds that you experience when reading the book. (shrink)

In this paper I argue that category theory ought to be seen as providing the language for mathematical discourse. Against foundational approaches, I argue that there is no need to reduce either the content or structure of mathematical concepts and theories to the constituents of either the universe of sets or the category of categories. I assign category theory the role of organizing what we say about the content and structure of both mathematical concepts and theories. Insofar, then, as (...) the structuralist sees mathematics as talking about structures and their morphology, I contend that category theory furnishes a framework for mathematical structuralism. (shrink)

With the rise of the internet and the proliferation of technology to gather and organize data, our era has been defined as "the information age." With the prominence of information as a research concept, there has arisen an increasing appreciation of the intertwined nature of fields such as logic, linguistics, and computer science that answer the questions about information and the ways it can be processed. The many research traditions do not agree about the exact nature of information. By bringing (...) together ideas from diverse perspectives, this book presents the emerging consensus about what a conclusive theory of information should be. The book provides an introduction to the topic, work on the underlying ideas, and technical research that pins down the richer notions of information from a mathematical point of view. The book contains contributions to a general theory of information, while also tackling specific problems from artificial intelligence, formal semantics, cognitive psychology, and the philosophy of mind. There is focus on the dynamics of information flow, and also a consideration of static approaches to information content; both quantitative and qualitative approaches are represented. (shrink)

The ancient dualism of a sensible and an intelligible world important in Neoplatonic and medieval philosophy, down to Descartes and Kant, would seem to be supplanted today by a scientific view of mind-in-nature. Here, we revive the old dualism in a modified form, and describe mind as a symbolic language, founded in linguistic recursive computation according to the Church-Turing thesis, constituting a world L that serves the human organism as a map of the Universe U. This methodological distinction of (...) L vs. U helps to understand how and why structures of phenomena come to be opposed to their nature in human thought, a central topic in Heideggerian philosophy. U is uncountable according to Georg Cantor’s set theory but Language L, based on the recursive function system, is countable, and anchored in a Gray Area within U of observable phenomena, typically symbols, prelinguistic structures, genetic-historical records of their origins. Symbols, the phenomena most familiar to mathematicians, are capable of being addressed in L-processing. The Gray Area is the human Environment E, where we can live comfortably, that we manipulate to create our niche within hostile U, with L offering overall competence of the species to survive. The human being is seen in the light of his or her linguistic recursively computational mind. Nature U, by contrast, is the unfathomable abyss of being, infinite labyrinth of darkness, impenetrable and hostile to man. The U-man, biological organism, is a stranger in L-man, the mind-controlled rational person, as expounded by Saint Paul. Noumena can now be seen to reside in L, and are not fully supported by phenomena. Kant’s noumenal cause is the mental L-image of only partly phenomenal causation. Mathematics occurs naturally in pre-linguistic phenomena, including natural laws, which give rise to pure mathematical structures in the world of L. Mathematical foundation within philosophy is reversed to where natural mathematics in the Gray Area of pre-linguistic phenomena can be seen to be a prerequisite for intellectual discourse. Lesser, nonverbal versions of L based on images are shared with animals. (shrink)

Notice that this paper has not claimed that all natural languages are CFL's. What it has shown is that every published argument purporting to demonstrate the non-context-freeness of some natural language is invalid, either formally or empirically or both.18 Whether non-context-free characteristics can be found in the stringset of some natural language remains an open question, just as it was a quarter century ago.Whether the question is ultimately answered in the negative or the affirmative, there will be interesting (...) further questions to ask. If it turns out that natural languages are indeed always CFL's, it will be reasonable to ask whether this helps to explain why speakers apparently recognize so quickly whether a presented utterance corresponds to a grammatical sentence or not, and to associate structural and semantic details with it. It might also be reasonable to speculate about the explanation for the universally context-free character of the languages used by humans, and to wonder whether evolutionary biological factors are implicated in some way (Sampson (1979) could be read in this light). And naturally, it will be reasonable to pursue the program put forward by Gazdar (1981, in press) to see to what extent CFL-inducing grammatical devices can be exploited to yield insightful descriptions of natural languages that capture generalizations in revealing ways.If a human language that is not a CFL is proved to exist, on the other hand, a different question will be raised: give the non-context-free character of human languages in general, why has this property been so hard to demonstrate that it has taken over twenty-five years to bring it to light since the issue was first explicitly posed? If human languages do not have to be CFL's, why do so many (most?) of them come so close to having the property of context-freeness? And, since the CFL's certainly constitute a very broad class of mathematically natural and computationally tractable languages, what property of human beings or their communicative or cognitive needs is it that has caused some linguistic communities to reach beyond the boundaries of this class in the course of evolving a linguistic system?Either way, we shall be interested to see our initial question resolved, and further questions raised. One cautionary word should be said, however, about the implications (or lack of them) that the answer will have for grammatical studies. Chomsky has repeatedly stated that he does not see weak generative capacity as a theme of central importance in the theory of grammar, and we agree. It is very far from being the case that the recent resurgence of interest in exploring the potential of CF-PSG or equivalent systems will, or should, be halted dead in its tracks by the discovery (if it is ever forthcoming) that some natural language is not a CFL. In the area of parsing, for instance, it seems possible that natural languages are not only parsed on the basis of constituent structure such as a CF-PSG would assign, but are parsed as if they were finite state languages (see Langendoen (1975) and Church (1980) for discussion along these lines). That is, precisely those construction-types that figure in the various proofs that English is not an FSL appear to cause massive difficulty in the human processing system; the sentences crucial to the proofs are for the most part unprocessable unless they are extremely short (yet the arguments for English not being and FSL only go through if length is not an issue). This means that in practice properties of finite state grammars are still of great potential importance to linguistic theory despite the fact that they do not provide the framework for defining the total class of grammatical sentences. The same would almost certannly be true of CF-PSG's if they were shown to be inadequate in a similar sense. It is highly unlikely that the advances made so far in far in phrase structure description could be nullified by a discovery about weak generative capacity. Moreover, there are known to be numerous ways in which the power of CF-PSG's can be marginally enhanced to permit, for example, xx languages to be generated without allowing anything like the full class of recursively enumerable or even context-sensitive languages (see Hopcroft and Ullmann (1979), Chapter 14) for an introduction to this topic, noting especially Figure 14.7 on p. 393. The obvious thing to do if natural languages were ever shown not to be CFL's in the general case would be to start exploring such minimal enhancements of expressive power to determine exactly what natural languages call for in this regard and how it could be effectively but parsimoniously provided in a way that closely modelled human linguistic capacities.In the meantime, it seems reasonable to assume that the natural languages are a proper subset of the infinite-cardinality CFL's until such time as they are validly shown not to be. (shrink)

Heinz Von Forester characterizes the objects “known” by an autopoietic system as eigen-solutions, that is, as discrete, separable, stable and composable states of the interaction of the system with its environment. Previous articles have presented the FBST, Full Bayesian Significance Test, as a mathematical formalism specifically designed to access the support for sharp statistical hypotheses, and have shown that these hypotheses correspond, from a constructivist perspective, to systemic eigen-solutions in the practice of science. In this article several issues related to (...) the role played by language in the emergence of eigen-solutions are analyzed. The last sections also explore possible connections with the semiotic theory of Charles Sanders Peirce. (shrink)

A wide-ranging history of the intellectual developments that produced the modern idea of the algorithm. Bringing together the histories of mathematics, computer science, and linguistic thought, Language and the Rise of the Algorithm reveals how recent developments in artificial intelligence are reopening an issue that troubled mathematicians long before the computer age. How do you draw the line between computational rules and the complexities of making systems comprehensible to people? Here Jeffrey M. Binder offers a compelling tour of (...) four visions of universal computation that addressed this issue in very different ways: G. W. Leibniz's calculus ratiocinator; a universal algebra scheme Nicolas de Condorcet designed during the French Revolution; George Boole's nineteenth-century logic system; and the early programming language ALGOL, whose name is short for algorithmic language. These episodes show that symbolic computation has repeatedly become entangled in debates about the nature of communication. To what extent can meaning be controlled by individuals, like the values of a and b in algebra, and to what extent is meaning inevitably social? By attending to this long-neglected question, we come to see that the modern idea of the algorithm is implicated in a long history of attempts to maintain a disciplinary boundary separating technical knowledge from the languages people speak day to day. Machine learning, in its increasing dependence on words, now places this boundary in jeopardy, making its stakes all the more urgent to understand. The idea of the algorithm is a levee holding back the social complexity of language, and it is about to break. This book is about the flood that inspired its construction. (shrink)

The aim of this paper is to point out the equivalence between three notions respectively issued from recursion theory, computational complexity and finite model theory. One the one hand, the rudimentary languages are known to be characterized by the linear hierarchy. On the other hand, this complexity class can be proved to correspond to monadic second‐order logic with addition. Our viewpoint sheds some new light on the close connection between these domains: We bring together the two extremal notions by providing (...) a direct logical characterization of rudimentary languages and a representation result of second‐order logic into these languages. We use natural arithmetical tools, and our proofs contain no ingredient from computational complexity. (shrink)