This book presents a collection of studies by Romanian philosophers, addressing foundational issues currently debated in contemporary philosophy of science. It offers a historical survey of the tradition of scientific philosophy in Romania. It examines some problems in the foundations of logic, mathematics, linguistics, the natural and social sciences. Among the more specific topics, it discusses scientific explanation, models, and mechanisms, as well as memory, artifacts, and rules of research. The book is useful to those interested in the philosophy of (...) real science, but also to those interested in Romanian philosophy. (shrink)

This paper defends a reading of Wittgenstein’s philosophy of mathematics in the Lectures on the Foundation of Mathematics as a radical conventionalist one, whereby our agreement about the particular case is constitutive of our mathematical practice and ‘the logical necessity of any statement is a direct expression of a convention’ (Dummett 1959, p. 329). -/- On this view, mathematical truths are conceptual truths and our practices determine directly for each mathematical proposition individually whether it is true or false. Mathematical truths (...) are thus not consequences of a prior adoption of a convention or rules as orthodox conventionalism has it. -/- The goal of the paper is not merely exegetical, however, and argues that radical conventionalism can withstand some of the most difficult objections that have been brought forward against it, including those of Dummett himself, and thus that radical conventionalism has been prematurely excluded from consideration by philosophers of mathematics. (shrink)

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. (shrink)

Martin Heideggers Holzwege erschien 1950 und präsentierte dem Publikum seine Überlegungen zum "Ursprung des Kunstwerkes", zur "Zeit des Weltbildes", zu "Hegels Begriff der Erfahrung", zu "Nietzsches Wort 'Gott ist tot'", zur Frage "Wozu Dichter?" und zum "Spruch des Anaximander". Damit liegen in diesem Band einige der wichtigsten Beiträge aus Heideggers Spätwerk vor, in dem er sich kritisch mit der Geschichte der Metaphysik auseinandersetzt und sich in der Begegnung mit Kunst, Dichtung und der vorsokratischen Philosophie um neue Wege des Denkens bemüht. (...) Seit seinem Erscheinen hat dieser Band, der in zahlreichen Übersetzungen vorliegt, die Rezeption von Heideggers Denken maßgeblich geprägt. Mittlerweile liegen zahlreiche andere Texte Heideggers gerade aus den 1930er und 1940er Jahren vor. Diese erlauben eine bessere Einordnung der in Holzwege veröffentlichten Texte und somit auch eine vertiefte Interpretation des Heidegger'schen Spätwerkes. Genau darum bemüht sich der vorliegende Band, der die Aufsätze aus Holzwege sowohl vor dem Hintergrund von Heideggers eigenem Denkweg als auch im weiteren Rahmen der Philosophiegeschichte diskutiert Dieser Band eignet sich zur allgemeinen Einführung in Heideggers Spätwerk als auch zu einer vertieften Auseinandersetzung mit Detailfragen zu seinem Denken. (shrink)

This study intends to show that the question whether faith can be justified without proofs can be resolved by importing ideas from Kierkegaard’s and Plantinga’s affirmative take on the matter. There is a deep similarity between the way they understand belief in God and belief in Christianity: for both the first is considered universal human knowledge and the second seen as a gift from God. Against the charge that such an understanding is irrational Plantinga offers an externalist epistemological model which (...) allows those beliefs to be warranted. The authors also share the modern idea that there is an objective truth, combining it with the postmodern stance that no method exists which would guarantee access to it. A specific contribution on Kierkegaard’s part to the understanding of the rationality of transitions toward a Christian stage of existence is to show in detail the way in which such transitions are mediated through inwardnes - a perspective akin to Michael Polanyi’s scientific epistemology. One can see in both authors not only a deep commonality of ideas, but also a remarkable way in which their understandings augment each other. Whereas Plantinga’s inquiry contributes to the rational plausibility of a “Justified Faith without Reasons” project, Kierkegaard’s venture balances such a logical-analytic effort with a deep existential inquiry. (shrink)

