When once-successful physical theories are abandoned, common wisdom has it that their characteristic theoretical entities are abandoned with them: examples include phlogiston, light rays, Newtonian forces, Euclidean space. But sometimes a theory sees ongoing use, despite being superseded. What should scientific realists say about the characteristic entities of the theories in such cases? The standard answer is that these ‘theoretical relicts’ are merely useful fictions. In this paper we offer a different answer. We start by distinguishing horizontal (...) reduction (in which a superseded theory approximates the successor theory) from vertical reduction (in which a higher-level theory abstracts away from the lower-level theory, but nonetheless can be constructed from it); these are usually regarded as having different ontological consequences. We describe a ‘verticalization’ procedure which transforms horizontal reductions into vertical reductions. The resulting verticalized theories are abstractions rather than approximations, with restricted domains. We identify a sense in which the higher-level theory describes distinct subject matters from the lower-level theory, enabling in certain cases the higher-level theory to retain distinctive explanatory power even in the presence of reduction. We suggest that theoretical entities from superseded theories should be retained in a scientific realist worldview just when, reinterpreted as higher-level abstractions, those theories and their characteristic entities continue to perform distinctive explanatory work in providing the best explanation for less-fundamental phenomena of interest. In slogan form: a good relict is an emergent relict. (shrink)

The notion that manual gestures played an important role in the evolution of human language was strengthened by the discovery of mirror neurons in monkey area F5, the proposed homologue of human Broca's area. This idea is central to the thesis developed by Arbib, and lending further support to a link between motor resonance mechanisms and language/communication development is the case of autism and congenital blindness. We provide an account of how these conditions may relate to the aforementioned theory.

This book starts from the premise that methodology has always dominated archaeology to the detriment of broader social theory.

Three accounts of effective realism (ER) have been advanced to solve three problems for scientific realism: Fraser and Vickers (forthcoming) develop a version of ER about non-relativistic quantum mechanics that they argue is compatible with all the main realist versions (‘interpretations’) of quantum mechanics avoiding the problem of underdetermination among them; Williams (2019) and Fraser (2020b) propose ER about quantum field theory as a response to the problems facing realist interpretations; Robertson and Wilson (forthcoming) propose ER to deal with the (...) dubious ontological status of the entities belonging to superseded theories. This paper argues for the unification of these proposals based on realism about modal structure and the idea of scale relativity of ontology developed by ontic structural realists. This solves problems some or all the accounts of ER face, especially that of making explicit in what way they are realist. Furthermore, we respond to a recent critique that has been raised against the ontic structural realist account of quantum mechanics that we employ. (shrink)

Recent developments in Continental philosophy have included the emergence of a school of “speculative realism,” which rejects the human-centered orientation that has long dominated Continental thought. Proponents of speculative realism differ on several issues, but many agree on the need for an object-oriented ontology. Some speculative realists identify realism with materialism, while others accord equal reality to objects that are non-material, even fictional. Several thinkers retain a focus on difference, a well-established theme in Continental thought. This paper looks at speculative (...) realism from the perspective of systems theory. Many of the tenets of speculative realism have long been features of systems metaphysics and are expressed clearly in a systems framework. However, some views of some speculative realists differ substantially from systems theoretic ideas. (shrink)

When working with garden archaeology and garden archaeobotany, the plant material is of great importance. It is important to be able to identify which plants have grown in a particular garden and which have not, which of the plants you find in the garden today that are newly introduced or have established themselves on their own, and which plants that may be remnants of earlier cultivation. During the past two years, my colleagues and I have been involved in a project (...) that deals with the latter kind of plants, that is, plants that were once actively cultivated and that have survived in their original place of cultivation until the present time(Persson, Ansebo & Solberg, this volume). When we started the project we simply called the plants we worked with ‘relict plants’. This is also the term that has been used unofficially in this field of research for some time. It was in no way an official term, however, and as it turned out, the term already had a different meaning in botany that was both older and better established. We were therefore in need of a better name for the plants we worked with. To single out the plants we were working with, we used the following working definition: “Plants that were once, but are no longer cultivated in a certain area, and where a part of the population still exists even though it is no longer actively maintained”. Although we still think this is a decent approximation, we have realized that there are several complicating factors we have had to think more about. We thus needed both a better name and a better definition. Both these tasks became important parts of the project. (shrink)

