Cet essai a été présenté à l’atelier sur La démocratie de l’espace et l’espace de la démocratie, qui a eu lieu à Newcastle, en Angleterre, le 11 janvier 2008. Une version antérieure a été présentée à l’Université de Tokyo le 13 novembre 2007. Il sera publié en néerlandais, traduit par Freek Jansens, sous le titre “het plannen van ruimtes van (on)mogelijkheid” dans une collection éditée par Maarten Hajer et Jantine Grijzen sur les questions de politique contemporaine. Il a été (...) traduit de l’anglais par Martin Blanchard et révisé par Daniel Weinstock. (shrink)

Willem Witteveen, a member of the Upper House for the Dutch Labour Party and professor at Tilburg University, was among the passengers on the MH17 aircraft that crashed in eastern Ukraine in July 2014. Prior to this tragic incident, he had submitted the manuscript of “De wet als kunstwerk [The Law as a Work of Art]”. The posthumous edition of the book has been augmented with a foreword by his son, Freek Witteveen, and a series of collages and miniatures. (...) Consequently, it serves as a tribute and memorial to a distinguished jurist and esteemed politician. In his book, Witteveen presents a measured critique of the neoliberal ideology that has predominated in Dutch society for numerous years and has been embraced by both conservative and progressive political factions. He posits that this ideology demonstrates limited regard for the law as an end in itself, instead primarily utilizing the law as a means for addressing social issues: 'As soon as someone discovers the possibility of establishing rules, whether or not enforced with power or carried by authority, the temptation arises to see the rule as a solution to a problem, as the instrument in the hands of the community to make the problem manageable.' (450) Witteveen problematizes this inclination by examining the central metaphor underlying it: the metaphor of the tool. In this context, the laws enacted by the legislature are analogous to the tools employed by a craftsman, such as a mechanic or carpenter. [in Dutch: Willem Witteveen, Eerste Kamerlid voor de PvdA en hoogleraar in Tilburg, was een van de inzittenden van het passagiersvliegtuig MH17 dat in juli 2014 neerstortte in Oost-Oekraïne. Vlak voor deze tragische vlucht had hij het manuscript van De wet als kunstwerk ingeleverd. De postume uitgave van het boek is uitgebreid met een voorwoord van zoon Freek Witteveen en een serie collages en miniaturen. Het functioneert zodoende als eerbetoon en nagedachtenis aan een begaafd jurist en een bevlogen politicus. In zijn boek verzet Witteveen zich op ingetogen wijze tegen de neoliberale ideologie die de Nederlandse samenleving al vele jaren domineert en die door zowel de rechter als de linkerflank van de politiek is omhelsd. Volgens hem heeft deze ideologie weinig oog voor de wet als een doel op zichzelf, maar gebruikt ze de wet vooral als middel voor het oplossen van maatschappelijke problemen: ‘Zodra iemand de mogelijkheid ontdekt om regels vast te stellen, al dan niet met macht gehandhaafd of door gezag gedragen, doet zich de verleiding voor om de regel als een oplossing van een probleem te zien, als het instrument dat de gemeenschap in handen heeft om het probleem hanteerbaar te maken.’ (450) Witteveen problematiseert deze impuls door te kijken naar de centrale metafoor die eraan ten grondslag ligt: de metafoor van het gereedschap. Hierin worden de wetten van de wetgever vergeleken met het gereedschap van een ambachtsman, zoals een monteur of timmerman.]. (shrink)

Future robots should have common sense about the world in order to handle the problems they will encounter. A large part of this commonsense knowledge must be naive physics knowledge, since carrying out even the simplest everyday chores requires familiarity with physics laws. But how should one start codifying this knowledge? What kind of skills should be elicited from the experts (each and every one of us)? This paper will attempt to provide some hints by studying the mental models of (...) force and motion. (shrink)