Distinctively mathematical explanations (DMEs) explain natural phenomena primarily by appeal to mathematical facts. One important question is whether there can be an ontic account of DME. An ontic account of DME would treat the explananda and explanantia of DMEs as ontic structures and the explanatory relation between them as an ontic relation (e.g., Pincock 2015, Povich 2021). Here I present a conventionalist account of DME, defend it against objections, and argue that it should be considered ontic. Notably, if indeed it (...) is ontic, the conventionalist account seems to avoid a convincing objection to other ontic accounts (Kuorikoski 2021). (shrink)

This paper argues against the view that the standard explanation of phase transitions in statistical mechanics may be considered a causal explanation, a distortion that can nevertheless successfully represent causal relations.

It is far from obvious that outside of highly specialized domains such as commercial agriculture, the methodology of biometrics—quantitative comparisons over groups of organisms—should be of any use in today’s bioinformatically informed biological sciences. The methods in our biometric textbooks, such as regressions and principal components analysis, make assumptions of homogeneity that are incompatible with current understandings of the origins of developmental or evolutionary data in historically contingent processes, processes that might have come out otherwise; the appropriate statistical methods are (...) those suited to random walks, not normal distributions. A valid methodology would further require that especially close attention be paid to the difference between aspects of processes that are plastic, those that encode their own histories or biographies, and the very small fraction of quantifications that can usefully and realistically be modeled as varying by colored noise around a central tendency that itself has some quantitative meaning. This point of view—that only a vanishingly small fraction of the quantitative information borne by any living organism is worth quantifying—is illustrated by some data on a human birth defect, namely, fetal alcohol syndrome. In a suggestive metaphor, the biometrician is like the pilgrim in Friedrich’s painting Der Wanderer über dem Nebelmeer, uncertain as to whether to measure the mountains or the clouds. The mountains stand for contingent history, the clouds for the subset of the data most closely matching controlled experiments suitable for quantitative biometric summary. Biometrics applies to the clouds, not the mountains. The success of statistical methods comes at the expense of all the theories that we simultaneously hold to be true about the biological materials to which they both pertain. Biometrics is thus complementary to all of the emerging reductionist sciences of biological structure. (shrink)

This article considers distinct ways of understanding the world, referred to in psychology as functions of consciousness or as cognitive modes, having as the scope of interest epistemology and natural sciences. Inspired by C.G. Jung’s simile of the spectrum, we consider three basic cognitive modes associated to: (R) embodied instinct, experience, and action; (G) reality perception and learning; and (B) concept abstraction, rational thinking, and language. RGB stand for the primary colors: red, green, and blue. Accordingly, a conceptual map between (...) cognitive modes and primary and secondary colors is built based on the physics and physiology of color perception and epistemological characteristics of the aforementioned cognitive modes, leading to logical relations structured as an hexagon of opposition. Finally, this model of cognitive modes is applied to the analysis and interpretation of some important episodes in the historical development of physics and technology. (shrink)

Science continually contributes new models and rethinks old ones. The way inferences are made is constantly being re-evaluated. The practice and achievements of science are both shaped by this process, so it is important to understand how models and inferences are made. But, despite the relevance of models and inference in scientific practice, these concepts still remain contro-versial in many respects. The attempt to understand the ways models and infer-ences are made basically opens two roads. The first one is to (...) produce an analy-sis of the role that models and inferences play in science. The second one is to produce an analysis of the way models and inferences are constructed, especial-ly in the light of what science tells us about our cognitive abilities. The papers collected in this volume go both ways. (shrink)

If everything is in permanent change, can the Universe itself be fundamentally passive? Answering this question requires a clear concept of ‘activity.’ The nature of ‘action’ is a central and unsolved philosophical problem. Actions play a crucial role in the way we conceive of ourselves, life and the Universe, and the value we put on these. In four decades of research on solar activity, we found that activity is not a mere occurrence but a genuine activity of the Sun, initiated (...) globally by the Sun using quantum processes as tools that generates suitable primary mass flows locally in the solar core that are capable of producing a working dynamo. We argue that solar activity is initiated by biological causes given by the fundamental principle of biology. This universal activity is the basis of our life instinct and of logic too. (shrink)

