Argument of this text is that: to develop aesthetics of sport, we should not begin with aesthetics as philosophy of art but with aesthetics of everyday life; to start with aesthetics of sport, we should not begin with beautiful of ‘pure aesthetics’ but with the dramatic; to analyze the dramatic in sport, we should not open the analysis with analogy between theater and sport, but with sport as a sort of performance; to get at the meaning of sport as a (...) drama, we have to discuss different meanings ‘drama’ has in theory and everyday communication; to map the dramatic in sport as performance, we have to discuss some features of sport which determine its dramatics first, and its potential as spectacle later. To proceed with the argument, we have to take into account contemporary state of aesthetics, recent development of aesthetics of everyday life, and theory of performance, together with Bernard Suits’ definition of game, Gadamer’s idea of play, and Lévy-Strauss’ account on conjunctive and disjunctive ritual. (shrink)

At IAPS Ljubljana conference (September 2007) Dag Vidar Hanstad and Sigmund Loland presented a paper on elite-level athletes' duty to provide information on their whereabouts, to decide between two opposing positions: is this WADA demand justifiable anti-doping work or an indefensible surveillance regime? They concluded that on moral grounds this regime is conditionally acceptable, the condition being the acceptability of a general framework and objectives embodied in anti-doping global legislative foundations (the World Anti-Doping Code). But, as they said, principled objections (...) against the system have more universal relevance, which has to be taken seriously . To take this ambiguous and intriguing conclusion a step further, I propose a legal rather than ethical approach, from the aspect of constitutional and international human rights law, and the possible clash of two legally acknowledged values - the concept of elite sport without doping, and the concept of individual human rights. This conflict between ideological or moral values and the legality of individual rights is not a novelty. This paper presents three instances of this conflict: Bernard de Mandeville's differentiation between public and private values; Eug ne Sue's parallel legal and civil morals; and the contemporary moralisation of law which conflates legality into morality. The subordination of legality to morality has potentially dangerous consequences: here, Agamben's 'state of exception' comes to mind, with his analysis of potestas and auctoritas. However, in the case of sport and the war against doping, the origin of power is not in the nation state; it originates in civil society's non-governmental national and international bodies recognised as autonomous sources of legal order. (shrink)

In my previous texts on aesthetics of sport and of football, the accent was on dramatic aesthetic properties and on everyday aesthetics as a proper framework for the aesthetics of sport in general and football in particular. Here, following this starting point, the character of football as a game of social interactions and its character of purposive sport are examined, to find out what could be the most important aesthetic condition for playing the game and being-in-the-game. To get at the (...) core of the aesthetic side of football, the concept of aesthetic imagination is introduced as a necessary condition for playing the game of football, and three aesthetic regimes for creation of possible worlds or symbolic forms such as football are discussed. There are two steps where the aesthetic imagination helps. The first one is at the entrance where we are leaving ordinary everyday life behind, being ready to accept the world of.. (shrink)

Political philosophy is an examination of distribution of power in human communities and institutions. In previous period when identity issues were the most important political approach philosophy of sport had to deal mostly with discrimination and much less with the distribution of power in sport governance. Recent scandals revealed that at the top of sport governing bodies. Even more: it exposed the political character of the distribution of unleashed power in sport. That is why it is not enough to punish (...) ad to prevent. It is necessary to change the distribution of power, reform the models of control over political power in sport and to rethink the whole system of governance in sport. The proposal of this paper is just one short step in this direction with two points of departure: a change in initial sport’s associational character of aristocratic distribution of power into contemporary state of corporation with managerial distribution of power; and political philosophy’s proposals for models of democratic control at the global level. (shrink)

From the institutional inauguration of the discipline in 1972, philosophy of sport tends to expand, spreading itself around the world from one country to another, and including new philosophical in...

The aim of this paper is to defend the position that aesthetics and ethics in sport are not two separate domains or aspects. In sport, the aesthetic and the ethical both arise from sport’s attractiveness or from the pleasure sport offers to its activists and consumers. To think about sport philosophically, we should find a link and a principle beyond this division as a source of both the aesthetic and the ethical in sport. The philosophy and philosophical sociology of Jean-Marie (...) Guyau is presented as a response to this problem. Two points of fundamental importance are considered critically here: his criticism of any reductionism, and life or the idea of life as key principle of a philosophical system which puts ethics and aesthetics together. (shrink)

