The idea of science being the best – or the only – way to reach the truth about our cosmos has been a major belief of modern civilization. Yet, science has grown tall on fragile legs of clay. Every scientific theory uses axioms and assumptions that by definition cannot be proved. This poses a serious limitation to the use of science as a tool to find the truth. The only way to search for the latter is to redefine the former (...) to its original glory. In the days well before Galileo and Newton, science and religion were not separated. They worked together to discover the truth and while the latter had God as its final destination, the former had God as its starting point. Science is based on the irrational (unproven) belief that the world is intelligible along many other assumptions. This poses a serious limitation to science that can only be overcome if we accept the irrationality of the cosmos. The motto “Credo quia absurdum” holds more truth than one can ever realize at first glance. There is nothing logical in logic, whereas there is deep wisdom in the irrational. For while the former tries to build castles on moving sand, the latter digs deep inside the depths of existence itself in order to build on the most concrete foundations that there can be: the cosmos itself. The only way forward is backwards. Backwards to a time when religion led the quest for knowledge by accepting what we cannot know, rather than trying to comprehend what we do not. Science was anyway based on that in the first place. (shrink)

Ernst Mayr argued that the emergence of biology as a special science in the early nineteenth century was possible due to the demise of the mathematical model of science and its insistence on demonstrative knowledge. More recently, John Zammito has claimed that the rise of biology as a special science was due to a distinctive experimental, anti-metaphysical, anti-mathematical, and anti-rationalist strand of thought coming from outside of Germany. In this paper we argue that this narrative neglects the important role played (...) by the mathematical and axiomatic model of science in the emergence of biology as a special science. We show that several major actors involved in the emergence of biology as a science in Germany were working with an axiomatic conception of science that goes back at least to Aristotle and was popular in mid-eighteenth-century German academic circles due to its endorsement by Christian Wolff. More specifically, we show that at least two major contributors to the emergence of biology in Germany—Caspar Friedrich Wolff and Gottfried Reinhold Treviranus—sought to provide a conception of the new science of life that satisfies the criteria of a traditional axiomatic ideal of science. Both C.F. Wolff and Treviranus took over strong commitments to the axiomatic model of science from major philosophers of their time, Christian Wolff and Friedrich Wilhelm Joseph Schelling, respectively. The ideal of biology as an axiomatic science with specific biological fundamental concepts and principles thus played a role in the emergence of biology as a special science. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

Walter Dubislav (1895–1937) was a leading member of the Berlin Group for scientific philosophy. This “sister group” of the more famous Vienna Circle emerged around Hans Reichenbach’s seminars at the University of Berlin in 1927 and 1928. Dubislav was to collaborate with Reichenbach, an association that eventuated in their conjointly conducting university colloquia. Dubislav produced original work in philosophy of mathematics, logic, and science, consequently following David Hilbert’s axiomatic method. This brought him to defend formalism in these disciplines as well (...) as to explore the problems of substantiating (Begründung) human knowledge. Dubislav also developed elements of general philosophy of science. Sadly, the political changes in Germany in 1933 proved ruinous to Dubislav. He published scarcely anything after Hitler came to power and in 1937 committed suicide under tragic circumstances. The intent here is to pass in review Dubislav’s philosophy of logic, mathematics, and science and so to shed light on some seminal yet hitherto largely neglected currents in the history of philosophy of science. (shrink)

In spite of the many efforts made to clarify von Neumann’s methodology of science, one crucial point seems to have been disregarded in recent literature: his closeness to Hilbert’s spirit. In this paper I shall claim that the scientific methodology adopted by von Neumann in his later foundational reflections originates in the attempt to revaluate Hilbert’s axiomatics in the light of Gödel’s incompleteness theorems. Indeed, axiomatics continues to be pursued by the Hungarian mathematician in the spirit of Hilbert’s school. I (...) shall argue this point by examining four basic ideas embraced by von Neumann in his foundational considerations: a) the conservative attitude to assume in mathematics; b) the role that mathematics and the axiomatic approach have to play in all that is science; c) the notion of success as an alternative methodological criterion to follow in scientific research; d) the empirical and, at the same time, abstract nature of mathematical thought. Once these four basic ideas have been accepted, Hilbert’s spirit in von Neumann’s methodology of science will become clear. (shrink)

The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory gives a (...) representation of a class of structures and studies the invariant properties holding in that class of structures. In Suppes’ view, the best way to define this class of structures is via axiomatization. This is because a class of structures is given by a definition, and this same definition establishes which are the properties that a single structure must possess in order to belong to the class. These properties correspond to the axioms of a logical theory. In Suppes’ view, the best way to characterize a scientific structure is by giving a representation theorem for its models and singling out the invariants in the structure. Thus, we can say that the philosophy of science of Patrick Suppes consists in the application of the axiomatic method to scientific disciplines. What I want to argue in this paper is that this application of the axiomatic method is also at the basis of a new approach that is being increasingly applied to the study of computer science and information systems, namely the approach of formal ontologies. The main task of an ontology is that of making explicit the conceptual structure underlying a certain domain. By “making explicit the conceptual structure” we mean singling out the most basic entities populating the domain and writing axioms expressing the main properties of these primitives and the relations holding among them. So, in both cases, the axiomatization is the main tool used to characterize the object of inquiry, being this object scientific theories (in Suppes’ approach), or information systems (for formal ontologies). In the following section I will present the view of Patrick Suppes on the philosophy of science and the axiomatic method, in section 3 I will survey the theoretical issues underlying the work that is being done in formal ontologies and in section 4 I will draw a comparison of these two approaches and explore similarities and differences between them. (shrink)

