This chapter contains sections titled: Abstract Introduction Mathematical Relativism: Does Everything Go In Mathematics? Conceptual, Structural and Logical Relativity in Mathematics Mathematical Relativism and Mathematical Objectivity Mathematical Relativism and the Ontology of Mathematics: Platonism Mathematical Relativism and the Ontology of Mathematics: Nominalism Conclusion: The Significance of Mathematical Relativism References.

The projection postulate is the source of a long standing controversy in the interpretation of the axiomatic foundations of quantum mechanics. In a sense which is made precise in chapter II the projection postulate is a mathematical theorem easily derivable within the mathematical framework of the theory. This theorem receives a clear and straightforward interpretation if Luders' rule is given only statistical significance. Under the assumption that an interpretation of quantum mechanics has to provide an account of the process of (...) measurement as a change on the state of individual systems, however, additional interpretive assumptions are needed in order to arrive at a satisfactory interpretation of Luders' rule. ;I show in chapter III that there are serious problems with the usual interpretation by making explicit in a quantum logical framework the concept of individual state and minimal disturbance implicit in this view. In chapter IV I show that it is possible to formulate a natural interpretation of Luders' rule as a description of 'dispersion free' state transformations within a semantic framework that takes states of individual systems to be represented by Boolean ultrafilters , as opposed to the usual approach that takes individual states to be represented by lattice ultrafilters. This lay the ground for the clarification of several interpretive issues in the foundations of quantum mechanics. It is shown that Luders' rule can be justified as a description of individual state transformations without the need of imposing additional assumptions. The derivation of Luders' rule within the semantic framework of B-states shows an important connection between interpretation that take individual state to be 'relative' to experimental situations and the statistical structure of the theory. (shrink)

In the framework of set theory we cannot distinguish between natural and non-natural predicates. To avoid this shortcoming one can use mathematical structures as conceptual spaces such that natural predicates are characterized as structurally nice subsets. In this paper topological and related structures are used for this purpose. We shall discuss several examples taken from conceptual spaces of quantum mechanics (orthoframes), and the geometric logic of refutative and affirmable assertions. In particular we deal with the problem of structurally distinguishing between (...) natural colour predicates and Goodmanian predicates like grue and bleen. Moreover the problem of characterizing natural predicates is reformulated in such a way that its connection with the classical problem of geometric conventionalism becomes manifest. This can be used to shed some new light on Goodman's remarks on the relative entrenchment of predicates as a criterion of projectibility. (shrink)

In this paper, I use the cases of intuitionistic arithmetic with Church’s thesis, intuitionistic analysis, and smooth infinitesimal analysis to argue for a sort of pluralism or relativism about logic. The thesis is that logic is relative to a structure. There are classical structures, intuitionistic structures, and (possibly) paraconsistent structures. Each such structure is a legitimate branch of mathematics, and there does not seem to be an interesting logic that is common to all of them. One main theme of (...) my ante rem structuralism is that any coherent axiomatization describes a structure, or a class of structures. If one weakens the logic, then more axiomatizations become coherent. (shrink)

This guide accompanies the following article: ‘Logic and Divine Simplicity’. Philosophy Compass 6/4 : pp. 282–294, doi: Author’s IntroductionFirst‐order formalizations of classical theistic doctrines are increasingly used in contemporary work in philosophy of religion and philosophical theology, as a means for clarifying the conceptual structure of the doctrines and their role in inferential procedures. But there are a variety of different ways in which such doctrines have been formalized, each representing the doctrines as having different conceptual structures. Moreover, the adequacy (...) of such formalizations as such has, at least with respect to some classes of doctrines, been disputed. One reason for disputing their adequacy derives from the conceptual impact of classical theism’s doctrine of divine simplicity.Author RecommendsFrege, Gottlob ‘Begriffsschrift: a formula language of pure thought,’ trans. Michael Beany, in The Frege Reader, ed. Beany. Oxford: Blackwell, pp. 47–78. The preface contains interesting remarks about the purpose of formalization as understood by the chief pioneer of modern formal logic. These remarks are also connected by Frege to his views on the relation between thought and language more generally.Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press.The preface and first section of the long introduction contain remarks on the purpose and advantages of formalization. Chapter 1 of the introduction contains what is probably one of the first formalizations ever of a theistic doctrine, and is given in terms of a definite description analysis.Suppes, Patrick ‘The Desirability of Formalization in Science,’The Journal of Philosophy, Vol. 65, No. 20, pp. 651–64.Clear and concise discussion of some of the advantages of formalization in philosophical inquiry, written by a prominent contemporary American philosopher‐logician.Nieznański, Edward ‘The Beginnings of Formalization in Theology,’ in Advances in Scientific Philosophy: Essays in Honour of Paul Weingartner, eds. Gerhard Schurz and Gregory J.W. Dorn. Amsterdam and Atlanta, GA: Ropodi, pp. 551–9.A valuable paper that narrates, among other things, the programme of formalizing theistic doctrines that emerged in Poland in the 1920s under the influence of the Lvov‐Warsaw School. Various examples of formalizations are also given.Quine, W.V.O. Mathematical Logic. Cambridge, MA: Harvard University Press.In Section 27 of this classic study, Quine offers a formalization of theistic doctrines which seeks to avoid the difficulties of earlier formalizations by means of a subtle extensional singleton set analysis. The proposal has not won many adherents, but is worthy of careful study nonetheless.Woleński, Jan ‘Theism, Fideism, Atheism, Agnosticism,’ in Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel, eds. Lars‐Göran Johansson, Jan Österberg, and Rysiek Sliwinski. Uppsala: Uppsala Philosophical Studies, pp. 387–400.A concise but lucid survey of some attempts to formalize theistic doctrines and some problems besetting these attempts. Woleński also proposes his own method of formalization, which could be described as a simplified version of Quine’s method in Mathematical Logic.Bocheński, Joseph The Logic of Religion. New York: New York University Press.The first book‐length treatment of the relation between modern logic and theism. It covers much ground, and remains very readable.Alston, William P. ‘Religious Language and Verificationism,’ in The Rationality of Theism, eds. Paul Moser and Paul Copan. London: Routledge, pp. 17–34.Identifies some problems with attempts at articulating theistic doctrines by means of subject‐predicate language. Highly relevant to formalizations of theistic doctrines, even though this topic is not dealt with explicitly.Kraal, Anders ‘Logic and Divine Simplicity,’Philosophy Compass.Offers a survey of three main methods of formalizing theistic doctrines, and of some variants of these methods. Argues that certain formalizations of theistic doctrines are bound to be rejected as conceptually inadequate by all who understand the doctrines at hand within the framework provided by the traditional doctrine of divine simplicity.Sample Syllabus Week I: The Idea of Formalization and the Project of Formalizing Theistic Doctrines Reading:Frege, Gottlob ‘Begriffsschrift: a formula language of pure thought,’ trans. Michael Beany, in The Frege Reader, ed. Beany. Oxford: Blackwell, pp. 47–78. Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press. Suppes, Patrick ‘The Desirability of Formalization in Science,’The Journal of Philosophy, Vol. 65, No. 20, pp. 651–64.Nieznański, Edward ‘The Beginnings of Formalization in Theology,’ in Advances in Scientific Philosophy: Essays in Honour of Paul Weingartner, eds. Gerhard Schurz and Gregory J.W. Dorn. Amsterdam and Atlanta, GA: Ropodi, pp. 551–9. Week II: Formalizing Theistic Doctrines: Three Alternative Methods Reading:Woleński, Jan ‘Theism, Fideism, Atheism, Agnosticism,’ in Logic, Ethics and All That Jazz: Essays in Honour of Jordan Howard Sobel, eds. Lars‐Göran Johansson, Jan Österberg, and Rysiek Sliwinski. Uppsala: Uppsala Philosophical Studies, pp. 387–400.Russell, Bertrand, and Whitehead, A.N. Principia Mathematica, Vol. I. Cambridge: Cambridge University Press. Quine, W.V.O. Mathematical Logic. Cambridge, MA: Harvard University Press. Week III: Arguments for and Against Some Formalizations of Theistic Doctrines Reading:Bocheński, Joseph The Logic of Religion. New York: New York University Press. Kraal, Anders ‘Logic and Divine Simplicity,’Philosophy Compass, Vol. 6, No. 4, pp. 282–94.Focus Questions1 What do Frege, Russell and Whitehead, and Suppes understand the purpose or purposes of logical formalization to be, and why do they think formalization can achieve these purposes?2 Woleński sketches some simple ways of formalizing theistic doctrines such as ‘God exists’ or ‘God is almighty’ in terms of 1‐place predicates which he subsequently abandons in favour of other methods. What reasons lead him to abandon these more simple methods of formalization?3 What are the advantages of the definite description formalization of theistic doctrines offered by Russell and Whitehead?4 Quine offers a subtle formalization of the theistic doctrine ‘God exists’ in terms of singleton sets. What problems are Quine’s formalization intended to accommodate, and how does it seek to accommodate them?5 Which relative merits or demerits are there in Bocheński’s and Kraal’s respective arguments for and against the adequacy of certain formalizations of theistic doctrines? (shrink)

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures. The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, proof, and grounding; and, often, a special emphasis is placed on considerations relating to mathematical practice. A distinguishing feature of the book is (...) the multicultural nature of the community that has produced it. Philosophers, logicians, and mathematicians have all contributed high-quality articles which will prove valuable to researchers and students alike. (shrink)

