In his _Between Logic and the World_, in the course of presenting his theory of generics, Nickel (Between logic and the world, Oxford University Press, 2016) argues for a theory of characteristicness, or “genericity”, which states that a property is characteristic for a kind if and only if its presence among the members of that kind is explicable by some explanatory domain that recognizes the existence of that kind in the course of engaging the explanatory strategies made available by that (...) explanatory domain. I argue that this notion of genericity is too narrow, excluding properties characteristic for kinds that go unrecognized in such explanatory domains. In particular, Nickel’s theory excludes some characteristic properties of anthropic kinds, such as lilies and cedars, members of which have properties that may be similarly exploited in various human practices despite having divergent geneses. I argue for a generalization of Nickel’s view of genericity where explicability of presence is only one sort of genericity, with others, such as practicability, being possible too. (shrink)

In this paper we study essential hereditary undecidability. Theories with this property are a convenient tool to prove undecidability of other theories. The paper develops the basic facts concerning essentially hereditary undecidability and provides salient examples, like a construction of essentially hereditarily undecidable theories due to Hanf and an example of a rather natural essentially hereditarily undecidable theory strictly below. We discuss the (non-)interaction of essential hereditary undecidability with recursive boolean isomorphism. We develop a reduction relation essential tolerance, or, in (...) the converse direction, lax interpretability that interacts in a good way with essential hereditary undecidability. We introduce the class of $$\Sigma ^0_1$$ Σ 1 0 -friendly theories and show that $$\Sigma ^0_1$$ Σ 1 0 -friendliness is sufficient but not necessary for essential hereditary undecidability. Finally, we adapt an argument due to Pakhomov, Murwanashyaka and Visser to show that there is no interpretability minimal essentially hereditarily undecidable theory. (shrink)

There is a “Pragmatist turn” visible in the field of organization science today, resulting from a renewed interest in the work of Pragmatist philosophers like Dewey, Mead, Peirce, James and others, and in its implications for the study of organizations. Following Wicks and Freeman, in the past decade Pragmatism has also entered the field of business ethics, which, however, has not been uniformly applauded in that field. Some scholars fear that Pragmatism may enhance already existing positivist and managerialist tendencies in (...) current business ethics, while others see more emancipatory potential in Pragmatism, arguing that it complements and supports stakeholder theory. In this paper, a comparison of the philosophical underpinnings of Pragmatist and Critical conceptions of business ethics is offered, concentrating on the Pragmatism of John Dewey and the Critical theory of the Frankfurt School, in particular of Axel Honneth. It is argued that these two developed along two converging lines. Along the first line, Dewey was far more skeptical and critical of capitalism than is often thought. Along the second line, the reactions to Pragmatism of Frankfurt School Critical theorists developed over time from generally hostile, to partially inclusive, to more fully integrative. At the crossroads of these converging lines a Pragmatist Critical perspective is developed and exemplified, and its implications for business ethics are outlined. (shrink)

The reason of faith -- Thought and language -- Truth -- The Monologion arguments for the existence of God -- The Proslogion argument for the existence of God -- The divine attributes -- Thinking and speaking about God -- Creation and the word -- The Trinity -- Modality -- Freedom -- Morality -- Incarnation and atonement -- Original sin, grace, and salvation.

In his paper "Undecidability without arithmetization," Andrzej Grzegorczyk introduces a theory of concatenation $\mathsf{TC}$. We show that pairing is not definable in $\mathsf{TC}$. We determine a reasonable extension of $\mathsf{TC}$ that is sequential, that is, has a good sequence coding.

There is a growing interest in how people conceptualise the legal domain for the purpose of legal knowledge systems. In this paper we discuss four such conceptualisations (referred to as ontologies): McCarty's language for legal discourse, Stamper's norma formalism, Valente's functional ontology of law, and the ontology of Van Kralingen and Visser. We present criteria for a comparison of the ontologies and discuss the strengths and weaknesses of the ontologies in relation to these criteria. Moreover, we critically review the (...) criteria. (shrink)

In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.

In this paper I give a characterization of the closed fragment of the provability logic of $I \triangle_0 + \mathrm{EXP}$ with a propositional constant for $\mathrm{EXP}$. In three appendices many details on arithmetization are provided.

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.

