If there is an area of discourse in which disagreement is virtually absent, it is mathematics. After all, mathematicians justify their claims with deductive proofs: arguments that entail their conclusions. But is mathematics really exceptional in this respect? Looking at the history and practice of mathematics, we soon realize that it is not. First, deductive arguments must start somewhere. How should we choose the starting points (i.e., the axioms)? Second, mathematicians, like the rest of us, are fallible. Their ability (...) to recognize whether a putative proof is correct is not infallible. In most cases, disagreement over the correctness of a putative proof is, however, evanescent. Once an error is spotted and communicated, the disagreement disappears. But this is not always the case. Sometimes it is recalcitrant; that is, it persists over time. In order to zoom in on this type of disagreement and explain its very possibility, we focus on a single case study: a decades-long (1921-1949) controversy between Federigo Enriques and Francesco Severi, two prominent exponents of the Italian school of algebraic geometry. We suggest that the instability of the mathematical community to which they belonged can be explained by the gap between an abstract criterion of rigor and local criteria of acceptability. It is this instability that made the existence of recalcitrant disagreement over putative proofs possible. We do not condemn speculative mathematics but rather its pretense of being rigorous mathematics. In this respect, we show that the overly self-confident Severi and the more intuitive, visionary Enriques had a completely different attitude. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of (...) logic). This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

We discuss central aspects of history of the concept of an affine differentiable manifold, as a proposal confirming the need for using some quantitative methods (drawn from elementary Model Theory) in Mathematical Historiography. In particular, we prove that this geometric structure is a syntactic rigid designator in the sense of Kripke-Putnam.

An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of (...) K-O comparative vocabulary theoretical term reductions, from historical and philosophical standpoints, as a contribution to the history of the philosophy of science. The K-O theoretical reduction model qualifies a theory replacement as a successful reduction when preconditions of explanatory adequacy and comparable systematicization are met, and there occur fewer numbers of theoretical terms identified as replicable syntax types in the most economical statement of a theory’s putative propositional truths, as compared with the theoretical term count for the theory it replaces. The challenge to the historical model developed here, to help explain its scope and limitations, involves the potential for equivocal theoretical meanings of multiple theoretical term tokens of the same syntactical type. (shrink)

The main algebraic foundations of quantum mechanics are quickly reviewed. They have been suggested since the birth of this theory till up to last years. They are the following ones: Heisenberg-Born- Jordan’s (1925), Weyl’s (1928), Dirac’s (1930), von Neumann’s (1936), Segal’s (1947), T.F. Jordan’s (1986), Morchio and Strocchi’s (2009) and Buchholz and Fregenhagen’s (2019). Four cases are stressed: 1) the misinterpretation of Dirac’s algebraic foundation; 2) von Neumann’s ‘conversion’ from the analytic approach of Hilbert space to the algebraic approach of (...) the rings of operators; 3) Morchio and Strocchi’s improving Dirac’s analogy between commutators and Poisson Brackets into an exact equivalence; 4) the recent foundation of quantum mechanics upon the algebra of perturbations. Some considerations on alternating theoretical importance of the algebraic approach in the history of QM are offered. The level of formalism has increased from the mere introduction of matrices to group theory and C*-algebras but has not led to a definition of the foundations of physics; in particular, an algebraic formulation of QM organized as a problem-based theory and an exclusive use of constructive mathematics is still to be discovered. (shrink)

A study of the making of George Peacock's highly influential, yet disturbingly split, 1830 account of algebra as an entanglement of two separate undertakings: arithmetical and symbolical or formal.

In this paper, we wish to highlight, within the general cultural context, some possible elementary computational psychoanalysis formalizations concerning Matte Blanco’s bi-logic components through certain very elementary mathematical tools and notions drawn from theoretical physics and algebra. NOTE: This is the corrected version of the paper which had to be published but that instead has been wrongly uploaded in the related published proceedings.

John Corcoran. 1979 Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974). Mathematical Reviews 58 3202 #21388. -/- The “method of analysis” is a technique used by ancient Greek mathematicians (and perhaps by Descartes, Newton, and others) in connection with discovery of proofs of difficult theorems and in connection with discovery of constructions of elusive geometric figures. Although this method was originally applied in geometry, its later application to number played an important role in the early development of (...) algebra [Jacob Klein, English translation, Greek mathematical thought and the origin of algebra, especially pp. 154–157, M.I.T. Press, Cambridge, Mass., 1968]. -/- It is universally agreed that the method of analysis begins by “assuming the thing sought after” (e.g., in geometry, the truth of the proposition to be proved or the existence of the geometric figure to be constructed). Aside from this, little else can be taken for granted. There is disagreement concerning the “direction of analysis”, i.e. whether one is to seek implications of the assumption or whether one is to seek implicants of it. There is also disagreement concerning what is to be “anatomized” (analyzed), i.e., whether one analyzes mathematical objects (figures), mathematical propositions (the axioms, known theorems, and analytic assumption) or an imagined proof (of the analytic assumption from axioms and known theorems). (shrink)

