We analyze extensive games as interactive process models, using modallanguages plus matching notions of bisimulation as varieties of gameequivalences. Our technical results show how to fit existing modalnotions into this new setting.

We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies.We prove that both of these logics are complete for the product of rational numbers ℚ × ℚ with the appropriate topologies.

Game-theoretic solution concepts describe sets of strategy profiles that are optimal for all players in some plausible sense. Such sets are often found by recursive algorithms like iterated removal of strictly dominated strategies in strategic games, or backward induction in extensive games. Standard logical analyses of solution sets use assumptions about players in fixed epistemic models for a given game, such as mutual knowledge of rationality. In this paper, we propose a different perspective, analyzing solution algorithms as processes of learning (...) which change game models. Thus, strategic equilibrium gets linked to fixed-points of operations of repeated announcement of suitable epistemic statements. This dynamic stance provides a new look at the current interface of games, logic, and computation. (shrink)

Game logics describe general games through powers of players for forcing outcomes. In particular, they encode an algebra of sequential game operations such as choice, dual and composition. Logic games are special games for specific purposes such as proof or semantical evaluation for first-order or modal languages. We show that the general algebra of game operations coincides with that over just logical evaluation games, whence the latter are quite general after all. The main tool in proving this is a representation (...) of arbitrary games as modal or first-order evaluation games. We probe how far our analysis extends to product operations on games. We also discuss some more general consequences of this new perspective for standard logic. (shrink)

Prioritarianism is a variant of utilitarianism. It differs from utilitarianism in that benefiting individuals matters more the worse off these individuals are. On this view, there are two standard ways of handling risky prospects: Ex-Post Prioritarianism adjusts for prioritizing the worse off in final outcomes and then values prospects by the expectation of the sum total of those adjusted values, whereas Ex-Ante Prioritarianism adjusts for prioritizing the worse off on each individual's expectation and then values prospects by the sum total (...) of those adjusted expectations. A standard objection to Ex-Post Prioritarianism is that it violates Ex-Ante Pareto, that is, it prescribes choices that worsen the expectations for everyone. In this article, I argue that Ex-Ante Prioritarianism suffers from much the same problem: it violates a sequential version of Ex-Ante Pareto, that is, it prescribes sequences of choices that worsen the expectations for everyone. (shrink)

European Journal of Philosophy, Volume 29, Issue 4, Page 685-698, December 2021.

Where should we meet? This may seem like a trivial decision, mostly focused on convenience. However, location can represent integral values, attitudes, and priorities. Especially when the meeting i...

REFERENCES Barwise, J. & R. Cooper (1981) — 'Generalized Quantifiers and Natural Language', Linguistics and Philosophy 4:2159-219. Van Benthem, J. (1983a) — ' Five Easy Pieces', in Ter Meulen (ed.), 1-17. Van Benthem, J. (1983b) ...

In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments. At the request of the editors, this article explains how this interest came about, and what is happening. I mainly present a story around some recent dissertations and supporting papers, which are found in the references. There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even (...) of preference change (Hanson 1995). (shrink)

Aan de hand van recente ontdekkingen op het gebied van neurowetenschappen, biologische evolutie, paleontologie, evolutionaire psychologie en evolutionaire dynamicamodellen, leggen Dirk Van Duppen en Johan Hoebeke uit hoe pro-sociale gedragingen en altruïsme het succes van de ‘homo sapiens’ evolutionair hebben bepaald. Vermits de mens als meest kwetsbaar en meest prematuur dier op de wereld is gekomen, was zijn enige manier om te overleven een biologisch-culturele co-evolutie waarbij zijn intelligente vermogens zich enkel konden ontwikkelen door zijn ingeslepen drang om zich (...) sociaal te gedragen. Dit wetenschappelijk gegrond beeld van de ‘homo sapiens’ staat volledig haaks op dit van de neoliberale ‘homo economicus’ die enkel op individuele winstmaximalisatie gericht is en op de competitiedrang, die als enige drijfkracht voor de vooruitgang wordt beschouwd. De discrepantie tussen de biologisch-culturele fundamenten van onze soort en de actuele overheersende ideologie waaraan wij continu onderworpen worden, zou het stijgend ongenoegen en het ‘mal vivre’ in onze maatschappijen kunnen verklaren. Zoals José Saramago het uitte: ‘Als de omstandigheden zo bepalend zijn voor de mens, laat ons dan die omstandigheden meer menselijk maken.’. (shrink)

Sportfilosofie en haar centrale vragen Sportfilosofie heeft haar academische wortels in de jaren zeventig van de vorige eeuw, met de oprichting van de International Association for the Philosophy of Sport en het Journal of the Philosophy of Sport . In Nederland heeft sportfilosofie een academische plek verworven aan het begin van de jaren negentig aan de Faculteit der Bewegingswetenschappen.

Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express the essence of what communication achieves. We present some methods that yield so-called reduction axioms for common knowledge. We investigate the expressive power of public announcement logic with relativized common knowledge, and present reduction axioms that give a detailed account of the dynamics of common knowledge in some major communication types.

Keuze van artikelen uit het werk van de Vlaamse filosoof over wetenschap, milieu, en medische en biologische ethiek.

