Explanation is a foundational goal in the exact sciences. Besides the contemporary considerations on ‘description’, ‘classification’, and ‘prediction’, we often see these terms in thriving applications of artificial intelligence (AI) in chemistry hypothesis generation. Going beyond describing ‘things in the world’, these applications can make accurate numerical property calculations from theoretical or topological descriptors. This association makes an interesting case for a logic of discovery in chemistry: are these induction-led ventures showing a shift in how chemists can problematize (...) research questions? In this article, I present a fresh perspective on the current context of discovery in chemistry. I argue how data-driven statistical predictions in chemistry can be explained as a quasi-logical process for generating chemical theories, beyond the classic examples of organic and theoretical chemistry. Through my position on formal models of scientific explanation, I demonstrate how the dawn of AI can provide novel insights into the explanatory power of scientific endeavors. (shrink)

Llull and Leibniz both subscribed to conceptual atomism: the belief that the majority of concepts are compounds constructed from a relatively small number of primitive concepts. Llull worked out techniques for finding the logically possible combinations of his primitives, but Leibniz criticized Llull’s execution of these techniques. This article argues that Leibniz was right about things being more complicated than Llull thought but that he was wrong about the details. The paper attempts to correct these details.

In this paper, I focus on the important semantic components involved in analogy in hopes of providing an epistemic ground for predicating names of God analogously. To this task, I address a semantic/epistemic problem, which concludes that the doctrine of analogy lacks epistemological grounding insofar as it presupposes a prior understanding of God in order to sufficiently alter a given concept to be proportionate to God. In hopes of avoiding this conclusion, I introduce Aquinas’s specifically semantic aspects that follow after (...) the real distinction between a thing’s esse and its essence or form in the context of analogy and show that the ratio of a term can be altered in a way proportionate to a consideration of the mode of being of God. (shrink)

In this paper, I attempt to clarify the heart of Dewey’s philosophy: his method (denotative method (DM) / pattern of inquiry (PI)). Despite the traditional understanding of Dewey as anti-foundationalist, I want to show that Dewey did have metaphysical foundations for his method: the principle of continuity or theory of emergentism. I also argue that Dewey’s metaphysical position is better named as ‘cultural emergentism’, rather than his own term ‘cultural naturalism’. What Dewey called ‘common sense’ in his Logic, Husserl (...) termed as the ‘life-world’ in his Crisis. I compare two perspectives of dealing with the phenomenon and conclude that for Dewey, the difference between natural sciences and the common sense inquiry is that of subject-matter but not of method. Thus, the goal is to find the unified method to be applied in both domains. Whereas Husserl was more pessimistic: for him, the difference was not only in subject-matter, but in the very methods. Following that discussion, I also attempt to reformulate the hard problem of consciousness in Deweyan terms. In the end, I compare Dewey’s DM / PI with Popper’s understandings of scientific method and conclude that there is no significant difference between the two and that Dewey’s method could also be looked at as hypothetic-deductive method, with the only difference in emphases. (shrink)

Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in the (...) field of methodology of research, scarce attention has been paid to the logic of discovery over the last hundred years, despite an impressive development not only of scientific research but also of logic. -/- Having this in mind, the exposition is divided into five parts: 1) a brief presentation of Peirce, focusing on his work as a professional scientist; 2) an exposition of the classification of inferences by the young Peirce: deduction, induction and hypothesis; 3) a sketch of the notion of abduction in the mature Peirce; 4) an exposition of the logic of surprise; and finally, by way of conclusion, 5) a discussion of this peculiar ability of guessing understood as a rational instinct. -/- . (shrink)

Karl Pearson is the leading figure of XX century statistics. He and his co-workers crafted the core of the theory, methods and language of frequentist or classical statistics – the prevalent inductive logic of contemporary science. However, before working in statistics, K. Pearson had other interests in life, namely, in this order, philosophy, physics, and biological heredity. Key concepts of his philosophical and epistemological system of anti-Spinozism (a form of transcendental idealism) are carried over to his subsequent works on (...) the logic of scientific discovery. This article’s main goal is to analyze K. Pearson early philosophical and theological ideas and to investigate how the same ideas came to influence contemporary science, either directly or indirectly – by the use of variant theories, methods and dialects of statistics, corresponding to variant statistical inference procedures and their specific belief calculi. (shrink)