Intra-molecular connectivity (that is, chemical structure) does not emerge from computations based on fundamental quantum-mechanical principles. In order to compute molecular electronic energies (of C 3 H 4 hydrocarbons, for instance) quantum chemists must insert intra-molecular connectivity “by hand.” Some take this as an indication that chemistry cannot be reduced to physics: others consider it as evidence that quantum chemistry needs new logical foundations. Such discussions are generally synchronic rather than diachronic —that is, they neglect ‘historical’ aspects. However, systems of (...) interest to chemists generally are metastable . In many cases chemical systems of a given elemental composition may exist in any one of several different metastable states depending on the history of the system. Molecular structure generally depends on contingent historical circumstances of synthesis and separation, rather than solely or mainly on relative energies of alternative stable states, those energies in turn determined by relationships among components. Chemical structure is usually ‘kinetically-determined’ rather than ‘thermodynamically-determined.’ For instance, cyclical hydrocarbon ring-systems (as in cyclopropene) are produced only in special circumstances. Adequate theoretical treatments must take account of the persistent effects of such contingent historical events whenever they are relevant—as they generally are in chemistry. (shrink)

By the middle of the seventeenth century we that find that algebra is able to offer proofs in its own right. That is, by that time algebraic argument had achieved the status of proof. How did this transformation come about?

In this paper, a formal theory is presented that describes syntactic and semantic mechanisms of philosophical discourses. They are treated as peculiar language systems possessing deep derivational structures called architectonic forms of philosophical systems, encoded in philosophical mind. Architectonic forms are constituents of more complex structures called architectonic spaces of philosophy. They are understood as formal and algorithmic representations of various philosophical traditions. The formal derivational machinery of a given space determines its class of all possible architectonic forms. Some of (...) them stand under factual historical philosophical systems and they organize processes of doing philosophy within these systems. Many architectonic forms have never been realized in the history of philosophy. The presented theory may be interpreted as falling under Hegel’s paradigm of comprehending cultural texts. This paradigm is enriched and inspired with Propp’s formal, morphological view on texts. The peculiarity of this modification of the Hegel-Propp paradigm consists of the use of algebraic and algorithmic tools of modeling processes of cultural development. To speak metaphorically, the theory is an attempt at the mathematical and logical history of philosophy inspired by the Internet metaphor. And that is why it belongs to the tradition of doing metaphilosophy in The Lvov-Warsaw School, which is continued today mainly by Woleński, Pelc, Perzanowski, and Jadacki. (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...) granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (shrink)

The philosophy of mathematics has been accused of paying insufficient attention to mathematical practice: one way to cope with the problem, the one we will follow in this paper on extensive magnitudes, is to combine the `history of ideas' and the `philosophy of models' in a logical and epistemological perspective. The history of ideas allows the reconstruction of the theory of extensive magnitudes as a theory of ordered algebraic structures; the philosophy of models allows an investigation into the (...) way epistemology might affect relevant mathematical notions. The article takes two historical examples as a starting point for the investigation of the role of numerical models in the construction of a system of non-Archimedean magnitudes. A brief exposition of the theories developed by Giuseppe Veronese and by Rodolfo Bettazzi at the end of the 19th century will throw new light on the role played by magnitudes and numbers in the development of the concept of a non-Archimedean order. Different ways of introducing non-Archimedean models will be compared and the influence of epistemological models will be evaluated. Particular attention will be devoted to the comparison between the models that oriented Veronese's and Bettazzi's works and the mathematical theories they developed, but also to the analysis of the way epistemological beliefs affected the concepts of continuity and measurement. (shrink)

In their seeking of simplicity, scientists fall into the error of Whitehead's "fallacy of misplaced concreteness." They mistake their abstract concepts describing reality for reality itself--the map for the territory. This leads to dogmatic overstatements, paradoxes, and mysteries such as the deep incompatibility of our two most fundamental physical theories--quantum mechanics and general relativity. To avoid such errors, we should evoke Whitehead's conception of the universe as a universe-in-process, where physical relations perpetually beget new physical relations. Today, the most promising (...) interpretations of quantum mechanics exemplify this Whiteheadian idea, formalizing physical systems, and the universe itself, as ongoing histories of actualizations of potential states, where actual states and potential states exist in mutually implicative relation as two separate categories of reality—an idea first proposed by Aristotle and rehabilitated by Heisenberg. In these interpretations, the classical conception of a history as a derivative story about fundamental physical objects is reversed: the classical physical object becomes the derivative story about fundamental histories of quantum states. The consistent histories interpretation of Robert Griffiths and the decoherent histories interpretation of Roland Omnès are cardinal examples of this approach to quantum mechanics. Another example, the relational realist interpretation, begins with the decoherent histories approach and formalizes it explicitly as a Whiteheadian interpretation, taking his “algebraic method” and applying it to quantum mechanics via algebraic topology. This branch of mathematics can be thought of as a “de-concretized” geometry in that it focuses only on the logical relations among objects and regions (and relations of these relations) rather than the fixed magnitudes of lines, planes, and other such rigid intervals. It has all the robust logical structure of geometry yet allows for an elasticity of relations that makes topological mathematical structures inherently immune misplaced concretization. (shrink)