A possible way out of the conundrum of quantum gravity is the proposal that general relativity (GR) emerges from an underlying microscopic description. Despite recent interest in the emergent gravity program within the physics as well as the philosophy community, an assessment of the general motivation for this idea is lacking at the moment. We intend to fill this gap in the literature by discussing the main arguments in favour of the hypothesis that the metric field and its dynamics are (...) emergent. First, we distinguish between microstructure inspired from GR, such as through quantization or discretization, and microstructure that is not directly motivated from GR, such as strings, quantum bits or condensed matter fields. The emergent gravity approach can then be defined as the view that the metric field and its dynamics are derivable from the latter type of microstructure. Subsequently, we assess in how far the following properties of (semi-classical) GR are suggestive of underlying microstructure: (1) the metric's universal coupling to matter fields, (2) perturbative non-renormalizability, (3) black hole thermodynamics, and (4) the holographic principle. In the conclusion we formalize the general structure of the plausibility arguments put forward. (shrink)

This paper studies a propositional logic which is obtained by interpreting implication as formal provability. It is also the logic of finite irreflexive Kripke Models.A Kripke Model completeness theorem is given and several completeness theorems for interpretations into Provability Logic and Peano Arithmetic.

This article critically evaluates the possible impact of the Charter on the relationship between the Court of Justice of the European Union and national constitutional courts. While it is premature to provide a definitive assessment of the kind of collaboration that these courts will develop, it is crucial to identify a number of features of the new landscape that will influence the direction in which the relationship between the CJEU and constitutional courts will evolve. This article discusses several reasons that (...) may result in better or a higher number of judicial interactions, as well as factors that may create tension or cause problems in the relationship between the CJEU and national constitutional courts. As such, it offers a framework that may help us to understand future post-Charter judgments by these courts setting out how they conceive their engagement with their counterpart on fundamental rights issues. (shrink)

In this paper we show how to interpret Robinson’s arithmetic Q and the theory R of Tarski, Mostowski, and Robinson as theories of cardinals in very weak theories of relations over a domain.

Augustine of Hippo was regarded by sixteenth century Europe as one of the most contested religious and philosophical authorities. Through deep examination of the production, circulation and consumption of Augustine's works, Arnoud Visser reveals the wildly contrasting ways in which he was read and appropriated by publishers, humanist scholars, and individual readers.

This article looks at how imaginaries of land and climate play a role in farmland investment discourses and practices. Foreign farmland investors in the fertile black earth region of Russia and Ukraine have ‘celebrated’ soil fertility while largely ignoring climatic factors. The article shows a centuries-long history of outsiders coming to the region lured by the fertile soils, while grossly underestimating climate which has had disastrous implications for farm viability and the environment. Comparisons with historical and contemporary literature on other (...) regions suggest that the underestimation of climatic risks by newcomers is remarkably prevalent in resource frontiers. (shrink)

This paper is concerned with notions of consequence. On the one hand, we study admissible consequence, specifically for substitutions of Σ 1 0 -sentences over Heyting arithmetic . On the other hand, we study preservativity relations. The notion of preservativity of sentences over a given theory is a dual of the notion of conservativity of formulas over a given theory. We show that admissible consequence for Σ 1 0 -substitutions over HA coincides with NNIL -preservativity over intuitionistic propositional logic . (...) Here NNIL is the class of propositional formulas with no nestings of implications to the left . The identical embedding of IPC -derivability into a consequence relation has in many cases a left adjoint. The main tool of the present paper will be an algorithm to compute this left adjoint in the case of NNIL -preservativity. In the last section, we employ the methods developed in the paper to give a characterization the closed fragment of the provability logic of HA. (shrink)

In the past decade, the concept of recognition appears to have acquired an important theoretical position in the work and organization literature. While in principle recognition denotes a positive and social form of freedom, in current-day organizations recognition may be often negative or instrumental. In order to capture this ambivalence in organizational recognitive conditions, the recent work of the American philosopher Judith Butler appears particularly applicable. The purpose of this paper is to explore theoretically to what extent her views on (...) recognition shed new light on the variety of recognition patterns in current-day organizations. Towards that purpose, this paper first turns to the ‘master-slave’ episode in the work of Hegel and its influential interpretation by Kojève, which are at the heart of Butler’s reading and conception of recognition. As a second step, the ambivalent conception of recognition in the work of Butler is discussed and critically assessed, while in the final section this conception is extended to work and organizations. (shrink)