In this paper, I present a new framework supporting the claim that some elements in science play a constitutive function, with the aim of overcoming some limitations of Friedman's (2001) account. More precisely, I focus on what I consider to be the gradualism implicit in Friedman's interpretation of the constitutive a priori, that is, the fact that it seems to allow for degrees of 'constitutivity'. I tease out such gradualism by showing that the constitutive character Friedman aims to track can (...) be captured by three features - namely, quasi-axiomaticity (QA), generative potential (GP), and empirical shielding (ES) - which are exhibited to a maximal degree by the examples Friedman deploys, particularly in his analysis of Newtonian mechanics. I argue that not all varieties of 'constitutivity' can be captured by the kind of gradualism implicit in Friedman's view, although developing the gradualism itself might provide useful insights. To show this, I analyse the function of the Hardy-Weinberg principle (HWP) in population genetics in terms of its QA, GP, and ES. Whereas the HWP does not count as constitutive in classical philosophical interpretations (Sober 1984), nor does it within Friedman's framework, it does nonetheless perform a minimally constitutive function. By means of historical details and considerations on the prospects of replacing the HWP, I show that the HWP is minimally constitutive by being a counterfactual instantiation of a paradigmatically constitutive stability principle, where the latter might itself be regarded as an enabling condition for a variety of modelling practices across the sciences. (shrink)

The debate about the foundations of mathematical sciences traces back to Greek antiquity, with Euclid and the foundations of geometry. Through the flux of history, the debate has appeared in several shapes, places, and cultural contexts. Remarkably, it is a locus where logic, philosophy, and mathematics meet. In mathematical astronomy, Nicolaus Copernicus’s axiomatic approach toward a heliocentric theory of the universe has prompted questions about foundations among historians who have studied Copernican axioms in their terminological and logical aspects but (...) never examined them as a question of mathematical practice. Copernicus provides seven unproved assumptions in the introduction of the brief treatise entitled Nicolaus Copernicus’s draft on the models of celestial motions established by himself, better known as Commentariolus (ca. 1515), published circa 30 years before the final composition of his heliocentric theory (On the revolutions of the heavenly spheres, 1543). The assumptions deal with the renowned Copernican hypothesis of considering the Earth in motion and the Sun, not affected by motion, near the center of the universe. Although Copernicus decides to omit the proofs for the sake of brevity, the deductions in the Commentariolus are supposed to be drawn from the initial seven assumptions. Questions on the nature (are they postulates or axioms?) and the logic (is there an internal rigor?) of those assumptions have yet to be fully explored. By examining Copernicus’s seven assumptions as a question of mathematical practice, it is possible to hold historical, philosophical, and logical aspects of Copernican axiomatics together and understand them as part of Copernicus’s intuition and creativity. (shrink)

Study represents an application of the neutrosophic method, for solving the contradiction between communication and information. In addition, it recourse to an appropriate method of approaching the contradictions: Extensics, as the method and the science of solving the contradictions. The research core is the reality that the scientific research of communication-information relationship has reached a dead end. The bivalent relationship communicationinformation, information-communication has come to be contradictory, and the two concepts to block each other. After the critical examination of conflicting (...) positions expressed by many experts in the field, the extensic and inclusive hypothesis is issued that information is a form of communication. The object of communication is the sending of a message. The message may consist of thoughts, ideas, opinions, feelings, beliefs, facts, information, intelligence or other significational elements. When the message content is primarily informational, communication will become information or intelligence. The arguments of supporting the hypothesis are: a) linguistic (the most important being that there is "communication of information" but not "information of communication"; also, it is clarified and reinforced the over situated referent, that of the communication as a process), b) systemic-procedural (in the communication system is developing an information system; the informing actant is a type of communicator, the information process is a communication process), c) practical (the delimitation eliminates the efforts of disparate and inconsistent understanding of the two concepts), d) epistemological arguments (the possibility of intersubjective thinking of reality is created), linguistic arguments, e) logical and realistic arguments (it is noted the situation that allows to think coherently in a system of concepts - derivative series or integrative groups) f) and arguments from historical experience (the concept of communication has temporal priority, it appears 13 times in Julius Caesar’s writings ). In an axiomatic conclusion, the main arguments are summarized in four axioms: three are based on the pertinent observations of specialists, and the fourth is a relevant application of Florentin Smarandache’s neutrosophic theory. (shrink)

Artificial intelligence has arrived. In the online world it is already a part of everyday life, sitting invisibly behind a wide range of search engines and online commerce sites. It offers huge potential to enable more efficient and effective business and government but the use of artificial intelligence brings with it important questions about governance, accountability and ethics. Realising the full potential of artificial intelligence and avoiding possible adverse consequences requires societies to find satisfactory answers to these questions. This report (...) sets out some possible approaches, and describes some of the ways government is already engaging with these issues. (shrink)

I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the doctrine that only present objects exist. Then, I outline and defend a form of spacetime realism that I call event substantivalism. I propose an ontological theory for the emergence of spacetime from more basic entities. Finally, I argue that a relational theory of pre-geometric entities can give rise (...) to substantival spacetime in such a way that relationism and substantivalism are not necessarily opposed positions, but rather complementary. In an appendix I give axiomatic formulations of my ontological views. (shrink)

This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set is finite. (...) But then, given fundamental results in recursion theory, the set will also be recursive, recursively enumerable, axiomatizable, and could be the output of a Turing machine. We then argue that it is impossible to produce a string of symbols that humans could possibly produce but no Turing machine could. Moreover, we show that any given string of symbols that we could produce could also be the output of a Turing machine. Our arguments have implications for Hilbert’s sixth problem and the possibility of axiomatizing particular sciences, they undermine at least two distinct arguments against the possibility of Artificial Intelligence, and they entail that expert systems that are the equals of human experts are possible, and so at least one of the goals of Artificial Intelligence can be realized, at least in principle. (shrink)

This article explains Kant’s claim that sciences must take, at least as their ideal, the form of a ‘system’. I argue that Kant’s notion of systematicity can be understood against the background of de Jong & Betti’s Classical Model of Science (2010) and the writings of Georg Friedrich Meier and Johann Heinrich Lambert. According to my interpretation, Meier, Lambert, and Kant accepted an axiomatic idea of science, articulated by the Classical Model, which elucidates their conceptions of systematicity. I show (...) that Kant’s critique of the mathematical method is compatible with his adherence to this axiomatic conception of science. I further show that systematicity furthers traditionally accepted logical ideals of scientific knowledge, which explains why Meier and Kant think that sciences must be ‘systematic’. (shrink)