This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...) -/- In order to analyze and compare the conception of conceptual change provided by these different models, I rely on several historical reconstructions of episodes of scientific conceptual change. The historical episodes of scientific change that figure in this work include the emergence of the morphological concept of fish in biological taxonomies, the development of scientific conceptions of temperature, the Church-Turing thesis and related axiomatizations of effective calculability, the history of the concept of polyhedron in 17th and 18th century mathematics, Hamilton’s invention of the quaternions, the history of the pre-abstract group concepts in 18th and 19th century mathematics, the expansion of Newtonian mechanics to viscous fluids forces phenomena, and the chemical revolution. I will also present five different formal and informal improvements of four specific models of conceptual change. I will first present two different improvements of Carnapian explication, a formal and an informal one. My informal improvement of Carnapian explication will consist of a more fine-grained version of the procedure that adds an intermediate, third step to the two steps of Carnapian explication. I will show how this novel three-step version of explication is more suitable than its traditional two-step relative to handle complex cases of explications. My second, formal improvement of Carnapian explication will be a full explication of the concept of explication itself within the theory of conceptual spaces. By virtue of this formal improvement, the whole procedure of explication together with its application procedures and its pragmatic desiderata will be reconceptualized as a precise procedure involving topological and geometrical constraints inside the theory of conceptual spaces. My third improved model of conceptual change will consist of a formal explication of Darwinian models of conceptual change that will make vast use of Godfrey-Smith’s population-based Darwinism for targeting explicitly mathematical conceptual change. My fourth improvement will be dedicated instead to Wilson’s indeterminate model of conceptual change. I will show how Wilson’s very informal framework can be explicated within a modified version of the structuralist model-theoretic reconstructions of scientific theories. Finally, the fifth improved model of conceptual change will be a belief-revision-like logical framework that reconstructs Thagard’s model of conceptual revolution as specific revision and contraction operations that work on conceptual structures. -/- At the end of this work, a general conception of conceptual change in science and philosophy emerges, thanks to the combined action of the three layers of my methodology. This conception takes conceptual change to be a multi-faceted phenomenon centered around the dynamics of groups of concepts. According to this conception, concepts are best reconstructed as plastic and inter-subjective entities equipped with a non-trivial internal structure and subject to a certain degree of localized holism. Furthermore, conceptual dynamics can be judged from a weakly normative perspective, bound to be dependent on shared values and goals. Conceptual change is then best understood, according to this conception, as a ubiquitous phenomenon underlying all of our intellectual activities, from science to ordinary linguistic practices. As such, conceptual change does not pose any particular problem to value-laden notions of scientific progress, objectivity, and realism. At the same time, this conception prompts all our concept-driven intellectual activities, including philosophical and metaphilosophical reflections, to take into serious consideration the phenomenon of conceptual change. An important consequence of this conception, and of the analysis that generated it, is in fact that an adequate understanding of the dynamics of philosophical concepts is a prerequisite for analytic philosophy to develop a realistic and non-idealized depiction of itself and its activities. (shrink)

This volume develops a fundamentally different categorical framework for conceptualizing time and reality. The actual taking place of reality is conceived as a “constellatory self-unfolding” characterized by strong self-referentiality and occurring in the primordial form of time, the not yet sequentially structured “time-space of the present.” Concomitantly, both the sequentially ordered aspect of time and the factual aspect of reality appear as emergent phenomena that come into being only after reality has actually taken place. In this new framework, time functions (...) as an ontophainetic [H1] platform, i.e., as the stage on which reality can first occur. Events are merely the “tracks” that the actual taking place of reality leaves behind on the co-emergent “canvas’’ of local spacetime. -/- The view of time proposed here is particularly relevant to the recent debate over the “ER=EPR” conjecture targeting the relation between quantum physics and general relativity theory. The novelty of this radically different framework is that it allows quantum reduction and singularities to be addressed as inverse transitions into and out of the factual layer of reality: In quantum physical state reduction, reality “gains” the chrono-ontological format of facticity, and the sequential aspect of time becomes applicable. In singularities, by contrast, the opposite happens: Reality loses its local spacetime formation and reverts back to its primordial, pre-local shape – making the use of causality relations, Boolean logic and the dichotomization of subject and object obsolete in the process. -/- For our understanding of the relation between quantum and relativistic physics, this new view opens up fundamentally new perspectives: Both are legitimate views of time and reality; they simply address very different chrono-ontological portraits, and thus should not lead us to erroneously prefer one view over the other. -/- The task of the book is to provide a formal framework in which this radically different view of time and reality can be suitably addressed. The mathematical approach is based on the logical and topological features of the Borromean Rings, and draws upon concepts and methods from algebraic and geometric topology – especially the theory of sheaves and links, group theory, logic and information theory in relation to the standard constructions employed in quantum mechanics and general relativity, shedding new light on the problems of their compatibility. The intended audience includes physicists, mathematicians and philosophers with an interest in the conceptual and mathematical foundations of modern physics. (shrink)

