Eger's contribution towards a reapprochment of Hermeneutics, Science and Science Education is very welcome. His focus on the problem of misconceptions is relevant. All the same in our opinion some not minor points need a clarification. We will try to argue that: a) Hermeneutics cannot be reduced to a semantical interpretation of science texts; its phenomenological aspects have to be taken in account. b) Science has an unavoidable historical dimension; original papers and advanced textbooks are the real depositaries of scientific (...) research. Standard textbooks are a caricature not worth it of a hermeneutical analysis. c) A parallelism can be traced between two dicothomies: the lifeworld of hermeneutics and the scienceworld of epistemology on one side and the extraordinary and the normal science on the other. d) For an overcoming of the misconceptions' problem we propose that the previous dicothomies be bridged through a hermeneutical phenomenological approach to science education that stresses the alternative, historical interpretations of natural phenomena. (shrink)

In discussions of the Aharonov-Bohm effect, Healey and Lyre have attributed reality to loops $\sigma_0$ (or hoops $[\sigma_0]$), since the electromagnetic potential $A$ is currently unmeasurable and can therefore be transformed. I argue that $[A]=[A+d\lambda]_{\lambda}$ and the hoop $[\sigma_0]$ are related by a meaningful duality, so that however one feels about $[A]$ (or any potential $A\in[A]$), it is no worse than $[\sigma_0]$ (or any loop $\sigma_0\in[\sigma_0]$): no ontological firmness is gained by retreating to the loops, which are just as flimsy (...) as the potentials. And one wonders how the unmeasurability of one entity can invest another with physical reality; would an eventual observation of $A$ dissolve $\sigma_0$, consigning it to a realm of incorporeal mathematical abstractions? The reification of loops rests on the potential's ''gauge dependence''; which in turn rests on its unmeasurability; which is too shaky and arbitrary a notion to carry so much weight. (shrink)

Leibniz frequently argued that reasons are to be weighed against each other as in a pair of scales, as Professor Marcelo Dascal has shown in his article "The Balance of Reason." In this kind of weighing it is not necessary to reach demonstrative certainty – one need only judge whether the reasons weigh more on behalf of one or the other option However, a different kind of account about rational decision-making can be found in some of Leibniz's writings. In his (...) article "Was Leibniz's Deity an Akrates?" Professor Jaakko Hintikka has argued that Leibniz developed a new vectorial model for rational decisions which is better suited to complicated decisions, where values are complementary to each other. This model, related closely to his work in metaphysics and the philosophy of mind, is a heuristic device which helps in finding rational combinations - and in an ideal case an optimum - between plural inclinations to the good. I shall argue that Leibniz applies more or less implicitly both of these models in his practical rationality. In simple situations he applied the pair of scales model and in more complicated situations he applied the vectorial model. (shrink)

This paper critically reviews Philip Kitcher's most recent epistemology of science, real realism . I argue that this view is unstable under different understandings of the term 'representation', and that the arguments offered for the position are either unsound or invalid depending on the understanding employed. Suitably modified those arguments are however convincing in favor of a deflationary version of real realism, which I refer to as the bare view . The bare view accepts Kitcher's Galilean strategy, and the ensuing (...) commitment to the existence of unobservables; but it does not trade on a correspondence or copy theory of representation. So the bare view, unlike real realism, does not entail that our representations match reality even approximately. (shrink)

El realismo estructural, como respuesta a la crítica de la llamada “metainducción pesimista”, postula la persistencia de la estructura matemática de las teorías en algunos casos cuando se producen cambios en la evolución de éstas, de tal modo que el éxito de las teorías posteriores se explica por la retención estructural de las teorías anteriores. Aunque en el estructuralismo metateórico no existe un punto de vista monolítico con relación al debate realismo/anti-realismo, en este trabajo se analizarán y discutirán, desde esta (...) propuesta modelística, la validez de los argumentos centrales del realismo estructural como alternativa al realismo científico estándar. Siguiendo la distinción trazada por Ladyman entre realismo estructural epistémico y realismo estructural óntico, en este trabajo se hará una caracterización general del primero, pero el análisis se focalizará principalmente en el análisis y la crítica del segundo. Para ello se echará mano de las herramientas teórico-conceptuales que proporciona la meta-teoría estructuralista en filosofía de la ciencia y, particularmente, de la identificación que en ella se hace de las teorías como clases o conjuntos de modelos y/o estructuras conjuntistas, a fin de clarificar, desde esta propuesta meta-teórica, los presupuestos básicos de lo que Sneed denomina el “realismo científico mínimo” y su variante, el realismo estructural epistemológico, en particular lo que se refiere a su noción de continuidad estructural y a la propuesta de algunos autores de apelar a la sentencia de Ramsey como justificación del realismo estructural sin referencia. (shrink)