Although the concept of uncertainty is as old as Epicurus’s writings, and an excellent quantitative theory, with entropy as the measure of uncertainty having been developed in recent times, there has been little exploration of the qualitative theory. The purpose of the present paper is to give a qualitative axiomatization of uncertainty, in the spirit of the many studies of qualitative comparative probability. The qualitative axioms are fundamentally about the uncertainty of a partition of the probability space of events. (...) Of course, it is common to speak of the uncertainty, or randomness, of a random variable, but only the partition defined by the values of the random variable enter into the definition of uncertainty, not the actual values. It is straightforward to add axioms for decision making following the general line of Savage from the 1950s. Indeed, in the spirit of Epicurus, it is really our intuitive feeling about the uncertainty of the future that motivates much of our thinking about decisions. Here, the distinction between the concepts of probability and uncertainty can be made by citing many familiar examples. Without spelling out the technical details, the axiomatization of qualitative probability with uncertainty as the most important primitive concept, it is possible to raise a different kind of question about bounded rationality. This new question is whether or not one should bound the uncertainty in thinking and investigating any detailed framework of decision making. Discussion of this point is certainly different from the question of bounding rationality by not maximizing expected utility. In practice, we naturally bound uncertainty in our analysis of decision-making problems. As in the case of formulating an alternative for maximizing expected utility, so is the case of rational alternatives to maximizing uncertainty. There are several issues to consider. In the spirit of my other work in qualitative probability, I explore alternatives rather than attempt to give a definitive argument for one single solution. (shrink)

Thought experiments play a role in science and in some central parts of contemporary philosophy. They used to play a larger role in philosophy of science, but have been largely abandoned as part of the field’s “practice turn”. This chapter discusses possible roles for thought experimentation within a practice-oriented philosophy of science. Some of these roles are uncontroversial, such as exemplification and aiding discovery. A more controversial role is the reliance on thought experiments to justify philosophical claims. It is proposed (...) that if we adopt an underlying empiricist view of concepts, then thought experiments can be seen as affording us contact with scientific practice, despite their seemingly a priori character. The advantages and drawbacks of thought experiments are discussed via comparison with case studies, on the one, and simulations on the other hand. The chapter closes with some remarks on how to combine thought experiments with other methods. (shrink)

According to the received view of scientific theories, a scientific theory is an axiomatic-deductive linguistic structure which must include some set of guidelines (“correspondence rules”) for interpreting its theoretical terms with reference to the world of observable phenomena. According to the semantic view, a scientific theory need not be formulated as an axiomatic-deductive structure with correspondence rules, but need only specify models which are said to be “isomorphic” with actual phenomenal systems. In this paper, I consider both the received and (...) semantic views as they bear on the issue of how a theory relates to the world (Section 1). Then I offer a critique of some arguments frequently put forth in support of the semantic view (Section 2). Finally, I suggest a more convincing “meta-methodological” argument (based on the thought of Bernard Lonergan) in favor of the semantic view (Section 3). (shrink)

The term ‘scientism’ has not attracted consensus about its meaning or about its scope of application. In this paper, we consider Mizrahi’s suggestion to distinguish ‘Strong’ and ‘Weak’ scientism, and the consequences this distinction may have for philosophical methodology. While we side with Mizrahi that his definitions help advance the debate, by avoiding verbal dispute and focussing on questions of method, we also have concerns about his proposal as it defends a hierarchy of knowledge production. Mizrahi’s position is that Weak (...) Scientism should be adopted, stating that “of all the knowledge we have, scientific knowledge is the best knowledge”. This version of scientism, however, has consequences for philosophical methodology. In particular, if one conceives of philosophy as an a priori discipline and holds Weak Scientism, the introduction of empirical methods in philosophy may threaten its very essence or soul. In this chapter, we will defend the move to adopt empirical methods in philosophy and argue that, rather than threatening its essence or soul, these methods put philosophy in a better position to contribute to knowledge production, an endeavor shared with the sciences, and in a very interdisciplinary spirit. Our point of disagreement with Mizrahi is that we should avoid any hierarchy of knowledge, and instead focus on what each perspective -- scientific, philosophical, historical, or other -- can contribute to understanding phenomena. (shrink)

This policy brief explores important trends for the future of science for policy in Europe and the challenges and opportunities that they present for the development of science for policy ecosystems in the European Union. On the background of an increasing prominence of science in public debates and an increasing willingness of governments to mobilize scientific advice, the policy brief explores trends that shape the practices and processes of information exchange between knowledge actors and policy-makers with the intention to produce (...) scientifically informed policies in Europe, and frame important challenges and opportunities for science for policy ecosystems in the EU. (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)

Before commenting on the book, I offer comments on Wittgenstein and Searle and the logical structure of rationality. The essays here are mostly already published during the last decade (though some have been updated), along with one unpublished item, and nothing here will come as a surprise to those who have kept up with his work. Like W, he is regarded as the best standup philosopher of his time and his written work is solid as a rock and groundbreaking throughout. (...) However his failure to take the later W seriously enough leads to some mistakes and confusions. Just a few examples: on p7 he twice notes that our certainty about basic facts is due to the overwhelming weight of reason supporting our claims, but W showed definitively in ‘On Certainty’ that there is no possibility of doubting the true-only axiomatic structure of our System 1 perceptions, memories and thoughts, since it is itself the basis for judgment and cannot itself be judged. In the first sentence on p8 he tells us that certainty is revisable, but this kind of ‘certainty’, which we might call Certainty2, is the result of extending our axiomatic and nonrevisable certainty (Certainty1) via experience and is utterly different as it is propositional (true or false). This is of course a classic example of the “battle against the bewitchment of our intelligence by language” which W demonstrated over and over again. One word- two (or many) distinct uses. -/- His last chapter “The Unity of the Proposition” (previously unpublished) would also benefit greatly from reading W’s “On Certainty” or DMS’s two books on OC (see my reviews) as they make clear the difference between true only sentences describing S1 and true or false propositions describing S2. This strikes me as a far superior approach to S’s taking S1 perceptions as propositional since they only become T or F after one begins thinking about them in S2. However, his point that propositions permit statements of actual or potential truth and falsity, of past and future and fantasy, and thus provide a huge advance over pre or protolinguistic society, is cogent. As he states it “A proposition is anything at all that can determine a condition of satisfaction…and a condition of satisfaction… is that such and such is the case.” Or, one needs to add, that might be or might have been or might be imagined to be the case. -/- Overall, PNC is a good summary of the many substantial advances over Wittgenstein resulting from S’s half century of work, but in my view, W still is unequaled once you grasp what he is saying. Ideally they should be read together: Searle for the clear coherent prose and generalizations, illustrated with W’s perspicacious examples and brilliant aphorisms. If I were much younger I would write a book doing exactly that. -/- Those wishing a comprehensive up to date account of Wittgenstein, Searle and their analysis of behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle (2016). Those interested in all my writings in their most recent versions may download from this site my e-book ‘Philosophy, Human Nature and the Collapse of Civilization Michael Starks (2016)- Articles and Reviews 2006-2016’ by Michael Starks First Ed. 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX . (shrink)

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for the (...) theory and a provably sound axiomatization. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We (...) introduce a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (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)

