What could be more certain than the fact that 2 plus 2 equals 4? Since the time of the ancient Greeks mathematicians have believed there is little---if anything---as unequivocal as a proved theorem. In fact, mathematical statements that can be proved true have often been regarded as a more solid foundation for a system of thought than any maxim about morals or even physical objects. The 17th-century German mathematician and philosopher Gottfried Wilhelm Leibniz even envisioned a ``calculus'' of reasoning such (...) that all disputes could one day be settled with the words ``Gentlemen, let us compute!'' By the beginning of this century symbolic logic had progressed to such an extent that the German mathematician David Hilbert declared that all mathematical questions are in principle decidable, and he confidently set out to codify once and for all the methods of mathematical reasoning. (shrink)

I read Stefan Collini’s What are Universities For? last week with very mixed feelings. In the past, I’ve much admired his polemical essays on the REF, “impact”, the Browne Report, etc. in the London Review of Books and elsewhere: they speak to my heart. If you don’t know those essays, you can get some of their flavour from his latest article in the Guardian yesterday. But I found the book a disappointment. Perhaps the trouble is that Collini is too decent, (...) too high-minded, has too unrealistically exalted a view about what actually happens in universities which is too coloured by attitudes appropriate to the traditional humanities. And he is optimistic to the point of fantasy if he thinks that people are so susceptible to “the romance of ideas and the power of beauty” that they will want, or can be brought to want, lots and lots of universities in order to promote the ideas (as if they would suppose that the task of “conserving, understanding, extending and handing on to subsequent generations the intellectual, scientific, and artistic heritage of mankind” was clearly ill-served when there were only forty universities in England, as opposed to a hundred and whatever). (shrink)

Described by the philosopher A.J. Ayer as a work of 'great originality and power', this book revolutionized contemporary thinking on science and knowledge. Ideas such as the now legendary doctrine of 'falsificationism' electrified the scientific community, influencing even working scientists, as well as post-war philosophy. This astonishing work ranks alongside The Open Society and Its Enemies as one of Popper's most enduring books and contains insights and arguments that demand to be read to this day.

This Element offers a new account of the philosophical significance of logical empiricism that relies on the past forty years of literature reassessing the project. It argues that while logical empiricism was committed to empiricism and did become tied to the trajectory of analytic philosophy, neither empiricism nor logical analysis per se was the deepest philosophical commitment of logical empiricism. That commitment was, rather, securing the scientific status of philosophy, bringing philosophy into a scientific conception of the world.

In this paper I argue for a place for logic inscientific methodology, at the same level asthat of computational and historicalapproaches. While it is well known that a awhole generation of philosophers dismissedLogical Positivism (not just for the logicthough), there are at least two reasons toreconsider logical approaches in the philosophyof science. On the one hand, the presentsituation in logical research has gone farbeyond the formal developments that deductivelogic reached last century, and new researchincludes the formalization of several othertypes (...) of reasoning, like induction andabduction. On the other hand, we call for abalanced Philosophy of Science, one inwhich both methods, the formal and thehistorical may be complementary, togetherproviding a pluralistic view of science, inwhich no method is the predominant one. (shrink)

Described by the philosopher A.J. Ayer as a work of 'great originality and power', this book revolutionized contemporary thinking on science and knowledge. Ideas such as the now legendary doctrine of 'falsificationism' electrified the scientific community, influencing even working scientists, as well as post-war philosophy. This astonishing work ranks alongside _The Open Society and Its Enemies_ as one of Popper's most enduring books and contains insights and arguments that demand to be read to this day.

This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to (...) class='Hi'>scientific theories. The book describes the role played by this metamathematical framework in three main aspects: considerations of formal languages employed to axiomatize scientific theories, the role of the axiomatic method itself, and the way set-theoretical structures, which play the role of the models of theories, are developed. The authors also discuss the differences and philosophical relevance of the two basic ways of aximoatizing a scientific theory, namely Patrick Suppes’ set theoretical predicates and the "da Costa and Chuaqui" approach. This book engages with important discussions of the nature of scientific theories and will be a useful resource for researchers and upper-level students working in philosophy of science. (shrink)

