Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

A central intuition many epistemologists seem to have is that knowledge is distinctively valuable. In his paper 'Radical Scepticism, Epistemic Luck and Epistemic Value', Duncan Pritchard rejects the virtue-theoretic explanation of this intuition. This explanation says that knowledge is distinctively valuable because it is a cognitive achievement. It is maintained, in the first place, that the arguments Pritchard musters against the thesis that knowledge is a cognitive achievement are unconvincing. It is argued, in the second place, that even if the (...) arguments against the thesis that knowledge is a cognitive achievement were convincing, there is another explanation of the intuition that knowledge has final value available: the question-relative treatment of knowledge. (shrink)

One of the hardest questions to answer for a (Neo)platonist is to what extent and how the changing and unreliable world of sense perception can itself be an object of scientific knowledge. My dissertation is a study of the answer given to that question by the Neoplatonist Proclus (Athens, 411-485) in his Commentary on Plato’s Timaeus. I present a new explanation of Proclus’ concept of nature and show that philosophy of nature consists of several related subdisciplines matching the ontological stratification (...) of nature. Moreover, I demonstrate that for Proclus philosophy of nature is a science, albeit a hypothetical one, which takes geometry as its methodological paradigm. I also offer an explanation of Proclus’ view of what is later called the mathematization of physics, i.e. the role of the substance of mathematics, as opposed to its method, in explaining the natural world. Finally, I discuss Proclus’ views of the discourse of philosophy of nature and its iconic character. (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)

This article discusses the possibility of a rationally justified choice between two options neither of which is better than the other while they are not equally good either (‘3NT’). Joseph Raz regards such options as incomparable and argues that reason cannot guide the choice between them. Ruth Chang, by contrast, tries to show that many cases of putative incomparability are instead cases of parity—a fourth value relation of comparability, in addition to the three standard value relations ‘better than’, ‘worse than’ (...) and ‘equally good as’. It follows, she argues, that many choice situations in which rationally justified choice seems precluded are in fact situations within the reach of practical reason. This article has three aims: (1) it challenges Chang’s argument for the possibility of parity; (2) it demonstrates that, even if parity would exist, its problematic implications for practical reason would not differ from those of Raz’s incomparability; (3) it discusses the underlying cause of hard cases of comparison: the fact that none of the three standard value relations applies (‘3NT’). It will be shown that the problematic implications for the rational justification of the choice are due to 3NT itself, irrespective of whether 3NT is explained as incomparability or parity. (shrink)

Subject sensitive invariantism is the view that whether a subject knows depends on what is at stake for that subject: the truth-value of a knowledge-attribution is sensitive to the subject's practical interests. I argue that subject sensitive invariantism cannot accept a very plausible principle for memory to transmit knowledge. I argue, furthermore, that semantic contextualism and contrastivism can accept this plausible principle for memory to transmit knowledge. I conclude that semantic contextualism and contrastivism are in a dialectical position better than (...) subject sensitive invariantism is. (shrink)

This reflection focuses on what insights Catholic Social Teaching can provide for corporate governance. I argue that the ‘standard’ agency theory is overly reductionist and insufficiently incorporates important economic limitations as well as human frailty. As a result, such agency theory insufficiently distinguishes firms from markets, which can easily relativize how we treat others and facilitate rationalization of unethical behavior. I then explore how three pillars of CST—human dignity, solidarity, and subsidiarity—can help overcome these limitations. CST proposes a vision of (...) the business corporation as a community of persons, working together in cooperative business relationships toward the shared purpose of contributing to human flourishing. (shrink)

Psycholinguistic studies often look at the production of referring expressions in interactive settings, but so far few referring expression generation algorithms have been developed that are sensitive to earlier references in an interaction. Rather, such algorithms tend to rely on domain-dependent preferences for both content selection and linguistic realization. We present three experiments showing that humans may opt for dispreferred attributes and dispreferred modifier orderings when these were primed in a preceding interaction (without speakers being consciously aware of this). In (...) addition, we show that speakers are more likely to produce overspecified references, including dispreferred attributes (although minimal descriptions with preferred attributes would suffice), when these were similarly primed. (shrink)