Probably the leading exponent of W’s ideas on the language games of inner and outer (the ‘Two Selves’ operation of our personality or intentionality or EP etc. ) the prolific Daniel Hutto’s (DH) approach is called ‘Radical Enactivism’ and is well explained in numerous recent books and papers. It is a development of or version of the Embodied Mind ideas now current and, cleansed of its jargon, it is a straightforward extension of W’s 2nd and 3rd period writings (though Hutto (...) seems only intermittently aware of this). -/- The basic idea of the Embodied Mind or Enactivism is that much of behavior is automated and does not involve representations (basically S2 dispositions-see Hutto’s lovely dissection of the ‘representation rats nest’ in his online papers ). To me this is just another way of stating the fact that System 1 precedes the operation of System 2 which is a standard feature of contemporary psychology, which I have explained above and in further detail in my reviews of Wittgenstein (who was the first to see this and explored it in great detail) and Searle (who called it The Phenomenological Illusion in his superb essay of this name in his book Philosophy in a New Century which I have also reviewed). Since these are basic incontrovertible facts of animal behavior and I have already discussed them I won’t dwell on it here. -/- This book is a sustained argument against other similar ways of describing behavior which he calls CEC and CIC in favor of REC (Radical Embodied Cognition), which he characterizes as “the strongest reading of the embodiment thesis—one that uncompromisingly maintains that basic cognition is literally constituted by, and to be understood in terms of concrete patterns of environmental situated organismic activity, nothing more or less” (p11). This is clear as a bell if you understand the two systems view explained above but likely opaque if you don’t. Much clearer is Fodor’s characterization which he quotes as “abilities are prior to theories”, that “competence is prior to content” and that “knowing how is the paradigm cognitive state and it is prior to knowing that” (p10). That is, the unconscious automatisms of S1 are evolutionarily and behaviorally prior to the slow conscious dispositions of S2. -/- This is classic Hutto high level philosophical dialog, which is quite elegant, but somewhat too dense and a tad pretentious for the rest of us. I have not before encountered his coauthor Myin so can’t say how much of this text is really due to him. It is clear from this and the rest of Hutto’s work that (like everyone else) he has not quite kept up with the latest work in psychology nor really grasped the full power of W or S, even though he is one of the top Wittgensteinians alive and as bright as anyone in the field. His discussions of the language games of “information” and “representation” in his other papers and books (and much else including his deconstructions of Dennett and Fodor) should be required reading for anyone interested in behavior. So, I have the greatest respect for him, but one hopes that he will mellow with time and write descriptions of behavior (i.e., all we can really do as philosophers according to W) in more mundane prose such as this lovely summation on p15. “Hence, REC is nothing less than a fundamental rethinking of the very foundations of standard approaches to cognitive science and philosophy of mind.” Yes and what a pity that this great Wittgensteinian (and everyone else) does not realize that W laid it all out with great (and unmatched) clarity in his third period works over 60 years ago. -/- I have much less sympathy for the extended and scaffolded minds of Chap 7. I don’t see how one can lay the burden of explaining how the mind works at Searle’s door, nor how the convoluted prose about “decoupled contentful activities” etc helps at all. Why not just say that automated unconscious prelinguistic S1 feeds deliberate, conscious linguistic S2, which is axiomatically extended by public language into the myriad wonders of S3 culture? Beginning and end of story. -/- Their last chapter is about “regaining consciousness,” but I would say that if one has understood Wittgenstein and Searle, one has never lost it. And, though this is an excellent book by two of the brightest and the best, I suggest mulling over my thoughts in this and other reviews and reading Johnston and the latest from Searle, along of course with as much of 3rd period W as feasible, is an even better filter for folly. In sum an excellent book with various faults which I try to correct. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of ‚faith’ and ‚action’, and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a matter or (...) matters of social importance. After outlining the main ideas and basic assumptions of the theoretical conception of the LF&D as an axiomatic theory, the author introduces some axiom systems for: 1) the logics of faith LF, 2) the logic of deed LD, and 3) certain logics of norms DL connected with „duties” and concerning actions/deeds. Lastly, the paper outlines the scientific LF&D based on the three types of logic 1)–3). (shrink)

Unity of science was once a very popular idea among both philosophers and scientists. But it has fallen out of fashion, largely because of its association with reductionism and the challenge from multiple realisation. Pluralism and the disunity of science are the new norm, and higher-level natural kinds and special science laws are considered to have an important role in scientific practice. What kind of reductionism does multiple realisability challenge? What does it take to reduce one phenomenon to another? How (...) do we determine which kinds are natural? What is the ontological basis of unity? In this Element, Tuomas Tahko examines these questions from a contemporary perspective, after a historical overview. The upshot is that there is still value in the idea of a unity of science. We can combine a modest sense of unity with pluralism and give an ontological analysis of unity in terms of natural kind monism. This title is available as Open Access on Cambridge Core. (shrink)

Transdisciplinary research knits together knowledge from diverse epistemic communities in addressing social-environmental challenges, such as biodiversity loss, climate crises, food insecurity, and public health. This paper reflects on the roles of philosophy of science in transdisciplinary research while focusing on Indigenous and other subaltern forms of knowledge. We offer a critical assessment of demarcationist approaches in philosophy of science and outline a constructive alternative of transdisciplinary philosophy of science. While a demarcationist focus obscures the complex relations between epistemic communities, transdisciplinary (...) philosophy of science provides resources for meeting epistemic and political challenges of collaborative knowledge production. (shrink)