A short scientific biography emphasising the main phases of Abramsky’s research: duality theory and domains in logical form, game semantics, categorical quantum mechanics, the sheaf-theoretic approach to contextuality, and game comonads and a structural view of resources and descriptive complexity.

The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.

The main message of this volume is that the creative process of discovery is not a purely rational enterprise in the traditional sense which equates rationality with logical reasoning, yet it is a manifestation of a universal phenomenon ...

The field of epistemic logic developed into an interdisciplinary area focused on explicating epistemic issues in, for example, artificial intelligence, computer security, game theory, economics, multiagent systems and the social sciences. Inspired, in part, by issues in these different ‘application’ areas, in this paper I propose an epistemic logic T for metadata extracted from scientific papers on COVID-19. More in details, I introduce a structure S to syntactically and semantically modelling metadata extracted with systems for extracting structured (...) metadata from scientific articles in a born-digital form. These systems will be considered, in the logical model created, as ‘Metadata extraction agents’. In this case MEA taken into consideration are CERMINE and TeamBeam. In an increasingly data-driven world, modelling data or metadata means to help systematise existing information and support the research community in building solutions to the COVID-19 pandemic. (shrink)

It is often claimed that there can be no such thing as a logic of scientific discovery, but only a logic of verification. By 'logic of discovery' is usually meant a normative theory of discovery processes. The claim that such a normative theory is impossible is shown to be incorrect; and two examples are provided of domains where formal processes of varying efficacy for discovering lawfulness can be constructed and compared. The analysis shows how one can (...) treat operationally and formally phenomena that have usually been dismissed with fuzzy labels like 'intuition' and 'creativity'. (shrink)

Scientific knowledge systems function as effective and specialized apparatus for formulating, analyzing and solving scientific problems. In science, problems become internal parts of the knowledge systems; thus they acquire new forms and properties in comparison with common-sense problems. Definite theoretical structures connected with problems and questions appear in the theory. Among them are erotetic expressions and languages, calculi and algebras of problems. On the basis of the structure-nominative reconstruction of a theory, the unified treatment of these structures is (...) given. Methods of the theory of named sets are used in the logical analysis of problems and their systems. As a consequence a new formalized model of the problem part of theory is constructed. (shrink)

This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress (...) and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science. (shrink)

Scientific realism is the view that the theoretical entities of science exist. Atoms, forces, electromagnetic fields, and so on, are not merely instruments for organizing observational data but are real and causally effective. This view seems to be hardly compatible with the logical empiricist agenda: As common wisdom has it, logical empiricism is mainly characterized by a strong verification criterion of meaning, i.e., by the project of defining the meaning of theoretical terms by virtue of the meaning of purely (...) observational terms. However, it has been largely ignored by the historians of logical empiricism that there indeed existed a realist faction within the logical empiricist movement. (shrink)

In this paper an analysis of scientific theories and theory change including meaning change is presented by using intensional logic. Several cases of scientific progress are distinguished and special attention is given to incommensurability. It is argued that ,in all cases the comparison of rival theories is possible via translation. Finally two different forms of theory-Iadenness of observation are analysed.

This work investigates some of the most important logical limits of scientific knowledge. We argue that scientific knowledge is based on different logicalforms and paradigms. The logical forms, which represent the rational structure of scientific knowledge, show their limits through logical antinomies. The paradigms, which represent the scientific points of view on the world, show their limits through the theoretical anomalies. When these limits arise in science and when scientists become fully and deeply aware of them, (...) they can determine logical or paradigmatic revolutions. These are different in their respective courses, although the logical forms and the paradigms are parts of the same type of knowledge. In the end, science can avoid or can integrate its different limits. In fact, the limits of science can become new opportunities for its growth and development. (shrink)

Is methodological theory a priori or a posteriori knowledge? It is perhaps a posteriori improvable, somehow. For example, Duhem discovered that since scientists disagree on methods, they do not always know what they are doing. How is methodological innovation possible? If it is inapplicable in retrospect, then it is not universal and so seems defective; if it is, then there is a miracle here. Even so, the new explicit awareness of rules previously implicitly known is in itself beneficial. And so, (...) improved methodology may make for improved methods. Hence, methodology is in part descriptive, in part prescriptive. Knowing this, a methodologist might improve his own studies. For example, Popper would then not hasten to conclude from the fact that past scientists depended on positive evidence that they had better do so in future as well; perhaps a lesser concern with confirmation may increase the productivity of scientific inquiry. (shrink)