I take advantage of two recent results: 1) the recognition of an alternative theoretical organization to the deductive-axiomatic one; it is characterized by a sequence of four logical steps belonging to intuitionist logic; 2) the recognition of the logical content of Cusanus’ philosophical works; also this content pertains to intuitionist logic, which Cusanus anticipated by even identifying some its logical laws. Many Cusanus’ books present the alternative theoretical organization; whose yet he did not apply in a clear way (...) its last two steps, the ad absurdum arguing and the application of the principle of sufficient reason. For this reason in the last books his thinking transcended to a metaphysical level. Hegel’s philosophy of logic shares Cusanus’ philosophical effort for exiting out classical logic. He seems to have assumed Cusanus’ anticipation of the new theoretical organization; all goes as if Hegel wanted to improve Cusanus’ poor method, by introducing a process of additions of two negations which however does not agree with the intuitionist logic. Moreover, Hegel presupposes, like Cusanus in his last years, the free application of the principle of sufficient reason to the entire subject of his philosophy of logic without awareness of the logical constraints to which is subject a correct application of this principle; hence, he introduced a metaphysical arguing which according to modern mathematical logic has no consistent content. Also Hegel’s supposed prolongation of Cusanus’ logical discoveries was an essentially metaphysical view. (shrink)

The present paper deals thus with some fundamental agreements and disagreements between Peirce and James, on crucial issues such as perception and consciousness. When Peirce first read the Principles, he was sketching his theory of the categories, testing its applications in many fields of knowledge, and many investigations were launched, concerning indexicals, diagrams, growth and development. James's utterances led Peirce to make his own views clearer on a wide range of topics that go to the heart of the foundations of (...) psychology and that involve the relationship between perception and logic, between consciousness and the categories, between abstraction and the 'stream of thought'. The idea is to show that Peirce detected important discoveries and insights in the Principles, but felt that James could not make proper use of them because of logical confusions, and also because of his "clandestine" metaphysics. The point in this essay is thus not to look for remains of psychologism in Peirce's writings,13 but to look at Peirce's comments about James's psychology in an attempt to identify where and why Peirce amended James's views. Since the project to provide some insight on Peirce's extensive reading ofJames's Principles of Psycho/.ogy would deserve a full volume, I shall focus here on three occasions where Peirce explicidy commented on Jarnes's Principles. In the first section, I shall consider bis assessment of James's chapter on space, which was published as a series of articles in 1887, in Mind. I shall then turn to the 1891 review of the Principles in The Nation for important complements on perception as inference. In the third section, I shall deal with Peirce's manuscript "Questions on James's Principles"(Rl099). These "Questions" reveal a deep interest in psychological problems and suggest different ways along which Peirce's new advances in the field of the categories, of continuity, and abstraction could provide a proper basis for the philosophy of mind. (shrink)

Future Logic is an original, and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. Traditional and Modern logic have covered in detail only formal deduction from actual categoricals, or from logical conditionals (conjunctives, hypotheticals, and disjunctives). Deduction from modal categoricals has also been considered, though very vaguely and roughly; whereas deduction from natural, temporal and extensional forms of conditioning has been all (...) but totally ignored. As for induction, apart from the elucidation of adductive processes (the scientific method), almost no formal work has been done. This is the first work ever to strictly formalize the inductive processes of generalization and particularization, through the novel methods of factorial analysis, factor selection and formula revision. This is the first work ever to develop a formal logic of the natural, temporal and extensional types of conditioning (as distinct from logical conditioning), including their production from modal categorical premises. Future Logic contains a great many other new discoveries, organized into a unified, consistent and empirical system, with precise definitions of the various categories and types of modality (including logical modality), and full awareness of the epistemological and ontological issues involved. Though strictly formal, it uses ordinary language, wherever symbols can be avoided. Among its other contributions: a full list of the valid modal syllogisms (which is more restrictive than previous lists); the main formalities of the logic of change (which introduces a dynamic instead of merely static approach to classification); the first formal definitions of the modal types of causality; a new theory of class logic, free of the Russell Paradox; as well as a critical review of modern metalogic. But it is impossible to list briefly all the innovations in logical science — and therefore, epistemology and ontology — this book presents; it has to be read for its scope to be appreciated. (shrink)

