This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographical essay by Urquhart. This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic. The final section of the book contains a response to the papers by Urquhart. Alasdair Urquhart has made extremely important contributions to a (...) variety of fields in logic. He produced some of the earliest work on the semantics of relevant logic. He provided the undecidability of the logics R and E, as well as some of their close neighbors. He proved that interpolation fails in some of those systems. Urquhart has done very important work in complexity theory, both about the complexity of proofs in classical and some nonclassical logics. In pure algebra, he has produced a representation theorem for lattices and some rather beautiful duality theorems. In addition, he has done important work in the history of logic, especially on Bertrand Russell, including editing Volume four of Russell’s Collected Papers. (shrink)

Autor se zabývá základními otázkami marxistické ontologie. Hlavním tématem práce je kritika tzv. substančního modelu v ontologii. Sleduje jeho genezi v dějinách lidského myšlení a chce dokázat jeho historicko-společenskou.

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)

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

In cooperation with the Philosophical Faculty of Sofia University, the Bulgarian Philosophical Society organized the conference "Phenomenologies: the legacies of Edmund Husserl," which took place on 6 and 7 November 2015, and became the founding event of BFO-Fenomenologia – the Phenomenological Association as a community of the Bulgarian Philosophical Society. The Association offers a new home for Bulgarian scholars and groups from different phenomenological currents.

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)

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 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)

The ongoing publication of Heidegger's complete works has called into question the interpretive and translative practices that have historicized Heidegger's thinking through the adaptation of categories and mind-sets inherited from metaphysics. Ivo De Gennaro argues that the posthumous treatises in particular - many of which have yet to be translated into English - show that the "other onset of thinking" that Being and Time inaugurated and which those historicizing accounts have interpreted and translated away, has already taken place. This book, (...) on the other hand, speaks solely from that other onset, that of being itself. While arguing the "one-pointedness" of Heidegger's entire path of thinking, De Gennaro draws mainly on the posthumous treatises to offer both a provisional exploration of, and an introduction to, a thinking whose sense and implications have barely begun to emerge. This challenging and original interpretation marks an important contribution to Heidegger scholarship. (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)

Após a conclusão do curso de medicina psiquiátrica em Lyon, em 1951, Fanon foi acolhido no hospital Saint Alban, para um aprofundamento dos estudos psiquiátricos, tendo ali, trabalhado e pesquisado sob a supervisão do psiquiatra espanhol Francesc Tosquelles, onde praticou os fundamentos da psicoterapia institucional, desenvolvida por Tosquelles e seus colaboradores naquele hospital. Mais tarde, na Argélia, Fanon atuou no hospital de Blida-Joinvile e, posteriormente, na Tunísia, introduzindo reformas, à luz da psicoterapia institucional. A concepção de ser humano que cultivava (...) e a compreensão de que a sociedade doente produz pessoas doentes, levaram-no a um profundo conflito, à medida em que foi tomando consciência da violência do colonialismo francês contra o povo argelino, conforme relatou na carta de demissão que enviou ao Ministro Residente, Robert Lacoste, em 1956. Após o pedido de demissão, adentrou o movimento de libertação da Argélia. Escreveu livros e artigos combatendo o colonialismo e difundindo os ideais revolucionários. Van Renssalaer Potter, por longo tempo atuou como biólogo e bioquímico no MacArdle Laboratory for Cancer Research, na Universidade de Winsconsin, na cidade de Madison, onde doentes de câncer eram tratados. Na década de 1970, publicou um livro seminal, Bioética, ponte para o futuro. Anos depois, publicou estudos de Bioética Global. Mais tarde, articulou conceitos de Bioética Profunda. Preocupado com a sobrevivência humana neste planeta, atacado pela irresponsabilidade humana, Potter conclamou a humanidade à tomada de consciência e mudança de condutas. Comparando-se os dois autores, observa-se que os escritos de Fanon foram produzidos na década de 1950, sendo que seu último livro, Os Condenados da Terra, foi escrito em 1961. Potter, por sua vez, escreveu os primeiros estudos de bioética na década de 1970, cerca de uma década após o falecimento de Fanon. Respeitados os limites cronológicos, este estudo se pergunta: A dialética da medicina como política e da política como medicina, na práxis de Fanon, teria sintonias bioéticas? Para enfrentar este problema, o trabalho contextualiza a formação de Fanon, identificando os princípios da práxis médico-psiquiátrica dele. Em seguida, demonstra-se as contradições do colonialismo, identificando uma dialética da medicina como política e da política como medicina. Adiante, informa-se a contribuição de Van Rensselaer Potter, na proposição da bioética. Finalmente, argumenta-se a favor das sintonias bioéticas presentes nas passagens selecionadas. O procedimento metodológico é a pesquisa bibliográfica, analítico-dedutiva. Palavras-chave: Colonialismo. Consciência. Medicina. Política. Sintonias bioéticas. (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.

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)