The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality (...) of atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs. (shrink)

Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics of physics. In this (...) paper, I investigate whether there is a defensible view according to which formal criteria have significant non-mathematical implications, of these sorts or any other, reaching a chiefly negative verdict. Along the way, I discuss various foundational issues concerning how we use mathematical objects to describe the world when doing physics, and how this practice should inform metaphysics. I diagnose the prominence of formal criteria as stemming from contentious views on these foundational issues, and endeavor to motivate some alternative views in their stead. (shrink)

Watson and Crick’s discovery of the structure of DNA led to developments that transformed many biological sciences. But what were the relevant developments and how did they transform biology? Much of the philosophical discussion concerning this question can be organized around two opposing views: theoretical reductionism and layer-cake antireductionism. Theoretical reductionist and their anti-reductionist foes hold two assumptions in common. First, both hold that biological knowledge is structured like a layer cake, with some biological sciences, such as molecular (...) biology cast at lower levels of organization, and others, such as classical genetics, cast at higher levels. Second, both assume that scientific knowledge is structured by theory and that the productivity of scientific research depends on whether the underlying theory identifies the fundamentals upon which the phenomena to be explained and investigated depend. In the first part of this paper, I challenge these assumptions. In the second part, I show how recasting the basic theory of classical genetics made it possible to retool the methodologies of genetics. It was the investigative power of these retooled methodologies, and not the explanatory power of a gene-based theory, that transformed biology. (shrink)

to that goal, and it is hoped that it will incorporate further works dealing in an exact way with interesting philosophical issues. Zurich, April 1973 Mario Bunge Preface In this book I have investigated the logical and methodological role of the much debated theoretical concepts in scientific theories. The philosophical viewpoint underlying my argumentation is critical scientific realism. My method of exposition has been to express ideas first in general terms and then to develop and elaborate them within a (...) specific formal framework. It is assumed in the book that the reader has a relatively good knowledge of the basic techniques and results of modern symbolic logic, including model theory. Examples from actual science are mostly from the social sciences. I have deliberately omitted a treatment of a number of characteristic features which are particular to theoretical concepts in the more developed sciences, such as modern physics. This book owes very much to Professor Jaakko Hintikka, to whom I wish to express my deep gratitude. Especially at the begin ning of this project in 1968/69 when I was doing research for my doctoral degree at Stanford University I worked with him closely. (shrink)

It is a common view among philosophers of science that theoretical virtues (also known as epistemic or cognitive values), such as simplicity and consistency, play an important role in scientific practice. In this article, I set out to study the role that theoretical virtues play in scientific practice empirically. I apply the methods of data science, such as text mining and corpus analysis, to study large corpora of scientific texts in order to uncover patterns of usage. These patterns (...) of usage, in turn, might shed some light on the role that theoretical virtues play in scientific practice. Overall, the results of this empirical study suggest that scientists invoke theoretical virtues explicitly, albeit rather infrequently, when they talk about models (less than 30%), theories (less than 20%), and hypotheses (less than 15%) in their published works. To the extent that they are mentioned in scientific publications, the results of this study suggest that accuracy, consistency, and simplicity are the theoretical virtues that scientists invoke more frequently than the other theoretical virtues tested in this study. Interestingly, however, depending on whether they talk about hypotheses, theories, or models, scientists may invoke one of those theoretical virtues more than the others. (shrink)

Given the importance of theoretical wisdom in Aristotle’s account of the human good, it is striking that contemporary virtue ethicists have been virtually silent about this intellectual virtue and what contribution it makes – or could make – toward human flourishing. In this paper, I examine, and respond to, two main worries that account for theoretical wisdom’s current marginality. Along the way, I sketch a neo-Aristotelian conception of theoretical wisdom, and argue that this intellectual virtue is more (...) central to the concerns of contemporary virtue ethicists than it has perhaps so far seemed. (shrink)

