Peter Milne

Drawing on recently published correspondence as well as on a survey of Polish and international philosophical activity published in 1937 and details concerning the publisher and bookseller Aleksander Mazzucato, I provide evidence that, contrary to some recent assertions (but in line with older bibliographical entries), Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’ was not published in journal form until 1936, although preprints, lacking two corrections and a small addendum, were likely available in the late months of 1935.

The visual arts operated as a touchstone for French philosopher Jean-François Lyotard, influencing his thinking on everything from epistemology to politics. Building on the recent publication of a bilingual, six-volume edition of his writings on contemporary art and artists, this special issue of_ Cultural Politics_ provides a focus on Lyotard’s aesthetics. The issue includes a review of Lyotard’s writings on art, a discussion of his early figural aesthetics, and an essay on Lyotard’s little-known work, _Pacific Wall_, as well as two essays on Lyotard and music. Two previously untranslated works by Lyotard himself are also featured: the influential article “Argumentation and Presentation: The Crisis of Foundations” and the interview “What to Paint?,” given at the time of the publication of the book of the same name. Painter Leon Phillips, whose work embodies many of the attributes of painting that were most important to Lyotard, is the featured artist for the issue. Throughout, the contributors argue for the primary importance of aesthetics in understanding Lyotard’s thought. Peter W. Milne is Assistant Professor in the Department of Aesthetics at Seoul National University

According to the axiologist the value concepts are basic and the deontic concepts are derivative. This paper addresses two fundamental problems that arise for the axiologist. Firstly, what ought the axiologist o understand by the value of an act? Second, what are the prospects in principle for an axiological representation of moral theories. Can the deontic concepts of any coherent moral theory be represented by an agent-netural axiology: (1) whatever structure those concepts have and (2) whatever the causal structure of the world happens to be. We show that the answer is "almost always". The only substantive constraint is that autonomous moral agents cannot have the power to simultaneously block the options open to other autonomous moral agents. But this seems to be part and parcel of the notion of an autonomous moral agent.

This takes a little-known reading of Kafka’s “In the Penal Colony” by Lyotard as the starting point for an examination of the relation between body and law. Lyotard’s late notion of the intractable serves as a frame for this examination: explicitly claimed to be an absolute condition of morals, I argue it also has political implications, which are here drawn out through the link between the intractable and the body. In Lyotard’s later writings, the body is usually associated with an originary affectivity, which is sometimes equated with sexual difference but sometimes appears to come “before” and exceed this law of bodily differences. It is the latter case, I argue, that allows for a path to be opened beyond the bodily violence of the law to be found in Kafka, especially if this is framed in terms of a certain “politics of incommensurability.”

There are distinctive methodological and conceptual challenges in rare and severe event (RSE) forecast verification, that is, in the assessment of the quality of forecasts of rare but severe natural hazards such as avalanches, landslides or tornadoes. While some of these challenges have been discussed since the inception of the discipline in the 1880s, there is no consensus about how to assess RSE forecasts. This article offers a comprehensive and critical overview of the many different measures used to capture the quality of categorical, binary RSE forecasts – forecasts of occurrence and non-occurrence – and argues that of skill scores in the literature there is only one adequate for RSE forecasting. We do so by first focusing on the relationship between accuracy and skill and showing why skill is more important than accuracy in the case of RSE forecast verification. We then motivate three adequacy constraints for a measure of skill in RSE forecasting. We argue that of skill scores in the literature only the Peirce skill score meets all three constraints. We then outline how our theoretical investigation has important practical implications for avalanche forecasting, basing our discussion on a study in avalanche forecast verification using the nearest-neighbour method (Heierli et al., 2004). Lastly, we raise what we call the “scope challenge”; this affects all forms of RSE forecasting and highlights how and why working with the right measure of skill is important not only for local binary RSE forecasts but also for the assessment of different diagnostic tests widely used in avalanche risk management and related operations, including the design of methods to assess the quality of regional multi-categorical avalanche forecasts.