Scientific realism is the view that the theoretical entities of science exist. Atoms, forces, electromagnetic fields, and so on, are not merely instruments for organizing observational data but are real and causally effective. This view seems to be hardly compatible with the logical empiricist agenda: As common wisdom has it, logical empiricism is mainly characterized by a strong verification criterion of meaning, i.e., by the project of defining the meaning of theoretical terms by virtue of the meaning of purely (...) observational terms. However, it has been largely ignored by the historians of logical empiricism that there indeed existed a realist faction within the logical empiricist movement. (shrink)

This two-volume work, first published in 1843, was John Stuart Mill's first major book. It reinvented the modern study of logic and laid the foundations for his later work in the areas of political economy, women's rights and representative government. In clear, systematic prose, Mill (1806–73) disentangles syllogistic logic from its origins in Aristotle and scholasticism and grounds it instead in processes of inductive reasoning. An important attempt at integrating empiricism within a more general theory of human knowledge, (...) the work constitutes essential reading for anyone seeking a full understanding of Mill's thought. Volume 1 contains Mill's introduction, which elaborates upon his definition of logic as 'not the science of Belief, but the science of Proof, or Evidence'. It also features discussions of the central components of logical reasoning - propositions and syllogisms - in relation to Mill's theories of inductive reasoning and experimental method. (shrink)

This work is reprinted in John Dewey, The Middle Works, 1899-1924, Vol. 3.

This book provides a collection of chapters on the development of scientific philosophy and symbolic logic in the early twentieth century. The turn of the last century was a key transitional period for the development of symbolic logic and scientific philosophy. The Peano school, the editorial board of the Revue de Métaphysique et de Morale, and the members of the Vienna Circle are generally mentioned as champions of this transformation of the role of logic in (...) mathematics and in the sciences. The scholarship contained provides a rich historical and philosophical understanding of these groups and research areas. Specifically, the contributions focus on a detailed investigation of the relation between structuralism and modern mathematics. In addition, this book provides a closer understanding of the relation between symbolic logic and previous traditions such as syllogistics. This volume also informs the reader on the relation between logic, the history and didactics in the Peano School. This edition appeals to students and researchers working in the history of philosophy and of logic, philosophy of science, as well as to researchers on the Vienna Circle and the Peano School. (shrink)

We present a logically detailed case-study of explanation and prediction in Newtonian mechanics. The case in question is that of a planet's elliptical orbit in the Sun's gravitational field. Care is taken to distinguish the respective contributions of the mathematics that is being applied, and of the empirical hypotheses that receive a mathematical formulation. This enables one to appreciate how in this case the overall logical structure of scientific explanation and prediction is exactly in accordance with the hypotheticodeductive model.

This volume honors and examines the founders of the philosophy of logical empiricism. Historical and interpretive essays clarify the scientific philosophies of Carnap, Reichenbach, Hempel, Kant, and others, while exploring the main topics of logical empiricist philosophy of science.

Scientists collect evidence in order to confirm or falsify scientific theories. Unfortunately, scientific evidence may sometimes be false or deceiving and as a consequence lead individuals to believe in a false theory. By interaction between scientists, such false beliefs may spread through the entire community. There is currently a debate about the effect of various network configurations on the epistemic reliability of scientific communities. To contribute to this debate from a logical perspective, this paper introduces an epistemic (...) logical framework of observation, interaction and belief revision in scientific communities. The presented sound and complete system provides the formal tools for qualitative analysis of the social dynamics of scientific inquiry. Furthermore, this paper includes detailed suggestions for future applications of the framework. (shrink)

Some fictionalist approaches to the notion of scientific model are based on the concept of game of make-believe developed by Kendall Walton, without proposing a similar interpretation of it. The distinction between authorized and unauthorized games can be one of the sources of those divergences. In relation to the distinction made by Walton, the de dicto and de re modalities of the fiction-operator reflect different epistemological engagements concerning objects which satisfy properties. This paper aims at following up on the (...) proposals formulated by Roman Frigg and Adam Toon by using some modal logic concepts, notably by defining the identities of properties in modal contexts in terms of world-lines. Applying a model to a target-system consists in transposing fictional truths into actual situations, through an extrapolation that goes beyond the games of make-believe. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...) proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...) proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