Recent defenses of a priori knowledge can be applied to the idea of conventions in science in order to indicate one important sense in which conventionalism is correctsome elements of physical theory have a unique epistemological status as a functionally a priori part of our physical theory. I will argue that the former a priori should be treated as empirical in a very abstract sense, but still conventional. Though actually coming closer to the Quinean position than recent defenses of a (...) priori knowledge, the picture of science developed here is very different from that developed in Quinean holism in that categories of knowledge can be differentiated. (shrink)

In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the assumptions of a reducing theory (...) T with the definitions translating the vocabulary of a reduced theory T' to the vocabulary of T, defeasibly entails the assumptions of reduced T'. This relation of defeasible reduction offers, in the context of additional knowledge becoming available, articulation of a more flexible kind of reduction in theory development than in the classical case. Also, defeasible reduction is shown to solve the problems of entailment that classical homogeneous reduction encounters. Reduction in the defeasible sense is a practical device for studying the processes of science, since it is about highlighting different aspects of the same theory at different times of application, rather than about naive dreams concerning a metaphysical unity of science. (shrink)

Many current neurophysiological, psychophysical, and psychological approaches to vision rest on the idea that when we see, the brain produces an internal representation of the world. The activation of this internal representation is assumed to give rise to the experience of seeing. The problem with this kind of approach is that it leaves unexplained how the existence of such a detailed internal representation might produce visual consciousness. An alternative proposal is made here. We propose that seeing is a way of (...) acting. It is a particular way of exploring the environment. Activity in internal representations does not generate the experience of seeing. The out- side world serves as its own, external, representation. The experience of seeing occurs when the organism masters what we call the gov- erning laws of sensorimotor contingency. The advantage of this approach is that it provides a natural and principled way of accounting for visual consciousness, and for the differences in the perceived quality of sensory experience in the different sensory modalities. Sev- eral lines of empirical evidence are brought forward in support of the theory, in particular: evidence from experiments in sensorimotor adaptation, visual “filling in,” visual stability despite eye movements, change blindness, sensory substitution, and color perception. (shrink)

According to a common philosophical intuition, the deep nature of things is hidden from us, and the world as we know it through perception and science is somehow shallow and lacking in reality. For all we knwo, the intuition goes, we could be living in a cave facing shadows, in a dream or even in a computer simulation, This “intuition of unreality” clashes with a strong, but perhaps more naive, intuition to the effect that the world as we know it (...) seems perfectly real. Shadows, dreams, or informational structures appear too unreal to be identical to the world as we know it! This clash between the two intuitions forms the basis of the "problem of reality." At the turn of the nineteenth century psychiatrists encountered patients they referred to as “metaphysician doubters” who constantly questioned the reality of the world. This essay draws on the study of these patients to reject, and indeed diagnose, the intuition of unreality and recent metaphysical doctrines drawing on it, such as structuralism, digitalism, and virtual realism. (shrink)

Poincaré’s conventionalism has been interpreted in many writings as a philosophical position emerged by reflection on certain scientific problems, such as the applicability of geometry to physical space or the status of certain scientific principles. In this paper I would like to consider conventionalism as a philosophical position that emerged from Poincaré’s scientific practice. But not so much from dealing with scientific problems, as from the use of two specific methodologies proper to modern mathematics and the modern natural sciences: methodological (...) structuralism and the hypothetical-deductive method—thus, as a philosophical position which emerged from a way (or rather, two ways) ofdoingscience. With this approach, I try to deepen the analysis of connections between Poincaré’s scientific practice and his philosophy. (shrink)

