We present an approach in which ancient Greek mathematical proofs by Hippocrates of Chios and Euclid are addressed as a form of (guided) intentional reasoning. Schematically, in a proof, we start with a sentence that works as a premise; this sentence is followed by another, the conclusion of what we might take to be an inferential step. That goes on until the last conclusion is reached. Guided by the text, we go through small inferential steps; in each one, we go (...) through an autonomous reasoning process linking the premise to the conclusion. The reasoning process is accompanied by a metareasoning process. Metareasoning gives rise to a feeling-knowing of correctness. In each step/cycle of the proof, we have a feeling-knowing of correctness. Overall, we reach a feeling of correctness for the whole proof. We suggest that this approach allows us to address the issues of how a proof functions, for us, as an enabler to ascertain the correctness of its argument and how we ascertain this correctness. (shrink)

The cognitive basis of geometry is still poorly understood, even the ‘simpler’ issue of what kind of representation of geometric objects we have. In this work, we set forward a tentative model of the neural representation of geometric objects for the case of the pure geometry of Euclid. To arrive at a coherent model, we found it necessary to consider earlier forms of geometry. We start by developing models of the neural representation of the geometric figures of ancient Greek practical (...) geometry. Then, we propose a related model for the earliest form of pure geometry – that of Hippocrates of Chios. Finally, we develop the model of the neural representation of the geometric objects of Euclidean geometry. The models are based on the hub-and-spoke theory. In our view, the existence of specific models opens the possibility of addressing the relationship between geometric figures and geometric objects, in a novel way, in terms of their neural representation. (shrink)

When adopting a sound logical system, reasonings made within this system are correct. The situation with reasonings expressed, at least in part, with natural language is much more ambiguous. One way to be certain of the correctness of these reasonings is to provide a logical model of them. To conclude that a reasoning process is correct we need the logical model to be faithful to the reasoning. In this case, the reasoning inherits, so to speak, the correctness of the logical (...) model. There is a weak link in this procedure, which we call the faithfulness problem: how do we decide that the logical model is faithful to the reasoning that it is supposed to model? That is an issue external to logic, and we do not have rigorous formal methods to make the decision. The purpose of this paper is to expose the faithfulness problem (not to solve it). For that purpose, we will consider two examples, one from the geometrical reasoning in Euclid’s Elements and the other from a study on deductive reasoning in the psychology of reasoning. (shrink)

The purpose of this work is to address what notion of geometrical object and geometrical figure we have in different kinds of geometry: practical, pure, and applied. Also, we address the relation between geometrical objects and figures when this is possible, which is the case of pure and applied geometry. In practical geometry it turns out that there is no conception of geometrical object.

in this paper we return to Marshall Clagett’s view about the existence of an ancient Greek geometry of motion. It can be read in two ways. As a basic presentation of ancient Greek geometry of motion, followed by some aspects of its further development in landmark works by Galileo and Newton. Conversely, it can be read as a basic presentation of aspects of Galileo’s and Newton’s mathematics that can be considered as developments of a geometry of motion that was first (...) conceived by ancient Greek mathematicians. (shrink)

It has been argued in relation to Old Babylonian mathematical procedure texts that their validity or correctness is self-evident. One “sees” that the procedure is correct without it having, or being accompanied by, any explicit arguments for the correctness of the procedure. Even when agreeing with this view, one might still ask about how is the correctness of a procedure articulated? In this work, we present an articulation of the correctness of ancient Egyptian and Old Babylonian mathematical procedure texts – (...) mathematical texts presenting the solution of problems. We endeavor to make explicit and explain how and why the procedures are reliable over and above the fact that their correctness is intuitive. (shrink)

The purpose of this work is to address the relation existing between ancient Greek practical geometry and ancient Greek pure geometry. In the first part of the work, we will consider practical and pure geometry and how pure geometry can be seen, in some respects, as arising from an idealization of practical geometry. From an analysis of relevant extant texts, we will make explicit the idealizations at play in pure geometry in relation to practical geometry, some of which are basically (...) explicit in definitions, like that of segments in Euclid’s Elements. Then, we will address how in pure geometry we, so to speak, “refer back” to practical geometry. This occurs in two ways. One, in the propositions of pure geometry. The other, when applying pure geometry. In this case, geometrical objects can represent practical figures like, e.g., a practical segment. (shrink)