In his famous article “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” Eugen Wigner argues for a unique tie between mathematics and physics, invoking even religious language: “The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve”. The possible existence of such a unique match between mathematics and physics has been extensively discussed by philosophers and historians of mathematics. Whatever the merits (...) of this claim are, a further question can be posed with regard to mathematization in science more generally: What happens when we leave the area of theories and laws of physics and move over to the realm of mathematical modeling in interdisciplinary contexts? Namely, in modeling the phenomena specific to biology or economics, for instance, scientists often use methods that have their origin in physics. How is this kind of mathematical modeling justified? (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

The problem that motivates me arises from a constellation of factors pulling in different, sometimes opposing directions. Simplifying, they are: (1) The complexity of the world; (2) Humans’ ambitious project of theoretical knowledge of the world; (3) The severe limitations of humans’ cognitive capacities; (4) The considerable intricacy of humans’ cognitive capacities . Given these circumstances, the question arises whether a serious notion of truth is applicable to human theories of the world. In particular, I am interested in the questions: (...) (a) Is a substantive standard of truth for human theories of the world possible? (b) What kind of standard would that be? (shrink)

Constantin Caratheodory offered the first systematic and contradiction free formulation of thermodynamics on the basis of his mathematical work on Pfaff forms. Moreover, his work on measure theory provided the basis for later improved formulations of thermodynamics and physics of continua where extensive variables are measures and intensive variables are densities. Caratheodory was the first to see that measure theory and not topology is the natural tool to understand the difficulties (ergodicity, approach to equilibrium, irreversibility) in the Foundations of Statistical (...) Physics. He gave a measure-theoretic proof of Poincaré's recurrence theorem in 1919. This work paved the way for Birkhoff to identify later ergodicity as metric transitivity and for Koopman and von Neumann to introduce spectral analysis of dynamical systems in Hilbert spaces. Mixing provided an explanation of the approach to equilibrium but not of irreversibility. The recent extension of spectral theory of dynamical systems to locally convex spaces, achieved by the Brussels–Austin groups, gives new nontrivial time asymmetric spectral decompositions for unstable and/or non-integrable systems. In this way irreversibility is resolved in a natural way. (shrink)

The recognition of striking regularities in the physical world plays a major role in the justification of hypotheses and the development of new theories both in the natural sciences and in philosophy. However, while scientists consider only strictly natural hypotheses as explanations for such regularities, philosophers also explore meta-natural hypotheses. One example is mathematical realism, which proposes the existence of abstract mathematical entities as an explanation for the applicability of mathematics in the sciences. Another example is theism, which offers the (...) existence of a supernatural being as an explanation for the design-like appearance of the physical cosmos. Although all meta-natural hypotheses defy empirical testing, there is a strong intuition that some of them are more warranted than others. The goal of this paper is to sharpen this intuition into a clear criterion for the admissibility of meta-natural explanations for empirical facts. Drawing on recent debates about the indispensability of mathematics and teleological arguments for the existence of God, I argue that a meta-natural explanation is admissible just in case the explanation refers to an entity that, though not itself causally efficacious, guarantees the instantiation of a causally efficacious entity that is an actual cause of the regularity. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

Quanta mathematica instrumentalis, from Latin, might mean How much mathematics for physical applications. But we try to give this expression another meaning. We discuss how mathematics and its instrumental nature could serve as paradigm for other human activities and science in general. We introduce notions of higher observer and field of information. We discuss question why we are to study and develop mathematics more diligently than we do in natural way.

Four levels of complexity in mathematics and physics are considered, how they are interrelated, how this all has impact on other subjects of epistemology.

I argue that a recent version of the doctrine of mathematical naturalism faces difficulties arising in connection with Wigner's old puzzle about the applicability of mathematics to natural science. I discuss the strategies to solve the puzzle and I show that they may not be available to the naturalist.

Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In this paper I argue that models share important aspects in common with literary fiction, and that therefore theories of fiction can be brought to bear on these questions. In particular, I argue that the pretence theory as developed by Walton (1990, Mimesis as make-believe: on the foundations of the (...) representational arts. Harvard University Press, Cambridge/MA) has the resources to answer these questions. I introduce this account, outline the answers that it offers, and develop a general picture of scientific modelling based on it. (shrink)

This is a technical treatise for the scientific-minded readers trying to expand their intellectual horizon beyond the straitjacket of materialism. It is dedicated to those scientists and philosophers who feel there is something more, but struggle with connecting the dots into a more coherent picture supported by a way of seeing that allows us to overcome the present paradigm and yet maintains a scientific and conceptual rigor, without falling into oversimplifications. Most of the topics discussed are unknown even to neuroscientists, (...) biologists, philosophers, and yet are based on the findings published in their own mainstream peer reviewed literature or on deep insights of the scientific, philosophical and spiritual giants of the past. -/- A scientific, philosophical, and spiritual overview of the relationship between science and spirituality, neuroscience and the mystery of consciousness, mind and the nature of reality, evolution and life. A plaidoyer for a science that goes beyond the curve of reason and embraces a new synthesis of knowledge. The overcoming of the limitations of the intellect into an extended vision of ourselves and Nature. A critique of physicalism, the still-dominant doctrine that believes that all reality can be reduced to matter and the laws of physics alone. A review and reassessment of the old and new philosophical and metaphysical ideas which attempts to bring closer Western and Eastern traditions where science, philosophy, consciousness, Spirit and Nature are united in a grand vision that transcends the limited conventional scientific and philosophical paradigm. A possible answer to the questions of purpose and meaning and the future evolution of humankind beyond a conception that posits a priori a purposeless and meaningless universe. A report of the new scientific discoveries of a basal intelligence in cells and plants, on the question if mind is computational, the issue of free will, the mind-body problem, and the so called ‘hard problem of consciousness’. An essay on ancient as modern philosophical conceptions, from the One of Plotinus, the God of Spinoza until the recent revival of panpsychism or the universal consciousness. A journey into quantum physics from the perspective of philosophical idealism and an invitation to adopt new ways of seeing that might help us to transform our present understanding, expanding it into an integral cosmology, with a special emphasis on the spiritual and evolutionary cosmology of the Indian seer Sri Aurobindo. -/- Not just a philosophical and metaphysical meditation but, rather, an appeal to work towards a change of consciousness, a widening of our perspective towards a new way of seeing beyond a purely mechanistic worldview to avoid a social, environmental and economic collapse. Humans are transitional beings that will have to make a choice: relapse into a pre-rational state or evolve towards a new trans-rational species supported by an ideal of human unity in diversity as the expression of a spiritual evolutionary process, the call of the Spirit on Nature. (shrink)

This volume, The Brazilian Studies in the Philosophy and History of Science, is the first attempt to present to a general audience, works from Brazil on this subject. The included papers are original, covering a remarkable number of relevant topics of philosophy of science, logic and on the history of science. The Brazilian community has increased in the last years in quantity and in quality of the works, most of them being published in respectable international journals on the subject. The (...) chapters of this volume are forwarded by a general introduction, which aims to sketch not only the contents of the chapters, but it is conceived as a historical and conceptual guide to the development of the field in Brazil. The introduction intends to be useful to the reader, and not only to the specialist, helping them to evaluate the increase in production of this country within the international context. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

This open access book provides an exploration of the consequences of the ontological differences between natural and social objects (sometimes described as objects of nature and objects of thought) in the workings of causal and agency relationships. One of its important and possibly original conclusions is that causal and agency relationships do not encompass all of the dependent relationships encountered in social life. The idea that social reality is contingent has been known (and largely undisputed) at least since Wittgenstein’s “On (...) Certainty”, but social science, and most notably economics has continued to operate on the basis of causal and agency theories borrowed or adapted from the natural sciences. This volume contains essays that retain and justify the partial or qualified use of this approach and essays that totally reject any use of causal and agency theory built on determined facts (closed systems).The rejection is based on the possibly original claim that, whereas causation in the objects of the natural sciences reside in their properties, human action is a matter of intentionality. It engages with critical realist theory and re-examines the role of free will in theories of human action in general and economic theory in particular. (shrink)

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

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...) available to the classical theist for dealing with the challenge of Platonism. It probes in detail the diverse views on the reality of abstract objects and their compatibility with classical theism. It contains a most thorough discussion, rooted in careful exegesis, of the biblical and patristic basis of the doctrine of divine aseity. Finally, it challenges the influential Quinean metaontological theses concerning the way in which we make ontological commitments. (shrink)

