In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of ILP we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result.

In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called $\text{ILP}^{\omega}$ that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of $\text{ILP}^{\omega}$ we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result.

Companies increasingly seek to strategically integrate social objectives in commercial activities to address societal challenges, yet little is known about how companies can sustain such a commitment over time. To address this question, we conduct a case-based, abductive study of two pharmaceutical companies widely considered industry leaders in facilitating access to medicine over a 20-year period (2000–2019). We identify product and operation-level integration as distinct types of integration efforts enacted by these companies. Tracing the intraorganizational dynamics associated with these efforts, (...) we theorize that sustained integration is contingent on companies’ ability to respond to and address the challenges specific to product and operation-level integration. The theoretical framework we develop contributes to an emerging debate on the potential of companies to make progress on societal challenges by strategically integrating social objectives, including but not limited to those related to global health. (shrink)

Relationalism maintains that perceptual experience involves, as part of its nature, a distinctive kind of conscious perceptual relation between a subject of experience and an object of experience. Together with the claim that perceptual experience is presentational, relationalism is widely believed to be a core aspect of the naive realist outlook on perception. This is a mistake. I argue that naive realism about perception can be upheld without a commitment to relationalism.

Criteria for the evaluation of most scholars’ work have recently received wider attention due to high-profile cases of scientific misconduct which are perceived to be linked to these criteria. However, in the competition for career advancement and funding opportunities almost all scholars are subjected to the same criteria. Therefore these evaluation criteria act as ‘switchmen’, determining the tracks along which scholarly work is pushed by the dynamic interplay of interests of both scholars and their institutions. Currently one of the most (...) important criteria is the impact of publications. In this research, the extent to which publish or perish, a long standing evaluation criterion, led to scientific misconduct is examined briefly. After this the strive for high impact publications will be examined, firstly by identifying the period in which this became an important evaluation criterion, secondly by looking at variables contributing to the impact of scholarly papers by means of a non-structured literature study, and lastly by combining these data into a quantitative analysis. (shrink)

This article discusses the role of moment-to-moment affect dynamics in mental disorder and aims to integrate recent literature on this topic in the context of complex dynamical system theory. First, we will review the relevance of temporal and contextual aspects of affect dynamics in relation to psychopathology. Related to this, we will discuss recent insights resulting from a network view on affect dynamics in psychopathology. Next, we explore how we can reconcile literature findings from a perspective of complex dynamical system (...) theory. Finally, future directions with regard to personalized assessment of risk and diagnostic use are discussed. (shrink)

What sets the practice of rigorously tested, sound science apart from pseudoscience? In this volume, the contributors seek to answer this question, known to philosophers of science as “the demarcation problem.” This issue has a long history in philosophy, stretching as far back as the early twentieth century and the work of Karl Popper. But by the late 1980s, scholars in the field began to treat the demarcation problem as impossible to solve and futile to ponder. However, the essays that (...) Massimo Pigliucci and Maarten Boudry have assembled in this volume make a rousing case for the unequivocal importance of reflecting on the separation between pseudoscience and sound science. (shrink)

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

One way to address such questions about artifact kinds is to look for clues in the available literature on parallel questions that have been posed with respect to kinds in the natural domain. Philosophers have long been concerned with the ...

Philosophers and psychologists often assume that mirror reflections are optical illusions. According to many authors, what we see in a mirror appears to be behind it. I discuss two strategies to resist this piece of dogma. As I will show, the conviction that mirror reflections are illusions is rooted in a confused conception of the relations between location, direction, and visibility. This conception is unacceptable to those who take seriously the way in which mirrors contribute to our experience of the (...) world. My argument may be read as an advertisement of the neglected field of philosophical catoptrics, the philosophical study of the optical properties of mirrors. It enables us to recast familiar issues in the philosophy of perception. (shrink)

Eighteenth century river hydraulics used both theory and measurement to address problems of flood safety, navigation and defense related to the rivers. In the late eighteenth century the Dutch overseer of the rivers, Christiaan Brunings, integrated hydraulic theory and meteorological practices, which enabled him to design a unique instrument for measuring river flow. The question is whether the unprecedented detail of measurements fits the putative empirical stance in the eighteenth century. The interactions between theory, instrument, measurement, and other knowledge practices (...) are here assessed using experiences in similar measurement practices. I argue that Brunings had theoretical and embodied understanding of hydrodynamics, as he knew how to design an instrument for flow measurement of sufficient accuracy for his purpose in the sociopolitical context of river management. (shrink)

