Electronic sports and other variants of ‘digital sports’ have increased in popularity all over the world and may even come to challenge hegemonic concepts of sport. More relevant than the apparent opposition between ‘physical’ and ‘non-physical’ is the question what kind of embodiment is manifested within virtual environments. In this paper, we argue that eSports do require the learning and performance of motor skills and that embodiment within a virtual environment may be considered playful or even athletic. The type of (...) skills that might be tested can even be considered fundamental movement skills. Under appropriate educational supervision, with knowledge of the game, eSports can be utilized for the development of specific elements of digital literacy. Although motor skills are a defining characteristic of eSports, we do not argue that eSports should be integrated within PE. These arguments have not so much to do with the status of physicality present, but with differences in t... (shrink)

The article makes a study of the few explicit references to India or the East in Lonergan and goes on to indicate points of resonance between. Lonergan and Indian thought. Lonergan is convinced that the structure of human consciousness is transcultural at its core, but he also acknowledges that human consciousness unfolds differently in different cultures. The transcultural element forms the basis of Lonergan s method, and with the variant element it also forms an 'upper blade' or theoretical anticipation with (...) which to approach the 'lower blade' consisting of the data to be studied. The article ends with a brief note on possible applications of the method. /// O presente artigo consiste num estudo das poucas referências explícitas à índia ou ao Oriente que se encontram na obra de Lonergan, procedendo depois a uma indicação dos pontos de ressonância entre Lonergan e o pensamento da Índia. Lonergan está convencido de que a estrutura da consciência humana é basicamente transcultural, embora ele também reconheça que a consciência humana se desenvolve diferentemente nas diferentes culturas. O elemento transcultural constitui a base do método de Lonergan, o qual junto com o elemento variável forma uma espécie de "lâmina superior" ou antecipação teórica com a qual nos podemos aproximar da "lâmina inferior" constituída pelos temas a serem estudados. O artigo termina com uma breve nota acerca das possíveis aplicações do método. (shrink)

The standard model for mereotopological structures are Boolean subalgebras of the complete Boolean algebra of regular closed subsets of a nonempty connected regular T 0 topological space with an additional "contact relation" C defined by xCy x ØA (possibly) more general class of models is provided by the Region Connection Calculus (RCC) of Randell et al. We show that the basic operations of the relational calculus on a "contact relation" generate at least 25 relations in any model of the RCC, (...) and hence, in any standard model of mereotopology. It follows that the expressiveness of the RCC in relational logic is much greater than the original 8 RCC base relations might suggest. We also interpret these 25 relations in the the standard model of the collection of regular open sets in the two-dimensional Euclidean plane. (shrink)

In die Geschichte sind Franz Josef Graf von Thun (1734-1801) und seine Frau Wilhelmine (1744-1800) als Gonner des Geniemusikers Wolfgang Amadeus Mozart eingegangen. Der "sonderbare Cavalier", wie er von Mozart genannt wurde, war seinen Zeitgenossen eher als Geisterbeschworer und Magnetiseur, denn als Musikliebhaber und Schriftsteller bekannt. Erst 2009 tauchte im Familienarchiv Thun-Hohenstein das Manuskript der umfangreichen esoterischen Enzyklopadie auf, in der Graf von Thun seine Ansichten uber den Menschen, uber das Weltall und uber die Franzosische Revolution darlegt. Ivo Cerman stellt (...) hier die Philosophie des Grafen vor dem Hintergrund des Illuminismus des 18. Jahrhunderts vor und ediert die wichtigsten Artikel seiner esoterischen Enzyklopadie. Auf der Grundlage dieser gerade entdeckten wichtigen Quelle kann die Frage nach dem Verhaltnis zwischen Aufklarung und Illuminismus neu beantwortet werden. (shrink)

The article discusses the reception of Grotius by Catholic lawyers at the university of Prague. It focuses on the Grotius commentary by Nicolaus Ignaz Königsmann, which was meant as a response to the discussion of Central European Catholic lawyers on questions of toleration and permissions in law. I argue that Königsmann agreed with Grotius because his conception could be combined with the Catholic belief in free will and dictamen sanae rationis. He grounded natural law in rational human nature and rejected (...) attempts to derive natural law from the highest principle. (shrink)

This book presents classical philosophical sources on value as well as readings that show how this concept shapes central issues and domains of economics, culture and knowledge, thus shedding a light on a key concept of the globalized work.

Contact relations have been studied in the context of qualitative geometry and physics since the early 1920s, and have recently received attention in qualitative spatial reasoning. In this paper, we present a sound and complete proof system in the style of Rasiowa and Sikorski (1963) for relation algebras generated by a contact relation.