Over the past few decades the notion of symmetry has played a major role in physics and in the philosophy of physics. Philosophers have used symmetry to discuss the ontology and seeming objectivity of the laws of physics. We introduce several notions of symmetry in mathematics and explain how they can also be used in resolving different problems in the philosophy of mathematics. We use symmetry to discuss the objectivity of mathematics, the role of mathematical objects, the unreasonable effectiveness of (...) mathematics and the relationship of mathematics to physics. (shrink)

Selectionist evolutionary theory has often been faulted for not making novel predictions that are surprising, risky, and correct. I argue that it in fact exhibits the theoretical virtue of predictive capacity in addition to two other virtues: explanatory unification and model fitting. Two case studies show the predictive capacity of selectionist evolutionary theory: parallel evolutionary change in E. coli, and the origin of eukaryotic cells through endosymbiosis.

Mathematics and logic are indispensable in science, yet how they are deployed and why they are so effective, especially in the natural sciences, is poorly understood. In this paper, I focus on the how by analysing Jean Piaget’s application of mathematics to the empirical content of psychological experiment; however, I do not lose sight of the application’s wider implications on the why. In a case study, I set out how Piaget drew on the stock of mathematical structures to model psychological (...) content, namely, the operations of thought involved in reasoning. In particular, I show how operations of thought form structured wholes that initially resisted modelling by either lattices or groups but could be modelled adequately by modifications of these mathematical structures. Piaget coined the term ‘grouping’ for the modified structure, and I conclude that it represents a non-canonical application of mathematics to the empirical content of experimental psychology. I also touch on the role external factors played in Piaget’s development of the grouping. According to the genetic epistemology conceived by Piaget, the origin of intelligence lies in the biological organism and develops in stages over time, and, via the grouping, Piaget established a genetic relationship between two stages of reasoning. I show how this relationship explains why mathematics and logic fit the psychological content of reasoning whilst simultaneously making their successful deployment in the natural sciences more mysterious. Finally, I turn to the explanation Piaget envisaged for the unreasonable effectiveness of mathematics in the natural sciences and consider some consequences for naturalism and Pythagoreanism. (shrink)