In this paper we study local induction w.r.t. Σ1‐formulas over the weak arithmetic. The local induction scheme, which was introduced in, says roughly this: for any virtual class that is progressive, i.e., is closed under zero and successor, and for any non‐empty virtual class that is definable by a Σ1‐formula without parameters, the intersection of and is non‐empty. In other words, we have, for all Σ1‐sentences S, that S implies, whenever is progressive. Since, in the weak context, we have (at (...) least) two definitions of Σ1, we obtain two minimal theories of local induction w.r.t. Σ1‐formulas, which we call Peano Corto and Peano Basso.In the paper we give careful definitions of Peano Corto and Peano Basso. We establish their naturalness both by giving a model theoretic characterization and by providing an equivalent formulation in terms of a sentential reflection scheme.The theories Peano Corto and Peano Basso occupy a salient place among the sequential theories on the boundary between weak and strong theories. They bring together a powerful collection of principles that is locally interpretable in. Moreover, they have an important role as examples of various phenomena in the metamathematics of arithmetical (and, more generally, sequential) theories. We illustrate this by studying their behavior w.r.t. interpretability, model interpretability and local interpretability. In many ways the theories are more like Peano arithmetic or Zermelo Fraenkel set theory, than like finitely axiomatized theories as Elementary Arithmetic, and. On the one hand, Peano Corto and Peano Basso are very weak: they are locally cut‐interpretable in. On the other hand, they behave as if they were strong: they are not contained in any consistent finitely axiomatized arithmetical theory, however strong. Moreover, they extend, the theory of parameter‐free Π1‐induction. (shrink)

In this paper we study 1. the frame-theory of certain bimodal provability logics involving the reflection principle and we study2. certain specific bimodal logics with a provability predicate for a subtheory of Peano arithmetic axiomatized by a non-standardly finite number of axioms.

Emphasis in historiography of science is naturally placed on the discoveries and inventions which scientists make and generally less on new methods of doing science, but sometimes the latter can he an important clue to help us understand the former. For example, while we all acknowledge how great the contributions of Maxwell, Boltzmann, Planck, and Einstein were to physics from roughly 1870 to 1920, we often overlook the significance of a methodological phrase which was popular during that same period, namely, (...) what in German was called “Bildtheorie” or in English “picture theory”. But even before we can properly study its significance we have to know what the theory was, but even this presents problems, since the meaning changed. In fact, this paper is an attempt not only to describe the history of that change from Maxwell to Wittgenstein but to study in particular how Boltzmann’s conception of Bildtheorie seems to have been at least partly incorporated into the approach of Ludwig Wittgenstein. (shrink)

In this paper we formulate a version of Second Incompleteness Theorem. The idea is that a sequential sentence has ‘consistency power’ over a theory if it enables us to construct a bounded interpretation of that theory. An interpretation of V in U is bounded if, for some n , all translations of V -sentences are U -provably equivalent to sentences of complexity less than n . We call a sequential sentence with consistency power over T a pro-consistency statement for T (...) . We study pro-consistency statements. We provide an example of a pro-consistency statement for a sequential sentence A that is weaker than an ordinary consistency statement for A . We show that, if A is $${{\sf S}^{1}_{2}}$$ , this sentence has some further appealing properties, specifically that it is an Orey sentence for EA . The basic ideas of the paper essentially involve sequential theories. We have a brief look at the wider environment of the results, to wit the case of theories with pairing. (shrink)

In his 1967 paper Vaught used an ingenious argument to show that every recursively enumerable first order theory that directly interprets the weak system VS of set theory is axiomatizable by a scheme. In this paper we establish a strengthening of Vaught's theorem by weakening the hypothesis of direct interpretability of VS to direct interpretability of the finitely axiomatized fragment VS2 of VS. This improvement significantly increases the scope of the original result, since VS is essentially undecidable, but VS2 has (...) decidable extensions. We also explore the ramifications of our work on finite axiomatizability of schemes in the presence of suitable comprehension principles. (shrink)