The idea that science is objective, or able to achieve objectivity, is in large part responsible for the role that science plays within society. But what is objectivity? The idea of objectivity is ambiguous. This paper distinguishes between three basic forms of objectivity. The first form of objectivity is ontological objectivity: the world as it is in itself does not depend upon what we think about it; it is independent of human thought, language, conceptual activity or experience. The second form (...) of objectivity is the objectivity of truth: truth does not depend upon what we believe or justifiably believe; truth depends upon the way reality itself is. The third form of objectivity is epistemic objectivity: this form of objectivity resides in the scientific method which ensures that subjective factors are excluded, and only epistemically relevant factors play a role in scientific inquiry. The paper considers two problems that arise for the notion of epistemic objectivity: the theory-dependence of observation and the variability of the methods of science. It is argued that the use of shared standard procedures ensures the objectivity of observation despite theory-dependence. It is argued that the variability of methods need not lead to epistemic relativism about science. The paper concludes with the realist suggestion that the best explanation of the success of the sciences is that the methods employed in the sciences are highly reliable truth-conducive tools of inquiry. The objectivity of the methods of the sciences leads to the objective truth about the objective world. (shrink)

Climate change has become one of the most pressing problems that can threaten the existence and development of humans around the globe. Almost all climate scientists have agreed that climate change is happening and is caused mainly by greenhouse gas emissions induced by anthropogenic activities. However, some groups still deny this fact or do not believe that climate change results from human activities. This essay discusses the causes, significance, and skeptical arguments of climate change denialism, as well as the roles (...) of scientists and science communication in addressing the issues. Through this essay, we call for the active participation of scientists in science communication activities with the public, the opening of new science communication sectors specified for climate change, and more attention to social sciences and humanities in addressing climate change issues. (shrink)

In this paper, I introduce an intrinsic account of the quantum state. This account contains three desirable features that the standard platonistic account lacks: (1) it does not refer to any abstract mathematical objects such as complex numbers, (2) it is independent of the usual arbitrary conventions in the wave function representation, and (3) it explains why the quantum state has its amplitude and phase degrees of freedom. -/- Consequently, this account extends Hartry Field’s program outlined in Science Without Numbers (...) (1980), responds to David Malament’s long-standing impossibility conjecture (1982), and establishes an important first step towards a genuinely intrinsic and nominalistic account of quantum mechanics. I will also compare the present account to Mark Balaguer’s (1996) nominalization of quantum mechanics and discuss how it might bear on the debate about “wave function realism.” In closing, I will suggest some possible ways to extend this account to accommodate spinorial degrees of freedom and a variable number of particles (e.g. for particle creation and annihilation). -/- Along the way, I axiomatize the quantum phase structure as what I shall call a “periodic difference structure” and prove a representation theorem as well as a uniqueness theorem. These formal results could prove fruitful for further investigation into the metaphysics of phase and theoretical structure. -/- (For a more recent version of this paper, please see "The Intrinsic Structure of Quantum Mechanics" available on PhilPapers.). (shrink)

The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two di erent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of (...) inequality) proposed by Witold Wilkosz, a Polish logician, philosopher and mathematician, in 1932. The axioms W are those of ordered sets without largest element, in which every non-empty set has a least element, and every set bounded from above has a greatest element. We show that P and W are equivalent and also that the systems of arithmetic based on W or on P, are categorical and consistent. There follows a set of intuitive axioms PI of integers arithmetic, modelled on P and proposed by B. Iwanuś, as well as a set of axioms WI of this arithmetic, modelled on the W axioms, PI and WI being also equivalent, categorical and consistent. We also discuss the problem of independence of sets of axioms, which were dealt with earlier. (shrink)

This volume offers a collection of in-depth explorations of pragmatism as a framework for discussions in philosophy of science and metaphysics. Each chapter involves explicit reflection on what it means to be pragmatist, and how to use pragmatism as a guiding framework in addressing topics such as realism, unification, fundamentality, truth, laws, reduction, and more. -/- .

In his Posterior Analytics Aristotle confronted a problem that threatened his vision of scientific knowledge as an axiomatic system: if scientific knowledge is demonstrative in character, and if the axioms of a science cannot themselves be demonstrated, then the most basic of all scientific principles will remain unknown. In the famous concluding chapter of this work (II 19), he claimed to solve this problem by distinguishing two kinds of knowledge: we cannot have epistêmê of the first principles, but we can (...) have nous of them. This ‘solution’ has struck many students of his thought as hopelessly ad hoc and unpersuasive. And nowhere is Aristotle less persuasive than when he appeals to a faculty of intuition or a priori insight which arrives on the scene precisely when it is most needed. I defend Aristotle’s account by showing how nous is not properly characterized as a faculty of intuition which operates independently of sense experience. Rather, nous is a kind of knowledge that is available to us whenever our mind advances from the perception of particular individuals to grasp the relevant universal concept or general principle. (shrink)