This essay is a contribution to the historical phenomenology of science, taking as its point of departure Husserl’s later philosophy of science and Jacob Klein’s seminal work on the emergence of the symbolic conception of number in European mathematics during the late sixteenth and seventeenth centuries. Sinceneither Husserl nor Klein applied their ideas to actual theories of modern mathematical physics, this essay attempts to do so through a case study of the conceptof “spacetime.” In §1, I sketch Klein’s account of (...) the emergence of the symbolic conception of number, beginning with Vieta in the late sixteenth century. In §2,through a series of historical illustrations, I show how the principal impediment to assimilating the new symbolic algebra to mathematical physics, namely, thedimensionless character of symbolic number, is overcome via the translation of the traditional language of ratio and proportion into the symbolic language of equations. In §§3–4, I critically examine the concept of “Minkowski spacetime,” specifically, the purported analogy between the Pythagorean distance formula and the Minkowski “spacetime interval.” Finally, in §5, I address the question of whether the concept of Minkowski spacetime is, as generally assumed, indispensable to Einstein’s general theory of relativity. (shrink)

The paper is the final, fifth part of a series of studies introducing the new conceptions of “Hilbert mathematics” and “ontomathematics”. The specific subject of the present investigation is the proper philosophical sense of both, including philosophy of mathematics and philosophy of physics not less than the traditional “first philosophy” (as far as ontomathematics is a conservative generalization of ontology as well as of Heidegger’s “fundamental ontology” though in a sense) and history of philosophy (deepening Heidegger’s destruction of it (...) from the pre-Socratics to the Pythagoreans). Husserl’s phenomenology and Heidegger’s derivative “fundamental ontology” as well as his later doctrine after the “turn” are the starting point of the research as established and well known approaches relative to the newly introduced conception of ontomathematics, even more so that Husserl himself started criticizing his “Philosophy of arithmetic” as too naturalistic and psychological turning to “Logical investigations” and the foundations of phenomenology. Heidegger’s “Aletheia” is also interpreted ontomathematically: as a relation of locality and nonlocality, respectively as a motion from nonlocality to locality if both are physically considered. Aristotle’s ontological revision of Plato’s doctrine is “destructed” further from the pre-Socratics' “Logos” or Heideger’s “Language” (after the “turn”) to the Pythagoreans “Numbers” or “Arithmetics” as an inherent and fundamental philosophical doctrine. Then, a leap to contemporary physics elucidates the essence of ontomathematics overcoming the Cartesian abyss inherited from Plato’s opposition of “ideas” versus “things”, and now unifying physics and mathematics, particularly allowing for the “creation from nothing” instead of the quasi-scientific myth of the “Big Bang”. Furthermore, ontomathematics needs another interpretation of arithmetic, propositional logic and set theory in the foundations of mathematics, where the latter two ones are both identified with Boolean algebra, and the former is considered to be a “half of Boolean algebra” in the exact meaning to be equated to it after doubling by a dual anti-isometric counterpart of Peano arithmetic. That unified algebraic realization of the foundations of mathematics is related to Hilbert mathematics in both “narrow and wide senses” where the latter is isomorphic to the qubit Hilbert space, thus underlying all the physical world by the newly introduced substance of quantum information being physically dimensionless and generalizing classical information measured in bits. The substance of information, whether classical or quantum, visualizes the way of the unification of physics and mathematics by merging their foundations in Hilbert arithmetic and Hilbert mathematics: thus how ontomathetics is a “first philosophy”. The relation of ontomathematics to the Socratic “human problematics”, furthermore being fundamental for Western philosophy in Modernity, is discussed. Ontomathematics implies its “substitution” by abstract information (or by “subjectless choice” relevant to it), thus “obliterating the human outline on the ocean beach sand” (by Michel Foucault’s metaphor). A reflection back from the viewpoint of mathematic to Western philosophy as the philosophy of locality ends the study. (shrink)

The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.

In this paper, we make a short history about: the neutrosophic set, neutrosophic numerical components and neutrosophic literal components, neutrosophic numbers, neutrosophic intervals, neutrosophic hypercomplex numbers of dimension n, and elementary neutrosophic algebraic structures. Afterwards, their generalizations to refined neutrosophic set, respectively refined neutrosophic numerical and literal components, then refined neutrosophic numbers and refined neutrosophic algebraic structures.

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to (...) Gauss and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and (...) Sriram Nambiar, I have written several publications trying to set the record straight—but so far to little avail. This encyclopedia entry is one more attempt to set the record straight in a way that can be appreciated by non-experts.Also see https://www.academia.edu/10161999/Booles_criteria_of_validity_and_invalidity . (shrink)