Linguistic expressions frequently make reference to the situation in which they are uttered. In fact, there are expressions whose whole point of use is to relate to their context of utterance. It is such expressions that this article is primarily about. However, rather than presenting the richness of pertinent phenomena (cf. Anderson & Keenan 1985), it concentrates on the theoretical tools provided by the (standard) two-dimensional analysis of context dependence, essentially originating with Kaplan (1989)--with a little help from Stalnaker (1978) (...) and Lewis (1979a, 1980), and various predecessors including Kamp (1971) and Vlach (1973). The current article overlaps in content with the account in Zimmermann (1991), which is however much broader (and at times deeper).. (shrink)

Imaginative representations are crucial to the generation of action--both pretense and plain action. But well-known theories of imagination on offer in the literature [1] fail to describe how perceptually-formatted imaginings (mental images) and motor imaginings function in the generation of action and [2] fail to recognize the important fact that spatially rich imagining can be integrated into one's perceptual manifold. In this paper, I present a theory of imagining that shows how spatially rich imagining functions in the generation of action. (...) I also describe the imaginative structures behind two under-explored forms of action: semi-pretense and pretense layering. In addition, I suggest that my theory of imagining meshes better than the competitors with current work in cognitive and affective neuroscience. (shrink)

This paper claims that the standard characterization of the motivational role of belief should be supplemented. Beliefs do not only, jointly with desires, cause and rationalize actions that will satisfy the desires, if the beliefs are true; beliefs are also the practical ground of other cognitive attitudes, like imagining, which means beliefs determine whether and when one acts with those other attitudes as the cognitive inputs into choices and practical reasoning. In addition to arguing for this thesis, I take issue (...) with Velleman's argument that belief and imagining cannot be distinguished on the basis of motivational role. (shrink)

I here defend historical entitlement theories of property rights against a popular charge. This is the objection that such theories fail because no convincing account of original appropriation exists. I argue that this argument assumes a certain reading of historical entitlement theory and I spell out an alternative reading against which it misfires. On this reading, the role of acts of original appropriation is not to justify but to individuate people’s holdings. I argue that we can identify which acts count (...) as original appropriation against the background of a general justification for a practice of property rights. On this view, what I will call ‘natural’ acts of original appropriation are acts by which a person begins to satisfy the general conditions for justified ownership. Finally, I offer an interpretation of John Locke's theory of appropriation along these lines and argue that it provides an attractive reading of his view. (shrink)

Als Plato de hedendaagse academie zou aanschouwen, zou hij niet alleen stomverbaasd zijn over de massificatie en de byzantijnse bureaucratie, maar gezien het ethische doel van de universiteit zou hij ook reden hebben om bezorgd te zijn.

Kant is well known for his restrictive conception of proper science. In the present paper I will try to explain why Kant adopted this conception. I will identify three core conditions which Kant thinks a proper science must satisfy: systematicity, objective grounding, and apodictic certainty. These conditions conform to conditions codified in the Classical Model of Science. Kant’s infamous claim that any proper natural science must be mathematical should be understood on the basis of these conditions. In order to substantiate (...) this reading, I will show that only in this way it can be explained why Kant thought (1) that mathematics has a particular foundational function with respect to the natural sciences and (2) as such secures their scientific status. (shrink)

Verrassend misschien voor filosofen buiten Frankrijk, maar in Parijs is wetenschap altijd een object van filosofische reflectie geweest – niet in de vorm van de analytische wetenschapsfilosofie zoals die buiten Frankrijk wordt onderwezen, maar onder de noemer van historische epistemologie, of soms ook wel kortweg épistémologie genoemd. Dit themanummer wil een inleiding zijn op deze traditie in haar denkers.

Many cognitive scientists, having discovered that some computational-level characterization f of a cognitive capacity φ is intractable, invoke heuristics as algorithmic-level explanations of how cognizers compute f. We argue that such explanations are actually dysfunctional, and rebut five possible objections. We then propose computational-level theory revision as a principled and workable alternative.

David Enoch recently defended the idea that there are valid inferences of the form ‘it would be good if p, therefore, p’. I argue that Enoch's proposal allows us to infer the absurd conclusion that ours is the best of all possible worlds.

