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)

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.

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)

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)

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)

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?

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)

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)

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)

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)

I am proposing here an examination o f the text Reading Capital, written by Louis Althusser in 1965. I will consider it as a text in the history o f philosophy. In Reading Capital Althusser explicitly asks which philosophy provides the basis, the foundation, for Marx’s scientific work? In this sense, Reading Capital is, at the same time, a text in the history o f philosophy and a text in the philosophy o f science. In research on Marx’s (...) philosophy, it becomes essential in the Althusserian argument to consider Marx’s historical position in relation to the school o f classical economy, on the one hand, and to Hegel’s philosophy, on the other. In other words, it is a matter of determining Marx ’s p o sitio n in a history of science and in a history of philosophy. (shrink)

The History of Ideas is presently enjoying a certain renaissance after a long period of disrepute. Increasing quantities of digitally available historical texts and the availability of computational tools for the exploration of such masses of sources, it is suggested, can be of invaluable help to historians of ideas. The question is: how exactly? In this paper, we argue that a computational history of ideas is possible if the following two conditions are satisfied: (i) Sound Method . A (...) computational history of ideas must be built upon a sound theoretical foundation for its methodology, and the only such foundation is given by the use of models , i.e., fully explicit and revisable interpretive frameworks or networks of concepts developed by the historians of ideas themselves. (ii) Data Organisation. Interpretive models in our sense must be seen as topic-specific knowledge organisation systems (KOS) implementable (i.e. formalisable) as e.g. computer science ontologies. We thus require historians of ideas to provide explicitly structured semantic framing of domain knowledge before investigating texts computationally, and to constantly re-input findings from the interpretive point of view. In this way, a computational history of ideas maximally profits from computer methods while also keeping humanities experts in the loop. We elucidate our proposal with reference to a model of the notion of axiomatic science in 18th -19th century Europe. (shrink)

This chapter provides a brief overview of the history of behavioral neurology, dividing it roughly into six eras. In the ancient and classical eras, emphasis is placed on two transitions: firstly, from descriptions of head trauma and attempted neurosurgical treatments to the exploratory dissections during the Hellenistic period and the replacement of cardiocentrism; and secondly, to the more systematic investigations of Galenus and the rise of pneumatic ventricular theory. In the medieval through post-Renaissance eras, the scholastic consolidation of knowledge (...) and the role of compendia are emphasized, along with the use of new methods from within a mechanistic framework. With the discovery of electrical conductance and the rise of experimentalism, we frame the modern era as period of intense debate over localization, decomposition, and other mechanistic principles, and marked by rapid discovery about the brain. The chapter ends with a discussion of the contemporary era, focusing on the establishment of behavioral neurology research on aphasia, apraxia, and neuropsychiatric conditions. (shrink)

Bergson offers an epistemological critique of Darwin’s theory that focuses on his gradualism: for Darwin variation is “minute”, and Bergson glosses “insensible.” His main argument is that if variations are insensible, they cannot confer an advantage to the organism and therefore be selected. Yet, for Darwin, the selected variation is not insensible: to be selected, it must be beneficial to its bearer in the struggle for existence. This article aims at understanding the origin of this misunderstanding by tracing the (...) class='Hi'>history of this critique. To do this, we will study Bergson’s sources, showing that his interpretation of Darwin is in line with the critique of many biologists at the turn of the 20th century, albeit in a confused way. This will lead us back to the origin of this critique: the work of Mivart. In this study, we wish to reveal the anchor of the Bergsonian interpretation in the debates of his time, and the shifts from the traditional exposition of the argument that led Bergson to formulate this false paradox. This article will also analyze more precisely the counterexample of the “analogy of structure” to show that, despite Bergson’s misunderstanding, he did point to actual limits of the Darwinian theory. (shrink)

This paper examines the fortunes of non-European philosophies in histories of philosophy written by European and American philosophers from the 17th century to the present day. It charts the shift from inclusive histories of philosophy, which included non-European philosophies, to exclusive histories of philosophy, which excluded and/or marginalized non-European philosophies, at the end of the 18th century. This shift was motivated by racial Eurocentrism, which cast a long shadow over histories of philosophy written during the 19th and 20th centuries. The (...) paper also considers recent attempts to produce a more inclusive history of philosophy. By examining the history of the inclusion and exclusion of non-European philosophies in histories of philosophy, this paper seeks to challenge the assumption that philosophy began and has been practised exclusively by European or western thinkers. (shrink)