The global relation between logical empiricism and American pragmatism is one of the more difficult problems in history of philosophy. In this paper I’d like to take a local perspective and concentrate on the details that concern the vicissitudes of a philosopher who played an important role in the encounter of logical empiricism and American pragmatism, namely, Ernest Nagel. In this paper, I want to explore some aspects of Nagel’s changing attitude towards the then „new“ logical-empiricist philosophy. In the (...) beginning Nagel welcomed logical empiricism whole-heartedly. This early enthusiasm did not last. At the end of his philosophical career Nagel’s early positive attitude towards logical empiricism shown in the 1930s had been replaced by a much more reserved one. Nagel’s growing dissatisfaction with the Carnapian version of logical empiricist philosophy was clearly expressed in Nagel’s criticism of Carnap’s inductive logic and more generally in his last book Teleology Revisited and Other Essays on History and Philosophy of Science. There he critized harshly Carnap’s philosophy of science in general as ahistoric and non-pragmatist. One of the distinctive features of Nagel’s philosophy of science is the emphasis that he put on the role of history of science for philosophy of science. A compelling evidence for this attitude are his works on the history and philosophy of geometry and algebra One may say that Carnap and Nagel represented opposed possibilities of how the profession of a philosopher of science could be understood: Carnap as a „conceptual engineer“ was engaged in the task of inventing the conceptual tools for a better theoretical understanding of science, while Nagel was to be considered more as a „public intellectual“ engaged in the project of realizing a more rational and enlightened society. (shrink)

We give a brief overview of the evolution of mathematics, starting from antiquity, through Renaissance, to the 19th century, and the culmination of the train of thought of history’s greatest thinkers that lead to the grand unification of geometry and algebra. The goal of this paper is not a complete formal description of any particular theoretical framework, but to show how extremisation of mathematical rigor in requiring everything be drivable directly from first principles without any arbitrary assumptions actually (...) leads to relaxing the computational difficulty along with maximal conceptual clarity. With this, we consider a revision of the foundations of elementary geometry and algebra based on the work of Grassmann and Clifford and apply it to conceptual and practical problems of past and present modern mathematics and mathematical physics. (shrink)

Determinismus und Indeterminismus in der modernen Physik is one of Cassirer’s least known and studied works, despite his own assessment as “one of his most important achievements”. A prominent theme locates quantum mechanics as a yet further step of the tendency within physical theory towards the purely functional theory of the concept and functional characterization of objectivity. In this respect DI can be considered an “update”, like the earlier monograph Zur Einsteinschen Relativitätstheorie: Erkenntnistheoretische Betrachtungen, to Substanzbegriff und Funktionsbegriff, a seminal (...) work considering only classical and pre-relativistic physics. But how does DI cohere with the three volumes of The Philosophy of Symbolic Forms providing a systematic survey of symbolic meanings in diverse aspects of culture, each with its own mode of “objectification” via self-created signs and images? Cassirer’s “phenomenology of cognition” via distinct types of symbolic form locates Dirac’s Principles of Quantum Mechanics as an exemplar within physical theory of purely symbolic thought, a realm of pure relations and their correlated meanings. In particular, Dirac’s characterization of the new notion of “physical state” in quantum mechanics by a “symbolic algebra of observables” severed from particular representations points to a limiting pole of the Bedeutungsfunktion, the third and highest mode of symbolic formation. (shrink)

In his Tractatus, Wittgenstein sets out what he calls his N-operator notation which can be used to calculate whether an expression is a tautology. In his Laws of Form, George Spencer Brown offers what he calls a “primary algebra” for such calculation. Both systems are perplexing. But comparing two blurry images can reduce noise, producing a focus. This paper reveals that Spencer Brown independently rediscovered the quantifier-free part of the N-operator calculus. The comparison sheds a flood light on each (...) and from the letters of correspondence we shall find that Russell, as one might have surmised, was a catalyst for both. (shrink)

Aristotle's Organon in Old and New Logic 1800–1950 explores the reception and interpretation of Aristotle's logic over the last two centuries. The volume covers seminal works during this period by logicians, historians of logic, and historians of philosophy, including John Lloyd Akrill, Francesco Barone, Günther Patzig, Enrico Berti, and Mario Mignucci. Contributors consider the reception of the Organon in old logic and chart the appearance of formal approaches to logic beginning with Boole. This in-depth study of Aristotelianism also covers logic (...) in Kant and Hegel, alongside the problems and projects of interpreting Aristotle in the new logic after Boole and Frege. The background of modern debates concerning induction and abduction provides further insight into Aristotelian logic during the period. By filling gaps in our understanding of Aristotelian logic, this book provides a fundamental missing link in 21st century studies of the history of Aristotelianism. It brings together scholars of both ancient and modern logic to understand the interpretation of ancient logic before and after the development of the modern, algebraic approach to logic. (shrink)

The mathematical developments of the 19th century seemed to undermine Kant’s philosophy. Non-Euclidean geometries challenged Kant’s view that there is a spatial intuition rich enough to yield the truth of Euclidean geometry. Similarly, advancements in algebra challenged the view that temporal intuition provides a foundation for both it and arithmetic. Mathematics seemed increasingly detached from experience as well as its form; moreover, with advances in symbolic logic, mathematical inference also seemed independent of intuition. This paper considers various philosophical responses (...) to these changes, focusing on the idea of modifying Kant’s conception of intuition in order to accommodate the increasing abstractness of mathematics. It is argued that far from clinging to an outdated paradigm, programs based on new conceptions of intuition should be seen as motivated by important philosophical desiderata, such as the truth, apriority, distinctiveness and autonomy of mathematics. (shrink)