In the nineteenth and twentieth centuries many mathematicians referred to intuition as the indispensable research tool for obtaining new results. In this essay we will analyse a group of mathematicians who interacted with Luitzen Egbertus Jan Brouwer in order to compare their conceptions of intuition. We will see how to the same word “intuition” very different meanings corresponded: they varied from geometrical vision, to a unitary view of a demonstration, to the perception of time, to the faculty of considering concepts (...) that habitually occur in our thinking separately. Furthermore, we will discover that these different meanings had a philosophical, very relevant counterside: they passed from a racial characterization of mathematics to a pluralistic view of it. (shrink)

Authoritative appraisals have qualified this book as an “axiomatic” theory. However, given that its essential content is no more than an analogy, its theoretical organization cannot be axiomatic. Indeed, in the first edition Dirac declares that he had avoided an axiomatic presentation. Moreover, I show that the text aims to solve a basic problem (How quantum mechanics is similar to classical mechanics?). A previous paper analyzed all past theories of physics, chemistry and mathematics, presented by the respective authors non-axiomatically. Four (...) characteristic features of a new model of organizing a theory were recognized. A careful examination of Dirac’s text shows that it actually applied this kind of organization of a theory, confirming formally what Kronz and Lupher suggested through intuitive categories (pragmatism and rigour), i.e. Dirac’s formulation of Quantum mechanics represents a distinct theoretical approach from von Neumann’s axiomatic approach. However, since the second edition Dirac has changed his approach: although relying again on analogy, his theory refers to the axiomatic method. Some considerations on the odd paths which led to the present formulation of QM are added. They suggest that a new foundation of this theory needs to be found. (shrink)

Much of the focus on Poincaré’s philosophy of science has been on the notion of convention, a crucial concept that has become distinctive of his position. However, other notions have received much less attention. That is the case of verifiable hypotheses. This kind of hypotheses seems to be constituted from the generalization of several observable facts. So, in order to understand what these hypotheses are, we need to know what a fact to Poincaré is. He divides facts into brute and (...) scientific facts. The characterization of this duality is not trivial at all, and leads us to the following questions that we will discuss in this paper: which the part of construction that exists in a scientific fact and which the part of translation, that is, what remains from the brute fact in the scientific one?; and when we conceive a generalized hypothesis, are we supposed to do it from scientific or from brute facts? The clarification of these questions could lead to distinguish the part of construction and the part of translation in the first steps of science, which is essential to get a better understanding of Poincaré’s conception of science. (shrink)

This article was produced as an introduction to a Portuguese translation of an article by Henri Poincaré titled "The new conceptions of matter". The aim of this introduction was to shortly summarize Poincaré's scientific and philosophical production, to approach the circumstances on which the text was originally presented and, finally, to analyze the relationship - or the lack of it - that Poincaré establishes between science and materialism.

Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...) or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

The paper investigates possible readings of the later Heisenberg's remarks on the nature of quantum states. It discusses, in particular, whether Heisenberg should be seen as a proponent of the epistemic conception of states – the view that quantum states are not descriptions of quantum systems but rather reflect the state assigning observers' epistemic relations to these systems. On the one hand, it seems plausible that Heisenberg subscribes to that view, given how he defends the notorious "collapse of the wave (...) function" by relating it to a sudden change in the epistemic situation of the observer registering a measured result. On the other hand, his remarks on quantum probabilities as "potentia" or "objective tendencies" are difficult to reconcile with such a reading. The accounts that are attributed to Heisenberg by the different possible readings considered are subjected to closer scrutiny; at the same time, their respective virtues and problems are discussed. _German_ Diese Arbeit untersucht mögliche Lesarten von Heisenbergs späten Bemerkungen über die Natur von Quantenzuständen. Insbesondere wird die Frage diskutiert, ob Heisenberg als Vertreter der epistemischen Auffassung von Quantenzuständen gelten kann – der Idee, dass Quantenzustände nicht Beschreibungen der objektiven Eigenschaften von Quantensystemen sind sondern die epistemischen Beziehungen von Beobachtern zu diesen Systemen widerspiegeln. Einerseits erscheint es plausibel, dass Heisenberg dieser Sichtweise zustimmt, wenn man sich ansieht, wie er den berüchtigten,,Kollaps der Wellenfunktion" verteidigt, indem er ihn mit einer plötzlichen Änderung in der Kenntnis des ein Messergebnis registrierenden Beobachters in Zusammenhang bringt. Andererseits sind seine Bemerkungen über quantenmechanische Wahrscheinlichkeiten als,,Potentia" oder,,objektive Tendenzen" mit einer solchen Lesart nur schwer in Einklang zu bringen. Die Positionen, die Heisenberg den verschiedenen möglichen Lesarten zufolge vertritt, werden eingehenden Untersuchungen unterzogen; gleichzeitig werden ihre jeweiligen Vorzüge und Probleme diskutiert. (shrink)

Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places on what the majority of working mathematicians actually do, rather than on mathematical foundations. -/- The book begins by first challenging the (...) assumption that there is no role for informal logic in mathematics. Next, it details the usefulness of argumentation theory in the understanding of mathematical practice, offering an impressively diverse set of examples, covering the history of mathematics, mathematics education and, perhaps surprisingly, formal proof verification. From there, the book demonstrates that mathematics also offers a valuable testbed for argumentation theory. Coverage concludes by defending attention to mathematical argumentation as the basis for new perspectives on the philosophy of mathematics. ​. (shrink)