Martin Strel, a Slovenian hero, swam all 3004 km of Danube in 200, and Mississippi in 2002, to become one of nominees for the sportsperson of the year award. Surprisingly, an orchestrated attack on his status as a sportsperson and on status of his achievements as sport records followed successfully. Martin did not get the award. He continued with his activities, swimming Parana, Jang Tse, and Amazonas lately, but was never mentioned in sport context again. This case is examined to (...) show how definition struggles serve to strengthen the border control between sport as such, and its internationally institutionalised realm. To make a comparison, the case of art and its definition is mentioned. Martin Strel did not endanger sport, being a false pretender on sport-status, but he endangered sport management and sport business. He was thrown out of the ?sport city?, to swim ?extra portes? and to inhabit a place where sport as ?esportes? originally belonges. (shrink)

Naturalist aestetics, strictly speaking, is a move to establish naturalist explanation of aesthetic phenomena. It was nearly forgotten, at least in the history of aesthetics, where, if mentioned, it was put aside as something dead and despised. Its reappearance in recent years, among other occasions at the XIVIVth International Congress of Aesthetics (Rio de Janeiro, 2004), came as a surprise and a challenge. Its second modernity has predecessors in the first modernity, and Darwin is only one of the many, and (...) its background in contemporary naturalist proposals in social and human sciences (biosociology, evolutionary psychology, cognitive science, etc.). Contemporary proposals to explain some basic aesthetic preferences of taste, and aesthetic pleasure itself in terms of evolution, may be illuminated by historical background. We can also understand them (in Ulrich Beck's vocabulary) as second modernity, as a move to deal with uncertainties of aesthetics. What still makes contemporary naturalist aesthetics a continuation of aesthetic modernity, however, is its inability to take (contemporary) art seriously. (shrink)

V Kantovi in Longinovi obravnavi vzvišenega naletimo na vzporednice, ki skorajda potrjujejo misel Danka Grliča, da tu ni bilo kakšnega posebnega miselnega napredka. Izkaže se, da modernistična zastavitev potiska v pozabo psihologistično estetiko in njeno obravnavo vzvišenega v francoski in angleški tradiciji. Pri Longinu ni najti modernistične strasti po spreminjanju razmer in izboljšanju človeštva. Pri Longinu nas vzvišeno s svojim učinkom ne pokliče v funkcijo subjekta napredka, ampak nam da čutiti, da smo poklicani v pozicijo opazovalca dovršenega naravnega teatra. Moralni (...) zakon, ki ga zbudi vzvišeno pri Longinu, je »conso-latio philosophiae«, medtem ko gre pri Kantu za »moralni entuziazem«. (shrink)

ABSTRACT In this article, we address the aporia(s) of the Olympic discourse produced by the troubled split between sport and politics. To start our argument, we will show that sporting governing bodies continuously insist that they are still on the other side of any kind of politics. Guided by Aristotle, who presented the reciprocity of ethics and politics, we will unveil the fallacy of this discourse. In a short genealogy of the relationship between sport, ethics, and politics, we will highlight (...) the Munich Olympics 1936 and Mexico Olympics 1968, where political engagement of sport was exposed clearly. At the same time, the supposed political neutrality of sport manifested an aristocratic preference for radical right regimes. After that, we will analyse the contemporary relation between sport, ethics, and politics in the light of recent developments, including sport’s ambiguous reaction on the Ukraine war. Further argument will be that sport’s in- and external politics, supported by sport ethics and the inherited mantra of the split between sport and politics, is more than just a hypocrisy. At the start, modern sport claims autonomy of governance to keep away from state domination, yet this very autonomy also freezes sport’s ethical core, forbidding athletes, coaches and others active in sport, to express any political engagement, other than passive acceptance of the regulation by governing sport bodies, as the only politics to be respected without deliberation. In the final part an alternative understanding of the dynamics between politics, the political and sport’s ethical core, will be presented to be included in the philosophy of sport and fully developed in following articles. (shrink)

ABSTRACT In this article, we address the aporia(s) of the Olympic discourse produced by the troubled split between sport and politics. To start our argument, we will show that sporting governing bodies continuously insist that they are still on the other side of any kind of politics. Guided by Aristotle, who presented the reciprocity of ethics and politics, we will unveil the fallacy of this discourse. In a short genealogy of the relationship between sport, ethics, and politics, we will highlight (...) the Munich Olympics 1936 and Mexico Olympics 1968, where political engagement of sport was exposed clearly. At the same time, the supposed political neutrality of sport manifested an aristocratic preference for radical right regimes. After that, we will analyse the contemporary relation between sport, ethics, and politics in the light of recent developments, including sport’s ambiguous reaction on the Ukraine war. Further argument will be that sport’s in- and external politics, supported by sport ethics and the inherited mantra of the split between sport and politics, is more than just a hypocrisy. At the start, modern sport claims autonomy of governance to keep away from state domination, yet this very autonomy also freezes sport’s ethical core, forbidding athletes, coaches and others active in sport, to express any political engagement, other than passive acceptance of the regulation by governing sport bodies, as the only politics to be respected without deliberation. In the final part an alternative understanding of the dynamics between politics, the political and sport’s ethical core, will be presented to be included in the philosophy of sport and fully developed in following articles. (shrink)

First English-language translation of Lev Shestov's early writings on faith, ancient philosophy and biblical revelation.

Progressions of iterated reflection principles can be used as a tool for the ordinal analysis of formal systems. We discuss various notions of proof-theoretic ordinals and compare the information obtained by means of the reflection principles with the results obtained by the more usual proof-theoretic techniques. In some cases we obtain sharper results, e.g., we define proof-theoretic ordinals relevant to logical complexity Π1 0 and, similarly, for any class Π n 0 . We provide a more general version of the (...) fine structure relationships for iterated reflection principles (due to U. Schmerl [25]). This allows us, in a uniform manner, to analyze main fragments of arithmetic axiomatized by restricted forms of induction, including IΣ n , IΣ n − , IΠ n − and their combinations. We also obtain new conservation results relating the hierarchies of uniform and local reflection principles. In particular, we show that (for a sufficiently broad class of theories T) the uniform Σ1-reflection principle for T is Σ2-conservative over the corresponding local reflection principle. This bears some corollaries on the hierarchies of restricted induction schemata in arithmetic and provides a key tool for our generalization of Schmerl's theorem. (shrink)

We suggest an algebraic approach to proof-theoretic analysis based on the notion of graded provability algebra, that is, Lindenbaum boolean algebra of a theory enriched by additional operators which allow for the structure to capture proof-theoretic information. We use this method to analyze Peano arithmetic and show how an ordinal notation system up to 0 can be recovered from the corresponding algebra in a canonical way. This method also establishes links between proof-theoretic ordinal analysis and the work which has been (...) done in the last two decades on provability logic and reflection principles. Because of its abstract algebraic nature, we hope that it will also be of interest for non-prooftheorists. (shrink)

We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant ‘true’ by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform reflection schemata in arithmetic, possibly of unrestricted logical complexity. We formulate an arithmetically complete calculus with modalities labeled by natural numbers and ω, where ω corresponds to the full uniform reflection schema, whereas n<ω corresponds to its restriction to arithmetical Πn+1-formulas. This (...) calculus is shown to be complete w.r.t. a suitable class of finite Kripke models and to be decidable in polynomial time. (shrink)

Prominent thinkers such as Jurgen Habermas and Michael Sandel are warning that biomedical enhancements will undermine fundamental political values. Yet whether biomedical enhancements will undermine such values depends on how biomedical enhancements will function, how they will be administered and to whom. Since only few enhancements are obtainable, it is difficult to tell whether these predictions are sound. Nevertheless, such warnings are extremely valuable. As a society we must, at the very least, be aware of developments that could have harmful (...) consequences. Indeed, if important values were to be jeopardized, we should take appropriate measures to protect them. This paper focuses on four central values: solidarity, personal responsibility, equality and autonomy. It delineates the conditions under which biomedical enhancements would undermine these values. It also details the circumstances under which these values would be unaffected by enhancements as well as those under which they would be promoted. Specifying these conditions is valuable; it would enable society to prepare appropriate ethical guidelines and policy responses in advance. (shrink)

For “natural enough” systems of ordinal notation we show that α times iterated local reflection schema over a sufficiently strong arithmetic T proves the same Π 1 0 -sentences as ω α times iterated consistency. A corollary is that the two hierarchies catch up modulo relative interpretability exactly at ε-numbers. We also derive the following more general “mixed” formulas estimating the consistency strength of iterated local reflection: for all ordinals α ⩾ 1 and all β, β ≡ Π 1 0 (...) T ω α · , α ≡ Π 1 0 T β + ω α . Here T α stands for α times iterated local reflection over T , T β stands for β times iterated consistency, and ≡ Π 1 0 denotes mutual Π 1 0 -conservativity. In an appendix to this paper we develop our notion of “natural enough” system of ordinal notation and show that such systems do exist for every recursive ordinal. (shrink)

Analyzes principal forces that determined the direction of Camus' thought on ethics and political values.

The main focus of the book is the presentation of the 'inertial' view of population growth. This view provides a rather simple model for complex population dynamics, and is achieved at the level of the single species without invoking species interactions. An important part of this account is the maternal effect. Investment of mothers in the quality of their daughters makes the rate of reproduction of the current generation depend not only on the current environment, but also on the environment (...) experienced by the previous generation. (shrink)

A well-known result states that, over basic Kalmar elementary arithmetic EA, the induction schema for ∑n formulas is equivalent to the uniform reflection principle for ∑n + 1 formulas . We show that fragments of arithmetic axiomatized by various forms of induction rules admit a precise axiomatization in terms of reflection principles as well. Thus, the closure of EA under the induction rule for ∑n formulas is equivalent to ω times iterated ∑n reflection principle. Moreover, for k < ω, k (...) times iterated ∑n reflection principle over EA precisely corresponds to the extension of EA by k nested applications of ∑n induction rule.The above relationship holds in greater generality than just stated. In fact, we give general formulas characterizing in terms of iterated reflection principles the extension of any given theory by k nested applications of ∑n or Πn induction rules. In particular, the closure of a theory T under just one application of ∑1 induction rule is equivalent to T together with ∑1 reflection principle for each finite Π2 axiomatized subtheory of T.These results have closely parallel ones in the theory of subrecursive function classes. The rules under study correspond, in a canonical way, to natural closure operators on the classes of provably recursive functions. Thus, ∑1 induction rule precisely corresponds to the primitive recursive closure operator, and ∑1 collection rule, introduced below, corresponds to the elementary closure operator. (shrink)

Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the class of all GLP-spaces.

This article compares the sections on the qualities desirable in a wife in Abū Ḥāmid al-Ghazālī’s Iḥyāʾ ʿulūm al-dīn and Bar Hebraeus’s Ethicon, which the West Syrian writer modeled on al-Ghazālī’s work. The article first establishes that al-Ghazālī based his profile of the ideal wife on a jurisprudential discussion of the topic by his teacher, Imām al-Ḥaramayn al-Juwaynī, expanding it, however, by adding anecdotes from Sufi literature and reasoned arguments on how “the good wife” will best facilitate her husband’s devotion (...) to God. The article then moves to consider how Bar Hebraeus appropriates, reconfigures, and reframes as Christian teaching al-Ghazālī’s discussion. Finally, the article argues that the similarity between the two texts demonstrates that both carve out a particular notion of male piety intelligible and resonant in their different religious traditions and in the broader monotheistic culture of the premodern Middle East. (shrink)

We characterize the bimodal provability logics for certain natural (classes of) pairs of recursively enumerable theories, mostly related to fragments of arithmetic. For example, we shall give axiomatizations, decision procedures, and introduce natural Kripke semantics for the provability logics of (IΔ 0 + EXP, PRA); (PRA, IΣ 1 ); (IΣ m , IΣ n ) for $1 \leq m etc. For the case of finitely axiomatized extensions of theories these results are extended to modal logics with propositional constants.

A well-known polymodal provability logic inlMMLBox due to Japaridze is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in arithmetic. This system plays an important role in some recent applications of provability algebras in proof theory. However, an obstacle in the study of inlMMLBox is that it is incomplete w.r.t. any class of Kripke frames. In this paper we provide a complete Kripke semantics for inlMMLBox . First, we isolate a certain subsystem inlMMLBox (...) of inlMMLBox that is sound and complete w.r.t. a nice class of finite frames. Second, appropriate models for inlMMLBox are defined as the limits of chains of finite expansions of models for inlMMLBox . The techniques involves unions of n -elementary chains and inverse limits of Kripke models. All the results are obtained by purely modal-logical methods formalizable in elementary arithmetic. (shrink)

We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment (...) of GLP Λ. (shrink)

By a result of Paris and Friedman, the collection axiom schema for $\Sigma_{n+1}$ formulas, $B\Sigma_{n+1}$ , is $\Pi_{n+2}$ conservative over $I\Sigma_n$ . We give a new proof-theoretic proof of this theorem, which is based on a reduction of $B\Sigma_n$ to a version of collection rule and a subsequent analysis of this rule via Herbrand's theorem. A generalization of this method allows us to improve known results on reflection principles for $B\Sigma_n$ and to answer some technical questions left open by Sieg (...) [23] and Hájek [9]. We also give a new proof of independence of $B\Sigma_{n+1}$ over $I\Sigma_n$ by a direct recursion-theoretic argument and answer an open problem formulated by Gaifman and Dimitracopoulos [8]. (shrink)

The Many-Worlds Interpretation (MWI) is an approach to quantum mechanics according to which, in addition to the world we are aware of directly, there are many other similar worlds which exist in parallel at the same space and time. The existence of the other worlds makes it possible to remove randomness and action at a distance from quantum theory and thus from all physics.

_The power and materiality of form. On studying the forms of knowledge in catechisms and ship’s logs._ The article argues that in the emerging field of the history of knowledge, with its focus on the production, circulation and exchange of knowledge, explorations of _ forms _ will represent a valuable addition. Form is related to genre. Yet, while the identification of genres is largely based on linguistic, literary or rhetorical criteria, form is also about structures and materiality as well as (...) about practical and institutional preconditions. Form often attracts less attention than contents, although the form makes this content recognizable _ as _ knowledge. Our argument builds on the exploration of two different early modern knowledge forms, the catechism and the ship's log respectively. Both demonstrate how form is decisive in defining contents as authoritative knowledge. They also illustrate how form is a prerequisite to enable knowledge to circulate and be part of cultural exchange, and thus to be socially efficient. The forms serve to codify existing knowledge, but also to the production and circulation of new insights. When forms like the log and the catechism are examined historically, however, they can also be seen to live their own lives in a tension between stability and change. The forms themselves become objects of negotiations, change and innovation. (shrink)

This is a philosophical paper in favor of the many-worlds interpretation of quantum theory. The necessity of introducing many worlds is explained by analyzing a neutron interference experiment. The concept of the “measure of existence of a world” is introduced and some difficulties with the issue of probability in the framework of the MWI are resolved.

We study the fragment of Peano arithmetic formalizing the induction principle for the class of decidable predicates, $I\Delta_1$ . We show that $I\Delta_1$ is independent from the set of all true arithmetical $\Pi_2-sentences$ . Moreover, we establish the connections between this theory and some classes of oracle computable functions with restrictions on the allowed number of queries. We also obtain some conservation and independence results for parameter free and inference rule forms of $\Delta_1-induction$ . An open problem formulated by J. (...) Paris is whether $I\Delta_1$ proves the corresponding least element principle for decidable predicates, $L\Delta_1$ (or, equivalently. the $\Sigma_1-collection$ principle $B\Sigma_1$ ). We reduce this question to a purely computation-theoretic one. (shrink)

What is the most important reason for using Computer Vision methods in humanities research? In this article, I argue that the use of numerical representation and data analysis methods offers a new language for describing cultural artifacts, experiences and dynamics. The human languages such as English or Russian that developed rather recently in human evolution are not good at capturing analog properties of human sensorial and cultural experiences. These limitations become particularly worrying if we want to compare thousands, millions or (...) billions of artifacts—i.e. to study contemporary media and cultures at their new twenty-first century scale. When we instead use numerical measurements of image properties standard in Computer Vision, we can better capture details of a single artifact as well as visual differences between a number of artifacts–even if they are very small. The examples of visual dimensions that numbers can capture better then languages include color, shape, texture, contours, composition, and visual characteristics of represented faces, bodies and objects. The methods of finding structures and relationships in large numerical datasets developed in statistics and machine learning allow us to extend this analysis to very big datasets of cultural objects. Equally importantly, numerical image features used in Computer Vision also give us a new language to represent gradual and continuous temporal changes—something which natural languages are also bad at. This applies to both single artworks such as a film or a dance piece and also to changes in visual characteristics in millions of artifacts over decades or centuries. (shrink)

We investigate the bimodal logics sound and complete under the interpretation of modal operators as the provability predicates in certain natural pairs of arithmetical theories . Carlson characterized the provability logic for essentially reflexive extensions of theories, i.e. for pairs similar to . Here we study pairs of theories such that the gap between and is not so wide. In view of some general results concerning the problem of classification of the bimodal provability logics we are particularly interested in such (...) pairs that is axiomatized over by ∏1-sentences only, and, for each n 1, proves the n-times iterated consistency of . A complete axiomatization, along with the appropriate Kripke semantics and decision procedures, is found for the two principal cases: finitely axiomatizable extensions of this sort, like e.g. ), ), etc., and reflexive extensions, like ¦n 1\s}), etc. We show that the first logic, ICP, is the minimal and the second one, RP, is the maximal within the class of the provability logics for such pairs of theories. We also show that there are some provability logics lying strictly between these two. As an application of the results of this paper, in the last section the polymodal provability logics for natural recursive progressions of theories based on iteration of consistency are characterized. We construct a system of ordinal notation , which gives exactly one notation to each constructive ordinal, such that the logic corresponding to any progression along coincides with that along natural Kalmar elementary well-orderings. (shrink)