Pure Type Systems, PTSs, introduced as a generalisation of the type systems of Barendregt's lambda-cube, provide a foundation for actual proof assistants, aiming at the mechanic verification of formal proofs. In this paper we consider simplifications of some of the rules of PTSs. This is of independent interest for PTSs as this produces more flexible PTS-like systems, but it will also help, in a later paper, to bridge the gap between PTSs and systems of Illative Combinatory Logic. First we consider (...) a simplification of the start and weakening rules of PTSs, which allows contexts to be sets of statements, and a generalisation of the conversion rule. The resulting Set-modified PTSs or SPTSs, though essentially equivalent to PTSs, are closer to standard logical systems. A simplification of the abstraction rule results in Abstraction-modified PTSs or APTSs. These turn out to be equivalent to standard PTSs if and only if a condition (*) holds. Finally we consider SAPTSs which have both modifications. (shrink)

Part of the distinction between artefacts, objects made by humans for particular purposes, and natural objects is that artefacts are subject to normative judgements. A drill, say, can be a good drill or a poor drill, it can function well or correctly or it can malfunction. In this paper I investigate how such judgements fit into the domain of the normative in general and what the grounds for their normativity are. Taking as a starting point a general characterization of normativity (...) proposed by Dancy, I argue how statements such as ‘this is a good drill’ or ‘this drill is malfunctioning’ can be seen to express normative facts, or the content of normative statements. What they say is that a user who has a desire to achieve a particular relevant outcome has a reason to use, or not to use, the artefact in question. Next this analysis is extended to show that not just statements that say that an artefact performs its function well or poorly, but all statements that ascribe a function to an artefact can be seen as expressing a normative fact. On this approach the normativity of artefacts is analyzed in terms of reasons on grounds of practical, and to a lesser extent theoretical, rationality. I close by investigating briefly to what extent reasons on moral grounds are, in the analysis adopted here, involved in the normativity of artefacts.Keywords: Artefact; Normativity; Instrumental reason; Practical rationality; Function; Use. (shrink)

This chapter contains sections titled: Introduction Object and Aims of Earth Science The Autonomy of Earth Science Explanation in Earth Science Conclusion Acknowledgment References.

The first system of intersection types, Coppo and Dezani [3], extended simple types to include intersections and added intersection introduction and elimination rules (( $\wedge$ I) and ( $\wedge$ E)) to the type assignment system. The major advantage of these new types was that they were invariant under β-equality, later work by Barendregt, Coppo and Dezani [1], extended this to include an (η) rule which gave types invariant under βη-reduction. Urzyczyn proved in [6] that for both these systems it is (...) undecidable whether a given intersection type is empty. Kurata and Takahashi however have shown in [5] that this emptiness problem is decidable for the sytem including (η), but without ( $\wedge$ I). The aim of this paper is to classify intersection type systems lacking some of ( $\wedge$ I), ( $\wedge$ E) and (η), into equivalence classes according to their strength in typing λ-terms and also according to their strength in possessing inhabitants. This classification is used in a later paper to extend the above (un)decidability results to two of the five inhabitation-equivalence classes. This later paper also shows that the systems in two more of these classes have decidable inhabitation problems and develops algorithms to find such inhabitants. (shrink)

Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...

The concept of the future is re-emerging as an urgent topic on the academic agenda. In this article, we focus on the ‘politics of the future’: the social processes and practices that allow particular imagined futures to become socially performative. Acknowledging that the performativity of such imagined futures is well-understood, we argue that how particular visions come about and why they become performative is underexplained. Drawing on constructivist sociological theory, this article aims to fill this gap by exploring the question (...) ‘how do imagined futures become socially performative’? In doing so, the article has three aims to identify the leading social–theoretical work on the future; conceptualize the relationship of the imagination of the future with social practices and the performance of reality; provide a theoretical framework explaining how images of the future become performative, using the concepts ‘techniques of futuring’ and ‘dramaturgical regime’. (shrink)

We expand first order models with a tolerance relation on thedomain. Intuitively, two elements stand in this relation if they arecognitively close for the agent who holds the model. This simplenotion turns out to be very powerful. It leads to a semanticcharacterization of the guarded fragment of Andréka, van Benthemand Németi, and highlights the strong analogies between modallogic and this fragment. Viewing the resulting logic – tolerance logic– dynamically it is a resource-conscious information processingalternative to classical first order logic. The (...) differences areindicated by several examples. (shrink)

This paper is concerned with the logical structure of arithmetical theories. We survey results concerning logics and admissible rules of constructive arithmetical theories. We prove a new theorem: the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic. We provide some further insights concerning predicate logical admissible rules for arithmetical theories.