A perverted space-time geodesy results from the idea of variable rods and clocks, whose length and rates are taken to be affected by the gravitational field. By contrast, what we might call a concrete geodesy relies on the idea of invariable unit-measuring rods and clocks. Indeed, this is a basic assumption of general relativity. Variable rods and clocks lead to a perverted geodesy, in the sense that a curved space-time may be seen as a result of a departure from the (...) Minkowskian space-time as an effect of the gravitational field on the rate of clocks and the length of rods. In the case of a concrete geodesy, we have a curved space-time “directly”, the curvature of which can be determined using (invariable) unit-measuring rods and clocks. In this paper, we will make the case for the plausibility of the claim that Einstein’s views on geometry in relation to general relativity are permeated by a perverted geodesy. (shrink)

Einstein's gravitational redshift derivation in his famous 1916 paper on general relativity seems to be problematic, being mired in what looks like conceptual difficulties or at least contradictions or gaps in his exposition. Was this derivation a blunder? To answer this question, we will consider Einstein’s redshift derivations from his first one in 1907 to the 1921 derivation made in his Princeton lectures on relativity. This will enable to see the unfolding of an interdependent network of concepts and heuristic derivations (...) in which previous ideas inform and condition later developments. The resulting derivations and views on coordinates and clocks are in fact not without inconsistencies. However, we can see these difficulties as an aspect of an evolving network understood as a “work in progress”. (shrink)

In this work, we consider the views of three exponents of major areas of linguistics – Levelt (psycholinguistics), Jackendoff (theoretical linguistics), and Gil (field linguistics) – regarding the issue of the universality or not of the conceptual structure of languages. In Levelt’s view, during language production, the conceptual structure of the preverbal message is language-specific. In Jackendoff’s theoretical approach to language – his parallel architecture –, there is a universal conceptual structure shared by all languages, in contradiction to Levelt’s view. (...) In Gil’s work on Riau Indonesian, he proposes a conceptual structure that is quite different from that of English, adopted by Jackendoff as universal. We find no reason to disagree with Gil’s view. In this way, we take Gil’s work as vindicating Levelt’s view that during language production preverbal messages are encoded with different conceptual structures for different languages. (shrink)

Philosophy of Physics has emerged recently as a scholarly important subfield of philosophy of science. However outside the small community of experts it is not a well-known field. It is not clear even to experts the exact nature of the field: how much philosophical is it? What is its relation to physics? In this work it is presented an overview of philosophy of physics that tries to answer these and other questions.

A re-evaluation of the notion of vacuum in quantum electrodynamics is presented, focusing on the vacuum of the quantized electromagnetic field. In contrast to the ‘nothingness’ associated to the idea of classical vacuum, subtle aspects are found in relation to the vacuum of the quantized electromagnetic field both at theoretical and experimental levels. These are not the usually called vacuum effects. The view defended here is that the so-called vacuum effects are not due to the ground state of the quantized (...) electromagnetic field. Nevertheless it is possible to maintain an empirically demonstrable notion of vacuum state that is consistent with the interpretation of the formalism of the theory. (shrink)

In this paper, we will make explicit the relationship that exists between geometric objects and geometric figures in planar Euclidean geometry. That will enable us to determine basic features regarding the role of geometric figures and diagrams when used in the context of pure and applied planar Euclidean geometry, arising due to this relationship. By taking into account pure geometry, as developed in Euclid’s Elements, and practical geometry, we will establish a relation between geometric objects and figures. Geometric objects are (...) defined in terms of idealizations of the corresponding figures of practical geometry. We name the relationship between them as a relation of idealization. This relation, existing between objects and figures, is what enables figures to have a role in pure and applied geometry. That is, we can use a figure or diagram as a representation of geometric objects or composite geometric objects because the relation of idealization corresponds to a resemblance-like relationship between objects and figures. Moving beyond pure geometry, we will defend that there are two other ‘layers’ of representation at play in applied geometry. To show that, we will consider Euclid’s Optics. (shrink)