This essay focuses on the concept of consciousness in C. S. Peirce’s work, revealing how its ways of being are associated with the three Peircean phenomenological categories. In this article, I intend to reflect on the heuristic power of the mind, namely, its ability to bring about new ideas, which, within Peirce’s logic of inquiry, is called by the well-known term of abduction. The abductive logical step promotes a synthesis of signs that constitutes a logical structure capable of proposing a (...) new mediation or representation of a new phenomenon. I make use of a metaphorical passage from Peirce not only to give the title to this essay, but also to highlight the importance of the first category as a sort of synechistic envelopment of an unprecedented logical structure of signs that composes a new synthesis. Two continua intertwine themselves, namely, those of the first and third categories, to account for what appears as a fact of the world in the theater of secondness. The essay also seeks to bring to light the core realism of Peirce’s philosophy, the genetic aspect of this bottomless lake, through its cosmology, where the generalization of forms and the acquisition of habits of reality are the proper ground of his Objective Idealism. One of the heuristic aspect of the lake metaphor is a sort of invitation to extend the concept of synthesis from the realm of logical structures to that one of arts, which in this essay will remain as a suggestion for a further reflection. (shrink)

In Transparent Intensional Logic we can recognize two distinct notions of computation that loosely correspond to term rewriting and term interpretation as known from lambda calculus. Our goal will be to further explore these two notions and examine some of their properties.

Doctrinally, a precedent is a case of the same or higher court that furnishes an authoritative rule for the determination of the case at hand, either because the facts are alike, or, if the facts are different, because the principle that governed the first case is applicable to the different facts. In this article I try to free precedent form the dominant doctrinal view by offering a more intuitive conception: that to be precedent means to be treated as precedent. Put (...) differently, I attempt to see precedent not as descriptive of a previous decision or rule but as the aggregate effect of responses to one or a series of court decisions in the legal community. I illustrate this viewpoint by developing a version of a response-dependent concept that incorporates our intuitive grasp of how precedent works. In the pursuit of this task I rely on the basic philosophical premises of response-dependence theory and on one paradigmatic response-dependent concept—the quality of being funny. (shrink)

Let Uq be the quantum group associated to sl2 with char≠2 and qk not a root of unity. The article is devoted to the model-theoretic study of the quantum plane kq[x,y], considered as an -structure, where is the language of representations of Uq. It is proved that the lattice of definable k-subspaces of kq[x,y] is complemented. This is deduced from the same result for the Uq-module M, which is defined to be the direct sum of all finite dimensional representations of (...) Uq. It follows that the ring of definable scalars for the quantum plane is a von Neumann regular epimorphic ring extension of the quantum group Uq. (shrink)

In this paper we examine two approaches to the formal treatment of the notion of problem in the paradigm of algorithmic semantics. Namely, we will explore an approach based on Martin-Löf’s Constructive Type Theory, which can be seen as a direct continuation of Kolmogorov’s original calculus of problems, and an approach utilizing Tichý’s Transparent Intensional Logic, which can be viewed as a non-constructive attempt of interpreting Kolmogorov’s logic of problems. In the last section we propose Kolmogorov and CTT-inspired modifications to (...) TIL-based approach. The focus will be on non-empirical problems only. (shrink)

Proofs from assumptions are amongst the most fundamental reasoning techniques. Yet the precise nature of assumptions is still an open topic. One of the most prominent conceptions is the placeholder view of assumptions generally associated with natural deduction for intuitionistic propositional logic. It views assumptions essentially as holes in proofs, either to be filled with closed proofs of the corresponding propositions via substitution or withdrawn as a side effect of some rule, thus in effect making them an auxiliary notion subservient (...) to proper propositions. The Curry–Howard correspondence is typically viewed as a formal counterpart of this conception. I will argue against this position and show that even though the Curry–Howard correspondence typically accommodates the placeholder view of assumptions, it is rather a matter of choice, not a necessity, and that another more assumption-friendly view can be adopted. (shrink)

Jeder weiss, dass er sterben muss. Er weiss nur nicht wann. Wüsste er es, er könnte den Tod nicht mehr aus seinem Leben verdrängen. Dieses Buch geht von einer utopischen Situation aus: Durch eine gentechnische Analyse wird bei jedem Menschen gleich nach seiner Geburt festgestellt, wann sein "Endtag", also sein Todestag, sein wird. Frühere Todesfälle gibt es nur bei Unfall oder Mord, spätere nie. Das Wissen um den Endtag verändert das Leben jedes Einzelnen, die Familien, die Gesellschaft, Ausbildung, Beziehungen und (...) Lebensplanung, Laufbahnen im Beruf, das Rentensystem u.v.m. Was für die einen ein "Horrorszenario" sein kann, entpuppt sich für die anderen als ein Segen: Alle können ihren Lebensabend planen und zur rechten Zeit bewusst Abschied nehmen. Und an diesem Punkt wird das Szenario von Ivo W. Greiter zum Plädoyer: Versucht euch täglich bewusst zu sein und zu akzeptieren, dass Ihr nicht ewig leben werdet. Rechnet mit dem Tod, redet über das Sterben, räumt eure Sachen auf. Und: Der Tod kann seinen Schrecken verlieren, wenn er am Leben teilhaben darf. "Und immer wieder stellte ich mir die Frage: Wenn ich weiss, was ich ändern würde, wenn ich in vier Monaten sterben würde, warum ändere ich es dann nicht gleich?" DR. GREITER, geb. 1940, ist Rechtsanwalt in Innsbruck; er ist vielfach in Berufsverbänden und ehrenamtlich engagiert, so als österreichischer Vorsitzender der internationalen Juristenorganisation World Jurist Association, Washington, als Vizepräsident des Österreichischen Juristentages und des österreichischen Anwaltsvereins u. a.; von 1983 bis 1989 war Dr. Greiter Mitglied des Gemeinderates von Innsbruck und von 1993 bis 2010 französischer Honorarkonsul in Innsbruck. Er befasst sich unter anderem mit Rechtsfragen für Menschen über 66; zahlreiche sonstige fachbezogene Veröffentlichungen. (shrink)