B a c k g r o u n d. Deng Xiaoping is considered the main architect of socialist reforms and the founder of China's modernization theory. He mastered and developed the socialist system, trying to adjust it to the national conditions of China. Deng Xiaoping believed that it was by following the course of "socialism with Chinese characteristics" that China would transform from a poor country into a highly developed one. The article provides a theoretical reconstruction of the (...) main content of Deng Xiaoping's concept of "socialism with Chinese characteristics." The main philosophical and socio-political aspects of the concept of building socialism with Chinese characteristics are presented in a systematic form in the context of the foundations of Chineseization of Marxism. M e t h o d s. In the article, a historical-logical approach was used to reveal the specified research topic, which allowed us to determine the socio-political prerequisites for the emergence of Chineseized Marxism. An interdisciplinary approach made it possible to carry out a theoretical analysis of social, economic, and political changes in modern China, which were caused by the proposed theory of Deng Xiaoping's "socialism with Chinese characteristics". Systemic, structural-functional, and constructivist methods, as well as methods of synthesis and generalization, were also applied. R e s u l t s. Because of the above, the purpose of this study was to carry out a theoretical reconstruction of Deng Xiaoping's theory of building "socialism with Chinese characteristics" and to find out how his ideas influenced the development of modern China after the completion of the "Great Leap Forward" and the "Cultural Revolution" of Mao Zedong. The key features of Deng Xiaoping's proposed theory of "socialism with Chinese characteristics" were established, including the idea of democratization of society and implementation of the legal basis of state functioning; the beginning of a new period of "reforms and openness"; determining the course for socialist modernization; following Marxism-Leninism and the ideas of Mao Zedong. C o n c l u s i o n s. In conclusion, it can be noted that the main feature of Deng Xiaoping's ideas was that they were inextricably linked with the national and cultural traditions of Chinese civilization, starting from Confucianism and the gradual synthesis with Marxist ideology. Evaluating the theory of Deng Xiaoping, it can be defined as a relatively complete scientific system that covers the fields of philosophy, political economy, and scientific socialism, it contains the doctrine of socialist ideology, and the doctrine of the essence and ways of socialist development, theories of the reform of socialist political and economic systems, the theory of building a socialist country. (shrink)

The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does not (...) obtain, and assertions are always warranted, having grounds of assertion. The proof system is shown to satisfy Dummett’s harmony property, justifying the ND rules as meaning conferring. The semantics is suitable for incorporation into computational linguistics grammars, formulated in type-logical grammar. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (shrink)

I investigate syntactic notions of theoretical equivalence between logical theories and a recent objection thereto. I show that this recent criticism of syntactic accounts, as extensionally inadequate, is unwarranted by developing an account which is plausibly extensionally adequate and more philosophically motivated. This is important for recent anti-exceptionalist treatments of logic since syntactic accounts require less theoretical baggage than semantic accounts.

A simple explanation of theoreticity says that a term is theoretical if and only if it refers to nonobservational entities. Paradigmatic examples of such entities are electrons, neutrinos, gravitational forces, genes etc. There is yet another explanation of theoreticity: a theoretical term is one whose meaning becomes determined through the axioms of a scientific theory. The meaning of the term ‘force’, for example, is seen to be determined by Newton’s laws of motion and further laws about special forces, (...) such as the law of gravitation. Theoreticity is a property that is commonly applied to both expressions in the language of science, and referents and concepts of such expressions. Objects, relations and functions as well as concepts thereof may thus qualify as theoretical in a derived sense. (shrink)

A theory’s fertility is one of the standard theoretical virtues. But how is it to be construed? In current philosophical discourse, particularly in the realism debate, theoretical fertility is usually understood in terms of novel success: a theory is fertile if it manages to make successful novel predictions. Another, more permissible, notion of fertility can be found in the work of Ernan McMullin. This kind of fertility, McMullin claims, gives us just as strong grounds for realism. My paper (...) critically assesses McMullin’s notion of fertility and its realist rationale. It concludes that McMullin’s preferred example, namely the fertile development of the Bohr-Sommerfeld model of the atom, does not support McMullin’s argument for realism. Although the implications for the realism debate are as of yet unclear, the case study offers some important methodological lessons. (shrink)

In this paper we show how Dummett-Prawitz-style proof-theoretic semantics has to be modified in order to cope with paradoxical phenomena. It will turn out that one of its basic tenets has to be given up, namely the definition of the correctness of an inference as validity preservation. As a result, the notions of an argument being valid and of an argument being constituted by correct inference rules will no more coincide. The gap between the two notions is accounted for by (...) introducing the distinction between sense and denotation in the proof-theoretic-semantic setting. (shrink)