Many contemporary logicians acknowledge a plurality of logical theories and accept that theory choice is in part motivated by logical evidence. However, just as there is no agreement on logical theories, there is also no consensus on what constitutes logical evidence. In this paper, I outline Jean Piaget’s psychological theory of reasoning and show how he used it to diagnose and solve one of the paradoxes of material implication. I assess Piaget’s use of psychology as a source of evidence for (...) logical theory in light of reservations raised by psychologism, and I highlight some ramifications for exceptionalism and anti-exceptionalism about logic by considering his use of psychology as logical evidence in the framework of genetic epistemology, Piaget’s research programme. I conclude that Piaget’s psychological theory of reasoning not only plausibly serves as a source of evidence for logical theory but also makes a strong case for anti-exceptionalism about logic. (shrink)

The various aesthetic phenomena found repeatedly in the scientific enterprise stem from the role of God as artist. If the Creator is an artist, how and why natural scientists study the divine art work can be understood using theological aesthetics and the philosophy of art. The aesthetic phenomena considered here are as follows. First, science reveals beauty and the sublime in natural phenomena. Second, science discovers beauty and the sublime in the theories that are developed to explain natural phenomena. Third, (...) the search for beauty often guides scientists in their work. Fourth, where beauty is perceived, feelings of the sublime often also follow upon further contemplation. This linkage of beauty in science with truth and the sublime runs counter to most aesthetic theory since Kant. Scholarship in theological aesthetics has recently argued that the modern and postmodern elevation of the sublime over beauty is merely a preference that reveals a bias against transcendence—against God. If doing and understanding science can show this sundering of the sublime from the beautiful to be in error, science also gives evidence of transcendence. (shrink)