The idea that law claims authority (LCA) has recently been forcefully criticized by a number of authors. These authors present a new and intriguing objection, arguing that law cannot be said to claim authority if such a claim is not justified. That is, these authors argue that the view that law does not have authority viciously conflicts with the view that law claims authority. I will call this the normative critique of LCA. In this article, I assess the normative critique (...) of LCA, focusing predominantly on the arguments presented by its most incisive proponent Philip Soper. I defend a twofold conclusion. First, LCA, understood roughly along the lines put forward by Joseph Raz, is part of the most attractive analysis of law. Second, proponents of the normative critique, and in particular Soper, are committed to accepting LCA. (shrink)

It is argued that, contrary to prevailing opinion, Bas van Fraassen nowhere uses the argument from underdetermination in his argument for constructive empiricism. It is explained that van Fraassen’s use of the notion of empirical equivalence in The Scientific Image has been widely misunderstood. A reconstruction of the main arguments for constructive empiricism is offered, showing how the passages that have been taken to be part of an appeal to the argument from underdetermination should actually be interpreted.

Decades of debate about scientific realism notwithstanding, we find ourselves bemused by what different philosophers appear to think it is, exactly. Does it require any sort of belief in relation to scientific theories and, if so, what sort? Is it rather typified by a certain understanding of the rationality of such beliefs? In the following dialogue we explore these questions in hopes of clarifying some convictions about what scientific realism is, and what it could or should be. En route, we (...) encounter some profoundly divergent conceptions of the nature of science and of philosophy. (shrink)

Jill de Villiers has argued that children's mastery of sentential complements plays a crucial role in enabling them to succeed at false-belief tasks. Josef Perner has disputed that and has argued that mastery of false-belief tasks requires an understanding of the multiplicity of perspectives. This paper attempts to resolve the debate by explicating attributions of desires and beliefs as extensions of the linguistic practices of making commands and assertions, respectively. In terms of these linguistic practices one can explain why desire-talk (...) will precede belief-talk and why even older children will have difficulty attributing incompatible desires. (shrink)

In an earlier issue, I argue (2014) that psychology and epistemology should distinguish religious credence from factual belief. These are distinct cognitive attitudes. Levy (2017) rejects this distinction, arguing that both religious and factual “beliefs” are subject to “shifting” on the basis of fluency and “intuitiveness.” Levy’s theory, however, (1) is out of keeping with much research in cognitive science of religion and (2) misrepresents the notion of factual belief employed in my theory. So his claims don’t undermine my distinction. (...) I conclude by suggesting some approaches to empirically testing our views. (shrink)

I argue here that self-deception is not conducive to happiness. There is a long train of thought in social psychology that seems to say that it is, but proper understanding of the data does not yield this conclusion. Illusion must be distinguished from mere imagining. Self-deception must be distinguished from self-inflation bias and from self-fulfilling belief. Once these distinctions are in place, the case for self-deception falls apart. Furthermore, by yielding false beliefs, self-deception undermines desire satisfaction. Finally, I argue for (...) the positive view that *honest imagining* can yield the psychological benefits that others have claimed for self-deception. (shrink)

Two central accounts of human cognition emerge over the course of the Middle Ages: the theory of divine illumination and an Aristotelian theory centered on abstraction from sense data. Typically, these two accounts are seen as competing views of the origins of human knowledge; theories of divine illumination focus on God’s direct intervention in our epistemic lives, whereas Aristotelian theories generally claim that our knowledge derives primarily (or even entirely) from sense perception. In this paper, I address an early attempt (...) to reconcile these two accounts—namely, Robert Grosseteste’s commentary on Aristotle’s Posterior Analytics—and I argue that Grosseteste’s efforts to bring Aristotle’s account of human cognition into harmony with a theory of divine illumination proves both philosophically interesting and largely successful. Grosseteste’s claim that God does not directly illumine our intellects in this life opens his theory to the worry that Grosseteste leaves the divine out of his theory of divine illumination in the CPA. Steven Marrone, for example, holds that Grosseteste’s Aristotelian focus in this work causes him to abandon the theory of divine illumination he advocated in the earlier De veritate in favor of a modified theory of “human” illumination. I argue in contrast that Grosseteste does give God a role in human knowledge in the CPA—a role that allows human beings to remain largely responsible for the acquisition of knowledge while still requiring God’s illumination for actual cognition. In short, I conclude that, although human bodies interfere with God’s direct illumination of our intellects, God nevertheless plays a crucial ideogenic role in human cognition by illuminating the objects of our intellection and making them intelligible to us. (shrink)