In a case study, the mechanism of decomposition of diazonium ions in solution is discussed; the reasonable mechanism brought forward in 1940 was not refuted until 1973, in spite of experimental results published in 1952 that were not consistent with the proposed mechanism. A new mechanistic hypothesis, mentioned in the literature in 1973, was in contradiction to the paradigm that nitrogen molecules do not react with organic reagents in solution. After a psychologically explainable crisis the new hypothesis was tested experimentally (...) and the paradigm mentioned was falsified for this case. In the analysis it is shown that Pop-perian logic was commingled with Kuhn’s cycle of normal science, crisis, and revolution, as well as with a psychological barrier. Joint investigations of modern problems by chemists and philosophers of science are encouraged because they may elucidate how progress in scientific discoveries takes place at the present time. (shrink)

This paper develops an account of scientific objectivity for a relativist theory of evidence. It briefly reviews the character and shortcomings of empiricist and wholist treatments of theory acceptance and objectivity and argues that the relativist account of evidence developed by the author in an earlier essay offers a more satisfactory framework within which to approach questions of justification and intertheoretic comparison. The difficulty with relativism is that it seems to eliminate objectivity from scientific method. Reconceiving objectivity as (...) a function of the social character of science, rather than of individually practiced methods, allows us to claim that science is objective even if relativism is true, and provides a more realistic account of scientific objectivity than is possible on either the empiricist or the wholist accounts. (shrink)

In his magnum opus, The Logic of Scientific Discovery (first published in German in 1934, English translation, 1959), Karl Popper make two fundamental philosophical moves. First, he relocates the center of gravity of the philosophical treatment of science around what he calls the problem of demarcation. This is the problem of distinguishing between science, on the one hand, and everything else on the other. (By contrast, his contemporaries of the Vienna Circle, whose positivism would prove the most influential (...) brand of empiricism of the day, located the center of gravity around the problem of linguistic meaning, and use a criterion according to which a statement is meaningful to the extent that one can identify verification conditions for it.) Popper excludes from science such things as logic, metaphysics, Freudian psychoanalysis, and Marx’s theory of history. Second, Popper propounds the doctrine of falsification, which handles the problem of demarcation, as well as answers David Hume’s shattering attack on science as the premier form of knowledge centuries before. The arguments he mounts for falsification would function also as an attack on any account of the scientific enterprise that, like positivism, adheres to the idea that science progresses logically from instances (given in observation or experience) to the high-order generalizations characteristic of mature scientific theory. In this small space I shall undertake neither to illuminate the nuances of Popper’s position, nor to trace the (numerous) lines of criticism that have accumulated against it some seventy years later. I shall busy myself instead with tracing a trajectory of thought on the subject of scientific reasoning and its relation to individual decision-making, reflecting on Popper’s contribution and on how his legacy might be further enlarged. (shrink)

This article is concerned with some of the criteria which Hegel believes apply to a scientific treatment of logic. I briefly address criteria which I take Hegel to inherit from German rationalism before focusing on two fairly idiosyncratic criteria: the requirement that a science of logic exhibit a circular structure and that it begin with the concept of pure being. I offer an explanation of these criteria which understands them as motivated by anti-sceptical concerns, before arguing that (...) Hegel’s mature treatment of the latter criterion is problematically ambiguous. (shrink)

This two-volume work, first published in 1843, was John Stuart Mill's first major book. It reinvented the modern study of logic and laid the foundations for his later work in the areas of political economy, women's rights and representative government. In clear, systematic prose, Mill disentangles syllogistic logic from its origins in Aristotle and scholasticism and grounds it instead in processes of inductive reasoning. An important attempt at integrating empiricism within a more general theory of human knowledge, the (...) work constitutes essential reading for anyone seeking a full understanding of Mill's thought. Continuing the discussion of induction, Volume 2 concludes with Book VI, 'On the Logic of the Moral Sciences', in which Mill applies empirical reasoning to human behaviour. A crucial early formulation of his thinking regarding free will and necessity, this book establishes the centrality of 'the social science' to Mill's philosophy. (shrink)