Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a series of functions in undergraduate analysis. We seek to interpret Cauchy’s proof, and discuss the related epistemological questions involved in comparing distinct interpretive paradigms. Cauchy’s proof is often interpreted in the modern framework of a Weierstrassian paradigm. We analyze Cauchy’s proof closely and show that it finds closer proxies in a different modern framework.

In relation to a thesis put forward by Marx Wartofsky, we seek to show that a historiography of mathematics requires an analysis of the ontology of the part of mathematics under scrutiny. Following Ian Hacking, we point out that in the history of mathematics the amount of contingency is larger than is usually thought. As a case study, we analyze the historians’ approach to interpreting James Gregory’s expression ultimate terms in his paper attempting to prove the irrationality of \. Here (...) Gregory referred to the last or ultimate terms of a series. More broadly, we analyze the following questions: which modern framework is more appropriate for interpreting the procedures at work in texts from the early history of infinitesimal analysis? As well as the related question: what is a logical theory that is close to something early modern mathematicians could have used when studying infinite series and quadrature problems? We argue that what has been routinely viewed from the viewpoint of classical analysis as an example of an “unrigorous” practice, in fact finds close procedural proxies in modern infinitesimal theories. We analyze a mix of social and religious reasons that had led to the suppression of both the religious order of Gregory’s teacher degli Angeli, and Gregory’s books at Venice, in the late 1660s. (shrink)

Most foundationalists allow that relations of coherence among antecedently justified beliefs can enhance their overall level of justification or warrant. In light of this, some coherentists ask the following question: if coherence can elevate the epistemic status of a set of beliefs, what prevents it from generating warrant entirely on its own? Why do we need the foundationalist’s basic beliefs? I address that question here, drawing lessons from an instructive series of attempts to reconstruct within the probability calculus the classical (...) problem of independent witnesses who corroborate each other’s testimony. Starred section headings indicate sections omitted here, but available on the author’s USC website. (shrink)

Science is always presupposing some basic concepts that are held to be useful. These absolute presuppositions (Collingwood) are rarely debated and form the framework for what has been termed paradigm by Kuhn. Our currently accepted scientific model is predicated on a set of presuppositions that have difficulty accommodating holistic structures and relationships and are not geared towards incorporating non-local correlations. Since the theoretical models we hold also determine what we perceive and take as scientifically viable, it is important to look (...) for an alternative model that can deal with holistic relationships. One approach is to generalise algebraic quantum theory, which is an inherently holistic framework, into a generic model. Relaxing some restrictions and definitions from quantum theory proper yields an axiomatic framework that can be applied to any type of system. Most importantly, it keeps the core of the quantum theoretical formalism. It is capable of handling complementary observables, i.e. descriptors which are non-commuting, incompatible and yet collectively required to fully describe certain situations. It also predicts a generalised form of non-local correlations that in quantum theory are known as entanglement. This generalised version is not quantum entanglement but an analogue form of holistic, non-local connectedness of elements within systems, predicted to occur whenever elements within systems are described by observables which are complementary to the description of the whole system. While a considerable body of circumstantial evidence supports the plausibility of the model, we are not yet in a position to use it for clear cut predictions that could be experimentally falsified. The series of papers offered in this special issue are the beginning of what we hope will become a rich scientific debate. (shrink)

The paper exposes the principal procedures of assessing methodological theories. The first one is based on a consensus about the aims of science, the second uses epistemological criteria, and the third checks the adequacy of methodological requirements against the history of science. This third procedure is singled out for a more detailed treatment. It is argued that rational reconstruction constitutes a separate level of historiography and concerns historical explanation. The subject of a rational reconstruction is the methodological explanation of all (...) basic value judgments, whereas all additional factors are not determined by methodological rules. It is further specified in which way rationally reconstructed history should correspond to the actual course of historical events, i. e. to which extent rational reconstruction is free to interpret history according to methodological categories. In the last paragraph the connection between scientific progress and the growth of knowledge is discussed. (shrink)