Philosophy of science and history of science both have a significant relation to science itself; but what is their relation to each other? That question has been a focal point of philosophical and historical work throughout the second half of this century. An analysis and review of the progress made in dealing with this question, and especially that made in philosophy, is the focus of this thesis. Chapter one concerns logical positivist and empiricist approaches to philosophy of science, and (...) the significance of the criticisms levelled at them by analytic epistemologists such as Willard Quine and 'historicist' philosophers, especially Thomas Kuhn. Chapter two details the attempts by Kuhn and Lakatos to integrate these historicist criticisms with historically oriented philosophy of science, in their separate attempts at providing rational explanations of historical developments. Kuhn's latest work seeks to mend fences with philosophy, but his efforts remain too closely tied to the epistemological approaches strongly criticized in his earlier work. Lakatos' treatment of history is much more subtle than most have understood it to be, but the conception of scientific rationality that arises out of it is transformed into an abstract cultural product, more reminiscent of Hegel's geist than of individual human rationality. Chapters three and four discuss the recommendations of Lakatos and Laudan to historians with regard to historiography, and the actual historiographies and philosophy of history of practicing historians and historians of science. The philosophers' contributions indicate little concern for the historians' own methods, materials, and purposes; and the historians' writings present methodologies for history of science that are independent of the normative demarcations of philosophy of science, pace Lakatos and Laudan. Chapter five develops a philosophical position that fosters a more productive engagement between philosophy and history of science, a 'methodological historicism' that embraces the possibility of an important role for social and political factors in a philosophical study of scientific development. The epistemological relativism that might accompany such a historicist position need not be the radical epistemological anarchism of Feyerabend, though it will allow for a significant underdetermination of scientific development by reason nonetheless. (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)

Moral concern with food intake is as old asmorality itself. In the course of history, however,several ways of critically examining practices of foodproduction and food intake have been developed.Whereas ancient Greek food ethics concentrated on theproblem of temperance, and ancient Jewish ethics onthe distinction between legitimate and illicit foodproducts, early Christian morality simply refused toattach any moral significance to food intake. Yet,during the middle ages food became one of theprinciple objects of monastic programs for moralexercise (askesis). During the seventeenth (...) andeighteenth century, food ethics was transformed interms of the increasing scientific interest in foodintake, while in the nineteenth century the socialdimension of food ethics was discovered, with theresult that more and more attention was given to theproduction and distribution of food products. Becauseof the increasing distance between the production andconsumption of food products ever since, theoutstanding feature of contemporary food ethics is itreliance and dependence on labeling practices. (shrink)

Johannes Steuchius’ disputatio uses Arabic logic to present an historical account of the development of philosophical thought in Arabia before and after the emergence of Islam. Steuchius first proposes that philosophy drew its origins from the East. His evidence for this claim is that many of the Greek philosophers, considered the forefathers of European philosophy, began cultivating their philosophical thinking as a result of exposure to ancient Eastern philosophy. After the introduction of Greek philosophy, it is agreed that dialectic was (...) among the first of the arts the Arabs practiced. (shrink)