How can we explain the strange behavior of quantum and relativistic entities? Why do they behave in ways that defy our intuition about how physical entities should behave, considering our ordinary experience of the world around us? In this article, we address these questions by showing that the comportment of quantum and relativistic entities is not that strange after all, if we only consider what their nature might possibly be: not an objectual one, but a conceptual one. This not in (...) the sense that quantum and relativistic entities would be human concepts, but in the sense that they would share with the latter a same conceptual nature, similarly to how electromagnetic and sound waves, although very different entities, can share a same undulatory nature. When this hypothesis is adopted, i.e., when a conceptuality interpretation about the deep nature of physical entities is taken seriously, many of the interpretational difficulties disappear and our physical world is back making sense, though our view of it becomes radically different from what our classical prejudice made us believe in the first place. (shrink)

We explore aspects of an experimental approach to mathematical proof, most notably number crunching, or the verification of subsequent particular cases of universal propositions. Since the rise of the computer age, this technique has indeed conquered practice, although it implies the abandonment of the ideal of absolute certainty. It seems that also in mathematical research, the qualitative criterion of effectiveness, i.e. to reach one’s goals, gets increasingly balanced against the quantitative one of efficiency, i.e. to minimize one’s means/ends ratio. Our (...) story will lead to the consideration of some limit cases, opening up the possibility of proofs of infinite length being surveyed in a finite time. By means of example, this should show that mathematical practice in vital aspects depends upon what the actual world is like. (shrink)

We argue that E. Wigner’s well-known claim that mathematics is unreasonably effective in physics is only one side of the hill. The other side is the surprising insufficiency of present-day mathematics to capture the uniformities that arise in science outside physics. We describe roughly what the situation is in the areas of everyday reasoning, theory of meaning and vagueness. We make also the point that mathematics, as we know it today, founded on the concept of set, need not be a (...) conceptually final and closed system, but only a stage in a developing subject. (shrink)

In his classic work The Mind and its Place in Nature published in 1925 at the height of the development of quantum mechanics but several years after the chemists Lewis and Langmuir had already laid the foundations of the modern theory of valence with the introduction of the covalent bond, the analytic philosopher C. D. Broad argued for the emancipation of chemistry from the crass physicalism that led physicists then and later—with support from a rabblement of philosophers who knew as (...) much about chemistry as etymologists—to believe that chemistry reduced to physics. Here Broad’s thesis is recast in terms more familiar to chemists. In the hard sell of particle physics, several prominent figures in chemistry—Hoffmann, Primas, and Pauling—have had their views interpreted to imply that they were sympathetic to greedy reductionism when in fact they were not. Indeed, being chemists without physicists as alter egos, they could not but side with Broad’s contention that chemistry, as a science that deals primarily in emergent phenomena which are beyond the purview of physicalism, owes no acquiescence to particle physics and its ethereal wares. Historically, among the most widely used expediencies in chemistry and materials science are additivity or mixture rules and their cohort transferability, all of which are devised and used under the mantle of naive reductionism. Here it is argued that while the transfer of functional groups between molecules works empirically to an extent, it is strictly outlawed by the no-cloning theorem of quantum mechanics. Several illustrative examples related to chemistry’s irreducibility to physics are presented and discussed. The failure of naive reductionism exhibited by the deep-inelastic scattering of leptons by A > 2 nuclei is traced to the same flawed reasoning that was the original basis of Moffitt’s ‘atoms in molecules’ hypothesis, the neglect of context, nuclei in the case of high-energy physics and molecules in the case of chemistry. A non-exhaustive list of other contexts from physics, chemistry, and molecular biology evidencing similar departures from the ideal of additivity or reductionism is provided for the perusal of philosophers. Had the call by the mathematician J. T. Schwartz for developments in mathematical linguistics possessed of a less single, less literal, and less simple-minded nature been met, perhaps it might have persuaded scientists to abandon their regressive fixation with unphysical reductionism and to adapt to new methodologies that engender a more nuanced handling of ubiquitous emergent phenomena as they arise in Nature than is the case today. (shrink)