Justice Across Ages offers an attractive account of justice between the young and the old that brings together three notable principles of age-group justice: complete-lives equality, relational equality, and prudence. Yet, the book says little about the fact that many of us live longer than others, and the little it does say casts doubt on whether lifespan inequality threatens justice as construed by the three principles. This essay argues, instead, that theories of justice between the young and the old should (...) not dispense with a conception of justice between different longevity groups. It concludes that we must be sensitive to lifespan variations when designing policies to promote justice across age groups. (shrink)

Retirement is often viewed as a reward for a working life. While many have reason to want a work-free retirement, not everyone does. Should working retirees have to give up their retirement pension and, consequently, their status as retirees? The answer, I argue, boils down to whether we conceive of retirement as free time (need-free) or as leisure (work-free). In this article, I put forward a liberal case in favour of free time, despite whether our liberalism leans towards perfectionism or (...) neutralism, with social primary goods being a case in point. Applying this case for free time to retirement yields two significant policy implications. First, it demands “free synchronic combination” – that retirees may use their retirement pensions however they see fit, including to work. Second, it also yields “free diachronic combination” – that, within limits, individuals have discretionary control over how to combine retirement and work across time – thus challenging the idea that retirement should be available only in old age and not earlier in life. So far, the literature on free time focused only on narrow temporal units, such as hours and days, but there is much to gain by extending the concept into retirement. (shrink)

It is generally argued that if the wave-function in the de Broglie–Bohm theory is a physical field, it must be a field in configuration space. Nevertheless, it is possible to interpret the wave-function as a multi-field in three-dimensional space. This approach hasn’t received the attention yet it really deserves. The aim of this paper is threefold: first, we show that the wave-function is naturally and straightforwardly construed as a multi-field; second, we show why this interpretation is superior to other interpretations (...) discussed in the literature; third, we clarify common misconceptions. (shrink)

I want to combine two hitherto largely independent research projects, scientific understanding and mechanistic explanations. Understanding is not only achieved by answering why-questions, that is, by providing scientific explanations, but also by answering what-questions, that is, by providing what I call scientific descriptions. Based on this distinction, I develop three forms of understanding: understanding-what, understanding-why, and understanding-how. I argue that understanding-how is a particularly deep form of understanding, because it is based on mechanistic explanations, which answer why something happens in (...) virtue of what it is made of. I apply the three forms of understanding to two case studies: first, to the historical development of thermodynamics and, second, to the differences between the Clausius and the Boltzmann entropy in explaining thermodynamic processes. (shrink)

The ontological models framework distinguishes ψ-ontic from ψ-epistemic wave- functions. It is, in general, quite straightforward to categorize the wave-function of a certain quantum theory. Nevertheless, there has been a debate about the ontological status of the wave-function in the statistical interpretation of quantum mechanics: is it ψ-epistemic and incomplete or ψ-ontic and complete? I will argue that the wave- function in this interpretation is best regarded as ψ-ontic and incomplete.

This paper investigates the historical origin and ancestors of typicality, which is now a central concept in Boltzmannian Statistical Mechanics and Bohmian Mechanics. Although Ludwig Boltzmann did not use the word typicality, its main idea, namely, that something happens almost always or is valid for almost all cases, plays a crucial role for his explanation of how thermodynamic systems approach equilibrium. At the beginning of the 20th century, the focus on almost always or almost everywhere was fruitful for developing measure (...) theory and probability theory. It was apparently Hugh Everett III who first mentioned typicality in physics in 1957 while searching for a justification of the Born rule in his interpretation of quantum mechanics. The historically closest concept before these developments is moral certainty, which was invented by the medieval French theologian Jean Gerson, and it became a standard concept at least until the Age of Enlightenment, when Jakob Bernoulli proved the Law of Large numbers. (shrink)

We put forth an account for when to believe causal and evidential conditionals. The basic idea is to embed a causal model in an agent’s belief state. For the evaluation of conditionals seems to be relative to beliefs about both particular facts and causal relations. Unlike other attempts using causal models, we show that ours can account rather well not only for various causal but also evidential conditionals.