I raise the question of what cognitive attitude self-deception brings about. That is: what is the product of self-deception? Robert Audi and Georges Rey have argued that self-deception does not bring about belief in the usual sense, but rather “avowal” or “avowed belief.” That means a tendency to affirm verbally (both privately and publicly) that lacks normal belief-like connections to non-verbal actions. I contest their view by discussing cases in which the product of self-deception is implicated in action in a (...) way that exemplifies the motivational role of belief. Furthermore, by applying independent criteria of what it is for a mental state to be a belief, I defend the more intuitive view that being self-deceived that p entails believing that p. Beliefs (i) are the default for action relative to other cognitive attitudes (such as imagining and hypothesis) and (ii) have cognitive governance over the other cognitive attitudes. I explicate these two relations and argue that they obtain for the product of self-deception. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

As artefacts, the worlds of digital games are designed and developed to fulfil certain expressive, functional, and experiential objectives. During play, players infer these purposes and aspirations from various aspects of their engagement with the gameworld. Influenced by their sociocultural backgrounds, sensitivities, gameplay preferences, and familiarity with game conventions, players construct a subjective interpretation of the intentions with which they believe the digital game in question was created. By analogy with the narratological notion of the implied author, we call the (...) figure to which players ascribe these intentions ‘the implied designer’. In this article, we introduce the notion of the implied designer and present an initial account of how appreciators ascribe meaning to interactive, fictional gameworlds and act within them based on what they perceive to be the designer’s intentions. (shrink)

In this paper I challenge Paolo Palmieri’s reading of the Mach-Vailati debate on Archimedes’s proof of the law of the lever. I argue that the actual import of the debate concerns the possible epistemic (as opposed to merely pragmatic) role of mathematical arguments in empirical physics, and that construed in this light Vailati carries the upper hand. This claim is defended by showing that Archimedes’s proof of the law of the lever is not a way of appealing to a non-empirical (...) source of information, but a way of explicating the mathematical structure that can represent the empirical information at our disposal in the most general way. (shrink)

Three puzzles about self-deception make this mental phenomenon an intriguing explanatory target. The first relates to how to define it without paradox; the second is about how to make sense of self-deception in light of the interpretive view of the mental that has become widespread in philosophy; and the third concerns why it exists at all. In this paper I address the first and third puzzles. First, I define self-deception. Second, I criticize Robert Trivers' attempt to use adaptionist evolutionary psychology (...) to solve the third puzzle (existence). Third, I sketch a theory to replace that of Trivers. Self-deception is not an adaptation, but a spandrel in the sense that Gould and Lewontin give the term: a byproduct of other features of human (cognitive) architecture. Self-deception is so undeniable a fact of human life that if anyone tried to deny its existence, the proper response would be to accuse this person of it. (Allen Wood, 1988). (shrink)

In this entry, I seek to show the interdependence of questions about self-deception in philosophy of mind, psychology, and ethics. I taxonomize solutions to the paradoxes of self-deception, present possible psychological mechanisms behind it, and highlight how different approaches to the philosophy of mind and psychology will affect how we answer important ethical questions. Is self-deception conducive to happiness? How does self-deception affect responsibility? Is there something intrinsically wrong with self-deception? The entry, on the one hand, is a tour of (...) the literature; on the other, it is a case for more work that crosses traditional sub-disciplinary boundaries. (shrink)

We study whether it is possible to generalise Seidenfeld et al.’s representation result for coherent choice functions in terms of sets of probability/utility pairs when we let go of Archimedeanity. We show that the convexity property is necessary but not sufficient for a choice function to be an infimum of a class of lexicographic ones. For the special case of two-dimensional option spaces, we determine the necessary and sufficient conditions by weakening the Archimedean axiom.

