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.

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)

This pioneering book presents a reconstitution of Charles Sanders Peirce philosophical system as a coherent architecture of concepts that form a unified theory of reality. Historically, the majority of Peircean scholars adopted a thematic approach to study isolated topics such as semiotics and pragmatism without taking into account the author’s broader philosophical framework, which led to a poor and fragmented understanding of Peirce’s work. In this volume, professor Ivo Assad Ibri, past president of The Charles Sanders Peirce Society and a (...) leading figure in the Brazilian community of Peircean scholars, adopts a systemic approach to Peirce’s thought and presents Peirce’s scientific metaphysics as a deep ontological architecture based on a semiotic logic and on pragmatism as criteria of meaning. Originally published in Portuguese, this book became a classic among Brazilian Peircean scholars by presenting a conceptual matrix capable of providing a clear reference system to ground the thematic studies into the broader Peircean system. Now translated to English, this reviewed, amplified and updated edition aims to make this contributions available to the international community of Peircean scholars and to serve as a tool to understand Peirce’s work in a more systemic way by integrating concepts such as experience, phenomenon, existence and reality, as well as theories such as Chance, Continuity, Objective Idealism, Cosmology and Pragmatism, in a coherent system that reveals Peirce’s complex metaphysical architecture. "As the philosophical reputation of Charles S. Peirce continues to rise to first-tier prominence in the history of American philosophy, Ivo Ibri’s Kósmos Noetós assumes a unique status in both a pioneering and a magisterial work of transcontinental Peirce scholarship. This original work of this internationally renowned scholar and editor, and Professor of Philosophy at the Pontifical Catholic University of San Paulo, penetrates to the heart of Peirce’s architectonic system of phenomenological, metaphysical, and semiotic categories which heuristically characterize our world as “a universe perfused with signs.” Ibri’s own synergistic commentary on the radiating registers of Peirce’s cosmogonically and pragmatistically conceived “one intelligible theory of the universe” also instructively contributes to the illumination of significant nodes of interface with a range of relevant theoretical trends in the contemporary academy; as well, it places Peirce in the company of such thinkers as Plato, Aristotle, Plotinus, Kant, and Schelling who preceded Peirce in providing a legacy of first-tier reasoning on our intelligibly developing world. Kosmos Noetos impresses as Ibri’s pure, lucid, passionately thought-loving, philosophical articulation of his own and as the indispensable prolegomena to all future Peirce studies." David Dilworth, State University of New York at Stone Brook – USA "Ivo Ibri has offered us in this exquisite work a framing of the inner logic of Charles S. Peirce's core metaphysical vision and its existential implications. It is a deep and nuanced exploration of the internal dynamics of Peirce’s central metaphysical categories, developed through rigorous and detailed attention to the evolution of Peirce’s thought on the ‘vitally important topics’ of the appearing, the reality, and the intelligibility of the world. The two-leveled format of the book, an intricate weaving of Peirce’s texts and discursive elaboration and linkage by Ibri, gives it a distinctive feel and is the bedrock of its value. The book is a remarkable combination of presentation and analysis. It is informed by Ibri’s deep philosophical culture and is a gentle and convincing argument for the centrality of metaphysics in understanding Peirce’s thought. It offers in a new way indispensable suggestions for our own attempts to think about our places in an evolving universe with the aid of Peirce and offers threads of thought to be followed up by others." Robert E. Innis, University of Massachusetts Lowell – USA. (shrink)

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

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)

We introduce and study a class of betweenness algebras—Boolean algebras with binary operators, closely related to ternary frames with a betweenness relation. From various axioms for betweenness, we chose those that are most common, which makes our work applicable to a wide range of betweenness structures studied in the literature. On the algebraic side, we work with two operators of possibility and of sufficiency.

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.

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

The designation of Diego Maradona’s ‘handball’ goal, that it was an intervention by God himself, brings the phenomena of sport and religion into an interrelationship. The basic thesis of this paper is that, despite many of their phenomenal similarities, explicit religion is not, and cannot be, substantially related to sport, as the two manifest themselves in different ways of being. This thesis is supported by arguments from three philosophical areas: 1. The ontological dimension of the manifestation of the sacred in (...) the profane through the process of hierophany in sport does not refer to a specific deity or God, and is therefore not a presentation but an indirect representation of the sacred; 2. The epistemological perspective of the intentional relation of consciousness to religious ritual justifies the necessity of situating them in an overall horizon of references and meanings to the horizon of the lifeworld; 3. The existential and experiential aspects of transformative sport experiences transform the horizon of meanings of empirical reality, but lack the sacramental perspective. Implicit religion as a possibility of transition on a continuum of complementary existential states is a suitable explicative framework for analyzing the phenomenal similarities and essential differences of religion and sport. (shrink)

Transparent intensional logic (TIL) is a well-explored type-theoretical framework for semantics of natural language. However, its treatment of polymorphic functions, which are essential for the analysis of various natural language phenomena, is still underdeveloped. In this paper, we address this issue and propose an extension of TIL that introduces polymorphism via type variables ranging over types and generalized variables ranging over constructions and types. Furthermore, we offer an analysis of sentences involving non-specific notional attitudes of the general form ‘_A_ considers (...) (believes, desires, wants, seeks,...) something’. (shrink)

Based on Alasdair Urquhart’s representation of not necessarily distributive bounded lattices we exhibit several discrete dualities in the spirit of the “duality via truth” concept by Orłowska and Rewitzky. We also exhibit a discrete duality for Urquhart’s relevant algebras and their frames.

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)