The quest to understand the natural and the mathematical as well as philosophical principles of dynamics of life forms are ancient in the human history of science. In ancient times, Pythagoras and Plato, and later, Copernicus and Galileo, correctly observed that the grand book of nature is written in the language of mathematics. Platonism, Aristotelian logism, neo-realism, monadism of Leibniz, Hegelian idealism and others have made efforts to understand reasons of existence of life forms in nature and the underlying (...) principles through the lenses of philosophy and mathematics. In this paper, an approach is made to treat the similar question about nature and existential life forms in view of mathematical philosophy. The approach follows constructivism to formulate an abstract model to understand existential life forms in nature and its dynamics by selectively combining the elements of various schools of thoughts. The formalisms of predicate logic, probabilistic inference and homotopy theory of algebraic topology are employed to construct a structure in local time-scale horizon and in cosmological time-scale horizon. It aims to resolve the relative and apparent conflicts present in various thoughts in the process, and it has made an effort to establish a logically coherent interpretation. (shrink)

This bibliographical guide gives a comprehensive overview of the historiography of philosophy and thought in the Japanese language through an extensive and thematically organized collection of relevant literature. Comprising over one thousand entries, the bibliography shows not only how extensive and complex the Japanese tradition of philosophical and intellectual historiography is, but also how it might be structured and analyzed to make it accessible to a comparative and intercultural approach to the historiography of philosophy worldwide. The literature is categorized and (...) organized according to thematic focus areas such as geographical regions and continents, nations or peoples, religious traditions and philosophical teachings such as Buddhism, Islam, Shintō, and Confucianism, as well as disciplines such as ethics, aesthetics, and political thought. The bibliography is accompanied by an introduction outlining the research method as well as quantitative and qualitative approaches to analyzing the material, followed by a chronological overview of the historiography of philosophy and thought in the Japanese language and of the Japanese tradition of writing “world histories of philosophy.” As a first step towards a “history of the historiography of philosophy” in non-European languages, we hope that this guide will provide a useful tool for interculturally oriented scholarship aimed at a non-Eurocentric and diversified historiography of philosophy in a global perspective. (Open access, see link below.). (shrink)

The chapter begins with an initial survey of ups and downs of contextualist history of philosophy during the twentieth century in Britain and America, which finds that historically serious history of philosophy has been on the rise. It then considers ways in which the study of past philosophy has been used and is used in philosophy, and makes a case for the philosophical value and necessity of a contextually oriented approach. It examines some uses of past texts and (...) of history that reveal limits to noncontextual history, including Strawson's Kant, Rorty's grand diagnosis of the Western tradition, and Friedman on Kant's philosophy of mathematics. It then considers ways in which the history of philosophy may become philosophically deeper by becoming more historical, and instances in which history of philosophy of various stripes has or may deliver a philosophical payoff. Along the way, it urges historians of philosophy to attend not only to individual philosophers and their problems and projects, but also to the larger shape of the history of philosophy and its narrative themes. (shrink)

I argue that forays into history of science in Kuhn’s The Structure of Scientific Revolutions (1962/1996) are by and large instances of “Great Man” history of science. “Great Man” history is the idea that history is the biography of great men. The “Great Man” of science model not only excludes women and people of color from science but also suggests that only special, exceptional people can succeed in science. If this is correct, then Kuhn (1962/1996) fails (...) to usher in a “historiographic revolution in the study of science” or a “new historiography” (Kuhn 1962/1996, 3), as the book purports to do. Instead, it merely perpetuates the defunct historiography of the “Great Man” of science. (shrink)

According to the antirealist argument known as the pessimistic induction, the history of science is a graveyard of dead scientific theories and abandoned theoretical posits. Support for this pessimistic picture of the history of science usually comes from a few case histories, such as the demise of the phlogiston theory and the abandonment of caloric as the substance of heat. In this article, I wish to take a new approach to examining the ‘history of science as a (...) graveyard of theories’ picture. Using JSTOR Data for Research and Springer Exemplar, I present new lines of evidence that are at odds with this pessimistic picture of the history of science. When rigorously tested against the historical record of science, I submit, the pessimistic picture of the history of science as a graveyard of dead theories and abandoned posits may turn out to be no more than a philosophers’ myth. (shrink)

One of the most influential ideas of twentieth-century art history and aesthetics is that vision has a history and it is the task of art history to trace how vision has changed. This claim has recently been attacked for both empirical and conceptual reasons. My aim is to argue for a new version of the history of vision claim: if visual attention has a history, then vision also has a history. And we have some (...) reason to think that at least in certain contexts, visual attention does have a history. (shrink)