In 1848, the Danish philosopher Søren Kierkegaard wrote a short yet highly significant theater review, titled “Mr. Phister as Captain Scipio.” This review deals with a seemingly prosaic problem: how can an actor convincingly play the role of a drunk police captain while simultaneously disclosing that this captain is deliberately concealing his intoxicated condition? This article argues that this ‘disclosure of concealment’ underlies Kierkegaard’s oeuvre. It elucidates this argument by illustrating that the three levels of theatrical performance highlighted in “Mr. (...) Phister as Captain Scipio” correspond to three parallel levels of authorial performance. Drawing inspiration from the actor, Kierkegaard adopts the persona of a pseudonym who conceals his true identity behind an incognito while simultaneously disclosing that this pseudonym is hiding something. Emulating the dramatic performativity of the actor, Kierkegaard developed a method of indirect communication that constantly works against itself and thus relies on a form of linguistic performativity. (shrink)

Argument schemes are abstractions substantiating the inferential connection between premise(s) and conclusion in argumentative communication. Identifying such conventional patterns of reasoning is essential to the interpretation and evaluation of argumentation. Whether studying argumentation from a theory-driven or data-driven perspective, insight into the actual use of argumentation in communicative practice is essential. Large and reliably annotated corpora of argumentative discourse to quantitatively provide such insight are few and far between. This is all the more true for argument scheme corpora, which tend (...) to suffer from a combination of limited size, poor validation, and the use of ad hoc restricted typologies. In the current paper, we describe the annotation of schemes on the basis of two distinct classifications: Walton’s taxonomy of argument schemes, and Wagemans’ Periodic Table of Arguments. We describe the annotation procedure for each, and the quantitative characteristics of the resulting annotated text corpora. In doing so, we extend the annotation of the preexisting US2016 corpus of televised election debates, resulting in, to the best of our knowledge, the two largest consistently annotated corpora of schemes in argumentative dialogue publicly available. Based on evaluation in terms of inter-annotator agreement, we propose further improvements to the guidelines for annotating schemes: the argument scheme key, and the Argument Type Identification Procedure. (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.

The rise of the platform economy in the past two decades (and neoliberal capitalist expansion and crises more in general), have on the whole negatively affected working conditions, leading to growing concerns about the “human side” of organizations. To address these concerns, the purpose of this paper is to apply Axel Honneth’s recognition theory and method of normative reconstruction to working conditions in the platform economy. The paper concludes that the ways in which platform organizations function constitutes a normative paradox, (...) promising flexibility and autonomy while at the same time creating working conditions that undercut these promises. The paper ends with a critical discussion of Honneth’s approach, possible supplementing ideas and further lines of future research. (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.

This article demonstrates a novel conceptualization of sublimity: the sublime in the pedestrian. This pedestrian mode of sublimity is exemplified by the Biblical Abraham, the central figure of Kierkegaard’s pseudonymous Fear and Trembling. It is rooted in the analysis of one of the foundational stories of the three monotheistic religions: Abraham’s averted sacrifice of his son Isaac. The defining feature of this new, pedestrian mode of sublimity is that is remains hidden behind what I call a total incognito. It is (...) similar to the classical ‘elevated mode of sublimity’ as developed by Burke, Kant, and Schiller insofar as it denotes two contrasting feelings at once: repulsion and attraction. It is different insofar as Kierkegaard’s pedestrian mode of sublimity remains hidden from view and can only be shown indirectly. This article expounds the new, pedestrian mode of sublimity by investigating the relation between the incognito and the sublime in Fear and Trembling. It achieves that goal by engaging three perspectives: (1) the sublime failure that comes to the fore in the incognitos of an imaginary Abraham; (2) the ‘fear without being afraid’ that is invoked by God’s incognitos; (3) the total incognito of the pedestrian which conceals Abraham’s sublimity. (shrink)

In this paper I show that Proclus is an adherent of the Classical Model of Science as set out elsewhere in this issue (de Jong and Betti 2008), and that he adjusts certain conditions of the Model to his Neoplatonic epistemology and metaphysics. In order to show this, I develop a case study concerning philosophy of nature, which, despite its unstable subject matter, Proclus considers to be a science. To give this science a firm foundation Proclus distills from Plato’s Timaeus (...) the basic concepts Being and Becoming and a number of basic propositions, among others the quasi-definitions of the basic concepts. He subsequently explains the use of these quasi-definitions, that are actually epistemic guides, in such a way that he obtains a connection between a rational and an empirical approach to the natural world. A crucial task in establishing the connection is performed by the faculty of doxa and by geometrical conversion. The result is that Proclus secures a universal, necessary and known foundation for all of philosophy of nature. (shrink)

For Kierkegaard the ‘psychological experiment’ is a literary strategy. It enables him to dramatize an existential conflict in an experimental mode. Kierkegaard’s aim is to study the source of movement that animates the existing individual (this is the psychological part). However, he is not interested in the representation of historical individuals in actual situations, but in the construction of fictional characters that are placed in hypothetical situations; this allows him to set the categories in motion “in order to observe completely (...) undisturbed what these require” without caring to what extent someone has met this requirement or is able to meet it (this is the experimental part). -/- The ‘psychological experiment’ is a category of indirect communication that is developed most extensively by Frater Taciturnus, the pseudonymous author of the third part of Stages on Life’s Way. (I) Taciturnus introduces the psychological experiment as a new trajectory in modern literature that offers an alternative to poetry and speculative drama. He develops this new trajectory in praxis (in the novella ‘“Guilty?”/“Not Guilty?” A Story of Suffering: A Psychological Experiment by Frater Taciturnus’) as well as in theory (in the ‘Letter to the Reader’ that accompanies his novella). (II) Two other pseudonymous authors further enrich the conceptual field of the psychological experiment. Constantin Constantius develops the notion ‘experimenting psychology’; Johannes Climacus reflects on the reader’s contemporaneity with the character. (shrink)

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 a dialogue game for critical discussion is developed. The dialogue game is a formalisation of the ideal discussion model that is central to the pragma-dialectical theory of argumentation. The formalisation is intended as a preparatory step to facilitate the development of computational tools to support the pragma-dialectical study of argumentation. An important dimension of the pragma-dialectical discussion model is the role played by speech acts. The central issue addressed in this paper is how the speech act perspective (...) can be accommodated in the formalisation as a dialogue game. The starting point is an existing ‘basic’ dialogue game for critical discussion, in which speech acts are not addressed. The speech act perspective is introduced into the dialogue game by changing the rules that govern the moves that can be made and the commitments that these result in, while the rules for the beginning, for the end, and for the structure of the dialogue game remain unchanged. The revision of the move rules is based on the distribution of speech acts in the pragma-dialectical discussion model. The revision of the commitment rules is based on the felicity conditions that are associated with those speech acts. (shrink)

Charles Travis has developed a distinction between “the historical” and “the conceptual”, which underlies his influential contributions to the philosophy of language and perception. The distinction is based on the observation that there are, for any thought, indefinitely many different circumstances that would render it true. The generality of thoughts and concepts contrasts with the particularity of the sensible world. I challenge the assumption that what exhibits such generality cannot belong to the sensible world. I also defend a version of (...) the claim that perception involves the exercise of conceptual capacities. (shrink)

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 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.

This paper seeks to initiate a theory of “imaginative dialogues” by articulating four dialogical principles that enable such a dialogue to occur. It is part of a larger project that takes the Socratic dialogue, a widely utilized conversation technique in philosophy education, as a starting point and aims to reinterpret it by shifting emphasis to the pre-reflective, pre-linguistic, and multimodal aspects of dialogues, involving both their verbal and embodied dimensions. To integrate the verbal dimensions of a dialogue with its more (...) elusive embodied dimensions, the paper will examine the notion ‘dialogue’ from the perspective of two different strategies. The first strategy chiefly focuses on the dialogic encounter. The ‘in-between’ of this dialogic encounter enables something to emerge that transcends the individual perspective of the speakers involved. The second strategy is primarily concerned with internal differentiation. The minor differences that constitute this internal differentiation, differentiate a dialogue from within. These strategies are not mutually exclusive but indicate a variation in starting point and orientation. This paper proposes to combine these two strategies by linking accounts of the productive moments in verbal dialogues to an account of the imaginative potential of embodied dialogues. This will enable the articulation of four dialogical principles (derived from Lev Yakubinsky, Oswald Ducrot, Martin Buber, and Gottfried Wilhelm Leibniz) through which an imaginative dialogue can proceed. (shrink)

This essay examines two conceptions of the ancient ideal of ‘living in the present’, one that may be called ‘Platonic’, suggested by a remark of Ludwig Wittgenstein, and one that may be called ‘Stoic’, developed by Pierre Hadot. On both conceptions, a life lived and considered in the right way is complete in the present, so that nothing is wanting. I introduce a problem concerning the coherence of this concept: Life involves movement, and movement is aimed at some completion in (...) the future. How, then, can a life be complete in the present and yet not be static? I consider and reject an answer by Hadot, based on psychological concentration on the present. I then propose an alternative answer, based on Aristotle's concept of complete activity, and discuss its significance for both the Platonic and the Stoic conception of the ideal. Throughout, my focus is on this metaphysical and conceptual problem, thus preparing the way for the ethical question whether ‘living in the present’ would be a good way to live. (shrink)

In this paper, we show that the predicate logics of consistent extensions of Heyting's Arithmetic plus Church's Thesis with uniqueness condition are complete $\Pi _{2}^{0}$. Similarly, we show that the predicate logic of HA*, i.e. Heyting's Arithmetic plus the Completeness Principle (for HA*) is complete $\Pi _{2}^{0}$. These results extend the known results due to Valery Plisko. To prove the results we adapt Plisko's method to use Tennenbaum's Theorem to prove 'categoricity of interpretations' under certain assumptions.

In this paper I defend biblical miracles against the popular objection that they are impossible. Doing this requires three stages of development. First, we need to know what miracles are: if we do not know this, how can we then argue that miracles are not impossible? I start out by distinguishing between two categories of miracles: subjective miracles and objective miracles. Then I go on to point out that there are two types of subjective miracles as well as two types (...) of objective miracles. Second, we need to know what the concept ‘impossible’ means: if we do not know this, how can we then argue that miracles are not impossible? I say that there are at least three senses in which we can use the word ‘impossible’. Third, we need to show that miracles are not impossible . After having show that miracles are not impossible , I draw three theological and hermeneutical consequences from the preceding discussion. (shrink)

This highly original book sheds new light on aspects of incommensurability of values and its implications for ethics and justice. It provides original and innovative analysis of the characteristics of incommensurability in relation to values, and explores the implications of incommensurability for ethics, justice and public decision-making.

Name der Zeitschrift: Millennium Jahrgang: 11 Heft: 1 Seiten: 69-100.

In late antiquity, logic developed into what Ebbesen calls the LAS, the Late Ancient Standard. This paper discusses the Neoplatonic use of LAS, as informed by epistemological and metaphysical concerns. It demonstrates this through an analysis of the late ancient debate about hypothetical and categorical logic as manifest in the practice of syllogizing Platonic dialogues. After an introduction of the Middle Platonist view on Platonic syllogistic as present in Alcinous, this paper presents an overview of its application in the syllogizing (...) practice of Proclus and others. That overview shows that the two types were considered two sides of the same coin, to be used for the appropriate occasions, and both relying on the methods of dialectic as revealing the structure of knowledge and reality. Pragmatics, dialectic, and didactic choices determine which type or combination is selected in syllogizing Plato. So even though there is no specific Neoplatonic logic, there is a specific Neoplatonic use of LAS. (shrink)

The central result of this paper is the small‐is‐very‐small principle for restricted sequential theories. The principle says roughly that whenever the given theory shows that a definable property has a small witness, i.e., a witness in a sufficiently small definable cut, then it shows that the property has a very small witness: i.e., a witness below a given standard number. Which cuts are sufficiently small will depend on the complexity of the formula defining the property. We draw various consequences from (...) the central result. E.g., roughly speaking, (i) every restricted, recursively enumerable sequential theory has a finitely axiomatized extension that is conservative with respect to formulas of complexity ; (ii) every sequential model has, for any n, an extension that is elementary for formulas of complexity, in which the intersection of all definable cuts is the natural numbers; (iii) we have reflection for ‐sentences with sufficiently small witness in any consistent restricted theory U; (iv) suppose U is recursively enumerable and sequential. Suppose further that every recursively enumerable and sequential V that locally inteprets U, globally interprets U. Then, U is mutually globally interpretable with a finitely axiomatized sequential theory. The paper contains some careful groundwork developing partial satisfaction predicates in sequential theories for the complexity measure depth of quantifier alternations. (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.

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

This paper defends a right to the justification of contract, with reciprocal and general reasons, and explores its main implications for the law of contract and its theory. It argues that the leading essentialist and other monist contract theories, offering blueprints for an ideal contract law based on the alleged ultimate value or essential characteristic of contract law, cannot justify the basic structure of contract law. Instead, it argues, a critical discourse theory of contract can contribute to the realisation of (...) the right to justification of contract by exposing patterns of contractual injustice, in particular exploitation and domination by contract, that contract law can and should prevent. (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.