What does it take to understand a phenomenon ideally, or to the highest conceivable extent? In this paper, we answer this question by arguing for five necessary conditions for ideal understanding: (i) representational accuracy, (ii) intelligibility, (iii) truth, (iv) reasonable endorsement, and (v) fitting. Even if one disagrees that there is some form of ideal understanding, these five conditions can be regarded as sufficient conditions for a particularly deep level of understanding. We then argue that grasping, novel predictions, and transparency (...) are not reasonable conditions for ideal understanding. (shrink)

Philosophers now seem to agree that frequentism is an untenable strategy to explain the meaning of probabilities. Nevertheless, I want to revive frequentism, and I will do so by grounding probabilities on typicality in the same way as the thermodynamic arrow of time can be grounded on typicality within statistical mechanics. This account, which I will call typicality frequentism, will evade the major criticisms raised against previous forms of frequentism. In this theory, probabilities arise within a physical theory from statistical (...) behavior of almost all initial conditions. The main advantage of typicality frequentism is that it shows which kinds of probabilities (that also have empirical relevance) can be derived from physics. Although one cannot recover all probability talk in this account, this is rather a virtue than a vice, because it shows which types of probabilities can in fact arise from physics and which types need to be explained in different ways, thereby opening the path for a pluralistic account of probabilities. (shrink)

Philosophy is sometimes perceived as an abstract and nerdy discipline dealing with problems of its own creation in an isolated chamber of the Ivory Tower. And there is some truth to this view. But philosophy can help us deal with common problems, such as the disagreements we have in our everyday lives.

We argue that the asymmetry between diverging and converging electromagnetic waves is just one of many asymmetries in observed phenomena that can be explained by a past hypothesis and statistical postulate (together assigning probabilities to different states of matter and field in the early universe). The arrow of electromagnetic radiation is thus absorbed into a broader account of temporal asymmetries in nature. We give an accessible introduction to the problem of explaining the arrow of radiation and compare our preferred strategy (...) for explaining the arrow to three alternatives: (i) modifying the laws of electromagnetism by adding a radiation condition requiring that electromagnetic fields always be attributable to past sources, (ii) removing electromagnetic fields and having particles interact directly with one another through retarded action-at-a-distance, (iii) adopting the Wheeler-Feynman approach and having particles interact directly through half-retarded half-advanced action-at-a-distance. In addition to the asymmetry between diverging and converging waves, we also consider the related asymmetry of radiation reaction. (shrink)

It seems plausible that successfully communicating with our peers requires entertaining the same thoughts as they do. We argue that this view is incompatible with other, independently plausible principles of thought individuation. Our argument is based on a puzzle inspired by the Kripkean story of Peter and Paderewski: having developed several variations of the original story, we conclude that understanding and communication cannot be modeled as a process of thought transfer between speaker and hearer. While we are not the first (...) to reach this conclusion, the significance of our argument lies in the fact that it only relies on widely accepted premises, without depending on any especially controversial theory of mental and linguistic content. We conclude by drawing out the implications of that conclusion: if communication and understanding do not require thought identity, then one important motivation for the postulation of inter-personally shared thoughts is undercut. (shrink)

I confront Feyerabend's position and critical rationalism in order to have a foundation or starting point for my (historical) investigation. The main difference of his position towards falsificationism is the belief that different theories cannot be discussed rationally. Feyerabend is convinced that Galilei's observations with the telescope in the historical context of the Copernican revolution supports his criticism. In particular, he argues that the Copernican theory was supported by deficient hypotheses, and falsifications were disposed by ad hoc hypotheses and propaganda. (...) Furthermore, he claims that his philosophy of science reconstructs Galilei's defence of the Copernican theory. He introduces a central principle of his position (the principle of tenacity) in order to justify a research strategy of not eliminating falsified theories. He tries to show that the tenacious defence of a theory corresponds to Galilei's defence of the Copernican theory. Remarkably, Feyerabend's approach to explain the development of science earns an important support from his interpretation of Galilei's observations. On this basis I give a falsificationist interpretation of Galilei's observations with the telescope, and oppose this interpretation to Feyerabend's. From a falsificationist perspective, auxiliary hypotheses compete during the Copernican revolution which can (with some effort) be critically discussed. Then I analyse the historical case in order to test Feyerabend's interpretation of the Copernican revolution. Inter alias I investigate thoroughly whether Galilei, as Feyerabend claims, immunised falsifications of the Copernican theory by the introduction of ad hoc hypotheses. The investigation considers Galilei's explanation of Venus' phases, his establishment of the irradiation hypothesis, the explanation of the telescope's functionality, and the role of the reproducibility of the observations with the telescope. Finally I provide a rational reconstruction of Galilei's falsification of the Ptolemaic theory. The formalisation shows that Galilei was not a cautious critical rationalist, but a very confident scientist using the method of falsification. (shrink)