Probably the leading exponent of Wittgenstein’s ideas on the language games of inner and outer (the ‘Two Selves’ operation of our personality or intentionality or EP etc.) the prolific Daniel Hutto’s approach is called ‘Radical Enactivism’ and is well explained in numerous recent books and papers. It is a development of or version of the Embodied Mind ideas now current and, cleansed of its jargon, it is a straightforward extension of Wittgenstein’s 2nd and 3rd period writings (though Hutto seems only (...) intermittently aware of this). -/- The basic idea of the Embodied Mind or Enactivism is that much of behavior is automated and does not involve representations (basically S2 dispositions-see Hutto’s lovely dissection of the ‘representation rats nest’ in his online papers). To me this is just another way of stating the fact that System 1 precedes the operation of System 2 which is a standard feature of contemporary psychology, which I have explained above and in further detail in my reviews of Wittgenstein (hereafter W-who was the first to see this and explored it in great detail) and Searle (hereafter S-who called it The Phenomenological Illusion in his superb essay of this name in his book Philosophy in a New Century, which I have also reviewed). Since these are basic incontrovertible facts of animal behavior and I have already discussed them I won’t dwell on it here. -/- This book is a sustained argument against other similar ways of describing behavior which he calls CEC and CIC in favor of REC (Radical Embodied Cognition), which he characterizes as “the strongest reading of the embodiment thesis—one that uncompromisingly maintains that basic cognition is literally constituted by, and to be understood in terms of concrete patterns of environmental situated organismic activity, nothing more or less” (p11). This is clear as a bell if you understand the two systems view explained above but likely opaque if you don’t. Much clearer is Fodor’s characterization which he quotes as “abilities are prior to theories”, that “competence is prior to content” and that “knowing how is the paradigm cognitive state and it is prior to knowing that” (p10). That is, the unconscious automatisms of S1 are evolutionarily and behaviorally prior to the slow conscious dispositions of S2. -/- This is classic Hutto high-level philosophical dialog, which is quite elegant, but somewhat too dense and a tad pretentious for the rest of us. I have not before encountered his coauthor Myin, so can’t say how much of this text is really due to him. It is clear from this and the rest of Hutto’s work that (like everyone else) he has not quite kept up with the latest work in psychology nor really grasped the full power of W or S, even though he is one of the top Wittgensteinians alive and as bright as anyone in the field. His discussions of the language games of “information” and “representation” in his other papers and books (and much else including his deconstructions of Dennett and Fodor) should be required reading for anyone interested in behavior. So, I have the greatest respect for him, but one hopes that he will mellow with time and write descriptions of behavior (i.e., all we can really do as philosophers according to W) in more mundane prose such as this lovely summation on p15. “Hence, REC is nothing less than a fundamental rethinking of the very foundations of standard approaches to cognitive science and philosophy of mind.” Yes, and what a pity that this great Wittgensteinian (and everyone else) does not realize that W laid it all out with unmatched clarity in his third period works over 60 years ago. -/- I have much less sympathy for the extended and scaffolded minds of Chap 7. I don’t see how one can lay the burden of explaining how the ‘mind’ works at Searle’s door, nor how the convoluted prose about “decoupled contentful activities” etc. helps at all. Why not just say that automated unconscious prelinguistic S1 feeds deliberate, conscious linguistic S2, which is axiomatically extended by public language into the myriad wonders of culture (S3)? Beginning and end of story. Their last chapter is about “regaining consciousness,” but I would say that if one has understood Wittgenstein and Searle, one has never lost it. And, though this is an excellent book by two of the brightest and the best, I suggest an even better filter for folly is mulling over my thoughts in this and other reviews, and reading Johnston and the latest from Searle, along of course with as much of 3rd period W as feasible. In sum an excellent book with various faults which I try to correct. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

Over the years, mathematics and statistics have become increasingly important in the social sciences1 . A look at history quickly confirms this claim. At the beginning of the 20th century most theories in the social sciences were formulated in qualitative terms while quantitative methods did not play a substantial role in their formulation and establishment. Moreover, many practitioners considered mathematical methods to be inappropriate and simply unsuited to foster our understanding of the social domain. Notably, the famous Methodenstreit also (...) concerned the role of mathematics in the social sciences. Here, mathematics was considered to be the method of the natural sciences from which the social sciences had to be separated during the period of maturation of these disciplines. All this changed by the end of the century. By then, mathematical, and especially statistical, methods were standardly used, and their value in the social sciences became relatively uncontested. The use of mathematical and statistical methods is now ubiquitous: Almost all social sciences rely on statistical methods to analyze data and form hypotheses, and almost all of them use (to a greater or lesser extent) a range of mathematical methods to help us understand the social world. Additional indication for the increasing importance of mathematical and statistical methods in the social sciences is the formation of new subdisciplines, and the establishment of specialized journals and societies. Indeed, subdisciplines such as Mathematical Psychology and Mathematical Sociology emerged, and corresponding journals such as The Journal of Mathematical Psychology (since 1964), The Journal of Mathematical Sociology (since 1976), Mathematical Social Sciences (since 1980) as well as the online journals Journal of Artificial Societies and Social Simulation (since 1998) and Mathematical Anthropology and Cultural Theory (since 2000) were established. What is more, societies such as the Society for Mathematical Psychology (since 1976) and the Mathematical Sociology Section of the American Sociological Association (since 1996) were founded. Similar developments can be observed in other countries. The mathematization of economics set in somewhat earlier (Vazquez 1995; Weintraub 2002). However, the use of mathematical methods in economics started booming only in the second half of the last century (Debreu 1991). Contemporary economics is dominated by the mathematical approach, although a certain style of doing economics became more and more under attack in the last decade or so. Recent developments in behavioral economics and experimental economics can also be understood as a reaction against the dominance (and limitations) of an overly mathematical approach to economics. There are similar debates in other social sciences. It is, however, important to stress that problems of one method (such as axiomatization or the use of set theory) can hardly be taken as a sign of bankruptcy of mathematical methods in the social sciences tout court. This chapter surveys mathematical and statistical methods used in the social sciences and discusses some of the philosophical questions they raise. It is divided into two parts. Sections 1 and 2 are devoted to mathematical methods, and Sections 3 to 7 to statistical methods. As several other chapters in this handbook provide detailed accounts of various mathematical methods, our remarks about the latter will be rather short and general. Statistical methods, on the other hand, will be discussed in-depth. (shrink)

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

Although now over 25 years old, many of the essays are quite contemporary. As expected, none of the authors grasp the full relevance of W for the description of behavior, missing most of the points made in my comments above, his many examples of how S1becomes S2, his role as a pioneer in EP, and his attempts to separate nature from nurture. Brose has many good points and is aware of the foundational nature of On Certainty, but is too scattered (...) and does not clearly describe W’s analysis of how our innate automatic unconscious S1 is the axiomatic basis for all behavior (but with a few exceptions nobody else to this day has either). Russell’s article is excellent, especially the first part dealing with Kripke’s famously distorted view of W. For a more recent and superb deconstruction of Kripke’s W that is of very general application, see “Kripke’s conjuring Trick” by Read and Sharrock, available on the net. I also found Coulter’s article quite good and like Margolis and Harre, he has continued his work to the present day and published widely. Margolis is very bright and well read but his precious prose and attempt to include as many references as possible results in a lack of clarity and focus. Rosch makes the best effort to apply W to real research but also lacks the broad understanding of him that could transform the view of higher order thought. Harre has since become a major W scholar but has little to say here, so those interested should see my review of his “Wittgenstein and Psychology”. Overall, considering that this book was written over 25 years ago and most of the authors were not philosophers they did a good job and the volume is still worth reading. -/- Those wishing a comprehensive up to date account of Wittgenstein, Searle and their analysis of behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle (2016). Those interested in all my writings in their most recent versions may download from this site my e-book ‘Philosophy, Human Nature and the Collapse of Civilization Michael Starks (2016)- Articles and Reviews 2006-2016’ by Michael Starks First Ed. 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX . (shrink)

