The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...) from considering rigour of proof as a fixture, I discuss fixed models, invariant notions and fixed information about objects across theories. There are other fixtures, but it is enough to start with these. (shrink)

In the literature, there have been several methods and definitions for working out whether two theories are “equivalent” or not. In this article, we do something subtler. We provide a means to measure distances between formal theories. We introduce two natural notions for such distances. The first one is that of axiomatic distance, but we argue that it might be of limited interest. The more interesting and widely applicable notion is that of conceptual distance which measures the minimum number of (...) concepts that distinguish two theories. For instance, we use conceptual distance to show that relativistic and classical kinematics are distinguished by one concept only. (shrink)

There are three elements in this paper. One is what we shall call ‘the Hungarian project’. This is the collected work of Andréka, Madarász, Németi, Székely and others. The second is Molinini’s philosophical work on the nature of mathematical explanations in science. The third is my pluralist approach to mathematics. The theses of this paper are that the Hungarian project gives genuine mathematical explanations for physical phenomena. A pluralist account of mathematical explanation can help us with appreciating the significance of (...) the Hungarian project. The significance consists in the fruitfulness and spread of the project. The spread is wide because the explanations are written in the very familiar language of first-order logic with identity. For this reason, the explanation is understandable to many mathematicians. Because of the methodology adopted in the Hungarian project, the explanations are fruitful in another sense. In the Hungarian project certain questions are asked that would not be asked with a more usual methodology. The Hungarians are distinguished from other scientists in asking logical and mathematical questions, and these both deepen our understanding of the physical theories and induce further spread to mathematics and philosophy. (shrink)

We answer three questions: 1. Can we give a wholly mathematical explanation of a physical phenomenon? 2. Can we give a wholly mathematical explanation for a whole physical theory? 3. What is gained or lost in giving a wholly, or partially, mathematical explanation of a phenomenon or a scientific theory? To answer these questions we look at a project developed by Hajnal Andréka, Judit Madarász, István Németi and Gergely Székely. They, together with collaborators, present special relativity theory in a three-sorted (...) first-order formal language. (shrink)

What is mathematics about? Does the subject-matter of mathematics exist independently of the mind or are they mental constructions? How do we know mathematics? Is mathematical knowledge logical knowledge? And how is mathematics applied to the material world? In this introduction to the philosophy of mathematics, Michele Friend examines these and other ontological and epistemological problems raised by the content and practice of mathematics. Aimed at a readership with limited proficiency in mathematics but with some experience of formal logic (...) it seeks to strike a balance between conceptual accessibility and correct representation of the issues. Friend examines the standard theories of mathematics - Platonism, realism, logicism, formalism, constructivism and structuralism - as well as some less standard theories such as psychologism, fictionalism and Meinongian philosophy of mathematics. In each case Friend explains what characterises the position and where the divisions between them lie, including some of the arguments in favour and against each. This book also explores particular questions that occupy present-day philosophers and mathematicians such as the problem of infinity, mathematical intuition and the relationship, if any, between the philosophy of mathematics and the practice of mathematics. Taking in the canonical ideas of Aristotle, Kant, Frege and Whitehead and Russell as well as the challenging and innovative work of recent philosophers like Benacerraf, Hellman, Maddy and Shapiro, Friend provides a balanced and accessible introduction suitable for upper-level undergraduate courses and the non-specialist. (shrink)

I present a comparative and holistic method for qualitatively measuring sound ecological practice in chemistry. I consider chemicals developed and used by man from cradle to grave, that is, from the moment they are extracted from the earth, biomass, water or air, to their transportation, purification, mixing and elaboration in a factory, to their distribution by means of the market, to waste products both from the factory, packaging, transportations and by the consumer. I divide the locations of the ‘life’ of (...) the chemical into four spatio-temporal areas accordingly. I then use the ‘instituional compass’ method to determine a qualitative reading of the ecological soundness of the practice, where practice means the research, the adoption by industry and the distribution at scale on the market. The qualitative reading is in the form of an arrow on a trisected circle. The arrow holistically represents a table of data. The data can be economic, social or environmental. The arrow has a measurement: a degree and a length. The degrees, represent qualities spaning through: harmony, discipline and excitement. The length represents the importance, momentum or amplitude with which the quality is present. We use the compass method to compare the same product over time, or inter-substitutable, chemicals developed in different places, using different equipment or processes. In the conclusion, I discuss objectivity and science as they apply to the compass. (shrink)

We are told that there are standards of rigour in proof, and we are told that the standards have increased over the centuries. This is fairly clear. But rigour has also changed its nature. In this paper we as-sess where these changes leave us today.1 To motivate making the new assessment, we give two illustra-tions of changes in our conception of rigour. One, concerns the shift from geometry to arithmetic as setting the standard for rig-our. The other, concerns the notion (...) of effective proof or compu-tations. To make the assessment, we look at one motivation for increasing the rigour of a mathematical argument: explicitness and honesty. We then present a standard of rigour by means of a characterisation developed with reference to what we call ‘an account-proof’. We evaluate the standard with reference to the motivation. With the analysis we discover that, regardless of the motivations for rigour, the standard is almost never met, and that the motivations are not all satisfied. It follows that, in some sense, the motivations have misfired. The misfiring suggests to us that we re-assess our notion of rigour. We think of rigour as a relative term. Moreover, the standard for rigour depends on philosophical underpinnings. The strength of the argument of this paper rests on the plausibility of our selection of motivations and on the plausibility of our standard. (shrink)