We advance a theory of the representational role of Euclidean diagrams according to which they are samples of co-exact features. We contrast our theory with two other conceptions, the instantial conception and Macbeth’s iconic view, with respect to how well they accommodate three fundamental constraints on theories of the Euclidean diagrammatic practice— that Euclidean diagrams are used in proofs whose results are wholly general, that Euclidean diagrams indicate the co-exact features that the geometer is allowed to infer from them and (...) that Euclidean diagrams play the same role in both direct proofs and indirect proofs by reductio—and argue that our view is the one best suited to account for them. We conclude by illustrating the virtues of our conception of Euclidean diagrams as samples by means of an analysis of Saccheri’s quadrilateral. (shrink)

In this paper, I assess whether indexical attitudes, e.g. beliefs and desires, have any special properties or present any special challenge to theories of propositional attitudes. I being by investigating the claim that allegedly problematic indexical cases are just instances of the familiar phenomenon of referential opacity. Regardless of endorsing that claim, I provide an argument to the effect that indexical attitudes do have a special property. My argument relies on the fact that one cannot account for what is it (...) to share someone else’s indexical attitudes without rejecting some plausible thesis about propositional attitudes. In the end, I assess Herman Cappelen and Josh Dever’s considerations on intentional action and extract an argument from them that could – if successful – neutralize my own. I finish by arguing that their argument has an important flaw, thus failing to convince us that indexical attitudes are just as ordinary as any other. (shrink)

In this paper we will demonstrate that a computational system can meet the criteria for autonomy laid down by classical enactivism. The two criteria that we will focus on are operational closure and structural determinism, and we will show that both can be applied to a basic example of a physically instantiated Turing machine. We will also address the question of precariousness, and briefly suggest that a precarious Turing machine could be designed. Our aim in this paper is to challenge (...) the assumption that computational systems are necessarily heteronomous systems, to try and motivate in enactivism a more nuanced and less rigid conception of computational systems, and to demonstrate to computational theorists that they might find some interesting material within the enactivist tradition, despite its historical hostility towards computationalism. (shrink)

I analyze the meaning of mass in Newtonian mechanics. First, I explain the notion of primitive ontology, which was originally introduced in the philosophy of quantum mechanics. Then I examine the two common interpretations of mass: mass as a measure of the quantity of matter and mass as a dynamical property. I claim that the former is ill-defined, and the latter is only plausible with respect to a metaphysical interpretation of laws of nature. I explore the following options for the (...) status of laws: Humeanism, primitivism about laws, dispositionalism, and ontic structural realism. (shrink)

This is the BJPS Short Read version of the article When Fields Are Not Degrees of Freedom. In our article, Vera Hartenstein and I show that the world of classical electromagnetism might differ radically from the one we see in physics textbooks and experience day-to-day. First, light may not exist; second, the laws of electromagnetism are either incomplete or completely different; and, third, the mathematics needed to make exact calculations with these novel laws is in early development and not part (...) of the general mathematics curriculum at colleges and universities. (shrink)

The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory relations. We (...) show that our final analysis captures the presumed asymmetry between explanans and explanandum much better than Rott’s original analysis. (shrink)