The Polish philosophy of mathematics in the 19th century is not a well-researched topic. For this period, only five philosophers are usually mentioned, namely Jan Śniadecki, Józef Maria Hoene-Wroński, Henryk Struve, Samuel Dickstein, and Edward Stamm. This limited and incomplete perspective does not allow us to develop a well-balanced picture of the Polish philosophy of mathematics and gauge its influence on 19th- and 20th-century Polish philosophy in general. To somewhat complete our picture of the history of the Polish philosophy (...) of mathematics in those times, we here present the profiles of some lesser-known Polish Romantic philosophers of the 19th century, namely Karol Libelt, Bronisław Trentowski, and Józef Kremer. We discuss their contributions to the philosophy of mathematics and their metaphysical perspectives, and we also show how their metaphysical ideas have found some continuity in the studies of some Catholic philosophers. (shrink)

Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, (...) economic forecasting, social science, humanistic and practical achievements. There are about 7,000 neutrosophic researchers, within 89 countries around the globe, that have produced about 4,000 publications and tenths of PhD and MSc theses, within more than two decades. This is the sixth volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation, with an introduction contains a short history of neutrosophics, together with links to the main papers and books. -/- ES: Este es el Sexto volumen de la Enciclopedia de Investigadores Neutróficos, editados a partir de materiales ofrecidos por los autores que respondieron a la invitación del editor. Los autores se enumeran alfabéticamente. La introducción contiene una breve historia de la neutrosófica, y en especial se sus impacto en latinoamérica junto con enlaces a los principales artículos y libros. Conjunto neutrosófico, lógica neutrosófica, probabilidad neutrosófica, estadística neutrosófica, medida neutrosófica, precálculo neutrosófico, cálculo neutrosófico, psicología neutrosófica, sociología neutrosófica etc., están ganando una atención significativa en resolver muchos problemas de la vida real que implican incertidumbre, imprecisión, vaguedad, incompletitud, inconsistencia e indeterminación. En los últimos años, los campos de la neutrosófica se han ampliado y aplicado en diversos campos, tales como: inteligencia artificial, minería de datos, software informática, toma de decisiones en forma incompleta / indeterminada / inconsistente sistemas de información, procesamiento de imágenes, modelado computacional, robótica, diagnóstico médico, ingeniería biomédica, problemas de inversión, previsión económica, ciencias sociales, humanística y la validación y consolidación del conocimiento científico. (shrink)

Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, (...) economic forecasting, social science, humanistic and practical achievements. There are about 7,000 neutrosophic researchers, within 89 countries around the globe, that have produced about 4,000 publications and tenths of PhD and MSc theses, within more than two decades. This is the fifth volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation, with an introduction contains a short history of neutrosophics, together with links to the main papers and books. (shrink)

It is well known that the set of algebraic numbers (let us call it A) is countable. In this paper, instead of the usage of the classical terminology of cardinals proposed by Cantor, a recently introduced methodology using ①-based infinite numbers is applied to measure the set A (where the number ① is called grossone). Our interest to this methodology is explained by the fact that in certain cases where cardinals allow one to say only whether a set is countable (...) or it has the cardinality of the continuum, the ①-based methodology can provide a more accurate measurement of infinite sets. In this article, lower and upper estimates of the number of elements of A are obtained. Both estimates are expressed in ①-based numbers. (shrink)