Cicero's political thought is pervaded by analogies of private law that helped him to overcome philosophical difficulties. One serious difficulty was the demand of natural law that property must be owned by the one capable of managing it. This posed a problem to that most remarkable piece of property of all: the res publica. While incapable of managing it, the people was the only theoretically possible owner of the res publica. The legal concept "guardianship" offered a solution. In Cicero's writings (...) the minor, guardian, and object under care demonstrably correspond to the Roman people, the magistrates, and the res publica. (shrink)

Many people assume that fictional entities are encapsulated in the world of fiction. I show that this cannot be right. Some works of fiction tell us about pieces of poetry, music, or theatre written by fictional characters. Such creations are fictional creations, as I will call them. Their authors do not exist. But that does not take away that we can perform, recite, or otherwise generate actual instances of such works. This means we can bring such individuals actually into existence, (...) as the works they are. I conclude that the assumption about encapsulation is untenable, unless an exception is made for types. (shrink)

For a long time, philosophers of science have expressed little interest in the so-called demarcation project that occupied the pioneers of their field, and most now concur that terms like “pseudoscience” cannot be defined in any meaningful way. However, recent years have witnessed a revival of philosophical interest in demarcation. In this paper, I argue that, though the demarcation problem of old leads to a dead-end, the concept of pseudoscience is not going away anytime soon, and deserves a fresh look. (...) My approach proposes to naturalize and down-size the concept, anchoring it in real-life doctrines and fields of inquiry. First, I argue against the definite article “the” in “the demarcation problem”, distinguishing between territorial and normative demarcation, and between different failures and shortcomings in science apart from pseudoscience. Next, I argue that pseudosciences can be fruitfully regarded as simulacra of science, doctrines that are not epistemically warranted but whose proponents try to create the impression that they are. In this element of imitation or mimicry, I argue, lies the clue to their common identity. Despite the huge variety of doctrines and beliefs gathered under the rubric of “pseudoscience”, and the wide range of defects from which they suffer, pseudosciences all engage in similar strategies to create an impression of epistemic warrant. The indirect, symptomatic approach defended here leads to a general characterization of pseudosciences in all domains of inquiry, and to a useful diagnostic tool. (shrink)

While Cusanus’ literary sources for his engagement with Islam have been closely studied, questions about possible personal encounters with Muslims, and the role of non-literary sources in developing his concept of interreligious dialogue, remain largely unaddressed. This paper presents original archival research to identify the only person whom Cusanus mentions in the Cribratio Alkorani by name as an oral source about Muslim beliefs – an Italian merchant active in Constantinople at the time of Cusanus’ visit in 1437. In doing so, (...) it casts new light on Cusanus’ treatises on Islam and on his interaction with Muslims. (shrink)

In arguing for his theory of pure reflective judgments of taste Kant extensively analyses beauty, but almost wholly disregards ugliness. We commonly take ugliness as paradigmatic when we reflect on our negative aesthetic judgments, and so does Kant. Consequently, there ought to be a more explicit story explaining how Kantian judgments of ugliness are possible. In this paper I argue that a disharmony is the key to understanding Kantian ugliness. This way, an answer to the question of ugliness in Kant (...) can be given in terms of a disharmonious free play of the faculties of imagination and understanding. (shrink)

Decision making in noisy and changing environments requires a fine balance between exploiting knowledge about good courses of action and exploring the environment in order to improve upon this knowledge. We present an experiment on a restless bandit task in which participants made repeated choices between options for which the average rewards changed over time. Comparing a number of computational models of participants’ behavior in this task, we find evidence that a substantial number of them balanced exploration and exploitation by (...) considering the probability that an option offers the maximum reward out of all the available options. (shrink)

What, if anything, is wrong with conspiracy theories? A conspiracy refers to a group of people acting in secret to achieve some nefarious goal. But given that the pages of history are full of such plots, why are CTs regarded with suspicion? Just like with the traditional demarcation problem, philosophers disagree about where to draw the line between legitimate hypotheses about conspiracies and unfounded ‘conspiracy theories’. Some believe that there is no such demarcation line to be drawn, that each CT (...) should be evaluated on its own merits, and that the bad reputation of CTs is wholly undeserved. In this paper, I intend to rescue the intuition that there is indeed something prima facie suspicious about CTs. First, I demarcate legitimate theorizing about real-life conspiracies from “mere conspiracy theories”. Along the way, my analysis will clarify some epistemological issues surrounding falsifiability, asymmetries between causes and effects, and hypotheses involving intentional agents. Because of their extreme resilience to external criticism and counterevidence, I argue, CTs are the epistemological equivalent of a ‘black hole’, in which unwary truth-seekers are drawn, never to escape again. But this strong attraction of CTs comes at a steep price: their theoretical parameters are essentially arbitrary, making them vulnerable to internal disruption. In essence, because it is so easy to construct a novel CT, it is equally easy to construct many ones about the same historical event. And that is what justifies our suspicion of CTs. (shrink)