I suggest a solution to a conflict between semantic internalism – according to which the concepts one expresses are determined by one's use of representations – and publicity – according to which, if two subjects successfully communicate or are in genuine agreement, then they entertain thoughts constituted by the same concepts. My solution rests on the thesis that there can be successful communication and genuine agreement between thinkers employing distinct concepts as long as there is a certain relation (of conceptually (...) guaranteed sameness of extension) between them. In section 2, I motivate semantic internalism and show how it conflicts with publicity. In section 3, I carve the logical space of possible solutions to the conflict into liberal and conservative solutions. Section 4 assesses Wikforss's conservative solution to Burge's arthritis thought‐experiment and concludes that it fails for more than one reason. Section 5 introduces a new case study involving a deferential concept. This case serves as the backdrop for my positive account offered in section 6. The conclusion of the article is preceded by a comparison of my view with another recently proposed by Recanati (section 7) and some replies to possible objections (section 8). (shrink)

I discuss a criterion for successful communication between a speaker and a hearer put forward by Buchanan according to which there is communicative success only if the hearer entertains, as a result of interpreting the speaker's utterance, a thought that has the same truth conditions as the thought asserted by the speaker and, furthermore, does so in virtue of recognizing the speaker's communicative intentions. I argue, against Buchanan, that the data on which it is based are compatible with a view (...) involving Fregean modes of presentation. In the second part of the article I critically discuss Unnsteinsson's claim that communicative success depends on the absence of contextually salient false distinctness beliefs about the subject matter of the conversation. I argue that this thesis leads to clearly counterintuitive consequences and that no fundamental role must be given to the presence or absence of false distinctness beliefs in one's account of successful communication. The upshot is that we should stick with Buchanan's criterion. I conclude by employing Strawson and Recanati's concepts of linking and merging to show how the criterion I favour is compatible with the fact that, when subjects hold no relevant false distinctness beliefs, communicative success does not seem to be disrupted by the hearer seemingly failing to recognize the speaker's intentions. (shrink)

In this paper, we propose a regularity theory of causation. The theory aims to be reductive and to align with our pre‐theoretic understanding of the causal relation. We show that our theory can account for a wide range of causal scenarios, including isomorphic scenarios, omissions, and scenarios which suggest that causation is not transitive.

I defend the hypothesis that the semantic paradoxes, the paradoxes about collections, and the sorites paradoxes, are all paradoxes of reference fixing: they show that certain conventionally adopted and otherwise functional reference-fixing principles cannot provide consistent assignments of reference to certain relevant expressions in paradoxical cases. I note that the hypothesis has interesting implications concerning the idea of a unified account of the semantic, collection and sorites paradoxes, as well as about the explanation of their “recalcitrance”. I also note that (...) it does not necessarily imply that one should not expect the sometimes hoped for “unique” solution to a paradox of these kinds. (shrink)

Abstract We examine the construction of electromagnetism in its current form, and in an alternative form, from a point of view that combines a minimal realism with strict rational demands. We begin by discussing the requests of reason when constructing a theory and next, we follow the historical development as presented in the record of original publications, the underlying epistemology (often explained by the authors) and the mathematical constructions. The historical construction develops along socio-political disputes (mainly, the reunification of Germany (...) and the second industrial revolution), epistemic disputes (at least two demarcations of science in conflict) and several theories of electromagnetism. Such disputes resulted in the militant adoption of the ether by some, a position that expanded in parallel with the expansion of Prussia. This way of thinking was facilitated by the earlier adoption of a standpoint that required, as a condition for understanding, the use of physical hypothesis in the form of analogies; an attitude that is antithetic to Newton's “hypotheses non fingo”. While the material ether was finally abandoned, the epistemology survived in the form of “substantialism” and a metaphysical ether: the space. The militants of the ether attributed certainties regarding the ether to Faraday and Maxwell, when they only expressed doubts and curiosity. Thus, the official story is not the real history. This was achieved by the operation of detaching Maxwell's electromagnetism from its construction and introducing a new game of formulae and interpretations. Large and important parts of Maxwell work are today not known, as for example, the rules for the transformation of the electromagnetic potentials between moving systems. When experiments showed that all the theories based in the material ether were incorrect, a new interpretation was offered: Special Relativity (SR). At the end of the transformation period a pragmatic view of science, well adapted to the industrial society, had emerged, as well as a new protagonist: the theoretical physicist. The rival theory of delayed action at distance initiated under the influence of Gauss was forgotten in the midst of the intellectual warfare. The theory is indistinguishable in formulae from Maxwell's and its earlier versions are the departing point of Maxwell for the construction of his equations. We show in a mathematical appendix that such (relational) theory can incorporate Lorentz' contributions as well as Maxwell's transformations and C. Neumann's action, without resource to the ether. Demarcation criteria was further changed at the end of the period making room for habits and intuitions. When these intuited criteria are examined by critical reason (seeking for the fundaments) they can be sharpened with the use of the Non Arbitrariness Principle, which throws light over the arbitrariness in the construction of SR. Under a fully rational view SR is not acceptable, it requires to adopt a less demanding epistemology that detaches the concept from the conception, such as Einstein's own view in this respect, inherited from Hertz. In conclusion: we have shown in this relevant exercise how the reality we accept depends on earlier, irrational, decisions that are not offered for examination but rather are inherited from the culture. (shrink)