I provide a critical survey of some of the major findings of Wittgenstein and Searle on the logical structure of intentionality (mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. The (...) basic problem is that one can say anything but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I begin with ‘On Certainty’ and continue the analysis of recent writings by and about them from the perspective of the two systems of thought, employing a new table of intentionality and new dual systems nomenclature. (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)

I provide a critical survey of some of the major findings of Wittgenstein and Searle on the logical structure of intentionality (mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. The (...) basic problem is that one can say anything but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I begin with ‘On Certainty’ and continue the analysis of recent writings by and about them from the perspective of the two systems of thought, employing a new table of intentionality and dual systems nomenclature. (shrink)

The critic of substance immobility through negation constitutes the starting point of the ‘voyage of discovery’ of Hegel’s Phänomenologie des Geistes, in which mind and body experiences are considered in terms of mutual recognition, without denying the subjectivity. In this article I am discussing some aspects of Hegel’s philosophy of spirit after Nietzsche’s ‘experimentalism’ and Dennett’s theory of mind, in order to articulate, through Bergson, two fundamental reasons. The first concerns the subject and the dramatic awareness of its constitutional (...) temporality and, at the same time, the possibility to transcend the limit of ‘here’ and ‘now’. On this basis, the second regards the indefensibility of nihilism, because, thanks to consciousness and its continuous activity, the temporal subject, from Hegel to Bergson, persists as a ‘dark side’, in which a constant ‘overcoming’ (élan) of an implicitly normative and essentially social practice takes place. (shrink)

I provide a critical survey of some of the major findings of Wittgenstein and Searle on the logical structure of intentionality(mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. The basic (...) problem is that one can say anything but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I begin with ‘On Certainty’ and continue the analysis of recent writings by and about them from the perspective of the two systems of thought, employing a new table of intentionality and new dual systems nomenclature. -/- 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 challenges premises regarding the ‘Kuhn vs Popper debate’ which is often introduced to students at a university level. Though I acknowledge the disagreements between Kuhn and Popper, I argue that their models of science are greatly similar. To begin, some preliminary context is given to point out conceptual and terminological barriers within this debate. The remainder of paper illuminates consistencies between the influential books The Logic of Scientific Discoveries (by Popper, abbreviated as Logic) and The Structure (...) of Scientific Revolutions (by Kuhn, abbreviated as Structure). The central purpose of this comparison is to synthesize a shared model of scientific change. The broader implication of this approach is appreciating common ground in discussions that are defined by their disagreements (particularly in philosophy of science). (shrink)

It is my contention that the table of intentionality (rationality, mind, thought, language, personality etc.) that features prominently here describes more or less accurately, or at least serves as an heuristic for, how we think and behave, and so it encompasses not merely philosophy and psychology, but everything else (history, literature, mathematics, politics etc.). Note especially that intentionality and rationality as I (along with Searle, Wittgenstein and others) view it, includes both conscious deliberative linguistic System 2 and unconscious automated prelinguistic (...) System 1 actions or reflexes. -/- I provide a critical survey of some of the major findings of two of the most eminent students of behavior of modern times, Ludwig Wittgenstein and John Searle, on the logical structure of intentionality (mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. The basic problem is that one can say anything but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I analyze various writings by and about them from the modern perspective of the two systems of thought (popularized as ‘thinking fast, thinking slow’), employing a new table of intentionality and new dual systems nomenclature. I show that this is a powerful heuristic for describing behavior. -/- Thus, all behavior is intimately connected if one takes the correct viewpoint. The Phenomenological Illusion (oblivion to our automated System 1) is universal and extends not merely throughout philosophy but throughout life. I am sure that Chomsky, Obama, Zuckerberg and the Pope would be incredulous if told that they suffer from the same problem as Hegel, Husserl and Heidegger, (or that that they differ only in degree from drug and sex addicts in being motivated by stimulation of their frontal cortices by the delivery of dopamine (and over 100 other chemicals) via the ventral tegmentum and the nucleus accumbens), but it’s clearly true. While the phenomenologists only wasted a lot of people’s time, they are wasting the earth and their descendant’s future. (shrink)

This thesis examines the prospects for mechanical procedures that can identify true, complete, universal, first-order logical theories on the basis of a complete enumeration of true atomic sentences. A sense of identification is defined that is more general than those which are usually studied in the learning theoretic and inductive inference literature. Some identification algorithms based on confirmation relations familiar in the philosophy of science are presented. Each of these algorithms is shown to identify all purely universal theories without function (...) symbols. It is demonstrated that no procedure can solve this universal theory inference problem in the more usual senses of identification. The question of efficiency for theory inference systems is addressed, and some definitions of limiting complexity are examined. It is shown that several aspects of obvious strategies for solving the universal theory inference problem are NP-hard. Finally, some non-worst case heuristic search strategies are examined in light of these NP-completeness results. These strategies are based upon an isomorphism between clausal entailments of a certain class and partition lattices, and are applicable to the improvement of earlier work on language acquisition and logical inductive inference. (shrink)

It is my contention that the table of intentionality (rationality, consciousness, mind, thought, language, personality etc.) that features prominently here describes more or less accurately, or at least serves as an heuristic for, how we think and behave, and so it encompasses not merely philosophy and psychology, but everything else (history, literature, mathematics, politics etc.). Note especially that intentionality and rationality as I (along with Searle, Wittgenstein and others) view it, includes both conscious deliberative linguistic System 2 and unconscious automated (...) prelinguistic System 1 actions or reflexes. -/- I provide a critical survey of some of the major findings of two of the most eminent students of behavior of modern times, Ludwig Wittgenstein and John Searle, on the logical structure of intentionality (mind, language, consciousness, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. The basic problem is that one can say anything but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I analyze various writings by and about them from the modern perspective of the two systems of thought (popularized as ‘thinking fast, thinking slow’), employing a new table of intentionality and new dual systems nomenclature. I show that this is a powerful heuristic for describing behavior. -/- Thus, all behavior is intimately connected if one takes the correct viewpoint. The Phenomenological Illusion (oblivion to our automated System 1) is universal and extends not merely throughout philosophy but throughout life. I am sure that Chomsky, Obama, Zuckerberg and the Pope would be incredulous if told that they suffer from the same problem as Hegel, Husserl and Heidegger, (or that that they differ only in degree from drug and sex addicts in being motivated by stimulation of their frontal cortices by the delivery of dopamine (and over 100 other chemicals) via the ventral tegmentum and the nucleus accumbens), but it’s clearly true. While the phenomenologists only wasted a lot of people’s time, they are wasting the earth and their descendant’s future. (shrink)

I provide a critical survey of some of the major findings of Wittgenstein and Searle on the logical structure of intentionality(mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. The basic (...) problem is that one can say anything but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I begin with ‘On Certainty’ and continue the analysis of recent writings by and about them from the perspective of the two systems of thought, employing a new table of intentionality and new dual systems nomenclature. -/- 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)

What is W. V. O. Quine’s relationship to classical pragmatism? Although he resists the comparison to William James in particular, commentators have seen an affinity between his “web of belief” model of theory confirmation and James’s claim that our beliefs form a “stock” that faces new experience as a corporate body. I argue that the similarity is only superficial. James thinks our web of beliefs should be responsive not just to perceptual but also to emotional experiences in some cases; Quine (...) denies this. I motivate James’s controversial view by appealing to an episode in the history of medicine when a researcher self-experimented by swallowing a vial of bacteria that at the time had not been studied in much detail. The researcher’s commitment to his own as-yet untested hypothesis was based in part on emotional considerations. Finally, I argue that Quine’s insistence that emotions can never be relevant to adjusting our web of belief reflects a tacit holdover of one of logical positivism’s crucially anti-pragmatist commitments—that philosophy of science should focus exclusively on the context of justification, not the context of discovery. James’s emphasis on discovery as a (perhaps the) crucial locus for epistemological inquiry is characteristic of pragmatism in general. Since Quinean epistemology is always an epistemology of justification, he is not happily viewed as a member of the pragmatist tradition. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, (...) focussing primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

It is my contention that the table of intentionality (rationality, mind, thought, language, personality etc.) that features prominently here describes more or less accurately, or at least serves as an heuristic for, how we think and behave, and so it encompasses not merely philosophy and psychology, but everything else (history, literature, mathematics, politics etc.). Note especially that intentionality and rationality as I (along with Searle, Wittgenstein and others) view it, includes both conscious deliberative linguistic System 2 and unconscious automated prelinguistic (...) System 1 actions or reflexes. -/- I provide a critical survey of some of the major findings of two of the most eminent students of behavior of modern times, Ludwig Wittgenstein and John Searle, on the logical structure of intentionality (mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. The basic problem is that one can say anything, but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I analyze various writings by and about them from the modern perspective of the two systems of thought (popularized as ‘thinking fast, thinking slow’), employing a new table of intentionality and new dual systems nomenclature. I show that this is a powerful heuristic for describing behavior. -/- Thus, all behavior is intimately connected if one takes the correct viewpoint. The Phenomenological Illusion (oblivion to our automated System 1) is universal and extends not merely throughout philosophy but throughout life. I am sure that Chomsky, Obama, Zuckerberg and the Pope would be incredulous if told that they suffer from the same problem as Hegel, Husserl and Heidegger, (or that that they differ only in degree from drug and sex addicts in being motivated by stimulation of their frontal cortices by the delivery of dopamine (and over 100 other chemicals) via the ventral tegmentum and the nucleus accumbens), but it’s clearly true. While the phenomenologists only wasted a lot of people’s time, they are wasting the earth and their descendant’s future. -/- . (shrink)

The obscure and punctuated history of symmetry is compared with the history of the celebrated and exalting notion of infinitesimal; some considerations about them are derived. A long list of odd and hidden events concerning symmetry in theoretical physics is offered. The last event is the discovery of the nature of the same word “symmetry” which pertains to non-classical logic, and it is linked to the principle of sufficient reason. A comparison of the roles played by the two (...) mathematical techniques within a classical physical theory is performed. It leads to recognize the different roles played by the two mathematical tools as a manifestation of an incommensurability phenomenon caused by two foundational dichotomies. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

Hermeneutic studies of science locate a circle at the heart of scientific practice: scientists only gain knowledge of what they, in some sense, already know. This may seem to threaten the rational validity of science, but one can argue that this circle is a virtuous rather than a vicious one. A virtuous circle is one in which research conclusions are already present in the premises, but only in an indeterminate and underdeveloped way. In order to defend the validity of science, (...) the hermeneuticist must describe a method by which a vague and confused initial knowledge of nature gets transformed into a clear and determinate knowledge of nature. I consider three such methods. The first is regressus demonstrativa, favoured by the physicians of Padua during the fifteenth and sixteenth centuries. The second is mathēsis, introduced by Martin Heidegger in his discussion of seventeenth-century science. The third is Denkstil, a key concept in Ludwik Fleck’s history of syphilology. I conclude by listing three desiderata for a hermeneutic science studies: that it be anti-metaphysical, historical, and sociological. --- Reprinted in: Erich Otto Graf, Martin Schmid & Johannes Fehr (eds.), Fleck and the Hermeneutics of Science (Collegium Helveticum Heft 14) (Zürich, 2016), pp. 85-93. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

This article accomplishes two goals. First, the paper clarifies Edmund Husserl’s investigation of the historical inception of the number system from his early works, Philosophy of Arithmetic and, “On the Logic of Signs (Semiotic)”. The article explores Husserl’s analysis of five historical developmental stages, which culminated in our ancestor’s ability to employ and enumerate with number signs. Second, the article reveals how Husserl’s conclusions about the history of the number system from his early works opens up a fusion point (...) with his investigations from his mature texts, The Crisis of the European Sciences and “The Origin of Geometry”. On the one hand, the essay shows that Husserl’s methodology was similar, as he sought in both his early and late writings to uncover the essence of the history of the formal sciences and was not executing mere intellectual history. On the other hand, the article discloses that Husserl’s insights from both time periods are strikingly analogous. Already in his early texts, Husserl saw that the sciences emerged from pre-theoretical experiences of the world and that the sciences are the result of a historical process, which involves the psychic activities of past individuals and the maintaining of discoveries over time by intersubjective communities. I conclude by showing how, in light of the analysis of this paper, we can rethink the evolution of Husserl’s philosophy. (shrink)

Unlike almost all other philosophers of science, Karl Popper sought to contribute to natural philosophy or cosmology – a synthesis of science and philosophy. I consider his contributions to the philosophy of science and quantum theory in this light. There is, however, a paradox. Popper’s most famous contribution – his principle of demarcation – in driving a wedge between science and metaphysics, serves to undermine the very thing he professes to love: natural philosophy. I argue that Popper’s philosophy of science (...) is, in this respect, defective. Science cannot proceed without making highly problematic metaphysical assumptions concerning the comprehensibility and knowability of the universe. Precisely because these assumptions are problematic, rigour requires that they be subjected to sustained critical scrutiny, as an integral part of science itself. Popper’s principle of demarcation must be rejected. Metaphysics and philosophy of science become a vital part of science. Natural philosophy is reborn. A solution to the problem of what it means to say a theory is unified is proposed, a problem Popper failed to solve. In The Logic of Scientific Discovery, Popper made important contributions to the interpretation of quantum theory, especially in connection with Heisenberg's uncertainty relations. Popper's advocacy of natural philosophy has important implications for education. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

This workbook of "études" offers a collection of experimental texts for communal dialogue and discovery that crosses multiple academic disciplines, including: foundations of physics, metaphysics, theoretical biology, semiotics, cognitive science, linguistics, phenomenology, logic & mathematics, poetry and theology. Each étude probes limits, horizons and boundaries by implicitly bring into relation foundational issues that characterize different academic disciplines or systems of meaning formation. Some formal techniques are deployed the études. Most notable is the use of the “logic of (...) three” to overcome falsely totalizing images and inexorable dualities. This technique involves a particular kind of attunement to the “betweenness” of mediation that is not common in modern science. The attunement draws on the formal and precise movements of analysis in concert with the metaphoric and singular movements of synthesis. (shrink)

Norwood Russell Hanson was one of the most important philosophers of science of the post-war period. Hanson brought Wittgensteinian ordinary language philosophy to bear on the concepts of science, and his treatments of observation, discovery, and the theory-ladenness of scientific facts remain central to the philosophy of science. Additionally, Hanson was one of philosophy’s great personalities, and his sense of humor and charm come through fully in the pages of Perception and Discovery. -/- Perception and Discovery, originally (...) published in 1969, is Hanson’s posthumous textbook in philosophy of science. The book focuses on the indispensable role philosophy plays in scientific thinking. Perception and Discovery features Hanson’s most complete and mature account of theory-laden observation, a discussion of conceptual and logical boundaries, and a detailed treatment of the epistemological features of scientific research and scientific reasoning. This book is of interest to scholars of philosophy of science, particularly those concerned with Hanson’s thought and the development of the discipline in the middle of the 20th century. However, even fifty years after Hanson’s early death, Perception and Discovery still has a great deal to offer all readers interested in science. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

In this paper, three theories of progress and the aim of science are discussed: the theory of progress as increasing explanatory power, advocated by Popper in The logic of scientific discovery ; the theory of progress as approximation to the truth, introduced by Popper in Conjectures and refutations ; the theory of progress as a steady increase of competing alternatives, which Feyerabend put forward in the essay “Reply to criticism. Comments on Smart, Sellars and Putnam” and defended as (...) late as the last edition of Against method. It is argued that, contrary to what Feyerabend scholars have predominantly assumed, Feyerabend's changing attitude towards falsificationism—which he often advocated at the beginning of his career, and vociferously attacked in the 1970s and 1980s—must be explained by taking into account not only Feyerabend's very peculiar view of the aim of science, but also Popper's changing account of progress. (shrink)

We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO (...) one can distinguish both (1) basic reasoning about general structures in reality and (2) the domain-specific reasoning of experts. We here propose a clarification of this important distinction between (realist) reasoning on the basis of an ontology and rule-based inferences on the basis of an expert’s view. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense.] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics and there are many new abstractions from advances in mathematics. Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The ultimate cause of much historical, social and cultural change is the gradual accumulation of human knowledge of the environment. Human beings use the materials in their environment to meet their needs and increased human knowledge of the environment enables human needs to be met in a more efficient manner. The human environment includes the human being itself and the human ability to communicate by means of language and to make symbolic representations of the sounds produced by language, allowed the (...) development of writing. Writing developed over time in a necessary and inevitable manner from logographic, to syllabic, to alphabetical systems. This development from simpler word based writing to more complex syllable based systems and then even more complex sound based writing systems was a logical progression from, simple less useful systems, to more complex, but more useful systems. This is an example of how the simplest knowledge is acquired first and more complex knowledge is acquired later. The order of discovery determines the course of human social and cultural history as knowledge of new and more efficient means of meeting human needs, results in new technology, which results in the development of new social and ideological systems. This means human social and cultural history, has to follow a particular course, a course that is determined by the structure of the human environment. (shrink)

Between April and November 1912, Bertrand Russell and Ludwig Wittgenstein were engaged in a joint philosophical program. Wittgenstein‘s meeting with Gottlob Frege in December 1912 led, however, to its dissolution – the joint program was abandoned. Section 2 of this paper outlines the key points of that program, identifying what Russell and Wittgenstein each contributed to it. The third section determines precisely those features of their collaborative work that Frege criticized. Finally, building upon the evidence developed in the preceding two (...) sections, section 4 recasts along previously undeveloped lines Wittgenstein‘s logical–philosophical discoveries in the two years following his encounter with Frege in 1912. The paper concludes, in section 5, with an overview of the dramatic consequences the Frege-Wittgenstein critique had for Russell‘s philosophical development. (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)

This thesis-on macro-ontology, physics, logic, and metalogical principles presents the findings, results, theorems, and metatheory that correct long-standing defects and deficiencies of current standard model (SM) physics and cosmology. It eliminates artificial SM anomalies, paradoxes, logical fallacies, absurdities, and conflicts with reality (and the findings of plasma physics, astronomy, ontology, epistemics, etc.). New theorems and metatheorems eliminate the illogic maintaining distortions of post-Einsteinian physics, its wildly speculative conjectures, and shibboleths (its unrealistic assumptions commonly accepted as facts). In critiques of (...) misperceptions, misconceptions and misinterpretations of observations and data, this work exposes the common failure to recognize the severe deficiencies of theory, science, ontology, and metamathematics. New results prove that chronic failure to differentiate realities from theorems, hypotheses, conjectures, opinions, and beliefs prevents progress to better physics and STEM education. Therefore, this work also enables resolution of the long-standing logical incongruency of physics, psychology, cognitive science, and philosophy, especially ontology. So, the facts and proofs presented here can enable a new era of discovery, creativity, and technological progress. (shrink)

In almost all of his early works Gilles Deleuze is concerned with one and the same problem: the problem of genesis. In response to this problem, Deleuze argues for a system of heterogenesis. In this article, I argue that Deleuze’s system of heterogenesis operates on three levels: (1) the differential multiplicity of virtual Ideas; (2) the implied multiplicity of intensive dramas; (3) the extensive and qualitative diversity of actual concepts. As I hope to show, the relation between these three levels (...) can be explained in terms of the logic of expression that Deleuze develops in 'Expressionism in Philosophy: Spinoza.' In this way, I hope to gain clarity without losing nuance. The rather technical and abstract language of expression will become more concrete and understandable when it is understood in terms of intensive dramas, virtual Ideas and actual concepts. At the same time, the three levels of expression make it possible to show how these notions are interlinked. Accordingly, this article is divided in four parts. In the first part, I will explain how Deleuze takes up Kant’s discovery of the principle of difference as a reaction against the model of representation. The second part focuses on the two multiplicities (virtual Ideas and intensive dramas) that produce diversity (actual concepts). In the third part, these two multiplicities are linked to each other with the help of the logic of expression that Deleuze derives from Spinoza. The fourth, concluding part will connect the logic of expression to the complex dynamic of difference and repetition. (shrink)

During the past decades, our image ofHomo neanderthalensishas changed dramatically. Initially, Neanderthals were seen as primitive brutes. Increasingly, however, Neanderthals are regarded as basically human. New discoveries and technologies have led to an avalanche of data, and as a result of that it becomes increasingly difficult to pinpoint what the difference between modern humans and Neanderthals really is. And yet, the persistent quest for a minimal difference which separates them from us is still noticeable in Neanderthal research. Neanderthal discourse is (...) a vantage point from which the logic of ‘us’ versus ‘other’ is critically reconsidered. Studying contemporary academic literature and science autobiographies from an oblique perspective, focusing not on Neanderthals as objects, but on the dynamics of interaction between Neanderthal researchers and their finds, basic convictions at work in this type of research are retrieved. What is at issue is not the actual distinction between modern humans and Neanderthals, but rather the dualistic construction of human and nonhuman. Neanderthal understanding is affected by the desire to safeguard human uniqueness. The overall trend is to identify the human mark or spark, which defines us as favoured ‘winners’. The paradoxes emerging in contemporary Neanderthal discourse are symptomatic of the fact that a dualistic style of thinking is no longer tenable. (shrink)

This paper was written to study the order of medical advances throughout history. It investigates changing human beliefs concerning the causes of diseases, how modern surgery developed and improved methods of diagnosis and the use of medical statistics. Human beliefs about the causes of disease followed a logical progression from supernatural causes, such as the wrath of the Gods, to natural causes, involving imbalances within the human body. The invention of the microscope led to the discovery of microorganisms which (...) were eventually identified as the cause of infectious diseases. Identification of the particular microorganism causing a disease led to immunization against the disease. Modern surgery only developed after the ending of the taboo against human dissection and the discovery of modern anesthesia and the discovery of the need for anti-septic practices. Modern diagnostic practices began with the discovery of x-rays and the invention of medical scanners. Improved mathematics, especially in probability theory, led to statistical studies which led to a much greater ability, to identify the causes of disease, and to evaluate the effectiveness of treatments. These discoveries all occurred in a necessary and inevitable order with the easiest discoveries being made first and the harder discoveries being made later. The order of discovery determined the course of the history of medicine and is an example of how social and cultural history has to follow a particular course determined by the structure of the world around us. (shrink)

This thesis-on macro-ontology, physics, logic, and metalogical principles presents the findings, results, theorems, and metatheory that correct long-standing defects and deficiencies of current standard model (SM) physics and cosmology. It eliminates artificial SM anomalies, paradoxes, logical fallacies, absurdities, and conflicts with reality (and the findings of plasma physics, astronomy, ontology, epistemics, etc.). New theorems and metatheorems eliminate the illogic maintaining distortions of post-Einsteinian physics, its wildly speculative conjectures, and shibboleths (its unrealistic assumptions commonly accepted as facts). In critiques of (...) misperceptions, misconceptions and misinterpretations of observations and data, this work exposes the common failure to recognize the severe deficiencies of theory, science, ontology, and metamathematics. New results prove that chronic failure to differentiate realities from theorems, hypotheses, conjectures, opinions, and beliefs prevents progress to better physics and STEM education. Therefore, this work also enables resolution of the long-standing logical incongruency of physics, psychology, cognitive science, and philosophy, especially ontology. So, the facts and proofs presented here can enable a new era of discovery, creativity, and technological progress. (shrink)

The distinction between the contexts of discovery and justification, this distinction dear to the projects of logical empiricism, was, as is well known, introduced in precisely those terms by Hans Reichenbach in his Experience and Prediction (Reichenbach 1938). Thus, while the idea behind the distinction has a long history before Reichenbach, this text from 1938 plays a salient role in how the distinction became canonical in the work of philosophers of science in the mid twentieth century. The new contextualist (...) history of philosophy that has arisen in recent years invites us into an investigation of the nuances of philosophical distinctions and their roles in shaping the development of disciplines. Logical empiricism played a key role in the historical development of philosophy of science and this contextualist history has revealed a much richer set of projects in logical empiricism than the potted histories had allowed. Many stories have been told about the contexts of justification and discovery; few of those stories have paid more than passing attention to the larger projects in epistemology and meta-epistemology that Reichenbach was pursuing when he drew the distinction. This brief essay will seek partially to rectify that lack in, I hope, a somewhat surprising way. I shall stress the connection between this canonical distinction and some other epistemological and social terms that loom large in Reichenbach’s text, arguing that the social relevance of scientific philosophy for Reichenbach cannot be set aside in understanding his use of the DJ distinction. My point is, therefore, historical and reflexive. If we attend to the larger significance of the project in scientific philosophy that Reichenbach was advancing, we can see more clearly why the DJ distinction was introduced and rethink the significance of questioning the distinction. (shrink)

Imagine my surprise at discovering - tucked inside the cover of a first edition Alice in Wonderland – an unknown dialogue written by Lewis Carroll himself! It was scribbled on the back of a napkin, punctuated by Carroll’s tell-tale signature, and seems to have been written hastily. Carroll is known among laypersons as an absurdist, but he’s esteemed among formal thinkers as impressively logical. You can probably then imagine my further surprise at discovering various fallacies and confusions in the dialogue! (...) I counted equivocations over use/mention, identity/predication, measurements, and lexical/material parthood, but I’m sure there are more hiding. -/- If you share my interest in untangling these errors, I’ve copied Carroll’s dialogue below. I’ve found the task best pursued with help, whether students, interns, sisters, tarot readers, etc. As you’ll see, I’ve divided the dialogue into five sections, of varying difficulties. I recommend dividing helpers accordingly, assigning one section per group, then directing each to identify both good and bad reasoning in the section. After some time, groups should pass their discoveries to other groups for scrutiny. For example, if group 1 examined section 1, they’d pass their discoveries to group 2 who then checks group 1’s work against section 1. Proceed until each group has examined each section and – hopefully – you’ll find all the errors. Happy hunting! (shrink)

This thesis-on macro-ontology, physics, logic, and metalogical principles presents the findings, results, theorems, and metatheory that correct long-standing defects and deficiencies of current standard model (SM) physics and cosmology. It eliminates artificial SM anomalies, paradoxes, logical fallacies, absurdities, and conflicts with reality (and the findings of plasma physics, astronomy, ontology, epistemics, etc.). New theorems and metatheorems eliminate the illogic maintaining distortions of post-Einsteinian physics, its wildly speculative conjectures, and shibboleths (its unrealistic assumptions commonly accepted as facts). In critiques of (...) misperceptions, misconceptions and misinterpretations of observations and data, this work exposes the common failure to recognize the severe deficiencies of theory, science, ontology, and metamathematics. New results prove that chronic failure to differentiate realities from theorems, hypotheses, conjectures, opinions, and beliefs prevents progress to better physics and STEM education. Therefore, this work also enables resolution of the long-standing logical incongruency of physics, psychology, cognitive science, and philosophy, especially ontology. So, the facts and proofs presented here can enable a new era of discovery, creativity, and technological progress. (shrink)

The many definitions of sophistry at the beginning of Plato’s Sophist have puzzled scholars just as much as they puzzled the dialogue’s main speakers: the Visitor from Elea and Theaetetus. The aim of this paper is to give an account of that puzzlement. This puzzlement, it is argued, stems not from a logical or epistemological problem, but from the metaphysical problem that, given the multiplicity of accounts, the interlocutors do not know what the sophist essentially is. It transpires that, in (...) order to properly account for this puzzle, one must jettison the traditional view of Plato’s method of division, on which divisions must be exclusive and mark out relations of essential predication. It is then shown on independent grounds that, although Platonic division in the Sophist must express predication relations and be transitive, it need not be dichotomous, exclusive, or express relations of essential predication. Once the requirements of exclusivity and essential predication are dropped, it is possible to make sense of the reasons that the Visitor from Elea and Theaetetus are puzzled. Moreover, with this in hand, it is possible to see Plato making an important methodological point in the dialogue: division on its own without any norms does not necessarily lead to the discovery of essences. (shrink)

Standard histories of mathematics and of analytic philosophy contend that work on the foundations of mathematics was motivated by a crisis such as the discovery of paradoxes in set theory or the discovery of non-Euclidean geometries. Recent scholarship, however, casts doubt on the standard histories, opening the way for consideration of an alternative motive for the study of the foundations of mathematics—unification. Work on foundations has shown that diverse mathematical practices could be integrated into a single framework of (...) axiomatic systems and that much of mathematics could be expressed in a single language. The new framework was the product of an interdisciplinary coalition whose ideas resemble those later adopted by the Vienna Circle and logical empiricists. (shrink)

A work on the philosophy of mathematics (2017) -/- ‘Number’, such a simple idea, and yet it fascinated and absorbed the greatest proportion of human geniuses over centuries, not to mention the likes of Pythagoras, Euclid, Newton, Leibniz, Descartes and countless maths giants like Euler, Gauss and Hilbert, etc.. Einstein thought of pure maths as the poetry of logical ideas, the exactitude of which, although independent of experience, strangely seems to benefit the study of the objects of reality. And, interestingly (...) as well as surprisingly we are nowhere near any clear understandings of numbers despite discoveries of many productive usages of numbers. This is - rightly or wrongly - a humble attempt to approach the subject from an angle hitherto unthought-of. (shrink)

How were reliable predictions made before Pascal and Fermat's discovery of the mathematics of probability in 1654? What methods in law, science, commerce, philosophy, and logic helped us to get at the truth in cases where certainty was not attainable? The book examines how judges, witch inquisitors, and juries evaluated evidence; how scientists weighed reasons for and against scientific theories; and how merchants counted shipwrecks to determine insurance rates. Also included are the problem of induction before Hume, design (...) arguments for the existence of God, and theories on how to evaluate scientific and historical hypotheses. It is explained how Pascal and Fermat's work on chance arose out of legal thought on aleatory contracts. The book interprets pre-Pascalian unquantified probability in a generally objective Bayesian or logical probabilist sense. (shrink)