Approximately 1,500 years ago John Philoponus proposed a simple argument for the existence of God. The argument runs thus: Whatever comes to be has a cause of its coming to be. The universe came to be. Therefore, the universe has a cause of its coming to be. ;Due to the influence of William Lane Craig, this argument and the family of arguments that support it have come to be known as the "kalam" cosmological argument . Craig's account of the KCA (...) incorporates features that serve to distinguish his version as a significant advance. First, conceptual advances in mathematics now permit a clearer presentation of the argument than was previously possible. Second, contemporary Big Bang cosmology confirms the central contention of the KCA, namely, that the past existence of the universe is finite. Reflection upon the implications of using Cantorian transfinite mathematics to model physical processes allowed Craig to develop a distinctively philosophical version of the KCA which is relatively independent of changes in contemporary scientific cosmology. This dissertation is intended as a critical investigation and development of this philosophical strand of the KCA. The literature relating to the KCA has grown however to a significant bulk, and there is now danger of duplication and misassessment due to the plurality of interpretations that the argument has received. Part I of the dissertation addresses this need by laying bare the underlying logical structure of the KCA and by providing a comprehensive "state of the question" . Part II of the dissertation, comprising chapters 3 through 6, focuses upon an important species of objection made to the KCA. This species of objection relies upon thought-experiments designed to show that an actual infinity is possible. I reply: this objection is effectively answered by introducing a metaphysics of substances. In the course of presenting a systematic response I develop an interpretation of the notion of substance that is useful for analytic philosophy, present a general account of the logical requirements of KCA thought-experiments, and outline a theory of logical modality suited to the metaphysical requirements of the KCA. (shrink)

The concept of an operator is used in a variety of practical and theoretical areas. Operators, as both conceptual and physical entities, are found throughout the world as subsystems in nature, the human mind, and the manmade world. Operators, and what they operate, i.e., their substrates, targets, or operands, have a wide variety of forms, functions, and properties. Operators have explicit philosophical significance. On the one hand, they represent important ontological issues of reality. On the other hand, epistemological operators form (...) the basic mechanism of cognition. At the same time, there is no unified theory of the nature and functions of operators. In this work, we elaborate a detailed analysis of operators, which range from the most abstract formal structures and symbols in mathematics and logic to real entities, human and machine, and are responsible for effecting changes at both the individual and collective human levels. Our goal is to find what is common in physical objects called operators and abstract mathematical structures, with the name operator providing foundations for building a unified but flexible theory of operators. The paper concludes with some reflections on functionalism and other philosophical aspects of the ‘operation’ of operators. (shrink)

Many books explain what is known about the universe. This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and reason have revealed to us, this work studies what science, mathematics, and reason tell us cannot be revealed. In The Outer Limits of Reason, Noson Yanofsky considers what cannot be predicted, described, or known, and what will never be understood. He discusses the limitations of computers, physics, logic, and our own thought processes. (...) Yanofsky describes simple tasks that would take computers trillions of centuries to complete and other problems that computers can never solve; perfectly formed English sentences that make no sense; different levels of infinity; the bizarre world of the quantum; the relevance of relativity theory; the causes of chaos theory; math problems that cannot be solved by normal means; and statements that are true but cannot be proven. He explains the limitations of our intuitions about the world -- our ideas about space, time, and motion, and the complex relationship between the knower and the known. Moving from the concrete to the abstract, from problems of everyday language to straightforward philosophical questions to the formalities of physics and mathematics, Yanofsky demonstrates a myriad of unsolvable problems and paradoxes. Exploring the various limitations of our knowledge, he shows that many of these limitations have a similar pattern and that by investigating these patterns, we can better understand the structure and limitations of reason itself. Yanofsky even attempts to look beyond the borders of reason to see what, if anything, is out there. (shrink)

The text considers the impossibility of abstracting away from the sense of formal con­structions in logical and mathematical researches. The validity of the application of the “formal methodology” is allowed only after some system of conventional notations and agreements has been accepted. The context determined by such agreements is called formal. A correlation of constructions and results obtained by formal methods within sev­eral formal contexts is impossible without a consideration of the various semantic aspects of the correlated formal constructions. (...) The author calls such correlations intercontextual. The paper examines two examples of such intercontextual comparisons to demonstrate the necessity of taking into account different semantic components of the compared for­mal constructions. In the context of these conclusions, the author raises the question of the structure and origin of some senses of the “symbols” used in formal constructions and of the “sequences of symbols” constructed from them. The author identifies three main sources of the semantic load carried by formal constructions. Firstly, these are the various aspects of semiotic usage: first of all, the general cultural and general profes­sional semiotic skills of the “interpreter”. Secondly, it is the sense given to formal con­structions by verbal comments, descriptions of the construction process and the associ­ated knowledge of the “interpreter”. Thirdly, these are the senses set by the formal con­structions themselves: at the stage of defining a formal language and at the stage of con­structing a formal deductive or semantic system. The author also considers the fallacy of the assumption of the existence of some universal “global intuition” associated with the very possibility of formal methodology. (shrink)

In this book, David Stump traces alternative conceptions of the a priori in the philosophy of science and defends a unique position in the current debates over conceptual change and the constitutive elements in science. Stump emphasizes the unique epistemological status of the constitutive elements of scientific theories, constitutive elements being the necessary preconditions that must be assumed in order to conduct a particular scientific inquiry. These constitutive elements, such as logic, mathematics, and even some fundamental laws of nature, (...) were once taken to be a priori knowledge but can change, thus leading to a dynamic or relative a priori. Stump critically examines developments in thinking about constitutive elements in science as a priori knowledge, from Kant’s fixed and absolute a priori to Quine’s holistic empiricism. By examining the relationship between conceptual change and the epistemological status of constitutive elements in science, Stump puts forward an argument that scientific revolutions can be explained and relativism can be avoided without resorting to universals or absolutes. (shrink)