This paper responds to Rancière’s reading of Lyotard’s analysis of the sublime by attempting to articulate what Lyotard would call a “differend” between the two. Sketching out Rancière’s criticisms, I show that Lyotard’s analysis of the Kantian sublime is more defensible than Rancière claims. I then provide an alternative reading, one that frees Lyotard’s sublime from Rancière’s central accusation that it signals nothing more than the mind’s perpetual enslavement to the law of the Other. Reading the sublime through the figure of the “event,” I end by suggesting that it may even have certain affinities with what Rancière calls “politics.”

The thesis that, in a system of natural deduction, the meaning of a logical constant is given by some or all of its introduction and elimination rules has been developed recently in the work of Dummett, Prawitz, Tennant, and others, by the addition of harmony constraints. Introduction and elimination rules for a logical constant must be in harmony. By deploying harmony constraints, these authors have arrived at logics no stronger than intuitionist propositional logic. Classical logic, they maintain, cannot be justified from this proof-theoretic perspective. This paper argues that, while classical logic can be formulated so as to satisfy a number of harmony constraints, the meanings of the standard logical constants cannot all be given by their introduction and/or elimination rules; negation, in particular, comes under close scrutiny.

This article begins by outlining some of the history—beginning with brief remarks of Quine's—of work on conditional assertions and conditional events. The upshot of the historical narrative is that diverse works from various starting points have circled around a nexus of ideas without convincingly tying them together. Section 3 shows how ideas contained in a neglected article of de Finetti's lead to a unified treatment of the topics based on the identification of conditional events as the objects of conditional bets. The penultimate section explores some of the consequences of the resulting logic of conditional events while the last defends it.

Proofs of Gödel's First Incompleteness Theorem are often accompanied by claims such as that the gödel sentence constructed in the course of the proof says of itself that it is unprovable and that it is true. The validity of such claims depends closely on how the sentence is constructed. Only by tightly constraining the means of construction can one obtain gödel sentences of which it is correct, without further ado, to say that they say of themselves that they are unprovable and that they are true; otherwise a false theory can yield false gödel sentences

While there is now considerable experimental evidence that, on the one hand, participants assign to the indicative conditional as probability the conditional probability of consequent given antecedent and, on the other, they assign to the indicative conditional the “defective truth-table” in which a conditional with false antecedent is deemed neither true nor false, these findings do not in themselves establish which multi-premise inferences involving conditionals participants endorse. A natural extension of the truth-table semantics pronounces as valid numerous inference patterns that do seem to be part of ordinary usage. However, coupled with something the probability account gives us—namely that when conditional-free ϕ entails conditional-free ψ, “if ϕ then ψ” is a trivial, uninformative truth—we have enough logic to derive the paradoxes of material implication. It thus becomes a matter of some urgency to determine which inference patterns involving indicative conditionals participants do endorse. Only thus will we be able to arrive at a realistic, systematic semantics for the indicative conditional.

Of his numerous investigations ... Tarski was most proud of two: his work on truth and his design of an algorithm in 1930 to decide the truth or falsity of any sentence of the elementary theory of the high school Euclidean geometry. [...] His mathematical treatment of the semantics of languages and the concept of truth has had revolutionary consequences for mathematics, linguistics, and philosophy, and Tarski is widely thought of as the man who "defined truth". The seeming simplicity of his famous example that the sentence "Snow is white" is true just in case snow is white belies the depth and complexity of the consequences which can be drawn from the possibility of giving a general treatment of the concept of truth in formal mathematical languages in a rigorous mathematical way. (J.W. Addison).

Various natural deduction formulations of classical, minimal, intuitionist, and intermediate propositional and first-order logics are presented and investigated with respect to satisfaction of the separation and subformula properties. The technique employed is, for the most part, semantic, based on general versions of the Lindenbaum and Lindenbaum–Henkin constructions. Careful attention is paid to which properties of theories result in the presence of which rules of inference, and to restrictions on the sets of formulas to which the rules may be employed, restrictions determined by the formulas occurring as premises and conclusion of the invalid inference for which a counterexample is to be constructed. We obtain an elegant formulation of classical propositional logic with the subformula property and a singularly inelegant formulation of classical first-order logic with the subformula property, the latter, unfortunately, not a product of the strategy otherwise used throughout the article. Along the way, we arrive at an optimal strengthening of the subformula results for classical first-order logic obtained as consequences of normalization theorems by Dag Prawitz and Gunnar Stålmarck.