Virtue ethics has now well and truly established itself as one of the main normative theories. It is now quite common, and indeed, expected, for virtue ethics to be included, alongside deontology and consequentialism, in any Moral Philosophy syllabus worth its salt. Students are typically introduced to virtue ethics only after studying the other two normative theories, and this often sets the scene for various sorts of misunderstandings, with students expecting virtue ethics to be based on the same set of (...) rules and assumptions as its rivals. Or at least, that is my experience. In this paper I want to focus on one such misunderstanding, which arises when trying to apply virtue ethics to our judgments of other people’s actions and behaviour. Although there are countless ways in which a theory can be misunderstood, it is worth guarding against this one in particular, given that it can lead someone who takes virtue ethics seriously to act in ways that are not virtuous, or even vicious. I begin by making a few remarks about the role of normative theory, and then go on to give four examples of how applying virtue ethics can lead to poor behaviour. In the final section I identify the mistake in question and conclude by noting how it can be avoided. (shrink)

The characterization of objective, normative reasons to φ as facts (or truths) that count in favor of φ-ing is widely accepted. But are there any further conditions that considerations which count in favor of φ-ing must meet, in order to count as a reason to φ? In this brief paper, I consider and reject one such condition, recently proposed by Caspar Hare.

In the Inner Chapters, arguments for a variety of different philosophical positions are present, including skepticism, relativism, particularism, and objectivism. Given that these are not all mutually consistent, we are left with the problem of reconciling the tensions among them. The various positions are described and passages from the Inner Chapters are presented illustrating each. A detailed commentary is offered on the opening of the Inner Chapters, arguing that it is best understood in an objectivist fashion. An interpretation is presented (...) of Zhuangzi's view of sagehood that reconciles the various arguments in the text. (shrink)

I am writing because I am disturbed by the apparent policy of many mainstream philosophy journals toward Chinese and comparative philosophy. The assumption seems to be that such work should be confined to the handful of specialist journals. I believe that this is an antiquated and counterproductive policy. Philosophers have recognized for a long time that any well-educated ethicist needs to know something about Aristotle, Kant, and the secondary work published on them. Because of changes in our society and in (...) the world as a whole, the time has come for us to recognize that an ethicist should also know something about Mo Tzu, Hsün Tzu and Chu Hsi. (shrink)

Huang-Lao is now generally regarded as a set of ideas that gained currency from the final stages of the Warring States period to well into the Han dynasty. "Huang" stands for Huangdi, the Yellow Emperor; "Lao" refers to Laozi, the "Old Master," who is traditionally regarded as the founder of Daoism. Huang-Lao is thus a combination of ideas attributed to the mythical figures of the Yellow Emperor and Laozi. What those ideas are and how they have manifested themselves in Chinese (...) history remains the subject of heated debate. (shrink)

Cellular, or mobile phones are great: they allow people to communicate over long distances whenever and wherever they are, and instantaneously at that when the one called is wearing one too. Having said that, though, it must immediately be added that they, also, have a complex disadvantage, and it is one we are hard pushed to understand. In fact, due to its complexity people simply tend to neglect it, even though everyone in his right mind has had experience with it. (...) Now Walter Benjamin defined aura as “a distance however close it may be”.1) This has standardly been interpreted as a characterisation of an experience of presence, also by Benjamin. This aura supposedly suffered from the rise of photography. Aura can, also, be understood as inertia, the absence of something present. And whether aura is gone or widespread I gladly leave to more speculative-minded thinkers. I submit that we experience a person’s “aura”—her distance however close she may be—when perception tells us the person is present yet our mind realises that she isn’t. I am referring here to the observation had of another person engaged in a cell phone conversation. The inertia of the cell phone caller consists in her incapacity to address those who observe her. I think there is an immoral streak to her selfappointed moral autonomy. In a previous edition of this Dutch-Russian exchange on inertia I argued that our trafficking with facial expressions forms the model with which we’d best understand the workings of art—facial expression is the anthropological foundation of art. My discussion, today, of the cell phone conversation is meant to add to that previous suggestion. (shrink)

This volume deals with the general theory of pleasure of Plato and his successors.The first part describes the two paradigms between which all theories of ...