We discuss conceptual change and progress within mathematics, in particular how tools, structural concepts and representations are transferred between fields that appear to be unconnected or remote from each other. The theoretical background is provided by the frame concept, which is used in linguistics, cognitive science and artificial intelligence to model how explicitly given information is combined with expectations deriving from background knowledge. In mathematical proofs, we distinguish two kinds of frames, namely structural frames and ontological frames. (...) The interaction between both kinds of frames can drive mathematical interpretation. We first discuss two examples where structural frames (formulaic notation) drive ontological development (the discovery or exploration of mathematical objects). The development of Boole’s Boolean algebra may at first appear as a metaphorical treatment of the (then) new area of logic. In the analysis, we discuss how different (aspects of) certain algebraic frames change in the transfer, how arising difficulties are solved and overall argue that Boole uses the numerical algebra frame as a research template for the discovery of a system for calculations in logic. Following Ifrah, we analyse the discovery of zero as an extension to the number ontology as driven by the development of notation. Both structural and ontological frames are extended and simplified as notation progresses. Finally, we discuss two examples from infinite combinatorics, viz. topological graph theory, and one foundational issue. In both examples, the two simultaneous frames about one object are maintained independently. They motivate different research questions, but may also fruitfully interact: shifting between multiple synchronously maintained perspectives acts as a motor of innovation. The analysis shows how a frame-based approach allows to model how different perspectives drive mathematical innovation because they highlight different aspects, questions and heuristics. (shrink)

Quantum Structures and the Nature of Reality is a collection of papers written for an interdisciplinary audience about the quantum structure research within the International Quantum Structures Association. The advent of quantum mechanics has changed our scientific worldview in a fundamental way. Many popular and semi-popular books have been published about the paradoxical aspects of quantum mechanics. Usually, however, these reflections find their origin in the standard views on quantum mechanics, most of all the wave-particle duality picture. Contrary to (...) class='Hi'>relativity theory, where the meaning of its revolutionary ideas was linked from the start with deep structural changes in the geometrical nature of our world, the deep structural changes about the nature of our reality that are indicated by quantum mechanics cannot be traced within the standard formulation. The study of the structure of quantum theory, its logical content, its axiomatic foundation, has been motivated primarily by the search for their structural changes. Due to the high mathematical sophistication of this quantum structure research, no books have been published which try to explain the recent results for an interdisciplinary audience. This book tries to fill this gap by collecting contributions from some of the main researchers in the field. They reveal the steps that have been taken towards a deeper structural understanding of quantum theory. (shrink)

This article investigates the connection and dependence between the definiteness of the totalities involved in mathematical structures and the determinateness of statements about that structure. From a logical perspective, we investigate whether logical principles expressing the definiteness of totalities license the use of classical logic. From a philosophical perspective, this article provides a reconstruction of Solomon Feferman’s claim that the definiteness of the natural number conception implies the determinateness of arithmetical statements and therefore justifies the adoption of classical (...) logic for arithmetical theories. (shrink)

The process of ‘logical differentiation’ was introduced by Peirce in 1870. Directly analogous to mathematical differentiation, it uses logical terms instead of mathematical variables. Here, this mysterious process receives new interpretations which serve to clarify Peirce’s use of logical terms. I introduce the logical terms, the operation of multiplication, the logical analogy to the binomial theorem, infinitesimal relatives, the concepts of numerical coefficients and the number associated with each term. I also analyse the algebraic development (...) of ‘logical differentiation’ and consider in depth one application of the process. (shrink)

While many different mechanisms contribute to the generation of spatial order in biological development, the formation of morphogenetic fields which in turn direct cell responses giving rise to pattern and form are of major importance and essential for embryogenesis and regeneration. Most likely the fields represent concentration patterns of substances produced by molecular kinetics. Short range autocatalytic activation in conjunction with longer range “lateral” inhibition or depletion effects is capable of generating such patterns (Gierer and Meinhardt, 1972). Non-linear reactions are (...) required, and mathematical criteria were derived to design molecular models capable of pattern generation. The classical embryological feature of proportion regulation can be incorporated into the models. The conditions are mathematically necessary for the simplest two-factor case, and are likely to be a fair approximation in multi-component systems in which activation and inhibition are systems parameters subsuming the action of several agents. Gradients, symmetric and periodic patterns, in one or two dimensions, stable or pulsing in time, can be generated on this basis. Our basic concept of autocatalysis in conjunction with lateral inhibition accounts for self-regulatory biological features, including the reproducible formation of structures from near-uniform initial conditions as required by the logic of the generation cycle. Real tissue form, for instance that of budding Hydra, may often be traced back to local curvature arising within an initially relatively flat cell sheet, the position of evagination being determined by morphogenetic fields. Shell theory developed for architecture may also be applied to such biological processes. (shrink)

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures. The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, proof, and grounding; and, often, a special emphasis is placed on considerations relating to mathematical practice. A distinguishing feature of the book is (...) the multicultural nature of the community that has produced it. Philosophers, logicians, and mathematicians have all contributed high-quality articles which will prove valuable to researchers and students alike. (shrink)

Some concepts that are now part and parcel of mathematics used to be, at least until the beginning of the twentieth century, a central preoccupation of mathematicians and philosophers. The concept of continuity, or the continuous, is one of them. Nowadays, many philosophers of mathematics take it for granted that mathematicians of the last quarter of the nineteenth century found an adequate conceptual analysis of the continuous in terms of limits and that serious philosophical thinking is no longer (...) required, except perhaps when the question of the continuum is transferred to the arena of set theory where it takes the form of the infamous continuum hypothesis. As Philip Ehrlich has recently shown, this conviction goes back to the early writings of Russell who, in 1903 and then again in later writings, forcefully and eloquently pushed the view that mathematicians had given the final answer to immemorial conundrums arising from the continuous and infinitesimals . This proclamation of victory came with what was announced as the necessary defeat of the notion of the infinitesimal, despite the fact that mathematicians like Thomae, Du Bois-Reymond, Stolz, Bettazi, Veronese, Levi-Civita, and Hahn were investigating mathematical structures containing infinitesimals in a mathematically rigorous and logically consistent manner. In this respect Russell was merely walking in the footsteps of Cantor, and many of Russell's contemporaries were only too keen to keep infinitesimals out of Cantor's paradise. However, although Cantor certainly wanted to send the notion of infinitesimal to Hell, the notion kept a low profile in the mathematical purgatory, making its way in the study of non-Archimedean ordered algebraic systems. Of course, nowadays everyone has heard of Robinson's attempt at resurrecting infinitesimals in analysis in the form of non-standard analysis, but Robinson's work, despite the fact that it had, in …. (shrink)