In this paper, we analyse actual causation in terms of production. The latter concept is made precise by a strengthened Ramsey Test semantics of conditionals: \ iff, after suspending judgement about A and C, C is believed in the course of assuming A. This test allows us to verify or falsify that an event brings about another event. Complementing the concept of production by a weak condition of difference-making gives rise to a full-fledged analysis of causation.

There is not much of a consensus on almost anything about quantum mechanics. I take it, however, that the minimum consensus is that "although quantum mechanics is empirically successful, quantum mechanics is hard to understand." Quantum mechanics, in the way it is presented in most textbooks, does indeed not provide a clear picture of reality that would make it a theory to be understood. In her new book, "The World in the Wave Function: A Metaphysics for Quantum Physics," Alyssa Ney (...) tries to make this blurry picture of reality more precise, even if this picture will turn out to be heterodox and unfamiliar. (shrink)

We show that in the Maxwell–Lorentz theory of classical electrodynamics most initial values for fields and particles lead to an ill-defined dynamics, as they exhibit singularities or discontinuities along light-cones. This phenomenon suggests that the Maxwell equations and the Lorentz force law ought rather to be read as a system of delay differential equations, that is, differential equations that relate a function and its derivatives at different times. This mathematical reformulation, however, leads to physical and philosophical consequences for the ontological (...) status of the electromagnetic field. In particular, fields cannot be taken as independent degrees of freedom, which suggests that one should not add them to the ontology. (shrink)

Algunos críticos de la ciencia afirman que es sólo un punto de vista entre otros, sin alguna autoridad epistémica especial. No obstante, en este artículo se defiende que la idea de que la investigación científica involucra una perspectiva o punto de vista no impone una restricción a su ideal de objetividad. Primero se presentan algunas aclaraciones sobre la noción de punto de vista, luego se atiende al concepto de objetividad científica, y por último se enfrentan algunos desafíos que se desprenden (...) de la noción de punto de vista y amenazan rasgos de la objetividad científica vinculados con su autoridad epistémica. -/- Some critics of science claim that it is only a point of view among others, lacking any special epistemic authority. However, this paper contends that conceiving scientific inquiry as something that involves a perspective or a point of view does not pose a constraint on its ideal of objectivity. We first put forward some clarifications on the notion of point of view, followed by some observations on scientific objectivity; finally, we face some of the challenges that rise from the notion of point of view and threaten features of scientific objectivity tied to its epistemic authority.]. (shrink)

This article deals with the most relevant philosophical side of Albert the Great’s analysis of alchemy, aimed at clarifying what alchemical transmutation consists in and whether this process can ultimately be accomplished by men. The Dominican master handles the problem differently in the earlier commentary on Lombardus’ Libri Sententiarum and in works like the De mineralibus, in which a more mature idea of the connection between art and nature is developed. In this respect, Albert’s interpretation intersects with Avicenna’s De congelatione, (...) a fundamental text for the Latin medieval debate on alchemy, whose reception has shaped his understanding of the alchemical art. The Dominican master gradually assumes a more lenient position towards the claims of the alchemical process of transmutation, which he explains by resorting to the similitudes between alchemy and medicine and the comparison of artificial transmutation with natural processes such as the generatio ex putrefactione and the natural formation of minerals. (shrink)

