Revisiting Dummett's Proof-Theoretic Justification Procedures

Dummett’s justification procedures are revisited. They are used as background for the discussion of some conceptual and technical issues in proof-theoretic semantics, especially the role played by assumptions in proof-theoretic definitions of validity

Evaluating the move to a linear tax system in Germany and other European countries.

This paper proposes a comparison of the results of tax policy analysis obtained on the basis of unitary and collective representations of the household. We first generate labour supplies consistent with the collective rationality, by use of a model calibrated on microdata as described in Vermeulen et al. [Collective Models of Household Labor Supply with Nonconvex Budget Sets and Nonparticipation: A Calibration Approach (2006)]. A unitary model is then estimated on these collective data and unitary and collective responses to a tax reform are compared. We focus on the introduction of linear taxation in Germany. The exercise is replicated for other European countries and other topical reforms. Distortions due to the use of a unitary model turn out to be important in predicting labour supply adjustments, in the design of tax revenue neutral reforms, and in predicting a reform’s welfare implications.Household labour supply; Intrahousehold allocations; Tax reform;

Can We Programme Utopia? The Influence of the Digital Neoliberal Discourse on Utopian Videogames

This article has a dual purpose. The first is to establish the relationship between videogames and utopia in the neoliberal era and clarify the origins of this compromise in the theoretical dimension of game studies. The second is to examine the ways in which there has been an application of the utopian genre throughout videogame history (the style of procedural rhetoric and the subgenre of walking simulator) and the way in which the material dimension of the medium ideologically updates the classical forms of that genre, be it through activation or deactivation. The article concludes with an evaluation of the degree in which the neoliberal discourse interferes with the understanding of utopia on behalf of the medium and with its imaginary capabilities to allow for an effective change in social reality

Towards a Rule Interchange Language for the Web

This articles discusses rule languages that are needed for a a full deployment of the SemanticWeb. First, it motivates the need for such languages. Then, it presents ten theses addressing (1) the rule and/or logic languages needed on the Web, (2) data and data processing, (3) semantics, and (4) engineering and rendering issues. Finally, it discusses two options that might be chosen in designing a Rule Interchange Format for the Web

Economics, realism and reality: a comparison of Mäki and Lawson

There is presently considerable debate about the application and interpretation of realism in economics. Interest in this area of the philosophy and methodology of economics has intensified over the last twenty years, especially due to the substantial contributions by Uskali Mäki and Tony Lawson respectively. Although their work falls under the same banner of realism in economics, their projects differ significantly in many important respects. This review tries to clarify the contrasting approaches of each author and explains the main reasons for the differences between them. The emphasis is on clarification of their respective positions rather than a comprehensive critical evaluation as such.

An Argument for Minimal Logic

The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A rule based account of the meanings of logical constants that appeals to the notion of incompatibility in the introduction rule for negation ensures the existence and uniqueness of the negation of every proposition. But it endows the negation operator with no more formal properties than those it has in minimal logic