Peirce’s architectonics, far from rigid, is bended by many plastic transformations, deriving from the cenopythagorean categories, the pragmaticist (modal) maxim, the logic of abduction, the synechistic hypotheses and the triadic classification of sciences, among many other tools capable of molding knowledge. Plasticity, in turn, points to interlacements between mathematics and art, and shapes some associated conceptual forces in the boundary of the disciplines: variation, modulation and invariance; transformability, continuity and discreteness; creative emergence. In this article we focus on this (...) third aspect, through bounded, well defined case studies in the Logic Notebook. The first section describes the manuscript and its interest for a study of creativity, leading to a short speculation on “creative reason” and “plastic imagination” in Peirce. The second section studies five precise cases of creative emergence in the Logic Notebook: differential relatives, existential graphs, sequence diagrams, triadic logic, translatability. Some major surprises occur in those detailed studies. (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)

This book examines the birth of the scientific understanding of motion. It investigates which logical tools and methodological principles had to be in place to give a consistent account of motion, and which mathematical notions were introduced to gain control over conceptual problems of motion. It shows how the idea of motion raised two fundamental problems in the 5th and 4th century BCE: bringing together being and non-being, and bringing together time and space. The first problem leads to the (...) exclusion of motion from the realm of rational investigation in Parmenides, the second to Zeno's paradoxes of motion. Methodological and logical developments reacting to these puzzles are shown to be present implicitly in the atomists, and explicitly in Plato who also employs mathematical structures to make motion intelligible. With Aristotle we finally see the first outline of the fundamental framework with which we conceptualise motion today. (shrink)

We show that the fundamental legal structure of a well-written financial contract follows a state-transition logic that can be formalized mathematically as a finite-state machine (specifically, a deterministic finite automaton or DFA). The automaton defines the states that a financial relationship can be in, such as “default,” “delinquency,” “performing,” etc., and it defines an “alphabet” of events that can trigger state transitions, such as “payment arrives,” “due date passes,” etc. The core of a contract describes the rules by which different (...) sequences of events trigger particular sequences of state transitions in the relationship between the counterparties. By conceptualizing and representing the legal structure of a contract in this way, we expose it to a range of powerful tools and results from the theory of computation. These allow, for example, automated reasoning to determine whether a contract is internally coherent and whether it is complete relative to a particular event alphabet. We illustrate the process by representing a simple loan agreement as an automaton. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

A rapidly growing body of scholarship shows that we can gain new insights into theories and policies by understanding and increasing their systemic structure. This paper will present an overview of this expanding field and discuss how concepts of structure are being applied in a variety of contexts to support collaboration, decision making, learning, prediction, and results. Next, it will delve into the underlying structures of logic that may be found within those theories and policies. Here, we will go beyond (...) Toulmin’s logics of claim and proof that have not proven useful for advancing the social sciences and focus on five structures of “causal logic.” The results suggest a useful and more comprehensive approach to developing deeper understanding of our conceptual systems such as theory and policy. (shrink)

A precise notion of ‘mathematical structure’ other than that given by model theory may prove fruitful in the philosophy of mathematics. It is shown how the language and methods of category theory provide such a notion, having developed out of a structural approach in modern mathematical practice. As an example, it is then shown how the categorical notion of a topos provides a characterization of ‘logical structure’, and an alternative to the Pregean approach to logic which is (...) continuous with the modern structural approach in mathematics. (shrink)

This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions and inferences, to theories and axioms. However, this fresh work offers a key innovation in its ‘pyramidal’ graph system for the logical formalization of all these items. The author has developed this new methodology on the basis of original research, traditional logical instruments such as Porphyrian trees, and modern concepts of classification, in which pyramids (...) are the central organizing concept. The pyramidal schema enables both the content of concepts and the relations between the concept positions in the pyramid to be read off from the graph. Logical connectors are analyzed in terms of the direction in which they connect within the pyramid. Additionally, the author shows that logical connectors are of fundamentally different types: only one sort generates propositions with truth values, while the other yields conceptual expressions or complex concepts. On this basis, strong arguments are developed against adopting the non-discriminating connector definitions implicit in Wittgensteinian truth-value tables. Special consideration is given to mathematical connectors so as to illuminate the formation of concepts in the natural sciences. To show what the pyramidal method can contribute to science, a pyramid of the number concepts prevalent in mathematics is constructed. The book also counters the logical dogma of ‘false’ contradictory propositions and sheds new light on the logical characteristics of probable propositions, as well as on syllogistic and other inferences. (shrink)

Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing (...) considerations of perturbations in modal space to bear on the debate, we will suggest that a promising option for representing current set-theoretic thought is given by formulating set theory using quasi-weak second-order logic. These observations indicate that the usual division of structures into \particular (e.g. the natural number structure) and general (e.g. the group structure) is perhaps too coarse grained; we should also make a distinction between intentionally and unintentionally general structures. (shrink)

Reviewed Works:B. I. Zil'ber, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Totally Categorical Theories: Structural Properties and the Non-Finite Axiomatizability.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. II.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. III.B. I. Zil'ber, E. Mendelson, Totally Categorical Structures and Combinatorial Geometries.B. I. Zil'ber, The Structure of Models of Uncountably Categorical Theories.