Within the debate on the inevitability versus contingency of science for which Hacking’s writings have provided the basic terminology, the devising of counterfactual histories of science is widely assumed by champions of the contingency thesis to be an effective way to challenge the inevitability thesis. However, relatively little attention has been devoted to the problem of how to defend counterfactual history of science against the criticism that it is too speculative an endeavor to be worth bothering with—the same critique (...) traditionally levelled against the use of counterfactuals in general history. In this paper, we review the defense of counterfactuals put forward by their advocates within general history. According to such defense—which emphasizes the essential role of counterfactuals within explanations—good counterfactual scenarios need to exhibit the right kind of plausibility, characterized as continuity between said scenarios and what historians know about the world. As our discussion shows, the same requirement needs to be satisfied by good counterfactual histories of science. However, as we mention in the concluding part of the paper, there is at least one concern raised by counterfactual history of science as used to support the contingency thesis for which the defense based on the plausibility of the counterfactual scenarios does not seem to offer easy solutions. (shrink)

The book is a history of the concept of experience in philosophy. Minakov focuses mainly on Western 19-20th century philosophical movements and their use of the experience concept. Author uses topological method to describe growth of the conseptual content of experience, as well as decline in its use in the end of 20th century.

Logical positivism is often characterized as a set of naive doctrines on meaning, method, and metaphysics. In recent decades, however, historians have dismissed this view as a gross misinterpretation. This new scholarship raises a number of questions. When did the standard reading emerge? Why did it become so popular? And how could commentators have been so wrong? This essay reconstructs the history of a “caricature” and rejects the hypothesis that it was developed by ill-informed Anglophone scholars who failed to (...) appreciate the subtleties of European scientific philosophy. It argues that the received view has a more complicated history and was frequently promoted by the European positivists themselves. The essay shows that the view has roots in both American and European scientific philosophy and emerged as a result of the complex interplay between the two communities in the years before the intellectual migration. (shrink)

A lot of words investigated by philosophers get their inception for conventional or extra-philosophical dialect. Yet the idea of substance is basically a philosophical term of art. Its employments in normal dialect tend to derive, often in a twisted way, different from its philosophical usage. Despite this, the idea of substance differs from philosophers, reliant upon the school of thought in which it is been expressed. There is an ordinary concept in play when philosophers discuss “substance”, and this is seen (...) in the concept of object, or thing when this is contrasted with properties, attributes or events. There is also a difference in view when in the sense that while the realists would develop a materialistic theory of substance, the idealist would develop a metaphysical theory of substance. The problem surrounding substance spans through the history of philosophy. The queries have often been what is substance of? And can there be substance without its attributes? This paper tends to expose the historical problems surrounding substance. This paper criticizes the thinking which presupposes that there could be a substance without its attributes or substance existing alone. This paper adopts complimentary ontology principles which state that for anything to exist, it must serve as a missing connection to reality. This suggests that everything interconnects to each other and substance cannot exist in isolation. (shrink)

The professionalization of the study of history in the Nineteenth Century made possible a new way of thinking about the history of philosophy: the thought emerged that philosophy itself might be relative to time, historical culture, and nationality. The simultaneous demise of speculative metaphysics scattered philosophers’ confidence that the historical variance of philosophical systems could be viewed in terms of the teleological self-realization of reason. Towards the late Nineteenth Century, philosophers began to explicitly address the worry that all (...) philosophical systems might have only relative validity. This paper compares two key figures in late-nineteenth-century debates concerning historical relativism: Wilhelm Windelband and Wilhelm Dilthey. Beneath the deep disagreements between these two authors, it reveals their common concern to immunize philosophy from the threat of historical relativism. The paper traces how both philosophers sought to fend off relativism by defending the idea of an ahistorical and permanent stratum of philosophical thinking. And it argues that although they succeeded in blocking historical versions of relativism, they did so at the cost of incurring a relativism vis-à-vis philosophical systems. This relativism turned out to be rooted not in the historicity of philosophy but in the timeless essence of philosophical reasoning itself. (shrink)

In this paper, I seek to address the underrepresentation of Iranian women architects in historical narratives, exploring the perishable traces of their work and contributions to the field of architecture. Inspired by Carla Lonzi's call for women to consider their narrative incomplete and the International Archive of Women in Architecture (IAWA), I delve into the unique challenges Iranian women architects face and their impact on architectural history. I examine the historiographical review of Iranian women architects, their work, and their (...) contributions to the field, highlighting the importance of preserving and disseminating this often-overlooked knowledge. By investigating the current editorial challenges, I explore how archived material should be disseminated and the agency of such material in shaping a more inclusive and accurate historical narrative. Furthermore, I discuss the role of resources, archives, and new technologies in preserving and accessing the work of Iranian women architects. Considering data feminism and information visualization, I consider the implications of algorithms and digital technologies on accessing archived information and the potential for a more inclusive historical narrative. Through the lens of Iranian women architects, this paper contributes to the broader discussion on the representation and history of women in architecture by unearthing and preserving the perishable traces of their work. (shrink)

The endeavor of this bibliographical guide is inscribed in the broader effort to reframe the discipline of Philosophy in a global perspective through the account of its history. With the present work readers will gain a broad overview of the materials available in Italian on the histories of philosophy in different regions of the world from the first editions, in the 15th century, to the present. Some of these materials are presented in the extensive introduction to the bibliography, which (...) has been organized according to geographical regions, such as continents and nations, as well as thematic focuses, such as religions, doctrines, or disciplines. Moreover, the introduction discusses two main themes, namely the strong historiographical tradition in Italy and its close connection with political agendas, and the influence of the history of philosophy in the schools. One outcome of the work is the mapping of leading research areas as well as neglected areas, and even the uncovering of some blind spots. (shrink)