What makes beliefs thrive? In this paper, we model the dissemination of bona fide science versus pseudoscience, making use of Dan Sperber's epidemiological model of representations. Drawing on cognitive research on the roots of irrational beliefs and the institutional arrangement of science, we explain the dissemination of beliefs in terms of their salience to human cognition and their ability to adapt to specific cultural ecologies. By contrasting the cultural development of science and pseudoscience along a number of dimensions, we gain (...) a better understanding of their underlying epistemic differences. Pseudoscience can achieve widespread acceptance by tapping into evolved cognitive mechanisms, thus sacrificing intellectual integrity for intuitive appeal. Science, by contrast, defies those deeply held intuitions precisely because it is institutionally arranged to track objective patterns in the world, and the world does not care much about our intuitions. In light of these differences, we discuss the degree of openness or resilience to conceptual change (evidence and reason), and the divergent ways in which science and pseudoscience can achieve cultural “success”. (shrink)

With direct-to-consumer advertisements (DTCA), pharmaceutical companies can market their prescription drugs directly to consumers. In order to properly study the argumentative aspect of these advertisements from a pragma-dialectical perspective, it is necessary to characterize DTCA as an ‘argumentative activity type’. This characterization shows that in DTCA, the advertiser combines two genres of communicative activity: promotion and consultation. The use of promotion stems from the advertiser’s commercial objective of selling products, while the use of consultation is a result of the legal (...) obligation to present a fair balance between arguments for and against the use of a drug. (shrink)

Religious people seem to believe things that range from the somewhat peculiar to the utterly bizarre. Or do they? According to a new paper by Neil Van Leeuwen, religious “credence” is nothing like mundane factual belief. It has, he claims, more in common with fictional imaginings. Religious folk do not really “believe”—in the ordinary sense of the word—what they profess to believe. Like fictional imaginings, but unlike factual beliefs, religious credences are activated only within specific settings. We argue that Van (...) Leeuwen’s thesis contradicts a wealth of data on religiously motivated behavior. By and large, the faithful genuinely believe what they profess to believe. Although many religions openly embrace a sense of mystery, in general this does not prevent the attribution of beliefs to religious people. Many of the features of religious belief that Van Leeuwen alludes to, like invulnerability to refutation and incoherence, are characteristic of irrational beliefs in general and actually betray... (shrink)

Philosophers of science have given up on the quest for a silver bullet to put an end to all pseudoscience, as such a neat formal criterion to separate good science from its contenders has proven elusive. In the literature on critical thinking and in some philosophical quarters, however, this search for silver bullets lives on in the taxonomies of fallacies. The attractive idea is to have a handy list of abstract definitions or argumentation schemes, on the basis of which one (...) can identify bad or invalid types of reasoning, abstracting away from the specific content and dialectical context. Such shortcuts for debunking arguments are tempting, but alas, the promise is hardly if ever fulfilled. Different strands of research on the pragmatics of argumentation, probabilistic reasoning and ecological rationality have shown that almost every known type of fallacy is a close neighbor to sound inferences or acceptable moves in a debate. Nonetheless, the kernel idea of a fallacy as an erroneous type of argument is still retained by most authors. We outline a destructive dilemma we refer to as the Fallacy Fork: on the one hand, if fallacies are construed as demonstrably invalid form of reasoning, then they have very limited applicability in real life. On the other hand, if our definitions of fallacies are sophisticated enough to capture real-life complexities, they can no longer be held up as an effective tool for discriminating good and bad forms of reasoning. As we bring our schematic “fallacies” in touch with reality, we seem to lose grip on normative questions. Even approaches that do not rely on argumentation schemes to identify fallacies fail to escape the Fallacy Fork, and run up against their own version of it. (shrink)

A complete reconstruction of Lehmer’s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).

John Hyman insists that Frege-style cases for depiction show that any sound theory of depiction must distinguish between the ‘sense’ and the ‘reference’ of a picture. I argue that this rests on a mistake. Making sense of the cases does not require the distinction.