In this paper, I compare how it is that inconsistencies are handled in mathematics to how they are handled in chemistry. In mathematics, they are very precisely formulated and identified, unlike in chemistry. So the chemists can learn from the precision and the very well-worked out strategies developed by logicians and deployed by mathematicians to cope with inconsistency. Some lessons can also be learned by the mathematicians from the chemists. Mathematicians tend to be intolerant towards inconsistencies. There are some philosophers (...) of chemistry who attribute to chemists, collectively, a more tolerant attitude towards inconsistency, and so, mathematicians can learn from the chemists’ attitude to inform their choice of strategies. (shrink)

Most scientific theories are globally inconsistent. Chunk and Permeate is a method of rational reconstruction that can be used to separate, and identify, locally consistent chunks of reasoning or explanation. This then allows us to justify reasoning in a globally inconsistent theory. We extend chunk and permeate by adding a visually transparent way of guiding the individuation of chunks and deciding on what information permeates from one chunk to the next. The visual representation is in the form of bundle diagrams. (...) We then extend the bundle diagrams to include not only reasoning in the presence of inconsistent information or reasoning in the logical sense of deriving a conclusion from premises, but more generally reasoning in the sense of trying to understand a phenomenon in science. This extends the use of the bundle diagrams in terms of the base space and the fibres. We then apply this to a case in physics, that of understanding binding energies in the nucleus of an atom using together inconsistent models: the liquid drop model and the shell model. We draw some philosophical conclusions concerning scientific reasoning, paraconsistent reasoning, the role of logic in science and the unity of science. (shrink)

I present a formal language that imposes a structure on processes in macro-chemistry. Each symbol in the language invites a type of analysis that is carried out either by looking into the semantics if the language or by looking at the context. Every formal language has assumptions underlying it. The assumptions made in developing the formal language are meant to help with conceptual analysis by inviting certain types of question.

I present a formal language that imposes a structure on processes in macro-chemistry. Each symbol in the language invites a type of analysis that is carried out either by looking into the semantics if the language or by looking at the context. Every formal language has assumptions underlying it. The assumptions made in developing the formal language are meant to help with conceptual analysis by inviting certain types of question.

I present a formal language that imposes a structure on processes in macro-chemistry. Each symbol in the language invites a type of analysis that is carried out either by looking into the semantics if the language or by looking at the context. Every formal language has assumptions underlying it. The assumptions made in developing the formal language are meant to help with conceptual analysis by inviting certain types of question.

The phrase ‘mathematical foundation’ has shifted in meaning since the end of the nineteenth century. It used to mean a consistent general theory in mathematics, based on basic principles and ideas to which the rest of mathematics could be reduced. There was supposed to be only one foundational theory and it was to carry the philosophical weight of giving the ultimate ontology and truth of mathematics. Under this conception of ‘foundation’ pluralism in foundations of mathematics is a contradiction.More recently, the (...) phrase has come to mean a perspective from which we can see, or in which we can interpret, much of mathematics; it has lost the realist-type metaphysical, essentialist importance. The latter has been replaced with an emphasis on epistemology. The more recent use of the phrase shows a lack of concern for absolute ontology, truth, uniqueness and sometimes even consistency. It is only under the more modern conception of ‘foundation’ that pluralism in mathematical foundations is conceptually possible.Several problems beset the pluralist in mathematical foundations. The problems include, at least: paradox, rampant relativism, loss of meaning, insurmountable complexity and a rising suspicion that we can say anything meaningful about truth and objectivity in mathematics. Many of these are related to each other, and many can be overcome, explained, accounted for and dissolved by concentrating on crosschecking, fixtures and rigour of proof. Moreover, apart from being a defensible position, there are a lot of advantages to pluralism in foundations. These include: a sensitivity to the practice of mathematics, a more faithful account of the objectivity of mathematics and a deeper understanding of mathematics.The claim I defend in the paper is that we stand to learn more, not less, by adopting a pluralist attitude. I defend the claim by looking at the examples of set theory and homotopy type theory, as alternative viewpoints from which we can learn about mathematics. As the claim is defended, it will become apparent that ‘pluralism in mathematical foundations’ is neither an oxymoron, nor a contradiction, at least not in any threatening sense. On the contrary, it is the tension between different foundations that spurs new developments in mathematics. The tension might be called ‘a fruitful meta-contradiction’.I take my prompts from Kauffman’s idea of eigenform, Hersh’s idea of thinking of mathematical theories as models and from my own philosophical position: pluralism in mathematics. I also take some hints from the literature on philosophy of chemistry, especially the pluralism of Chang and Schummer. (shrink)