Permissivism is the view that for some body of evidence E there may be more than one rational doxastic attitude that inquirers may take towards some proposition. This paper examines the aims and processes involved in doing the history of philosophy. It argues that the complexities involved in the process of doing the history of philosophy motivates hermeneutical permissivism. Section 2 of the paper discusses and motivates complexity. Section 3 focuses on a particular kind of complexity that historians (...) face, namely, the problem of theory choice. Section 4 argues that complexity motivates permissivism. Section 5 argues for the value of thinking about the task of the historian of philosophy as contributing to the landscape of plausible interpretations. The paper demonstrates how this way of thinking about our discipline may be productive and useful for historians of philosophy with differing aims. (shrink)

This essay is a case study of the self-destruction that occurs in the work of a social-constructionist historian of science who embraces a radical philosophy of science. It focuses on Thomas Laqueur's Making Sex: Body and Gender from the Greeks to Freud in arguing that a history of science committed to the social construction of science and to the central theses of Kuhnian, Duhemian, and Quinean philosophy of science is incoherent through self-reference. Laqueur's text is examined in detail in (...) order to make the main point; a similar phenomenon in the work of the feminist historian of science Evelyn Fox Keller is then briefly discussed. (shrink)

Two dichotomies, one that resents the West and another that admires it, seem to have long polarized both Iranian intellectuals and the public imagination. Darioush Ashouri discusses this issue in terms of “ressentiment,” a term he borrows from Nietzsche. This study puts Ashouri's scattered views within a Nietzschean framework to form a coherent theory, and places it against the background of a brief history of ressentiment in Iran. It then argues that signs of a ressentiment-less young generation, mostly university (...) students, seem to be appearing, and a certain kind of social behavior on Facebook and a work by the Iranian musician Mohsen Namjoo are analyzed as evidence of this emerging mindset. (shrink)

Ideas will always resist single-statement definitions, but in a rough attempt at generalization one can say that they either play or are attributed a very special role in thinking and expressive processes, in perhaps all domains of human culture. People who specialize in creating, receiving, transforming, and disseminating them are usually called “intellectuals”—even if they do not monopolize those social practices. The constitution and circulation of ideas as structures of thinking and expression, the settings in which they originate and to (...) which they respond, the material supports in which they are conveyed as well as the intellectual agents specialized in dealing with them are studied by the history of ideas and its neighboring fields. These include intellectual history, history of concepts, histoire des mentalités, Geistesgeschichte, history of books, and even cultural history, sociology of knowledge, and the histories of science, philosophy, literature, and the humanities. As it is obvious, such labels do not support a clear-cut division of labor, nor can they be lined up in an organogram that would fix constant hierarchical relations between them. They show up with incommensurable frequency, displaying different connotations within different academic cultures. This explains why in some cases—as in Geistesgeschichte, Begriffsgeschichte, or histoire des mentalités—equivalent English terms are considered problematic or unnecessary. Having flourished, spread, and sometimes also decayed within different national, disciplinary, and generational contexts, the fields designated by them can only have intricate and overlapping limits. A good way to understand the traditions connected to the history of ideas is hence to look closely to their messy border zones. The closest and most intricate connections are those between “history of ideas” and “intellectual history,” which is reflected in the fact that these terms are often employed interchangeably—a use that will be noted also in the remainder of the present text. Even so, “intellectual history” clearly emerged as preferential designation in the English-speaking world in the final decades of the twentieth century. A reason for this is the spread of the suspicion that “ideas” are burdened by essentialist traits that would render us insensitive to historical discontinuity. The notion of ideas is also sometimes regarded as much too oblivious of the way language conditions thought, and accordingly some analysts suggest that it would be out of line with the best theoretical intelligence established since the so-called linguistic turn (see Kelley 2002a: 310–14). However, others claim that ideas should not be equaled to expressed words, as they refer to occurrences that are best described with psychological terms such as beliefs and attitudes, and, further, that there would be non-essentialist ways of addressing them . What seems more uncontroversial is that, in comparison to “history of ideas,” “intellectual history” opens up an enlarged space of ambivalence as regards the analytical focus, which can then toggle from intellectual products to intellectual producers, consumers, and the cultural frameworks in which they interact. There are also important crossroads between the history of ideas and conceptual history (or Begriffsgeschichte), as both terms signal to the historical study of basic structures of thought. Conceptual history, however, at least in its most well-known variety, which was very much inspired by social-historical approaches, tends to be less centered on biographical and psychological issues and to introduce concepts as more depersonalized linguistic entities. Such and other connections and disconnections between the various ways of attending to “the reflective communal life of human beings in the past” (Burrow) will be further discussed in the following from the perspective of a geographically multicentered historical synopsis. Hopefully, its many limitations will be compensated by the possibilty of bringing to the fore relations that otherwise would not become so salient. (shrink)