In this paper we describe a framework for the construction of entities that can serve as interpretations of arbitrary contiguous chunks of text. An important part of the paper is devoted to describing stacking cells, or the proposed meanings for bracket-structures.

A prevailing focus of global value chain (GVC) analysis has been on the dominance of highly consolidated Northern retailers over suppliers in the global South. The rise of regional and domestic value chains (RVCs/DVCs) within the Global South which intersect with GVCs, has been found to involve private governance by Southern lead firms. However, we have limited insight into the implications of this changing value chain context for the role of public governance, or different groups of workers. South African fruit (...) provides a rich example of rapid shifts in RVCs/DVCs governed by different private and public actors. The following two questions are addressed: How is the public–private governance of labour standards evolving in the context of RVCs and DVCs that intersect with GVCs? What are the implications for workers operating across different value chains? Conceptually, the paper draws on GVC analysis of governance and power, to examine the governance of labour standards across intersecting value chains. Our analysis highlights the intentional and unintentional mechanisms through which power and standard-setting are diffused away from Northern lead firms to a wider array of public and private actors operating across RVCs/DVCs. While existing analysis of governance and power focuses on singular GVCs, our study highlights diffusion of power across intersecting value chains, with significant and uneven implications for the public–private governance of labour standards. Our findings carry significant ethical implications for the governance of labour standards, as end-markets continue to shift South. (shrink)

This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of I0+1.

Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk and Stokhof. One rationale behind the introduction of DPL is that it is closer to Natural Language than ordinary Predicate Logic in the way it treats scope.In this paper I develop some variants of DPL that can more easily approximate Natural Language in some further aspects. Specifically I add flexibility in the treatment of polarity and and some further flexibility in the treatment of scope.I develop a framework (...) that is intended to encourage further experimentation with alternative variants of DPL. In this framework the new meanings are, roughly,indexed sets of old meanings. The indices can be viewed as "files'' or "storage devices.''Each such file supports a separate "information stream.''The interaction of the new meanings is "programmed'' with the help of certain monoids acting on the indices. The construction of the new meanings can be viewed as an application of the Grothendieck Construction to monoids. (shrink)

Scientism, Enough of That In this paper I argue that it is not a good idea to employ the notion of scientism in public debates concerning issues like free will. Moreover, I claim that, also in philosophy proper, thinking through the notion of scientism is not an urgent task. It is better to reflect directly on notions like justification, evidence, authority of science and the like.

The process-dissociation procedure has been used in a variety of experimental contexts to assess the contributions of conscious and unconscious processes to task performance. To evaluate whether motivation affects estimates of conscious and unconscious processes, participants were given incentives to follow inclusion and exclusion instructions in a perception task and a memory task. Relative to a control condition in which no performance incentives were given, the results for the perception task indicated that incentives increased the participants' ability to exclude previously (...) presented information, which in turn both increased the estimate of conscious processes and decreased the estimate of unconscious processes. However, the results also indicated that incentives did not influence estimates of conscious or unconscious processes in the memory task. The findings suggest that the process-dissociation procedure is relatively immune to influences of motivation when used with a memory task, but that caution should be exercised when the process-dissociation is used with a perception task. (shrink)

In this paper, we characterize the strength of the predicative Frege hierarchy, , introduced by John Burgess in his book [J. Burgess, Fixing frege, in: Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005]. We show that and are mutually interpretable. It follows that is mutually interpretable with Q. This fact was proved earlier by Mihai Ganea in [M. Ganea, Burgess’ PV is Robinson’s Q, The Journal of Symbolic Logic 72 619–624] using a different proof. Another consequence of the our (...) main result is that is mutually interpretable with Kalmar Arithmetic . The fact that interprets EA was proved earlier by Burgess. We provide a different proof. Each of the theories is finitely axiomatizable. Our main result implies that the whole hierarchy taken together, , is not finitely axiomatizable. What is more: no theory that is mutually locally interpretable with is finitely axiomatizable. (shrink)