In this paper, we discuss the prevailing view amongst philosophers and many mathematicians concerning mathematical proof. Following Cellucci, we call the prevailing view the “axiomatic conception” of proof. The conception includes the ideas that: a proof is finite, it proceeds from axioms and it is the final word on the matter of the conclusion. This received view can be traced back to Frege, Hilbert and Gentzen, amongst others, and is prevalent in both mathematical text books and logic text books.

Hilbert’s axiomatic approach to the sciences was characterized by a dynamic methodology tied to scientific and mathematical fields under investigation. In particular, it is an analytic art for choosing axioms but, at the same time, it has to include dynamically synthetic procedures and meta-theoretical reflections. Axioms have to be useful, or capture something, or help as part of explanations. The Andréka-Németi group use several formal axiomatic theories together to re-capture, predict, recover or explain the phenomena of special relativity, general relativity (...) and classical kinematics. Their scientific methodology is close to Hilbert’s conceptions of how science should be done ideally. In this paper, we compare Formica’s reading of Hilbert’s axiomatic method to the method used by the Andréka-Németi group. (shrink)

In this paper we try to convert the mathematician who calls himself, or herself, “a formalist” to a position we call “meth-odological pluralism”. We show how the actual practice of mathe-matics fits methodological pluralism better than formalism while preserving the attractive aspects of formalism of freedom and crea-tivity. Methodological pluralism is part of a larger, more general, pluralism, which is currently being developed as a position in the philosophy of mathematics in its own right.1 Having said that, henceforth, in this (...) paper, we abbreviate “methodological pluralism” with “pluralism”. (shrink)

Biogea is a mixture of poetry, philosophy, science, and biography exemplary of the style that has made Michel Serres one of the most extraordinary thinkers of his age. His philosophical and poetic inquiry sings in praise of earth and life, what he names singularly as Biogea. In these times when species are disappearing, when catastrophic events such as earthquakes and tsunamis impale the earth, Serres wonders if anyone “worries about the death pangs of the rivers.” And for Serres, one can (...) ask the same question of philosophy as the humanities increasingly find themselves in need of defenders. Today, all living organisms discover themselves part of this Biogea. “Today we have other neighbors, constituents of the Biogea: the sea, my lover; our mother, the Earth, becomes our daughter; this beautiful breeze which inspires the spirit, a spiritual mistress; our light friends, the fresh and flowing waters.”. (shrink)

ABSTRACTMetaphors frequently link negative affect with darkness and associations of this type have been established in several experimental paradigms. Given the ubiquity and strength of these associations, people who prefer dark to light may be more prone to negative emotional experiences and symptoms. A five study investigation couches these ideas in a new theoretical framework and then examines them. Across studies, 1 in 4 people preferred the perceptual concept of dark over the perceptual concept of light. These dark-preferring people scored (...) higher in neuroticism and experienced greater depressive feelings in daily life. Moreover, dark preferences shared a robust relationship with depressive symptoms as well as generalised anxiety symptoms. The results provide novel insights into negative affectivity and extend conceptual metaphor theory in a way that is capable of making individual difference predictions. (shrink)

Contemporary humanitarianism is held in a permanent and tense relationship with the warlike, destructive, and exclusionary strategies of the states which dominate the planet. On the one hand, a politics of the "clenched fist" champion of both holy and just wars, exemplary sanctions, lightning raids and surgical strikes; in other words, the technical arsenal of a police force acting globally on an ad hoc basis and according to the friend /enemy relation, following the principles of partisan fidelity and the (...) vendetta. On the other hand, occupying the place of social politics at the same global scale is a spectacular humanism, manifesting itself through an ensemble of private organisations whose role is to keep the survivors alive, treating them as nameless victims, held at a distance for the sole purpose of salving the conscience of the powerful. However, the displaced and refugee populations are responding to this situation by developing diverse forms of, generally illegal, action and by so doing, are exacerbating the tensions inherent in the humanitarian field. (shrink)

Using data from the 1979 to 1998 waves of the National Longitudinal Survey of Youth, the author explores how gender, family, and class alter the impact of self-employment on earnings. Fixed-effect regression results show that while self-employment positively influences men’s earnings, not all women similarly benefit. Professionals receive the same self-employment earnings premium, regardless of gender. However, self-employment in nonprofessional occupations negatively affects women’s earnings, with wives and mothers incurring the greatest penalties. The high concentration of nonprofessional self-employed women in (...) child care accounts for much of these penalties. Results are robust despite inclusion of controls for human capital and labor supply, job characteristics, occupational and industrial gender segregation, and demographic characteristics. The compensating differentials argument, that women with greater family responsibilities trade earnings for the family-friendly aspects of self-employment, is discussed in light of these findings. While this argument may explain women’s returns to nonprofessional self-employment, it is less persuasive for interpreting women’s returns to professional self-employment. (shrink)

Giving directions to a tourist, sharing the latest news with a colleague, describing a place to a friend after a trip, and telling someone that we have met a common acquaintance at a party are all...