Hailed as "a feast" (Washington Post) and "a modern-day bestiary" (The New Yorker), Stephen Asma's On Monsters is a wide-ranging cultural and conceptual history of monsters--how they have evolved over time, what functions they have served for us, and what shapes they are likely to take in the future. Beginning at the time of Alexander the Great, the monsters come fast and furious--Behemoth and Leviathan, Gog and Magog, Satan and his demons, Grendel and Frankenstein, circus freaks and headless children, (...) right up to the serial killers and terrorists of today and the post-human cyborgs of tomorrow. Monsters embody our deepest anxieties and vulnerabilities, Asma argues, but they also symbolize the mysterious and incoherent territory beyond the safe enclosures of rational thought. Exploring sources as diverse as philosophical treatises, scientific notebooks, and novels, Asma unravels traditional monster stories for the clues they offer about the inner logic of an era's fears and fascinations. In doing so, he illuminates the many ways monsters have become repositories for those human qualities that must be repudiated, externalized, and defeated. (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.

There is a standard story told about the rise and fall of ordinary language philosophy: it was a widespread, if not dominant, approach to philosophy in Great Britain in the aftermath of World War II up until the early 1960s, but with the development of systematic approaches to the study of language—formal semantic theories on one hand and Gricean pragmatics on the other—ordinary language philosophy more or less disappeared. In this paper we present quantitative evidence to evaluate the standard story (...) of the rise and fall of ordinary language philosophy, building on the topic model of over 30,000 philosophy articles in Weatherson (2022). Using a combination of qualitative judgment and a topic-model-based measurement of similarity between individual articles, we find evidence that supports the first part of the standard story, according to which ordinary language philosophy arises in the 1940s, peaks between the early 1950s and the late 1960s, and then rapidly declines. But we argue that there is also evidence of a "new wave" of ordinary language philosophy in the early 21st century that defies the second part of the standard story. (shrink)

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.

In an ever-changing world, when we search for answers on our present challenges, it can be tricky to extrapolate past realities when concerning science-based issues. Climate change, public health or artificial intelligence embody issues on how scientific evidence is often challenged, as false beliefs could drive the design of public policies and legislation. Therefore , how can we foresee if science can tip the scales of political legislation? In this article, we outline how models of historical cases can be used (...) to predict and understand how scientific evidence can influence the emergence (or fall-back) of science based-legislation. We also present frameworks on how to use past episodes of History of Science and Alternative History insights to build epistemic models, based on previous successful approaches on the spread of scientific misinformation. These models will help the accuracy of the design of eventual alternative realities, that can come insightful on present decision making methodologies. (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)

That uses of language not only can, but even normally do, have the character of actions was a fact largely unrealised by those engaged in the study of language before the present century, at least in the sense that there was lacking any attempt to come to terms systematically with the action-theoretic peculiarities of language use. Where the action-character of linguistic phenomena was acknowledged, it was normally regarded as a peripheral matter, relating to derivative or nonstandard aspects of language which (...) could afford to be ignored. (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)

In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself didn't make use (...) of this notation in his series of groundbreaking papers on semantics. That raises the question: When was the ⟦.⟧-notation introduced to semantics? This note answers that question. (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)

Human biological memory systems have adapted to use technological artifacts to overcome some of the limitations of these systems. For example, when performing a difficult calculation, we use pen and paper to create and store external number symbols; when remembering our appointments, we use a calendar; when remembering what to buy, we use a shopping list. This chapter looks at the history of memory artifacts, describing the evolution from cave paintings to virtual reality. It first characterizes memory artifacts, memory (...) systems, and the two main functions such artifacts have, which are to aid individual users in completing memory tasks and as a cultural inheritance channel (section 2). It then outlines some of our first symbolic practices such as making cave paintings and figurines, and then moves on to outline several key developments in external representational systems and the artifacts that support these such as written language, numeral systems and counting devices, diagrams and maps, measuring devices, libraries and archives, photographs, analogue and digital computational artifacts, the World Wide Web, virtual reality, and smartphones (section 3). After that, it makes some brief points about the cumulative nature of the cultural evolution of memory artifacts and speculates about the possible future of memory artifacts, arguing that it is very difficult to look beyond an epistemological horizon of more than five years (section 4). (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)

Using a qualitative method of research, the study investigated the increasing use of traditional medicine in Ghana, focusing on Afigya Kwabre South District. Traditional medicine has gone through various stages since time immemorial, especially with regard to how its patronage has evolved over time. The period ranges from the pre-colonial era, when it was the only source of remedy for the entire continent of Africa including Ghana, to the colonial period which marked another phase when European influence diverted the attention (...) of Africans from the use of traditional medicine to orthodox. This suggests that traditional medicine is unorthodox (not normal) medicine, and thus the post-colonial era has witnessed emphases on medical pluralisation (concurrent use of traditional medicine and orthodox medicine). In the 21st century, traditional medicine practices have undergone several changes. The use of traditional medicine seems to be gaining traction in health care delivery in Ghana. This article addresses varied reasons that have accentuated these changes over time. Salient factors include demographics, economic status, patient-doctor interaction and other relevant causes. (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)

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)

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)

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)

From ancient conceptions of becoming a philosopher to modern discussions of psychedelic drugs, the concept of transformation plays a fascinating part in the history of philosophy. However, until now there has been no sustained exploration of the full extent of its role. Transformation and the History of Philosophy is an outstanding survey of the history, nature, and development of the idea of transformation, from the ancient period to the twentieth century. Comprising twenty-two specially commissioned chapters by an (...) international team of contributors, the volume is divided into four clear parts: -/- - Philosophy as Transformative: Ancient China, Greece, India, and Rome - Transformation Between the Human and the Divine: Medieval and Early Modern Philosophy - Transformation After the Copernican Revolution: Post-Kantian Philosophy - Treatises, Pregnancies, Psychedelics, and Epiphanies: Twentieth-Century Philosophy. -/- Each of these sections begins with an introduction by the editors. Transformation and the History of Philosophy is essential reading for students and researchers in the history of western and non-western philosophy, ethics, metaphysics, and aesthetics. It will also be extremely useful for those in related disciplines such as religion, sociology, and the history of ideas. (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)

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.