Practitioners of science treat evidence as a separate and objective body of materials that is independent of, and possibly also prior to, all of theorizing. Philosophers of science, by contrast, are increasingly wary of the role of theory in testing and measurement contexts, and hence have problematized the notion of evidence as prior or independent, even in the context of measurement. This paper argues that there is an important sense in which empirical certification of a quantity, via measurement, is indeed (...) prior to theorizing, albeit not necessarily in order of time. The case for this priority distinguishes between the certification of the measurability of a given quantity, as a quantity appropriately measured on a specified scale, and the epistemic warrant due to an assignment of a specific magnitude to that quantity on a given occasion. The result is an account of the certification of a measurable quantity, independent of any theory in which that quantity features. The effect is to render certification of quantities theory-neutral. The aim of the essay is thus to bolster and re-establish a more nuanced empiricist view, via building a case for quantity certification as the epistemic basis (i.e., foundation) of the scientific enterprise. (shrink)

Infinity, in various guises, has been invoked recently in order to ‘explain’ a number of important questions regarding observable phenomena in science, and in particular in cosmology. Such explanations are by their nature speculative. Here we introduce the notions of relative infinity, closure, and economy of explanation and ask: to what extent explanations involving relative or real constructed infinities can be treated as reasonable?

Inasmuch as physical theories are formalizable, set theory provides a framework for theoretical physics. Four speculations about the relevance of set theoretical modeling for physics are presented: the role of transcendental set theory (i) in chaos theory, (ii) for paradoxical decompositions of solid three-dimensional objects, (iii) in the theory of effective computability (Church-Turing thesis) related to the possible “solution of supertasks,” and (iv) for weak solutions. Several approaches to set theory and their advantages and disadvatages for physical applications are discussed: (...) Canlorian “naive” (i.e., nonaxiomatic) set theory, contructivism, and operationalism. In the author's opinion, an attitude of “suspended attention” (a term borrowed from psychoanalysis) seems most promising for progress. Physical and set theoretical entities must be operationalized wherever possible. At the same time, physicists should be open to “bizarre” or “mindboggling” new formalisms, which need not be operationalizable or testable at the lime of their creation, but which may successfully lead to novel fields of phenomenology and technology. (shrink)

Applied mathematics often operates by way of shakily rationalizedexpedients that can neither be understood in a deductive-nomological nor in an anti-realist setting.Rather do these complexities, so a recent paper of Mark Wilson argues, indicate some element in ourmathematical descriptions that is alien to the physical world. In this vein the mathematical opportunistopenly seeks or engineers appropriate conditions for mathematics to get hold on a given problem.Honest mathematical optimists, instead, try to liberalize mathematical ontology so as to include all physicalsolutions. Following (...) John von Neumann, the present paper argues that the axiomatization of a scientifictheory can be performed in a rather opportunistic fashion, such that optimism and opportunism appear as twomodes of a single strategy whose relative weight is determined by the status of the field to beinvestigated. Wilson's promising approach may thus be reformulated so as to avoid precarious talk about a physicalworld that is void of mathematical structure. This also makes the appraisal of the axiomatic method inapplied matthematics less dependent upon foundationalist issues. (shrink)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists sought to (...) formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)

Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and knowledge-based systems. Yet that term obscures many questions about the relationships between the real world, various models of the world, and descriptions of those models in either formal languages or natural languages. Each step in that progression is an abstraction from the overwhelming complexity of the world. At the end, nothing is left but a (...) colorful metaphor for an undefined element of a set W called worlds, which are related by an undefined and undefinable primitive relation R called accessibility. For some purposes, the resulting abstraction has proved to be useful, but as a general theory of meaning, the abstraction omits too many significant features. So much information has been lost at each step that many philosophers, linguists, and psychologists have dismissed model-theoretic semantics as irrelevant to the study of meaning. This article examines the steps in the process of extractingthe pair (W,R) from the world and the way people talk about the world. It shows that the Kripke worlds can be reinterpreted as part of a Peircean semiotic theory, which can also include contributions from many other studies in cognitive science. Among them are Dunn’s semantics based on laws and facts, the lexical semantics preferred by manylinguists, psychological models of how the world is perceived, and philosophies of science that relate theories to the world. A full integration of all those sources is far beyond the scope of this article, but an outline of the approach suggests that Peirce’s vision is capable of relating and reconciling the competing sources. (shrink)