I raise three puzzles concerning self-deception: (i) a conceptual paradox, (ii) a dilemma about how to understand human cognitive evolution, and (iii) a tension between the fact of self-deception and Davidson’s interpretive view. I advance solutions to the first two and lay a groundwork for addressing the third. The capacity for self-deception, I argue, is a spandrel, in Gould’s and Lewontin’s sense, of other mental traits, i.e., a structural byproduct. The irony is that the mental traits of which self-deception is (...) a spandrel/byproduct are themselves rational. (shrink)

In recent years, the human ability to reasoning about mental states of others in order to explain and predict their behavior has come to be a highly active area of research. Researchers from a wide range of fields { from biology and psychology through linguistics to game theory and logic{ contribute new ideas and results. This interdisciplinary workshop, collocated with the Thirteenth International Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII), aims to shed light on models of social (...) reasoning that take into account realistic resource bounds. People reason about other people's mental states in order to understand and predict the others' behavior. This capability to reason about others' knowledge, beliefs and intentions is often referred to as theory of mind. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, desire, intention) logics and by epistemic game theory. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds. (shrink)

Early Chinese argumentative texts are full of historical anecdotes. These short accounts of events in Chinese history enhance the appeal of the text, but they also have an important rhetorical function in helping the reader understand, accept, and remember the arguments propounded in the text. In this paper I examine the rhetorical function of historical anecdotes in two argumentative texts of the Western Han dynasty (202 BCE-9 CE): Han’s Illustrations of the Odes for Outsiders and The Master of Huainan. These (...) two texts found creative use for anecdotes, namely as illustrations of quotations from canonical sources. Through case studies of several combinations of anecdotes and quotations, I argue that the combinations serve to present the creators of these texts as beacons of knowledge with profound understanding of historical events and canonical literature, and with the necessary skills to fruitfully combine the two. (shrink)

Nghiên cứu nhằm xác định và đo lường các nhân tố tác động đến sự vận dụng hệ thống kế toán chi phí dựa trên cơ sở hoạt động (ABC) tại các doanh nghiệp sản xuất hoạt động trên địa bàn tỉnh Đồng Nai. Kết quả nghiên cứu cho thấy, có tổng cộng 5 nhân tố tác động tích cực đến vận dụng hệ thống kế toán chi phí tại các doanh nghiệp sản xuất trên địa bàn tỉnh Đồng Nai, (...) gồm: Sự ủng hộ của ban lãnh đạo; Tầm quan trọng về thông tin chi phí; Trình độ nhân viên kế toán; Huấn luyện và đào tạo; Quy mô doanh nghiệp. (shrink)

I show why Michael Friedman’s idea that we should view new constitutive frameworks introduced in paradigm change as members of a convergent series introduces an uncomfortable tension in his views. It cannot be justified on realist grounds, as this would compromise his Kantian perspective, but his own appeal to a Kantian regulative ideal of reason cannot do the job either. I then explain a way to make better sense of the rationality of paradigm change on what I take to be (...) Friedman’s own terms. (shrink)

Mindfulness is a form of meditation that derives from Buddhist practice and is one of the fastest growing areas of psychological research. Studies investigating the role of mindfulness in the treatment of behavioural addictions have – to date – primarily focused on gambling disorder. Recent pilot studies and clinical case studies have demonstrated that weekly mindfulness therapy sessions can lead to clinically significant change among individuals with gambling problems. Although preliminary findings indicate that there are applications for mindfulness approaches in (...) the treatment of gambling disorder, further empirical and clinical research utilizing larger-sample controlled study designs is clearly needed. (shrink)

What sort of epistemic positions are compatible with inquiries driven by interrogative attitudes like wonder and puzzlement? The ignorance norm provides a partial answer: interrogative attitudes directed at a particular question are never compatible with knowledge of the question’s answer. But some are tempted to think that interrogative attitudes are incompatible with weaker positions like belief as well. This paper defends that the ignorance norm is exhaustive. All epistemic positions weaker than knowledge directed at the answer to a question are (...) compatible with having an interrogative attitude towards that question. We offer two arguments for this conclusion. The first is based on considerations about the role of hedging in inquiry. The second is conditional on considerations related to the aim of inquiry as a goal-directed activity. (shrink)

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...) the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used (...) as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)