When new theoretical terms are introduced into scientific discourse, prevailing accounts imply, analytic or semantic truths come along with them, by way of either definitions or reference-fixing descriptions. But there appear to be few or no analytic truths in scientific theory, which suggests that the prevailing accounts are mistaken. This paper looks to research on the psychology of natural kind concepts to suggest a new account of the introduction of theoretical terms that avoids both definition and reference-fixing description. (...) At the core of the account is a novel psychological process that I call introjection. (shrink)

Appraisal research based on participants' self-report of emotional experiences is predicated on the assumption that the academic community and the lay public share comparable meanings of the emotion terms used. However, this can be a risky assumption to make, as in the case of the emotion disgust which appears in common usage to reflect irritation, or anger, as often as repulsion. To examine the theoretical versus the lay meaning of disgust, 140 undergraduates were asked to recall a time when (...) they felt either angry, disgust, disgusted, revulsion, or grossed out. Analysis of event recall responses and emotional experience measures suggests that the common understanding of the word disgust reflects a combination of the conceptual meanings of disgust and anger whereas the slang term grossed out more closely captures the theoretical construct of disgust. Implications of these findings for emotion research based on self-report are discussed. (shrink)

What are the features of a good scientific theory? Samuel Schindler's book revisits this classical question in the philosophy of science and develops new answers to it. Theoretical virtues matter not only for choosing theories 'to work with', but also for what we are justified in believing: only if the theories we possess are good ones can we be confident that our theories' claims about nature are actually correct. Recent debates have focussed rather narrowly on a theory's capacity to (...) predict new phenomena successfully, but Schindler argues that the justification for this focus is thin. He discusses several other theory properties such as testability, accuracy, and consistency, and highlights the importance of simplicity and coherence. Using detailed historical case studies and careful philosophical analysis, Schindler challenges the received view of theoretical virtues and advances arguments for the view that science uncovers reality through theory. (shrink)

Hacking and other entity realists suggest a strategy to build scientific realism on a stronger foundation than inference to the best explanation. They argue that if beliefs in the existence of theoretical entities are derived from experimentation rather than theories, they can escape the antirealist's criticism and provide a stronger ground for realism. In this paper, an outline and a critique of entity realism are presented. It will be argued that entity realism cannot stand as a separate position from (...) classical realism. Thus, entity realism cannot avoid the problems facing classical realism.. (shrink)

Hacking and other entity realists suggest a strategy to build scientific realism on a stronger foundation than inference to the best explanation. They argue that if beliefs in the existence of theoretical entities are derived from experimentation rather than theories, they can escape the antirealist's criticism and provide a stronger ground for realism. In this paper, an outline and a critique of entity realism are presented. It will be argued that entity realism cannot stand as a separate position from (...) classical realism. Thus, entity realism cannot avoid the problems facing classical realism. (shrink)

Theoretical virtues play an important role in the acceptance and belief of theories in science and philosophy. Philosophers have well-developed views on which virtues ought and ought not to influence one’s acceptance and belief. But what do scientists think? This paper presents the results of a quantitative study with scientists from the natural and social sciences and compares their views to those held by philosophers. Some of the more surprising results are: all three groups have a preference order regarding (...) theoretical virtues, making theory choice a much more determinate matter than what has sometimes been suggested; the preference orders are very similar for the three groups; simplicity is viewed as an epistemic virtue particularly by social scientists ; and syntactic parsimony is preferred to ontological parsimony by all three groups. (shrink)

Halvorson argues through a series of examples and a general result due to Myers that the “semantic view” of theories has no available account of formal theoretical equivalence. De Bouvere provides criteria overlooked in Halvorson’s paper that are immune to his counterexamples and to the theorem he cites. Those criteria accord with a modest version of the semantic view that rejects some of Van Fraassen’s apparent claims while retaining the core of Patrick Suppes’s proposal. I do not endorse any (...) version of the semantic view of theories. (shrink)

Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...) to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)

It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosophical logic (extensional and intensional systems, (...) indexical logics, non-classical logics, philosophy of logic, etc.) as well as studies in which these systems are applied to specific issues in philosophy, in the formal semantics of natural languages, the foundations of linguistic theory, in computational linguistics, and in theoretical computer science. Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches used in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a considerable extension of the concepts and techniques of logic. The book first gives an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. By virtue of the type-theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved. A categorial grammar is presented togenerate formally a fragment of English, together with an example of a computer implementation. (shrink)