According to a common philosophical intuition, the deep nature of things is hidden from us, and the world as we know it through perception and science is, just like a dream, shadows, or a computer simulation, somehow shallow and lacking in reality. This “intuition of unreality” clashes with a strong, but perhaps more naive, intuition to the effect that the world as we know it seems perfectly real. Shadows, dreams, or informational structures appear too unreal to be identical to the (...) world as we know it! This clash between the two intuitions forms the basis of the “problem of reality.” In the late nineteenth century psychiatrists encountered patients they referred to as “metaphysician doubters” who constantly questioned the reality of the world. This essay draws on studies of these patients in order to reject, and indeed diagnose, the intuition of unreality and recent metaphysical doctrines drawing on it, such as structuralism, digitalism, and virtual realism. (shrink)

Wittgenstein wrote: “No supposition seems to me more natural than that there is no process in the brain correlated with associating or with thinking; so that it would be impossible to read off thought-processes from brain processes.” In general, he rejects what he calls “psycho-physical parallelism.” In Sect. 1, I explain Wittgenstein’s position on this topic and how his followers defend it. In Sect. 2, I argue against Wittgenstein, contending that there is “thought” in a wider sense and that it (...) can be “manifested” without expression. Thought does not need to be ordinarily expressed or even expressible, and it can be read off from the brain, provided one has sufficient technology, data, and understanding of the subject’s interaction with the environment. In Sect. 3, I offer results from brain-science in support of my claims. (shrink)

This essay examines the provenance of a single, curious term that William James often used in connection with his own pragmatism. The term is Denkmittel, an uncommon German contraction of Denk and Mittel. James’s Central European sources for this now forgotten bit of philosophical jargon provide a small illustration of a bigger historical point that too often gets obscured. Pragmatism—James’s pragmatism, at least—was both allied with and inspired by a broader sweep of scientific instrumentalism that was already flourishing in fin (...) de siècle European philosophy. (shrink)

This study applied a method of assisted introspection to investigate the phenomenology of mathematical intuition arousal. The aim was to propose an essential structure for the intuitive experience of mathematics. To achieve an intersubjective comparison of different experiences, several contemporary mathematicians were interviewed in accordance with the elicitation interview method in order to collect pinpoint experiential descriptions. Data collection and analysis was then performed using steps similar to those outlined in the descriptive phenomenological method that led to a generic structure (...) that accounts for the intuition surge in the experience of mathematics which was found to have four irreducible structural moments. The interdependence of these moments shows that a perceptualist view of intuition in mathematics, as defended by Chudnoff, is relevant to the characterization of mathematical intuition. The philosophical consequences of this generic structure and its essential features are discussed in accordance with Husserl’s philosophy of ideal objects and theory of intuition. (shrink)

We pursue an account of merging through the use of geodesic semantics, the semantics based on the length of the shortest path on a graph. This approach has been fruitful in other areas of belief change such as revision and update. To this end, we introduce three binary merging operators of propositions defined on the graph of their valuations and we characterize them with a finite set of postulates.