Sustainability science seeks to extend scientific investigation into domains characterized by a distinct problem-solving agenda, physical and social complexity, and complex moral and ethical landscapes. In this endeavor it arguably pushes scientific investigation beyond its usual comfort zones, raising fundamental issues about how best to structure such investigation. Philosophers of science have long scrutinized the structure of science and scientific practices, and the conditions under which they operate effectively. We propose a critical engagement between sustainability scientists and philosophers of science (...) with respect to how to engage in scientific activity in these complex domains. We identify specific issues philosophers of science raise concerning current sustainability science and the contributions philosophers can make to resolving them. In conclusion we reflect on the steps philosophers of science could take to advance sustainability science. (shrink)

Hermann von Helmholtz’s geometrical papers have been typically deemed to provide an implicitly group-theoretical analysis of space, as articulated later by Felix Klein, Sophus Lie, and Henri Poincaré. However, there is less agreement as to what properties exactly in such a view would pertain to space, as opposed to abstract mathematical structures, on the one hand, and empirical contents, on the other. According to Moritz Schlick, the puzzle can be resolved only by clearly distinguishing the empirical qualities of spatial perception (...) from those describable in terms of axiomatic geometry. This paper offers a partial defense of the group-theoretical reading of Helmholtz along the lines of Ernst Cassirer in the fourth volume of The Problem of Knowledge of 1940. In order to avoid the problem raised by Schlick, Cassirer relied on a Kantian view of space not so much as an object of geometry, but as a precondition for the possibility of measurement. Although the concept of group does not provide a description of space, the modern way to articulate the concept of space in terms of transformation groups reveals something about the structure and the transformation of spatial concepts in mathematical and natural sciences. (shrink)

Overall Stern does a fine analysis of Wittgenstein (W) and is one of the top W scholars, but in my view they all fall short of a full appreciation, as I explain at length in this review and many others. If one does not understand W (and preferably Searle also) then I don't see how one could have more than a superficial understanding of philosophy and of higher order thought and thus of all complex behavior(psychology, sociology, anthropology, history, literature, society). (...) In a nutshell, W demonstrated that when you have shown how a sentence is used in the context of interest, there is nothing more to say. I will start with a few notable quotes and then give what I think are the minimum considerations necessary to understand Wittgenstein, philosophy and human behavior. -/- As Stern is aware, throughout W’s works, understanding is bedeviled by possible alternative and consequently often infelicitous translations from often unedited and handwritten German notes, with “Satz” being frequently incorrectly rendered as “proposition”(which is a testable or falsifiable statement) when referring to our nonfalsifiable psychological axioms, as opposed to the correct “sentence”, which CAN be applied to our axiomatic true-only statements such as “these are my hands” or “Tyrannosaurs were large carnivorous dinosaurs that lived about 50 million years ago”. -/- Finally, let me suggest that with the perspective I have encouraged here, W is at the center of contemporary philosophy and psychology and is not obscure, difficult or irrelevant, but scintillating, profound and crystal clear and that to miss him is to miss one of the greatest intellectual adventures possible. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle 59p(2016). For all my articles on Wittgenstein and Searle see my e-book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Wittgenstein and Searle 367p (2016). Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016’ 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) Amazon ASIN # B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) Amazon ASIN # B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) Amazon ASIN # B0711R5LGX . (shrink)

It is very well known that from the late-1960s onwards Feyerabend began to radically challenge some deeply-held ideas about the history and methodology of the sciences. It is equally well known that, from around the same period, he also began to radically challenge wider claims about the value and place of the sciences within modern societies, for instance by calling for the separation of science and the state and by questioning the idea that the sciences served to (...) liberate and ameliorate human societies. But what is less known is how, if at all, these two sets of challenges were connected, and why Feyerabend felt it important to raise them at all. In this chapter, my aim is to explore these issues by considering why Feyerabend used radical strategies to challenge the authority of science, and what purpose, if any, they were supposed to serve. Why, for instance, did Feyerabend defend alternative medicine, psychical abilities, astrology, magic and witchcraft and why did he argue that ‘Western science’ is complicit in environmental destruction, intellectual imperialism, social oppression, and spiritual destitution. Located in their historical and political context, such defences and arguments seem peculiar, not least because science was recognised not only as a central site of the intellectual and ideological competition between the West and the Soviet Union, but also because Western victory in that site was considered inevitable. What, then, did Feyerabend think he was trying to achieve by raising radical challenges to a central component of the cultural and intellectual prestige of the Western world grounded in appeals to practices and traditions which most would regard as eccentric at best and absurd at worst? My suggestion is that Feyerabend was making a subtler point than one might suppose. For the purpose of these radical challenges was to determine if the members of Western societies would in fact honour the epistemic standards – of tolerance, critical enquiry – which were identified as being characteristic of science and definitive of the social and political values of Western liberal democracy. I suggest that Feyerabend was trying to demonstrate that scientists were, too often, guilty of the same intolerant and dogmatic attitudes which were, according to prevailing propaganda, the property of illiberal totalitarian societies. Science does not reflect the superior epistemic and political values of Western societies but are, in fact, reflective of the same vices ascribed to the Soviet Union. If that is the case, then the sciences are not symbols of our epistemic and political values, but quite the reverse, hence Feyerabend’s talk of the ‘dogmatic’, ‘totalitarian’, ‘ratiofascist’ nature of modern science. But there is a positive upshot to Feyerabend’s challenge. For even if the sciences do not yet reflect the epistemic and political values of liberal democratic Western societies, they might yet be reformed so that they are. And there is a parallel between Feyerabend’s strategy and that of many of the other radicals of the time – student activists, environmentalists, and pacifists – namely to test the commitment to tolerance and deliberative debate of the establishment by asking it to seriously engage with ideas and convictions opposed to its own. For both science and society can become ‘tyrannical’ through the same means: by exempting themselves from critical scrutiny, by promoting self-serving ‘myths’ about themselves, and by derogating and excluding alternatives, including the ‘outsider’ perspectives they offer. The chapter concludes by suggesting that Feyerabend is distinctive in virtue of his willingness to offer radical criticisms of the authority of science such that it can fulfil its legitimate ideological role – namely, of symbolising and instantiating our core epistemic and political values – such that we can offer a sincere and meaningful answer to Feyerabend’s question ‘what’s so great about science?’. (shrink)