We study the arithmetical schema asserting that every eventually decreasing elementary recursive function has a limit. Some other related principles are also formulated. We establish their relationship with restricted parameter-free induction schemata. We also prove that the same principle, formulated as an inference rule, provides an axiomatization of the Σ2-consequences of IΣ1.Using these results we show that ILM is the logic of Π1-conservativity of any reasonable extension of parameter-free Π1-induction schema. This result, however, cannot be much improved: by adapting a (...) theorem of D. Zambella and G. Mints we show that the logic of Π1-conservativity of primitive recursive arithmetic properly extends ILM.In the third part of the paper we give an ordinal classification of -consequences of the standard fragments of Peano arithmetic in terms of reflection principles. This is interesting in view of the general program of ordinal analysis of theories, which in the most standard cases classifies Π-classes of sentences. (shrink)

Lovers do not relate to their beloveds as seats of valuable qualities that would be replaceable for anyone with relevantly similar or more valuable qualities. Instead, lovers take their beloveds to be irreplaceable. This has been noted frequently in the current debate on love and different theories of love have offered different explanations for the phenomenon. In this paper, I develop a more complex picture of what is involved in lovers taking their beloveds to be irreplaceable. I argue that in (...) order to account for the beloved’s irreplaceability, a theory of love must meet two conditions: it must explain the subjective aspect as well as the moral aspect of the beloved’s irreplaceability. I show that current theories of love fail to meet these conditions, either one or both of them, and I offer an alternative account that does - an account according to which love is understood as a special kind of desire for the beloved as a person. The aim of this paper is twofold: first, to give a more nuanced picture of the beloved’s irreplaceability, acknowledging in particular that there is a moral aspect to the phenomenon that has not been attended to thus far; second, to introduce and motivate a new desire-based account of love. (shrink)