PHILOSOPHY OF SCIENCE, vol. 52, number 1, pp.44-63. R.M. Nugayev, Kazan State |University, USSR. -/- THE HISTORY OF QUANTUM THEORY AS A DECISIVE ARGUMENT FAVORING EINSTEIN OVER LJRENTZ. -/- Abstract. Einstein’s papers on relativity, quantum theory and statistical mechanics were all part of a single research programme ; the aim was to unify mechanics and electrodynamics. It was this broader program – which eventually split into relativistic physics and quantummmechanics – that superseded Lorentz’s theory. The argument of this paper (...) is partly historical and partly methodological. A notion of “crossbred objects” – theoretical objects with contradictory properties which are part of the domain of application of two different research programs – is developed that explains the dynamics of revolutionary theory change. (shrink)

During the first quarter of the twentieth century, the French philosopher Henri Bergson became an international celebrity, profoundly influencing contemporary intellectual and artistic currents. While Bergsonism was fashionable, L. Susan Stebbing, Bertrand Russell, Moritz Schlick, and Rudolf Carnap launched different critical attacks against some of Bergson’s views. This book examines this series of critical responses to Bergsonism early in the history of analytic philosophy. Analytic criticisms of Bergsonism were influenced by William James, who saw Bergson as an ‘anti-intellectualist’ ally (...) of American Pragmatism, and Max Scheler, who saw him as a prophet of Lebensphilosophie. Some of the main analytic objections to Bergson are answered in the work of Karin Costelloe-Stephen. Analytic anti-Bergsonism accompanied the earlier refutations of idealism by Russell and Moore, and later influenced the Vienna Circle’s critique of metaphysics. It eventually contributed to the formation of the view that ‘analytic’ philosophy is divided from its ‘continental’ counterpart. (shrink)

This book contains a selection of papers from the workshop *Women in the History of Analytic Philosophy* held in October 2019 in Tilburg, the Netherlands. It is the first volume devoted to the role of women in early analytic philosophy. It discusses the ideas of ten female philosophers and covers a period of over a hundred years, beginning with the contribution to the Significs Movement by Victoria, Lady Welby in the second half of the nineteenth century, and ending with (...) Ruth Barcan Marcus’s celebrated version of quantified modal logic after the Second World War. The book makes clear that women contributed substantially to the development of analytic philosophy in all areas of philosophy, from logic, epistemology, and philosophy of science, to ethics, metaphysics, and philosophy of language. It illustrates that although women's voices were no different from men's as regards their scope and versatility, they had a much harder time being heard. The book is aimed at historians of philosophy and scholars in gender studies. (shrink)

Staphylococcus aureus ST45 is a major global MRSA lineage with huge strain diversity and a high clinical impact. It is one of the most prevalent carrier lineages but also frequently causes severe invasive disease, such as bacteremia. Little is known about its evolutionary history. In this study, we used whole-genome sequencing to analyze a large collection of 451 diverse ST45 isolates from 6 continents and 26 countries. De novo-assembled genomes were used to understand genomic plasticity and to perform coalescent (...) analyses. The ST45 population contained two distinct sublineages, which correlated with the isolates’ geographical origins. One sublineage primarily consisted of European/North American isolates, while the second sublineage primarily consisted of African and Australian isolates. Bayesian analysis predicted ST45 originated in northwestern Europe about 500 years ago. Isolation time, host, and clinical symptoms did not correlate with phylogenetic groups. Our phylogenetic analyses suggest multiple acquisitions of the SCCmec element and key virulence factors throughout the evolution of the ST45 lineage. (shrink)

In recent decades, perspectivism has developed into an epistemological research program claiming its independence. This autonomy stems from Perspectivism’s potential ability to resolve the contradictions between realist and constructivist programs. Perspectivism is based on the idea that the object depends on perspective, which constitutes any subjective attempt to cognize it. Perspectivists reconstruct and explain the factors involved in the formation of perspective, identifying the conditionality of epistemic acts, using concepts such as “position”, “point of view”, “view”, “angle”, “horizon”, “focus”, “picture”, (...) “context”, “aspect”, etc. Although these concepts are part of the perspectivist’s toolkit, their meanings and interrelation have so far been taken for granted and have not yet been critically and comprehensively analyzed. The purpose of this article is to take steps toward clarifying the conceptual basis for defending perspectivism as an epistemological program. Once consistently uncovered and correlated in a conceptual model, Perspectivist concepts can be used as a tool for a detailed analysis of theories, positions, and beliefs. The article begins with a preliminary description of the concept of perspectivism and its brief history as an epistemological program. In particular, the first modern attempts to outline perspectivist epistemology are described in the works of F. Kaulbach (1990), W. Stegmaier (2008), and M. Massimi (2017, 2020). The problem of identifying the special a priori status of perspectivist notions as a strategy for justifying the autonomy of Perspectivism is then posed. A method for demonstrating such a status, based on Kant’s transcendentalism and P. Strawson’s descriptive metaphysics, is then suggested. (shrink)