A well known conception of axiomatization has it that an axiomatized theory must be interpreted, or otherwise coordinated with reality, in order to acquire empirical content. An early version of this account is often ascribed to key figures in the logical empiricist movement, and to central figures in the early “formalist” tradition in mathematics as well. In this context, Reichenbach’s “coordinative definitions” are regarded as investing abstract propositions with empirical significance. We argue that over-emphasis on the abstract elements of (...) this approach fails to appreciate a rich tradition of empirical axiomatization in the late nineteenth and early twentieth centuries, evident in particular in the work of Moritz Pasch, Heinrich Hertz, David Hilbert, and Reichenbach himself. We claim that such over-emphasis leads to a misunderstanding of the role of empirical facts in Reichenbach’s approach to the axiomatization of a physical theory, and of the role of Reichenbach’s coordinative definitions in particular. (shrink)

Philosophy of science appears caught in what Einstein (1933) called the ‘eternal antithesis between the two inseparable components of our knowledge – the empirical and the rational’ (p. 271). It wants to employ metaphysical speculation, but impressed with the methods of the subject it studies, it fears overreaching. Philosophy of science thus tries to walk a fine line between scientifically grounded metaphysics and its more speculative cousins. Here I try to draft some of the contour of this boundary.

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology (...) that provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed (LF&D) and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of 'faith’ and 'action', and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a matter (...) or matters of social importance. After outlining the main ideas and basic assumptions of the theoretical conception of the LF&D as an axiomatic theory, the author introduces some axiom systems for: 1) the logics of faith LF (doxastic logics), 2) the logic of deed LD, and 3) certain logics of norms DL (deontic logics) connected with "duties" and concerning actions/deeds. Lastly, the paper outlines the scientific LF&D based on the three types of logic 1)-3). (shrink)

The writings of Joseph Henry Woodger (1894–1981) are often taken to exemplify everything that was wrongheaded, misguided, and just plain wrong with early twentieth-century philosophy of biology. Over the years, commentators have said of Woodger: (a) that he was a fervent logical empiricist who tried to impose the explanatory gold standards of physics onto biology, (b) that his philosophical work was completely disconnected from biological science, (c) that he possessed no scientific or philosophical credentials, and (d) that his work was (...) disparaged – if not altogether ignored – by the biologists and philosophers of his era. In this paper, we provide the first systematic examination of Woodger’s oeuvre, and use it to demonstrate that the four preceding claims are false. We argue that Woodger’s ideas have exerted an important influence on biology and philosophy, and submit that the current consensus on his legacy stems from a highly selective reading of his works. By rehabilitating Woodger, we hope to show that there is no good reason to continue to disregard the numerous contributions to the philosophy of biology produced in the decades prior to the professionalization of the discipline. (shrink)

Overall Stern does a fine analysis of Wittgenstein (W) and is one of the top W scholars, but in my view, they all fall short of a full appreciation, as I explain at length in this review and many others. If one does not understand W (and preferably Searle also), then I don't see how one could have more than a superficial understanding of philosophy and of higher order thought and thus of all complex behavior (psychology, sociology, anthropology, history, literature, (...) society). In a nutshell, W demonstrated that when you have shown how a sentence is used in the context of interest, there is nothing more to say. I will start with a few notable quotes and then give what I think are the minimum considerations necessary to understand Wittgenstein, philosophy and human behavior. As Stern is aware, throughout W’s works, understanding is bedeviled by possible alternative and consequently often infelicitous translations from often unedited and handwritten German notes, with “Satz” being frequently incorrectly rendered as “proposition” (which is a testable or falsifiable statement) when referring to our non-falsifiable psychological axioms, as opposed to the correct “sentence”, which CAN be applied to our axiomatic true-only statements such as “these are my hands” or “Tyrannosaurs were large carnivorous dinosaurs that lived about 50 million years ago”. -/- Finally, let me suggest that with the perspective I have encouraged here, W is at the center of contemporary philosophy and psychology and is not obscure, difficult or irrelevant, but scintillating, profound and crystal clear and that to miss him is to miss one of the greatest intellectual adventures possible. Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019) and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

Wittgenstein (W) is for me easily the most brilliant thinker on human behavior and this is his last work and crowning achievement. It belongs to his third and final period, yet it is not only his most basic work (since it shows that all behavior is an extension of innate true-only axioms and that our conscious ratiocination is but icing on unconscious machinations), but as Daniele Moyal-Sharrock has recently noted, is a radical new epistemology and the foundation for all description (...) of animal behavior, revealing how the mind works and indeed must work. The "must" is entailed by the fact that all brains share a common ancestry and common genes, and so there is only one basic way they work, that this necessarily has an axiomatic structure, that all higher animals share the same evolved psychology based on inclusive fitness, and in humans this is extended into a personality based on throat muscle contractions (language) that evolved to manipulate others (with variations that can be regarded as trivial). This book, and arguably all of W's work and all useful discussion of behavior is a development of or variation on these ideas. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

This article addresses the contributions of the literature on the new mechanistic philosophy of science for the scientific practice of model building in ecology. This is reflected in a one-to-one interdisciplinary collaboration between an ecologist and a philosopher of science during science-in-the-making. We argue that the identification, reconstruction and understanding of mechanisms is context-sensitive, and for this case study mechanistic modeling did not present a normative role but a heuristic one. We expect our study to provides useful epistemic tools for (...) the improvement of empirically-riven work in the debates about mechanistic explanation of ecological phenomena. (shrink)