IDEAS ON THE HISTORY OF SCIENCE REVELATION OF THE CONCEPTS OF EULER AND NAVIER IN UP-TO-DATE STATICS

Finite Element Method is one of the most important computational tools of modern statics. The main features of it are application of variational principles on one hand and discretizing of the domain, fitting at the nodes on the other hand. Both concepts are classical, their appearance in the mechanics is due to EULER and NAVIER, respectively. Restricting ourselves to the analysis of bars and bar structures, it can be stated that EULER was engaged with the differential equation of the elastica and with the general method of solving variational problems round 250 years ago. In his genuine investigation he made use of variations being in accordance with the simple base functions of the F.E.M. Paper shows this derivation. Navier, whose name is connected with the foundation of the theory of the elastic bars up to now, reduced the calculation of the deflection of the simply supported beam to that of the cantilever so as to iilvestigate the sections of the structure always between two point forces, while fitting the exact solutions valid on separate intervals to each other. This idea is presented as well and the traditional results are recalled in an up-to-date symbolism

Relations between logic and mathematics in the work of Benjamin and Charles S. Peirce.

Charles Peirce (1839-1914) was one of the most important logicians of the nineteenth century. This thesis traces the development of his algebraic logic from his early papers, with especial attention paid to the mathematical aspects. There are three main sources to consider. 1) Benjamin Peirce (1809-1880), Charles's father and also a leading American mathematician of his day, was an inspiration. His memoir Linear Associative Algebra (1870) is summarised and for the first time the algebraic structures behind its 169 algebras are analysed in depth. 2) Peirce's early papers on algebraic logic from the late 1860s were largely an attempt to expand and adapt George Boole's calculus, using a part/whole theory of classes and algebraic analogies concerning symbols, operations and equations to produce a method of deducing consequences from premises. 3) One of Peirce's main achievements was his work on the theory of relations, following in the pioneering footsteps of Augustus De Morgan. By linking the theory of relations to his post-Boolean algebraic logic, he solved many of the limitations that beset Boole's calculus. Peirce's seminal paper `Description of a Notation for the Logic of Relatives' (1870) is analysed in detail, with a new interpretation suggested for his mysterious process of logical differentiation. Charles Peirce's later work up to the mid 1880s is then surveyed, both for its extended algebraic character and for its novel theory of quantification. The contributions of two of his students at the Johns Hopkins University, Oscar Mitchell and Christine Ladd-Franklin are traced, specifically with an analysis of their problem solving methods. The work of Peirce's successor Ernst Schröder is also reviewed, contrasting the differences and similarities between their logics. During the 1890s and later, Charles Peirce turned to a diagrammatic representation and extension of his algebraic logic. The basic concepts of this topological twist are introduced. Although Peirce's work in logic has been studied by previous scholars, this thesis stresses to a new extent the mathematical aspects of his logic - in particular the algebraic background and methods, not only of Peirce but also of several of his contemporaries

Mathematics and Its Applications, A Transcendental-Idealist Perspective

This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal science, mathematical ontology: what does it mean to exist, mathematical structures: what are they and how do we know them, how different layers of mathematical structuring relate to each other and to perceptual structures, and how to use mathematics to find out how the world is. The book simultaneously develops along two lines, both inspired and enlightened by Edmund Husserl’s phenomenological philosophy. One line leads to the establishment of a particular version of mathematical structuralism, free of “naturalist” and empiricist bias. The other leads to a logical-epistemological explanation and justification of the applicability of mathematics carried out within a unique structuralist perspective. This second line points to the “unreasonable” effectiveness of mathematics in physics as a means of representation, a tool, and a source of not always logically justified but useful and effective heuristic strategies

Intuition and Reasoning in Geometry

The way in which geometrical knowledge has been obtained has always attracted the attention of philosophers. The fact that there is a science that concerns things outside our thinking and that proceeds inferentially appeared striking, and gave rise to specific theories of experience and space. Nonetheless, the geometrical method has not yet been sufficiently investigated. Philosophers who investigate the theory of knowledge discuss the question of whether geometry is an empirical science, but..

Discussions on physics, metaphysics and metametaphysics: Interpreting quantum mechanics

This thesis inquires what it means to interpret non-relativistic quantum mechanics (QM), and the philosophical limits of this interpretation. In pursuit of a scientific-realist stance, a metametaphysical method is expanded and applied to evaluate rival interpretations of QM, based on the conceptual distinction between ontology and metaphysics, for objective theory choice in metaphysical discussions relating to QM. Three cases are examined, in which this metametaphysical method succeeds in indicating what are the wrong alternatives to interpret QM in metaphysical terms. The first two cases failed in doing so due to different kinds of underdetermination. In the third case, unlike underdetermination, where there are many choices to be made, a “null-determination” is proposed where there may be no metaphysical choices in the available metaphysical literature. Considering what has been discussed, an agnostic philosophic position is adopted concerning the possibility of interpreting QM from a scientific-realistic point of view

The Nature and Implementation of Representation in Biological Systems

I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in explaining (i) in terms of teleofunction, explicated in terms of natural selection. To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory

Reconstructing Marx’s Theory of Credit and Payment Crises under Simple Circulation

There is general agreement amongst scholars of Marx that his monetary theory is incomplete, especially in his most detailed writings on credit in the third volume of Capital. Moreover, in these unfinished notes Marx takes sides with the banking school approach, notable for its opacity compared to the clear axioms of its currency school counterpart. A reconstruction is proposed based on Marx’s step-by-step method, commencing with a critique of Say’s Law under simple commodity circulation, these foundations formalised here using the model of pure labour developed by Pasinetti (1993). Piecing together the fragments, and filling in some of the gaps in Marx’s writings on money, the analysis builds from commodity money and private debt contracts, to the modelling of pure credit and pure banking systems. Adapting the Pasinetti model of a real economy, its endogenous money requirements provide an alternative to the exogenous money approach of the currency school: a streamlined analytical core to the banking school approach, as interpreted by Marx. In addition, the structure of payment crises — as an extension of Marx’s possibility theory of crises — is examined with money as a means of payment required to settle debts between producers and the banking system