From the point of view of proof-theoretic semantics, it is argued that the sequent calculus with introduction rules on the assertion and on the assumption side represents deductive reasoning more appropriately than natural deduction. In taking consequence to be conceptually prior to truth, it can cope with non-well-founded phenomena such as contradictory reasoning. The fact that, in its typed variant, the sequent calculus has an explicit and separable substitution schema in form of the cut rule, is seen as a crucial (...) advantage over natural deduction, where substitution is built into the general framework. (shrink)

Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double negation elimination (...) for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

One of the principal challenges to human survival will be for human beings, embedded in a plurality of cultural contexts, to engage with and learn from one another respectfully in the continuing task of creating a more liveable world. I argue here that theoretical psychology can contribute to setting some of the terms for this effort through the kind of conception it advances of the person as agent. I discuss broadly two philosophical perspectives toward human agency which have become (...) prominent in psychology in the last few decades, the humanistic and the hermeneutic. I argue that these two different frameworks make complementary contributions to the project of understanding ourselves and furthering the development of our humanity. 2012 APA, all rights reserved). (shrink)

A basic function of cognition is to detect regularities in sensory input to facilitate the prediction and recognition of future events. It has been proposed that these implicit expectations arise from an internal predictive coding model, based on knowledge acquired through processes such as statistical learning, but it is unclear how different types of statistical information affect listeners’ memory for auditory stimuli. We used a combination of behavioral and computational methods to investigate memory for non-linguistic auditory sequences. Participants repeatedly heard (...) tone sequences varying systematically in their information-theoretic properties. Expectedness ratings of tones were collected during three listening sessions, and a recognition memory test was given after each session. Information-theoretic measures of sequential predictability significantly influenced listeners’ expectedness ratings, and variations in these properties had a significant impact on memory performance. Predictable sequences yielded increasingly better memory performance with increasing exposure. Computational simulations using a probabilistic model of auditory expectation suggest that listeners dynamically formed a new, and increasingly accurate, implicit cognitive model of the information-theoretic structure of the sequences throughout the experimental session. (shrink)

This is a survey of work on set-theoretical invariance criteria for logicality. It begins with a review of the Tarski-Sher thesis in terms, first, of permutation invariance over a given domain and then of isomorphism invariance across domains, both characterized by McGee in terms of definability in the language L∞,∞. It continues with a review of critiques of the Tarski-Sher thesis, and a proposal in response to one of those critiques via homomorphism invariance. That has quite divergent characterization results (...) depending on its formulation, one in terms of FOL, the other by Bonnay in terms of L∞,∞, both without equality. From that we move on to a survey of Bonnay’s work on similarity relations between structures and his results that single out invariance with respect to potential isomorphism among all such. Turning to the critique that calls for sameness of meaning of a logical operation across domains, the paper continues with a result showing that the isomorphism invariant operations that are absolutely definable with respect to KPU−Inf are exactly those definable in full FOL; this makes use of an old theorem of Manders. The concluding section is devoted to a critical discussion of the arguments for set-theoretical criteria for logicality. (shrink)

This is the first volume of the first ever comprehensive edition of the works of Immanuel Kant in English translation. The eleven essays in this volume constitute Kant's theoretical, pre-critical philosophical writings from 1755 to 1770. Several of these pieces have never been translated into English before; others have long been unavailable in English. We can trace in these works the development of Kant's thought to the eventual emergence in 1770 of the two chief tenets of his mature philosophy: (...) the subjectivity of space and time, and the phenomena-noumena distinction. The volume has been furnished with substantial editorial apparatus, including a general introduction to the main themes of Kant's early thought, introduction to the individual works and re;sume;s of their contents, linguistic and factual notes, bibliographies, a glossary of key terms, and biographical-bibliographical sketches of persons mentioned by Kant. (shrink)

Using a decision theoretic model of scientists’ time allocation between potential research projects I explain the fact that on average women scientists publish less research papers than men scientists. If scientists are incentivised to publish as many papers as possible, then it is necessary and sufficient for a productivity gap to arise that women scientists anticipate harsher treatment of their manuscripts than men scientists anticipate for their manuscripts. I present evidence that women do expect harsher treatment and that scientists’ are (...) incentivised to publish as many papers as possible, and discuss some epistemological consequences of this conjecture. (shrink)