This piece, included in the drift special issue of continent., was created as one step in a thread of inquiry. While each of the contributions to drift stand on their own, the project was an attempt to follow a line of theoretical inquiry as it passed through time and the postal service from October 2012 until May 2013. This issue hosts two threads: between space & place and between intention & attention. The editors recommend that to experience the drifiting thought (...) that attention be paid to the contributions as they entered into conversation one after another. This particular piece is from the BETWEEN SPACE & PLACE thread: April Vannini, Those Between the Common * Laura Dean & Jesse McClelland, Ballard: A Portrait of Placemaking * Amara Hark Weber, Crossroad * Isaac Linder & Berit Soli-Holt, The Call of the Wild: Terror Modulations * Ashley D. Hairston, Momma taught us to keep a clean house * Sean Smith, The Garage * * * * Instead of beginning with radical doubt, we start from naiveté. —Graham Harman, The Quadruple Object Deep in the forest a call was sounding, and as often as he heard this call, mysteriously thrilling and luring, he felt compelled to turn his back upon the fire and the beaten earth around it, and to plunge into the forest, and on and on, he knew not where or why; nor did he wonder where or why, the call sounding imperiously, deep in the forest. —Jack London, The Call of the Wild The figure of the feral remains a perpetual enigma, but the parameters remain relatively consistent. A person, usually a child, enters civilization after having been raised by wolves or kept in some kind of cruel captivity. The outsider perspective on domestication ensuing in an edge of a culture's self-recognition of its clumsier attributes, what has been taken for granted becomes apparent, is brought to the foreground with the stranger and made questionable. Amusement follows naïve questions or observations such as Kaspar Hauser in the Herzog film, The Enigma of Kaspar Hauser, when Kaspar notes that while in his room he is engulfed by it, but when he looks at the tower he can turn away and it disappears. Ergo, the room is larger than the tower. How entertaining. The aberrant one destabilizes the comforting cultural normative. Places become seen as mere impressions out of space, a patterning, a rut that not everyone lives in like us. This is one figure of the feral. The naiveté that begs all the questions. As a figure for a certain philosophical disposition, the rapidity of one’s saccade scans the environment, intuits it’s space, not from an initial thaumazein or a Critchlean sense of disappointment, but from a child-like naiveté bent on survival. To serve the naïve is merely one form of critique, and it is not nearly used enough in lieu of the critique that provides answers. How dull. It is not necessary to be an outsider to entrench a critique with naiveté. After having forced to suffer in the most parched and rocky terror, itself for so long rooted upwards of fifty feet into the ground upon which it grows, even a grapevine can spontaneously produce a white grape on a red vine. The curious feral can arise from within, and like pinot grigio, it adds variety without admonishing its roots. There is also the feral dog. Not raised by wolves, but humans. Founded in place the figure of this feral denies this place. The trajectory of this feral roves from the cultivated to uncultivated, or in speaking of plants from controlled to volunteer, finding the necessary nutrients and survival patterns on its own. Finding other places, reaching out into space testing its fertility. And when introduced into a foreign environment, it withers or flourishes. We would like to attempt a thesis at this juncture and to accept neither feral figure in its entirety, but to argue for the intimate conjunction between a cultivated place and its resonance with the space it procures for its nest and kin. I'm not a biter, I'm a writer for myself and others. —Jay-Z, What More Can I Say? I am writing for myself and strangers. This is the only way that I can do it. Everybody is a real one to me, everybody is like some one else too to me. No one of them that I know can want to know it and so I write for myself and strangers. —Gertrude Stein, The Making of Americans There is no subjective disposition outlining an unambiguous individual of the para-academy. There is no para-academic. We all have day jobs. 'Para-academic' seeped through the cracks as an adjective in the call to frame publishing dedicated to the critical rigor expected by academic publishing, but to deny the limitations of guarded legitimation through capital means. Open-access holds hands with this parasitic descriptor. Para-academic publishing's refusal to adhere to the valuation of locked access of a site, the site “of a desperate initiation to the empty form of value,” 1 seeks to recognize not merely an inclusive interpretation of significance, but the significance of thinking practice. The practice inside the paywalls of academic 'education' is held in a deathgrip by its infatuation with value and information, both empty without the apprehension of human experience, the barbaric yawp. “I can't breathe in here.” It is not that a para-academic practice leads one to the childish wonder of Kaspar Hauser who wonders about the spatiality of his room. It is the academic legitimation that distorts that one can hold the understanding of both in a constellation of place and space. Led to believe there is only a place for things, we are led to disillusionment. It is also not that a para-academic practice relinquishes itself to the invasive growth outside of careful cultivation, an abandonment of pleasantries for the toothy growl of a predator. It is the academy's fear that thought does not require capital to signify value. Some of the most nutritious meals can be foraged. Defining a para-academic practice is not outlining a place of accreditation of the practice, it is the recognition that any place is subject to modulation by the space it inhabits as well as creates. The para-academic practice keeps an eye of the creation of spaces, follows those paths that eat themselves in the name of academia. This is not unlike Red Peter's report to the academy, only successful if we report in idle idiosyncratic banalities that we have once again become victorious in our acculturation and nullification within the confines of accredited mush and our trajectory of wild rigor is defeated in our desire for recognition as recognizable in this place. Weeds are integral to the functioning of a large ecosystem. The manicured garden is entirely reliant on its keeper. The pansy can also go wild once neglected, the daisy definitely does.... a universe comes into being when a space is severed or taken apart. The skin of a living organism cuts off an outside from an inside. So does the circumference of a circle in a plane. By tracing the way we represent such a severance, we can begin to reconstruct, with an accuracy and coverage that appear almost uncanny, the basic forms underlying linguistic, mathematical, physical, and biological science, and can begin to see how the familiar laws of our own experience follow from the original act of severance. The act is itself already remembered, even if unconsciously, as our first attempt to distinguish different things in a world where, in the first place, the boundaries can be drawn anywhere we please. At this stage the universe cannot be distinguished from how we act upon it, and the world may seem like shifting sand beneath our feet. —George Spencer-Brown, Laws of Form Two edges are created: an obedient, conformist, plagiarizing edge, and another edge, mobile, blank, which is never anything but the site of its effect: the place where the death of language is glimpsed. These two edges, the compromise they bring about, are necessary. —Roland Barthes, The Pleasure of the Text Between these two epigraphs, interminable questions of where and questions of happening, gesture, and interface. To stay buoyed between a site of visible happening and haptic perspicacity. Bounded by one or the other leads to a desiccation of potential knowledge. The tumbleweed tumbles until met with mud, a bare structure moving but not movement. A tumbleweed tumbleweeds, propagates only at a place. It becomes significant again, continues. Significance, the site where meaning is made known through kinesthetic apprehension. 2 The feral founds a gestural horizon; an outsider’s scrawl-becoming-law; Deleuze teaching Meno’s dog geometry. Place as marked, outlined, recognized, territorialized. The academies marked by their peculiar disciplines, outlined by their rigid boundaries, recognized as factories of value. This far from ensures complete purchase on the space of thought, but it has made an undeniably elaborate means of making work significant. The academy is a muddy spot, it is fertile, but its gates are high and its dogs are barking. The coordinates of concept and experience. Already claimed by a stabilizing suspension, the terms enter specificity of ‘this is this’. Another correlation: activity and the individual. The individual, a placeholder in the crosshairs of juridical identification. Activity, what expands and surrounds this location, but utterly indebted to the node of “one who”. What's happening in this oscillation of nature and nurture is practice. Practice, as Stengers tells us “is not the activity of an individual or the product of that activity. It is the ingredient without which neither that activity nor this product would exist as such.” 3 Moving outward from our own honing, we're curious about the ingredient creating the place for holding conceptual and experiential engagements in each hand. And we'd like to argue that this place is not a limiting specification, but a practice undulating daily, by the minute. And we call this practice the para-academic practice. I repeat: there was no attraction for me in imitating human beings; I imitated them because I needed a way out, and for no other reason. —Franz Kafka, A Report to an Academy In order to exist, man must rebel, but rebellion must respect the limit it discovers in itself—a limit where minds meet and, in meeting, begin to exist. — Albert Camus, The Rebel Anyone is a para-academic or practicer of such means. The academic can, and we argue should, be active para-academically, to escape the bounds, recognizing no site specific place as a place to rest on or the place to grab the Kafka's top and wonder at its disobedience not to continue. Yet, the para-academic practice must maintain the desire for rigor in scholarship. Indeed desiring past itself to claim a more naïve rigor, one that does not take its form for granted. Without a para-academic practice, the scholar spends half the time merely working on behalf of a hierarchy, to maintain it, and the other measly amounts of time are in the name of thinking, but only in name. Not to mention the amount of debt it takes to attend the halls of higher education. Not to mention the snoring tenures. Not to mention the barely scraping by adjuncts. Not to mention the materials that shake the very force of producible theory. Not to mention when swimming in texts becomes slogging through data. Academia is a barbaric food chain and it is our claim that there is, as always, an imperative for thought to move, with Heidegger, beyond the logics of calculation and planning, to a time of its own. The path, into the panic of the dark wood of this space can be followed by any; any who let the silence and the rigor enter the play. Where the little theater is larger when inhabited ; where the data of the tutor asymptotically refutes; and where, as much as one wouldn’t expect it here, ballet may turn out to be the most feral of forms… NOTES Jean Baudrillard, “Value's Last Tango” Simulacra and Simulation trans. Sheila Faria Glaser,. “What is significance? It is meaning, insofar as it is sensually produced.” Roland Barthes in The Pleasure of the Text. Isabelle Stengers, “The Science Wars” Cosmopolitics I trans. Robert Bononno, 47. (shrink)