Charles S. Peirce Society 2016 Presidential Address Peirce never could finalize a book or publish it and especially no book on the aesthetic basis of pragmaticism. This is not only a historical note, but has a deeper meaning. It arouses in the attentive reader a strong desire to do what Peirce himself did not have the chance to do: to find a way of linking together his hints and clues in such a way that respects the spirit of his work (...) and not just its letter. This practice of apprehending the spirit is successful, I believe, when, on the one hand, we familiarize ourselves with the author’s text and, on the other, perhaps more importantly, when we initiate this apprehension because the text arouses a feeling of... (shrink)

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)

We investigate the join semilattice of modal operators on a Boolean algebra B. Furthermore, we consider pairs ⟨f,g⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\langle f,g \rangle $$\end{document} of modal operators whose supremum is the unary discriminator on B, and study the associated bi-modal algebras.

In this paper, we will be interested in the notion of a computable proposition. It allows for feasible computational semantics of empirical sentences, despite the fact that it is in general impossible to get to the truth value of a sentence through a series of effective computational steps. Specifically, we will investigate two approaches to the notion of a computable proposition based on constructive type theory and transparent intensional logic. As we will see, the key difference between them is their (...) accounts of denotations of empirical sentences. (shrink)

Is there a poetic ground in Peirce's philosophy? While this question may sound interesting, it is somehow odd, as Peirce is well–known as a logician, and it is also known by scholars that he was not an expert in poetry, literature, art, or even theories concerning art in general. This paper hypothesizes that there is a starting point in his philosophy that is poetical in its nature. Moreover, Peirce's system is obviously logical in its form, but also keeps the spirit (...) of the original silent feeling of poetry that seems to have fascinated him. Also, I claim there is a Schellingian heritage in Peirce's philosophy that is partially responsible for that poetic starting point. This idea also has, as a support, the supposition that a realistic view of the world provides a hypothesis of symmetry between the human and natural worlds, which provides the basic form for his ontological theories and for the theoretical harmony among Peirce's doctrines. This quality of Peirce's philosophy is a kind of a Greek beauty that is only evident for those who can view his thought not in fragments but as a complex system that has the potency of not only answering classical philosophical questions, but also of giving rise to a new philosophy which needs to be further developed. (shrink)

There are significant differences between the neopragmatism as formulated by Rorty, based on James’ and Dewey’s pragmatism, and what Peirce, in order to distinguish his own approach from the last two thinkers, called pragmaticism. I take in this paper the concept of solidarity as a focus, from which those differences will be implied, albeit many other points could be chosen. I highlight that the usual Rorty’s sentence beginning with ‘we pragmatists…’ shall necessarily exclude Peirce. Exemplarily, I could mention the concepts (...) of representation, which for Peirce has nothing to do with mirror, and of truth that, for him, also has no relation at all with fixed essences. Those differences will not only mark a very clear border between the two concepts of pragmatism, but also will question how the idea of community can be supported only by dialogical agreements, without the anchor of common open human experience. Pragmaticism and neopragmatism differ not only regarding their specific range of philosophical problems but, moreover, on what kind of problems they really consider as genuinely philosophical. (shrink)

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.

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.

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.

This paper discusses two approaches to climate ethics for practicalreflection and decision-making in concrete local climate changegovernance. After a brief review of the main conceptual frameworksin climate ethics research, we show that none of these leadingapproaches is sufficiently context specific and pluralistic to provideguidance appropriate for concrete local climate governance. Asalternatives, we present principlism as a methodology of midlevelprinciples and environmental pragmatism as an ethicalapproach. We argue that the two methodologies of principlismand pragmatism offer a new pluralistic framework that allows (...) realworldconditions and contexts to be properly integrated into ethicalanalysis and decision-making in climate governance. (shrink)

The aim of this paper is to differentiate between religion and spirituality more strictly, or, specifically, between the religious and spiritual aspects of sport. The text is written in an autoethnographic genre from an ‘outsider’ position, by an author who is not Christian. Religion, including Christianity, represents a connectedness between the natural world and an ontologically different reality and its transcendence towards the sacrum. But spirituality is the centre of the human way of being and a manifestation of personality. So (...) spirituality and spiritual values can and should be an integral part of human movement, including sport, while any religion is not an inherent quality of sport but an external factor that is only accidentally associated with the area of human physical activity. Despite this fact, the argumentation leads toward a conclusion that sport can serve as a tool and means for the realization of Christian values. If the instrumentality of sport means the realization of love as a basic Christian attitude to all people, then this should be a positive outcome not only for religious people, but also for agnostics and even atheists. (shrink)

Por mente resiliente, quero dizer a capacidade de toda mente de lidar com a dureza da alteridade, que exige um esforço contínuo para permitir o desenvolvimento de hábitos de conduta. O predicado da resiliência vem da capacidade da mente de se autocorrigir, cada vez que esses hábitos perdem sua eficiência mediativa, exigindo, portanto, a reconstrução de novas mediações cognitivas como hábitos de ação. Neste artigo, proponho refletir sobre o conjunto de interpretantes semióticos proposto por Peirce com o objetivo de explorar (...) sua faceta habitual. Com esta linha de análise, pretendo mostrar que a resiliência é uma propriedade necessária que toda mente deve ter no mais alto grau para lidar com o conflito entre interpretantes emocionais e lógicos, onde a predominância do primeiro em detrimento do segundo pode gerar situações agudas de sofrimento psicológico bloqueando o acesso a representações que, de outra forma, poderiam romper a força bruta da alteridade. (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)