This article aims to reconstruct the normative distinction between sophistry and dialectics developed in Plato’s treatment of sophistry. We begin by describing Plato’s notion of sophistry as a knack of persuasion that succeeds by masquerading itself as truth-oriented and by providing gratification for its listeners. We then argue that the stringency of Plato’s arguments becomes clear by using his definition of sophistry as a guideline for the interpretation of the dialogues Protagoras and Gorgias. Together, these dialogues provide a well-structured argument (...) that questions the usefulness of sophistic practice, despite its effectiveness in attaining power within the Athenian democratic institutions. Plato’s fundamental critique of sophistry differs from certain misleading prejudices against sophistry, also found in Plato’s writings and challenged by historical research. The critique is therefore of lasting relevance not only to the understanding of Plato’s philosophical agenda but also to the interpretation of »the sophists«. We end by suggesting that Plato’s normative distinction between sophistry and dialectics is also of relevance for our contemporary conception of democratic discursive culture and its legitimacy. (shrink)

Two philosophical tools are used in this article, namely that of philosophical-pluralism and transcendent pluralism as a kind of glue to enhance our examining of creative pluralism. There is a diversity implant in positive modus of understanding this pluralistic pristine of creative pluralism within transcendence modus. To help facilitate this pluralistic pristine, the author makes use of three constructivist paradigms that are distinguished and used, namely exogenous constructivism emphasising the reconstruction of structures preformed in the environment; endogenous constructivism emphasising the (...) coordination of previous organismic structures and dialectical constructivism emphasising the construction of new structures out of organism and environmental interaction.Contribution: The aim of this article is to present a coherent metatheory by specifying the boundary conditions in which each root metaphor best applies. These above-mentioned versions of pluralism as tools are a reminiscence and a jubilee of the efforts made by sapiens through diversity onto or into pluralism to enable the religious hamlet to think and share. This pluralistic approach of orientation, I hope, will empower sapiens in their respective hamlets to define, articulate and designate to enhance their own epistemological and ontological vantage points wherefrom their individual, coherent and contextual ways of thinking, acting and projecting their lives in a positive modus by emphasising the reconstructions of their performance in their environment. (shrink)

This study explores how being satisfied with one’s life as an entrepreneur is a crucial ethical and psychological outcome of early volition and, subsequently, a vital resource in the development of a richer eudaimonic experience from entrepreneurship. We develop and test our predictions based on two independent datasets: American and Swedish business owners and early stage entrepreneurs. We argue and demonstrate that satisfaction with life as an entrepreneur conveys a distinct state of entrepreneurial well-being and constitutes a crucial self-evaluation which (...) mediates the effects of early volition in entrepreneurship on long-term eudaimonia. We contribute to the emerging conversations on entrepreneurship, business ethics, and well-being. (shrink)

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic can form a harmonious mixture with a new, more ambitious research agenda of understanding and enhancing human reasoning and intelligent interaction. The (...) editors have gathered together articles from active authors in this new area that explore dynamic logical aspects of norms, reasons, preferences and beliefs in human agency, human interaction and groups. The book pays a special tribute to Professor Rohit Parikh, a pioneer in this movement. (shrink)

Natural languages are vehicles of information, arguably the most important, certainly the most ubiquitous that humans possess. Our everyday interactions with the world, with each other and with ourselves depend on them. And even where in the specialised contexts of science we use dedicated formalisms to convey information, their use is embedded in natural language. This omnipresence of natural language is due in large part to its flexibility, which is almost always a virtue, sometimes a vice. Natural languages are able (...) to carry information in a wide variety of ways, about a seemingly unlimited range of topics, which makes them both efficient and versatile, and hence useful in almost every circumstance. But sometimes, when pinpoint precision is what counts, this versatility can get in the.. (shrink)

Meer informatie over de uitgaven van Sdu Uitgevers en Academic Service kunt u verkrijgen bij: Sdu Klantenservice Postbus 20014 2500 EA Den Haag tel.: (070) 378 98 80 www.sdu.nl/service..

This monograph deals with the aboutness of language.

The meaning of have is notoriously difficult to define; sometimes it seems to denote possession, but often, it seems to denote nothing, only to complicate composition. This paper focuses on the cases where have embeds a small clause, proposing that all it accomplishes is abstraction, turning the small clause into a predicate. This analysis is extended to the cases where have appears to embed DPs: These objects are interpreted as small clauses as well, with implicit predicates denoting possession or—with relational (...) nouns—nothing. (shrink)

Seeking to explain the emergence of anti-trafficking initiatives, scholars have explored two sets of ideas—national security and gender equality—thought to shape policy. In this study, we examine whether such ideational influence accounts for Sweden's evolving anti-trafficking policy over the past decade. As powerful domestic ideas about gender inequality informed the adoption of an abolitionist prostitution policy in the 1990s, one would expect similar ideas to influence domestic responses to the related issue of cross-border trafficking.However, our case study shows that the (...) policy area of trafficking has largely followed a different ideational path. Gendered ideas, periodically nested in a human rights discourse, have been salient in the public debate on trafficking in human beings, especially during the campaign to boycott the 2006 FIFA World Cup. However, they have exerted substantially less influence on Swedish legislative initiatives to combat trafficking, with security concerns still holding sway. (shrink)

Prolegomena It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to ...