In every introductory course on logic, students learn that expressions like ‘somebody’, ‘nothing’ or ‘every woman’ are not names or referring expressions, but quantifiers, and that, owing to this,...

This article reports the macro-organizational structure of research articles in mathematics, based on an analysis of 30 published pure and applied mathematics articles. Math RAs eschew the Introduction-Methods-Results-Discussion structure for an Introduction-Results model that enables researchers to present new knowledge as clearly and succinctly as possible. Notable omissions from the mathematics RA structure are Method and Discussion sections, which mathematicians do not need because of the well-established methodology used in the field and the relative absence of extended (...) discussion required to interpret research findings. We contextualize the macrostructure of RAs in mathematics within the discourse conventions and disciplinary assumptions about knowledge in the field to suggest the value of such a strategy to teachers and students of academic writing. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

This paper presents an enhanced ontology formalization, combining previous work in Conceptual Structure Theory and Order-Sorted Logic. Most existing ontology formalisms place greater importance on concept types, but in this paper we focus on relation types, which are in essence predicates on concept types. We formalize the notion of ‘predicate of predicates’ as meta-relation type and introduce the new hierarchy of meta-relation types as part of the ontology definition. The new notion of closure of a relation or meta-relation type is (...) presented as a means to complete that relation or meta-relation type by transferring extra arguments and properties from other related types. The end result is an expanded ontology, called the closure of the original ontology, on which automated inference could be more easily performed. Our proposal could be viewed as a novel and improved ontology formalization within Conceptual Structure Theory and a contribution to knowledge representation and formal reasoning (e.g., to build a query-answering system for legal knowledge). (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...) emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

This dissertation makes two primary contributions. The first three chapters develop an interpretation of Carnap's Meta-Philosophical Program which places stress upon his methodological analysis of the sciences over and above the Principle of Tolerance. Most importantly, I suggest, is that Carnap sees philosophy as contiguous with science—as a part of the scientific enterprise—so utilizing the very same methods and subject to the same limitations. I argue that the methodological reforms he suggests for philosophy amount to philosophy as the explication of (...) the concepts of science through the construction and use of suitably robust meta-logical languages. My primary interpretive claim is that Carnap's understanding of logic and mathematics as a set of formal auxiliaries is premised upon this prior analysis of the character of logico-mathematical knowledge, his understanding of its role in the language of science, and the methods used by practicing mathematicians. Thus the Principle of Tolerance, and so Carnap's logical pluralism, is licensed and justified by these methodological insights. This interpretation of Carnap's program contrasts with the popular Deflationary reading as proposed in Goldfarb & Ricketts. The leading idea they attribute to Carnap is a Logocentrism: That philosophical assertions are always made relative to some particular language, and that our choice of syntactical rules for a language are constitutive of its inferential structure and methods of possible justification. Consequently Tolerance is considered the foundation of Carnap's entire program. My third chapter argues that this reading makes Carnap's program philosophically inert, and I present significant evidence that such a reading is misguided. The final chapter attempts to extend the methodological ideals of Carnap's program to the analysis of the ongoing debate between category- and set-theoretic foundations for mathematics. Recent criticism of category theory as a foundation charges that it is neither autonomous from set theory, nor offers a suitable ontological grounding for mathematics. I argue that an analysis of concepts can be foundationally informative without requiring the construction of those concepts from first principles, and that ontological worries can be seen as methodologically unfruitful. (shrink)

This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, both natural and social. In addition, it has special interest items such as symposia on interfaces between logic and methodology, semantics and semiotics, as well as updates on the current state of the field in Eastern Europe (...) and the Far East. (shrink)

ArgumentThis paper studies the evolution of mathematics teaching in France and Germany from 1900 to about 1980. These two countries were leading in the processes of international modernization. We investigate the similarities and differences during the various periods, which showed to constitute significant time units and this in a remarkably parallel manner for the two countries. We argue that the processes of reform concerning the teaching of this major school subject are not understandable from within mathematics education or (...) even within the school system. Rather, the evolution of the processes of reform prove to be intimately tied to changing conceptions of modernity according to respective social and cultural values and to changing epistemological conceptions of mathematics. It is particularly novel that we show the key impact of the changing social status of primary schooling for these modernization processes. (shrink)

The aim of this paper is to prove strong completeness theorems for several Anderson-like variants of Gödels theory wrt. classes of modal structures, in which: (i). 1st order terms order receive only rigid extensions in the constant objectual 1st order domain; (ii). 2nd order terms receive non-rigid extensions in preselected world-relative objectual domains of 2nd order and rigid intensions in the constant conceptual 2nd order domain.

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology. The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach (...) to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond. (shrink)

I develop a non-representationalist account of mathematical thought, on which the point of mathematical theorizing is to provide us with the conceptual capacity to structure and articulate information about the physical world in an epistemically useful way. On my view, accepting a mathematical theory is not a matter of having a belief about some subject matter; it is rather a matter of structuring logical space, in a sense to be made precise. This provides an elegant account of the cognitive (...) utility of mathematics. Further, it makes explicit how the brand of non-representationalism I develop is compatible with there being substantive rationality constraints on our mathematical theorizing. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