"A splendidly illuminating book." —The New York Times Like it or not, George W. Bush has launched a revolution in American foreign policy. He has redefined how America engages the world, shedding the constraints that friends, allies, and international institutions once imposed on its freedom of action. In America Unbound, Ivo Daalder and James Lindsay caution that the Bush revolution comes with serious risks–and, at some point, we may find that America’s friends and allies will refuse to follow his lead, (...) leaving the U.S. unable to achieve its goals. This edition has been extensively revised and updated to include major policy changes and developments since the book’s original publication. (shrink)

The Kosovo conflict -- The Israeli-Palestinian conflict -- The conflict in the Democratic Republic of Congo.

Starting from the comparison between the situation of Augustan poets and that of artists and intellectuals in the totalitarian regimes of our time, this book offers a multidisciplinary perspective on the problem of the relation of art, thought and power.

In this paper I will explore the question whether the Trivialization construction of transparent intensional logic (TIL) can be understood in terms of the Execution construction, specifically, in terms of its degenerate case known as the 0-Execution. My answer will be positive and the apparent contrast between the intuitive understanding of Trivialization and 0-Execution will be explained as a matter of distinct yet related informal perspectives, not as a matter of technical or conceptual differences.

The first part of this essay provides an analysis of the text “The Law of Mind”, in which Peirce theorizes about the power of growth and spreading of ideas and also presents his response to the classic question about how mind can influence matter. We intended to show, from an analysis focused on the dual semantic meaning of the word “ affect ”, how the author’s rupture with the Cartesian dualism between mind and matter implies in a substantial identity between (...) ideality and reality by means of a metaphysical merging of realism and idealism, where matter is taken to be only a special case of mind . The second part shows how the forms of evolutionism are drawn from the three categories, highlighting the agapism, the doctrine of cosmic and creative love. Finally, we shall argue on how the association between realism and idealism, as well as the considerations of the author’s evolutionism, constitute vital aspects for the justification of the historical success of our human capacity for conjecturing, viz., for proposing successful hypothesis to explain the facts. (shrink)

Quality of life is an important outcome measure in mental health care. Currently, QoL is mainly measured with paper and pencil questionnaires. To contribute to the evaluation of treatment, and to enhance substantiated policy decisions in the allocation of resources, a web-based, personalized, patient-friendly and easy to administer QoL instrument has been developed: the QoL-ME. While human values play a significant role in shaping future use practices of technologies, it is important to anticipate on them during the design of the (...) QoL-instrument. The value sensitive design approach offers a theory and method for addressing these values in a systematic and principled manner in the design of technologies. While the VSD approach has been applied in the field of somatic care, we extended the VSD approach to the field of mental healthcare with the aim to enable developers of the QoL-instrument to reflect on important human values and anticipate potential value conflicts in its design. We therefore explored how VSD can be used by investigating the human values that are relevant for the design of the QoL-ME. Our exploration reveals that the values autonomy, efficiency, empowerment, universal usability, privacy, redifinition of roles, of responsibilites, reliability, solidarity, surveillance and trust are at stake for the future users of the technology. However, we argue that theoretical reflections on the potential ethical impact of a technology in the design phase can only go so far. To be able to comprehensively evaluate the usability the VSD approach, a supplementary study of the use practices of the technology is needed. (shrink)

In this paper we revisit Pavel Tichý’s novel distinction between one-dimensional and two-dimensional conception of inference, which he presented in his book Foundations of Frege’s Logic (1988), and later in On Inference (1999), which was prepared from his manuscript by his co-author Jindra Tichý. We shall focus our inquiry not only on the motivation behind the introduction of this non-classical concept of inference, but also on further inspection of selected Tichý’s arguments, which we see as the most compelling or simply (...) most effective in providing support for his two-dimensional account of inference. Main attention will be given to exposing the failure of one-dimensional theory of inference in its explanation of indirect (reductio ad absurdum) proofs. Lastly, we discuss shortly the link between two-dimensional inference and deduction apparatus of Tichý’s Transparent Intensional Logic. (shrink)