We discuss the no-go theorem of Frauchiger and Renner based on an "extended Wigner's friend" thought experiment which is supposed to show that any single-world interpretation of quantum mechanics leads to inconsistent predictions if it is applicable on all scales. We show that no such inconsistency occurs if one considers a complete description of the physical situation. We then discuss implications of the thought experiment that have not been clearly addressed in the original paper, including a tension between relativity and (...) nonlocal effects predicted by quantum mechanics. Our discussion applies in particular to Bohmian mechanics. (shrink)

Il problema apparentemente insolubile di una giustificazione non circolare dell’induzione diverrebbe più abbordabile se invece di chiederci solo cosa ci assicura che un fenomeno osservato si riprodurrà in modo uguale in un numero potenzialmente infinito di casi futuri, ci chiedessimo anche come si spiega che esso si sia manifestato fin qui in modo identico e senza eccezioni in un numero di casi finito ma assai alto. E’ questa l’idea della giustificazione abduttiva dell’induzione, avanzata in forme diverse da Armstrong, Foster e (...) BonJour: serie talmente regolari di fenomeni sono da un punto di vista logico talmente improbabili che se il mondo fosse puramente casuale (se cioè gli eventi si presentassero con frequenza proporzionale alla loro probabilità logica) esse non potrebbero verificarsi se non per una coincidenza miracolosa. Pertanto, tali regolarità si spiegano solo assumendo che siano prodotte da meccanismi o necessità nomiche; ma se questo è il caso, è corretto concludere che tali regolarità persisteranno anche in futuro senza eccezioni, e dunque le inferenze induttive su di esse sono giustificate. Anche Kornblith argomenta dall’effettivo successo delle inferenze induttive all’esistenza di regolarità oggettive in natura; mentre Sankey parte dall’ uniformità della natura per giustificare l’induzione. Congiungendo le due argomentazioni, dunque, si ottiene di nuovo una giustificazione dell’induzione in base all’argomento del “se non è un miracolo …”. Un ostacolo su questa via è specificare in che senso la natura sia uniforme (dato che ovviamente non lo è in ogni suo aspetto) e di quali regolarità possiamo aspettarci che persistano senza eccezione anche in futuro (dato che evidentemente non tutte lo fanno: l’acqua non bolle sempre a 100°, la pressione non è sempre funzione della temperatura, e così via). Entrano qui in gioco le conoscenze di sfondo e la ripetizione delle osservazioni in condizioni diverse, che ci mostrano quali circostanze siano rilevanti al verificarsi del fenomeno dato. In tal modo, le nostre descrizioni delle regolarità naturali convergono su descrizioni che specificano sia le condizioni individualmente necessarie e congiuntamente sufficienti, sia tutti gli argomenti delle funzioni che costituiscono tali regolarità. Ciò consente di formulare i principi di Uniformità della Natura e di Induzione in modo non generico (e dunque, a seconda della formulazione, vuoto o eccessivo), ma circostanziato: così essi asseriscono, rispettivamente, che la natura è uniforme negli aspetti evidenziati dalle descrizioni su cui convergiamo grazie alle osservazioni ripetute, e che solo queste descrizioni possono essere induttivamente generalizzate. Ciò consente anche di risolvere enigmi alla Goodman, quali: poiché le osservazioni ci hanno mostrato (solo) il verificarsi di una data regolarità fino al momento presente t, come possiamo presumere che essa si verificherà anche dopo t? La risposta è che osservazioni e conoscenza di sfondo non ci dicono che vi sia alcun limite temporale tra le condizioni necessarie della regolarità data. (shrink)

In legal proceedings, a fact-finder needs to decide whether a defendant is guilty or not based on probabilistic evidence. We defend the thesis that the defendant should be found guilty just in case it is rational for the fact-finder to believe that the defendant is guilty. We draw on Leitgeb’s stability theory for an appropriate notion of rational belief and show how our thesis solves the problem of statistical evidence. Finally, we defend our account of legal proof against challenges from (...) Staffel and compare it to a recent competitor put forth by Moss. (shrink)

A discussion of Wolfgang's Stegmüller's ideas on the structuralist conception of theories, especially as presented in his book The Structure and Dynamics of Theories (Springer, 1976).