Physical Relativity explores the nature of the distinction at the heart of Einstein's 1905 formulation of his special theory of relativity: that between kinematics and dynamics. Einstein himself became increasingly uncomfortable with this distinction, and with the limitations of what he called the 'principle theory' approach inspired by the logic of thermodynamics. A handful of physicists and philosophers have over the last century likewise expressed doubts about Einstein's treatment of the relativistic behaviour of rigid bodies and clocks in (...) motion in the kinematical part of his great paper, and suggested that the dynamical understanding of length contraction and time dilation intimated by the immediate precursors of Einstein is more fundamental. Harvey Brown both examines and extends these arguments, after giving a careful analysis of key features of the pre-history of relativity theory. He argues furthermore that the geometrization of the theory by Minkowski in 1908 brought illumination, but not a causal explanation of relativistic effects. Finally, Brown tries to show that the dynamical interpretation of special relativity defended in the book is consistent with the role this theory must play as a limiting case of Einstein's 1915 theory of gravity: the general theory of relativity.Appearing in the centennial year of Einstein's celebrated paper on special relativity, Physical Relativity is an unusual, critical examination of the way Einstein formulated his theory. It also examines in detail certain specific historical and conceptual issues that have long given rise to debate in both special and general relativity theory, such as the conventionality of simultaneity, the principle of general covariance, and the consistency or otherwise of the special theory with quantum mechanics. Harvey Brown' s new interpretation of relativity theory will interest anyone working on these central topics in modern physics. (shrink)

Cet essai cherche à faire de la complémentarité entre énergie-idée, structure et fonction, et autres couples de concepts, la base d'une nouvelle ontologie qui puisse résoudre les conflits entre les pôles de description « mental » et « physique », entre la vérité mathématique et la vérité empirique et entre la mécanique quantique et la théorie de la relativité comme formes rivales d'explication scientifique. L'auteur y plaide en faveur de la fermeture déductive de l'univers à la lumière de la relation (...) logique entre le nombre et l'alphabet . Il y présente la réalité et l'autonomie conceptuelle des idées comme une alternative au platonisme et à d'autres idéologies. Il dispose de fausses interprétations, malentendus, et objections au moyen du dialogue.Conjugacy between energy-idea, structure and function, and other concept pairs is made the basis for a new ontology which resolves the conflicts between "mental" and "physical" poles of description, between mathematical and empirical truth, and between quantum mechanics and relativity theory as rival forms of scientific explanation. The deductive closure of the universe is argued for, in light of the logical connection between number and the alphabet . The reality and the conceptual autonomy of ideas are presented as an alternative to Platonism and other ideologies. Mistaken interpretations, misunderstandings and objections are handled through the medium of dialogue. (shrink)

Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem and (...) Kripkenstein’s paradox, yielding vital implications to the nature of mathematical understanding, and to the nature of the certainty and objectivity of mathematical truth. Since the incompleteness theorems, foundations of mathematics have mostly lost their philosophical driving force, and anti-foundationalism has become prevalent and pervasive. Yet new foundations have nevertheless emerged and come into the scene, namely categorical foundations. We articulate the foundational significance of category theory by explicating three forms of foundations, i.e., global foundations, local foundations, and conceptual foundations. And we explore the possibility of categorical unified science qua pluralistic unified science, arguing for the categorical unity of science on both mathematical and philosophical grounds. We then turn to an issue in conceptual foundations of mathematics, namely the nature of the concept of space. We elucidate Wittgenstein’s intensional conception of space in relation to Brouwer’s theory of space continua and to the modern conception of space as point-free structure in category theory and algebraic geometry. We finally give a bird’s-eye view of mathematical philosophy from a Wittgensteinian perspective, and further sheds new light on Wittgenstein’s constructive structuralism and his view of incompleteness and contradictions in mathematics. (shrink)

One may discuss the role played by mechanical science in the history of scientific ideas, particularly in physics, focusing on the significance of the relationship between physics and mathematics in describing mathematical laws in the context of a scientific theory. In the second Newtonian law of motion, space and time are crucial physical magnitudes in mechanics, but they are also mathematical magnitudes as involved in derivative operations. Above all, if we fail to acknowledge their mathematical meaning, we fail to (...) comprehend the whole Newtonian mechanical apparatus. For instance, let us think about velocity and acceleration. In this case, the approach to conceive and define foundational mechanical objects and their mathematical interpretations changes. Generally speaking, one could prioritize mathematical solutions for Lagrange’s equations, rather than the crucial role played by collisions and geometric motion in Lazare Carnot’s operative mechanics, or Faraday’s experimental science with respect to Ampère’s mechanical approach in the electric current domain, or physico-mathematical choices in Maxwell’s electromagnetic theory. In this paper, we will focus on the historical emergence of mechanical science from a physico-mathematical standpoint and emphasize significant similarities and/or differences in mathematical approaches by some key authors of the 18th century. Attention is paid to the role of mathematical interpretation for physical objects. (shrink)

Current attempts to understand psychological content divide into two families of views. According to externalist accounts such as those advanced by Tyler Burge and Ruth Millikan, psychological content does not supervene on the physical features of the individual subject, but is fixed partially by the nature of the world external to her.¹ In the rival functional role theories developed by Ned Block and Brian Loar, content does supervene on the physical features of the individual, and is, in addition, determined solely (...) by the role it plays in the causal network of an individual's sensations, behavior, and mental states.² Over the past fifteen years, criticism of these two types of views has often focussed on their capacity to individuate content in an acceptable way, and both seem to be deficient in this respect. (shrink)

David Malament, now emeritus at the University of California, Irvine, where since 1999 he served as a Distinguished Professor of Logic and Philosophy of Science after having spent twenty-three years as a faculty member at the University of Chicago , is well known as the author of numerous articles on the mathematical and philosophical foundations of modern physics with an emphasis on problems of space-time structure and the foundations of relativity theory. Malament’s Topics in the foundations of general (...) class='Hi'>relativity and Newtonian gravitation theory has grown out of a set of lecture notes on the foundations of general relativity that he has taught for many years. In full agreement with Manchak , it should be pointed out from the beginning that the book neither is and was never intended to be a graduate general relativity a .. (shrink)

This book examines the logical foundations of visual information: information presented in the form of diagrams, graphs, charts, tables, and maps. The importance of visual information is clear from its frequent presence in everyday reasoning and communication, and also in compution. Chapters of the book develop the logics of familiar systems of diagrams such as Venn diagrams and Euler circles. Other chapters develop the logic of higraphs, Pierce diagrams, and a system having both diagrams and sentences among its well-formed (...) representations. Syntax, semantics, rules of inference and soundness and completeness results are provided for each of the systems. In addition to developing the logic of diagrams, key questions about the status of visual information Hammer discusses, such as the relationship between the language and visually-presented information. (shrink)