In the last times some scholars tried to characterize Einstein’s distinction between ‘constructive’ – i.e. deductive - theories and ‘principle’ theories, the latter ones being preferred by Einstein. Here this distinction is qualified by an accurate inspection on past physical theories. Some previous theories are surely non-deductive theories. By a mutual comparison of them a set of features - mainly the arguing according to non-classical logic - are extracted. They manifest a new ideal model of organising a theory. Einstein’s paper (...) of 1905 on quanta, qualified by him as a ‘principle theory’, is interpreted according to this model of theory. Some unprecedented characteristic features are manifested. At the beginning of the same paper Einstein declared one more dichotomy about the kind of mathematics in theoretical physics. These two dichotomies are recognised as representing the foundations of theoretical physics. With respect to these dichotomies the choices by Einstein in the paper on quanta are the alternative choices to Newton’s ones. This fact gives reason to the ‘revolutionary’ nature that Einstein attributed to his paper. (shrink)

The issue is obscured by the fact that the word `space' can be used in four different ways. It can be used, first, as a term of pure mathematics, as when mathematicians talk of an `n-dimensional phase-space', an `n-dimensional vector-space', a `three-dimensional projective space' or a `twodimensional Riemannian space'. In this sense the word `space' means the totality of the abstract entities-the `points'-implicitly defined by the axioms. There is no doubt that there exist, iii this sense, non-Euclidean spaces, because all (...) that is claimed by such an assertion is that sets of non-Euclidean axioms constitute possible implicit definitions of abstract entities, that is to say that some sets of non-Euclidean axioms are consistent. If Kant or any other philosopher had denied this, he would have been wrong; but Kant himself took care not to deny it, 2 and there is little reason to suppose that any philosopher concerned about space has been using the word in this, the pure mathematician's, sense. (shrink)

The paper proposes a way of bridging the gapbetween physical processes in the brain and the ''''felt''''aspect of sensory experience. The approach is based onthe idea that experience is not generated by brainprocesses themselves, but rather is constituted by theway these brain processes enable a particular form of''''give-and-take'''' between the perceiver and theenvironment. From this starting-point we are able tocharacterize the phenomenological differences betweenthe different sensory modalities in a more principledway than has been done in the past. We are also (...) ableto approach the issues of visual awareness andconsciousness in a satisfactory way. Finally weconsider a number of testable empirical consequences,one of which is the striking prediction of thephenomenon of ''''change blindness''''. (shrink)

Much of the focus on Poincaré’s philosophy of science has been on the notion of convention, a crucial concept that has become distinctive of his position. However, other notions have received much less attention. That is the case of verifiable hypotheses. This kind of hypotheses seems to be constituted from the generalization of several observable facts. So, in order to understand what these hypotheses are, we need to know what a fact to Poincaré is. He divides facts into brute and (...) scientific facts. The characterization of this duality is not trivial at all, and leads us to the following questions that we will discuss in this paper: which the part of construction that exists in a scientific fact and which the part of translation, that is, what remains from the brute fact in the scientific one?; and when we conceive a generalized hypothesis, are we supposed to do it from scientific or from brute facts? The clarification of these questions could lead to distinguish the part of construction and the part of translation in the first steps of science, which is essential to get a better understanding of Poincaré’s conception of science. (shrink)

For many decades, Duhem has been considered a paradigmatic instrumentalist, and while some commentators have argued against classifying him in this way, it still seems prevalent as an interpretation of his philosophy of science. Yet such a construal bears scant resemblance to the views presented in his own works—so little, indeed, that it might be said to constitute no more than a mere phantom with respect to his actual thought. In this article, we aim to deconstruct this phantom, tracing the (...) sources of the misconceptions surrounding his ideas and pinpointing the sources and/or causes of its proliferation. We subsequently point out and discuss those elements of his philosophy that, taken together, support the view of him as a scientific realist of a sophisticated kind. Finally, we defend our own interpretation of his thought against suggestions to the effect that it is oriented towards neither instrumentalism nor scientific realism. (shrink)

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...) within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons, they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How. (shrink)

Time as the key to a theory of everything became recently a renewed topic in scientific literature. Social constructivism applied to physics abandons the inevitable essentials of nature. It adopts uncertainty in the scope of the existential activity of scientific research. We have enlightened the deep role of social constructivism of the predetermined Newtonian time and space notions in natural sciences. Despite its incompatibility with determinism governing the Newtonian mechanics, randomness and entropy are inevitable when negative localized energy is transformed (...) into spatially dissipative heat. In sharp contrast to the Newtonian notion, social constructivism makes room for the temporal twin of cyclic conservation and pseudo-linearly structural evolution both reconciling mechanical order and thermodynamic chaos in Leibnizian space-time. In the broad scope of natural sciences this triad nature of time produces a multiple reality and gives appropriate answers on virtual physical paradoxes. (shrink)

In 1906, Frigyes Riesz introduced a preliminary version of the notion of a topological space. He called it a mathematical continuum. This development can be traced back to the end of 1904 when, genuinely interested in taking up Hilbert’s foundations of geometry from 1902, Riesz aimed to extend Hilbert’s notion of a two-dimensional manifold to the three-dimensional case. Starting with the plane as an abstract point-set, Hilbert had postulated the existence of a system of neighbourhoods, thereby introducing the notion of (...) an accumulation point for the point-sets of the plane. Inspired by Hilbert’s technical approach, as well as by recent developments in analysis and point-set topology in France, Riesz defined the concept of a mathematical continuum as an abstract set provided with a notion of an accumulation point. In addition, he developed further elementary concepts in abstract point-set topology. Taking an abstract topological approach, he formulated a concept of three-dimensional continuous space that resembles the modern concept of a three-dimensional topological manifold. In 1908, Riesz presented his concept of mathematical continuum at the International Congress of Mathematicians in Rome. His lecture immediately won the attention of people interested in carrying on his research. They promoted his ideas, thus assuring their gradual reception by several future founders of general topology. In this way, Riesz’s work contributed significantly to the emergence of this discipline. (shrink)

Within science fiction the topic of ‘first contact’ is a popular theme. How will an encounter with aliens unfold? Will we succeed in communicating with them? Although such questions are present in the background of many science fiction novels, they are not always explicitly dealt with and even if so, often in a poor way. In this article, I will introduce a typology of five dominant types of solutions to the problem of first contact in science fiction works. The first (...) four solutions are the more dominant, but also the least interesting ones. There is a fifth category that addresses the question of first contact in a more interesting way, exemplified by the work of Stanisław Lem. This fifth option defines itself as a critique of the four previous categories, or of their shared assumption of what Lem (1967) has called ‘the myth of cognitive universality’. Lem is sceptical of the common optimism that first contact will always be successful. In books such as Solaris (1961), His Master’s Voice (1967) and Fiasco (1986), humanity makes first contact with an alien phenomenon, but fails to comprehend the phenomenon. Fundamentally, it will be argued that Lem’s work shows that in such an encounter we will typically not only lack the right answers to our questions, but that we also often lack the correct questions: we simply do not have the right categories or instruments to even recognize, let alone meaningfully interrogate, the alien phenomenon. The article ends with an exploration of the implications of Lem’s pessimism and whether it is the most plausible option for first contact. Moreover, the article will draw some lessons for philosophy of science, by exploring the parallel with the confrontation of novel or deviant phenomena in science. Lem’s work is helpful here because it succeeds in articulating what has not always been appreciated in the philosophy of science, namely that the right questions by which to interrogate scientific phenomena are not given, but that their articulation always requires work. (shrink)

Mathematics stand in a privileged relationship with aesthetics: a relationship that follows two main directions. The first concerns the introduction of mathematical considerations into aesthetic discourse. For instance, it is common to mention the mathematical architecture of certain artistic productions. The second leads from aesthetics to mathematics. In this case, the question is that of the role and meaning that aesthetic considerations may assume in mathematics. It is indeed a widely held view among mathematicians, of whatever socio-historical context, not only (...) to see their discipline as presenting a strong aesthetic dimension, but also to consider that this dimension plays a fundamental role in the process of developing and understanding mathematics. The main ambition of this paper is to show how Nelson Goodman’s aesthetics can be used to justify this point of view and to propose a thesis concerning the aesthetic functioning of mathematics. This first result allows to resituate Goodman’s aesthetics within a very classical tradition that will be described. Finally, the underlying ambition is to show the keys provided by Goodman’s theory for the philosophy of mathematics. (shrink)

Poincaré was a persistent critic of logicism. Unlike most critics of logicism, however, he did not focus his attention on the basic laws of the logicists or the question of their genuinely logical status. Instead, he directed his remarks against the place accorded to logical inference in the logicist's conception of mathematical proof. Following Leibniz, traditional logicist dogma (and this is explicit in Frege) has held that reasoning or inference is everywhere the same — that there are no principles of (...) inference specific to a given local topic. Poincaré, a Kantian, disagreed with this. Indeed, he believed that the use of non-logical reasoning was essential to genuinely mathematical reasoning (proof). In this essay, I try to isolate and clarify this idea and to describe the mathematical epistemology which underlies it. Central to this epistemology (which is basically Kantian in orientation, and closely similar to that advocated by Brouwer) is a principle of epistemic conservation which says that knowledge of a given type cannot be extended by means of an inference unless that inference itself constitutes knowledge belonging to the given type. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

This paper aims at understanding the concept of convention in mechanics as a notion transferred from the field of jurisprudence. This enables us to clarify it as a new epistemic category having a pertinent role in the transformation of mechanics in the nineteenth century. Such understanding permits a separation from linguistic and arbitrary conventions, thus highlighting its epistemic features and not transforming fundamental principles into mere arbitrary agreements. After addressing the main references in the literature discussing the role of convention (...) in mechanics, we analyze its classical use as a concept originating from law. Then we explain its use by Carl G. Jacobi, Ferdinand F. Reech, and J. Henri Poincaré. Here we also show how their uses conform to the features analyzed regarding conventions in jurisprudence. Finally, we try to explain how the use of this concept, among other factors, contributed to the transformation of mechanics. (shrink)

Inferential communities are communities using specific substantial argumentative schemes. The religious or scientific communities are examples. I discuss the status of the mathematical community as it appears through the position held by the French mathematician Henri Poincaré during his famous ar-guments with Russell, Hilbert, Peano and Cantor. The paper focuses on the status of complete induction and how logic and psychology shape the community of mathematicians and the teaching of mathematics.

In this paper the classical topic of “conventionality” in defining the simultaneity (or synchrony) of distant events is tackled again, and the validity of Reichenbach's view is carefully circumscribed. In particular, the role of “one-way” assumptions in the foundations of special relativity is emphasized. The restriction by the round-trip isotropy condition on the admissible distance functions in inertial frames is studied, and its relevance to several issues (absolute simultaneity, the interpretation of Michelson–Morley type experiments, the self-measured speed of a clock) (...) is shown. Two “clock transport” synchronizations in an inertial frame, using self-measured speed and “proper distance,” are presented in detail, and the agreement of the synchronies so established with standard synchrony is proven to be non- circular. By assuming a reasonable concept of “convention” this result is shown to dissolve several objections by supporters of a strong version of conventionalism. Throughout, a number of common misapprehensions in the literature are pointed out. (shrink)

The foundation of Mathematics is both a logico-formal issue and an epistemological one. By the first, we mean the explicitation and analysis of formal proof principles, which, largely a posteriori, ground proof on general deduction rules and schemata. By the second, we mean the investigation of the constitutive genesis of concepts and structures, the aim of this paper. This “genealogy of concepts”, so dear to Riemann, Poincaré and Enriques among others, is necessary both in order to enrich the foundational analysis (...) with an often disregarded aspect (the cognitive and historical constitution of mathematical structures) and because of the provable incompleteness of proof principles also in the analysis of deduction. For the purposes of our investigation, we will hint here to a philosophical frame as well as to some recent experimental studies on numerical cognition that support our claim on the cognitive origin and the constitutive role of mathematical intuition. (shrink)

At the beginning of the twentieth century, among the foundational schools of mathematics appeared ‘intuitionism’ by Dutchman L. E. J. Brouwer, who based arithmetic on the intuition of time and all mental constructions that could be made out of it. His pupil Arend Heyting was the first populariser of intuitionism, and he repeatedly emphasised that no philosophy was required to practise intuitionism so that such mathematics could be shared by anyone. Still, stimulated by invitations to humanistic conferences, he wrote a (...) series of notes, preserved in the State Archives, Haarlem, about solipsism. In them, he operated a series of theoretical reflections consisting of the stripping away of the patterns that are part of our consciousness and their subsequent progressive re-introduction, in order to understand the formation of our Self as distinct from the natural world and other humans. In 1996, following a stroke, neuroscientist Jill Bolte Taylor experienced the deprivation of certain abilities in her brain and their successive regaining. In her experience there are remarkable similarities with what Heyting had hypothesised about the formation of the self. The purpose of this article is to highlight them and point out how Heyting's theoretical construct was found to be embodied in the brain. (shrink)

In an extension of speculations that physical space–time is a fractal which might itself be embedded in a high-dimensional continuum, it is hypothesized to “compensate” for local variations of the fractal dimension by instead varying the metric in such as way that the intrinsic dimensionality remains an integer. Thereby, an extrinsic fractal continuum is intrinsically perceived as a classical continuum. Conversely, it is suggested that any variation of the metric from its Euclidean form can be “shifted” to nontrivial fractal topology. (...) Thereby “holes” or “gaps” in spacetime could give rise to curvature. (shrink)

Non-compensatory aggregation rules are applied in a variety of problems such as voting theory, multi-criteria analysis, composite indicators, web ranking algorithms and so on. A major open problem is the fact that non-compensability implies the analytical cost of loosing all available information about intensity of preference, i.e. if some variables are measured on interval or ratio scales, they have to be treated as measured on an ordinal scale. Here this problem has been tackled in its most general formulation, that is (...) when mixed measurement scales (interval, ratio and ordinal) are used and both stochastic and fuzzy uncertainties are present. Objectives of this article are first to present a comprehensive review of useful solutions already proposed in the literature and second to advance the state of the art mainly in the theoretical guarantee that weights have the meaning of importance coefficients and they can be summarized in a voting matrix. This is a key result for using non-compensatory Condorcet consistent rules. A proof on the probability of existence of ties in the voting matrix is also developed. (shrink)

In this paper, we offer a Piagetian perspective on the construction of the logico-mathematical schemas which embody our knowledge of logic and mathematics. Logico-mathematical entities are tied to the subject's activities, yet are so constructed by reflective abstraction that they result from sensorimotor experience only via the construction of intermediate schemas of increasing abstraction. The axiom set does not exhaust the cognitive structure (schema network) which the mathematician thus acquires. We thus view truth not as something to be defined within (...) the closed world of a formal system but rather in terms of the schema network within which the formal system is embedded. We differ from Piaget in that we see mathematical knowledge as based on social processes of mutual verification which provide an external drive to any necessary dynamic of reflective abstraction within the individual. From this perspective, we argue that axiom schemas tied to a preferred interpretation may provide a necessary intermediate stage of reflective abstraction en route to acquisition of the ability to use formal systems in abstracto. (shrink)

In discussions of the Aharonov-Bohm effect, Healey and Lyre have attributed reality to loops $\sigma_0$ (or hoops $[\sigma_0]$), since the electromagnetic potential $A$ is currently unmeasurable and can therefore be transformed. I argue that $[A]=[A+d\lambda]_{\lambda}$ and the hoop $[\sigma_0]$ are related by a meaningful duality, so that however one feels about $[A]$ (or any potential $A\in[A]$), it is no worse than $[\sigma_0]$ (or any loop $\sigma_0\in[\sigma_0]$): no ontological firmness is gained by retreating to the loops, which are just as flimsy (...) as the potentials. And one wonders how the unmeasurability of one entity can invest another with physical reality; would an eventual observation of $A$ dissolve $\sigma_0$, consigning it to a realm of incorporeal mathematical abstractions? The reification of loops rests on the potential's ''gauge dependence''; which in turn rests on its unmeasurability; which is too shaky and arbitrary a notion to carry so much weight. (shrink)

There has been little research into the weak kindsof negating hypotheses. Hypotheses may be unfalsifiable. In this case it is impossible tofind a contradiction in some area of the conceptualsystems in which they are incorporated.Notwithstanding this fact, it is sometimes necessaryto construct ways of rejecting the unfalsifiablehypothesis at hand by resorting to some external forms of negation, external because wewant to avoid any arbitrary and subjectiveelimination, which would be rationally orepistemologically unjustified. I will consider akind of ``weak'''' (unfalsifiable) hypotheses that (...) arehard to negate and the ways for making it easy. Inthese cases the subject can ``rationally'''' decide towithdraw his hypotheses even in contexts where it is``impossible'''' to find ``explicit'''' contradictions: theuse of negation as failure (an interestingtechnique for negating hypotheses and accessing newones suggested by artificial intelligence) isilluminating. I plan to explore whether this kind ofnegation can be employed to model hypothesiswithdrawal in Poincaré''s conventionalism of theprinciples of physics and in Freudian analyticreasoning. (shrink)