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

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)

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)

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)

Svoboda, V. a kol. Logika a přirozený jazyk. Praha: Filosofia, 2010, 300 stran.

The main objective of this paper is to sketch unifying conceptual and formal framework for inference that is able to explain various proof techniques without implicitly changing the underlying notion of inference rules. We base this framework upon the so-called two-dimensional, i.e., deduction to deduction, account of inference introduced by Tichý in his seminal work The Foundation’s of Frege’s Logic (1988). Consequently, it will be argued that sequent calculus provides suitable basis for such general concept of inference and therefore should (...) not be seen just as technical tool, but philosophically well-founded system that can rival natural deduction in terms of its “naturalness”. (shrink)

In this paper, we consider the ex falso quodlibet rule (EFQ) as a derived rule and propose a new justification for it based on a rule we call the collapse rule. The collapse rule is a mix between EFQ and disjunctive syllogism (DS). Informally, it says that a choice between a proposition A and ⊥, which is understood as nullary disjunction, is no choice at all and it defaults to A. Thus, we can regard it as capturing the idea of (...) an implosion principle in contrast to EFQ’s explosion principle. Furthermore, we show that the collapse rule can also be used to justify DS and that all these three rules have the same deductive strength: they are all interderivable. Thus, the discussions about the justification of EFQ or DS be reduced to a discussion about the justification of the collapse rule. (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)

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.

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.

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)

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.

Nemonotónní logika vznikla za účelem systematicky zachytit tzv. zrušitelné uvažování, tj. typ každodenního uvažování, které vede jen k provizorně platným argumentům, jenž mohou být následně staženy s příchodem nových informací. Tím se ovšem nemonotónní logika dostává do ostrého kontrastu s klasickou logikou, která je monotónní, tj. žádné dodatečné premisy nemohou zrušit jednou již platné argumenty. To bylo pro mnohé dostatečným důvodem k tomu, aby nemonotónní logice upřeli status logiky. V tomto textu si ukážeme, že takový závěr je příliš unáhlený a (...) že nemonotónní logika má právo se nazývat logikou. (shrink)

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)

Before examining de Moivre's contributions to the science of mathematics, this article reviews the source materials, consisting of the printed works and the correspondence of de Moivre, and constructs his biography from them. The analytical part examines de Moivre's contributions and achievements in the study of equations, series, and the calculus of probability. De Moivre contributed to the continuing development from Viète to Abel and Galois of the theory of solving equations by means of constructing particular equations, the roots of (...) which can be written in the form $$\sqrt[n]{{a + \sqrt b }} + \sqrt[n]{{a - \sqrt b }}$$. He also discovered the reciprocal equations. In the course of this work de Moivre discovered an expression equivalent to (cos α+i sin α) n =cos n α+i sin n α and, following Cotes, he succeeded in expressing the nth roots of unity in trigonometric form. In the theory of series, de Moivre developed a polynomial theorem encom-passing Newton's binomial theorem and, in particular, a theorem of recurrent series useful in the calculus of probability. The demands of the calculus of probability led de Moivre to an approximation for the binomial coefficients $$\left( {_m^n } \right)$$ for large values of n. The interaction between de Moivre and James Stirling, particularly in regard to the asymptotic series for log (n!), is treated at length. This work supplied the foundation for de Moivre's limit theorem for the binomial distribution. The calculus of probability, which occupied him from 1708 onward, became in time ever more the center of de Moivre's inquiries. Proceeding from contemporary collections of gambling exercises, de Moivre, by introducing an explicit measure of probability for the so-called Laplace experiments, found the beginnings of a theory of probability. De Moivre expanded the classic application of probability calculus to games of chance by addressing himself to the problem of annuities and by adopting Halley's work with its conception of “Probability of life”. De Moivre was the first to publish a mathematically formulated law for the decrements of life derived from mortality tables. (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)

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)

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)

Kosta Došen argued in his papers Inferential Semantics (in Wansing, H. (ed.) Dag Prawitz on Proofs and Meaning, pp. 147–162. Springer, Berlin 2015) and On the Paths of Categories (in Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics, pp. 65–77. Springer, Cham 2016) that the propositions-as-types paradigm is less suited for general proof theory because—unlike proof theory based on category theory—it emphasizes categorical proofs over hypothetical inferences. One specific instance of this, Došen points out, is that the Curry–Howard isomorphism (...) makes the associativity of deduction composition invisible. We will show that this is not necessarily the case. (shrink)

The qualitative division between domain-general and domain-specific cognition is unsubstantiated. The distinction is instead better viewed as opposites on a gradual scale, which has more explanatory power and fits current empirical evidence better. We also argue that causal cognition may be more general than social learning, which it often involves.

The conceptual axis of this paper is a reflection on Charles Peirce’s realism, trying to show it as the ground from which many others of his philosophical doctrines are derived. In its first part, the paper analyses the problems posed by the classical Peircean paper Questions Concerning Certain Faculties Claimed for Man, proposing to extract from the consequences of this analysis the guidelines of a realism that gradually become more radical in Peirce’s mature work. Such consequences will be consolidated in (...) his Phenomenology, a science that will ground Semiotics and a conception of symmetry related to Peirce’s categories. This symmetry regarding his epistemology and ontology will be, by the way, omnipresent in all Peircean philosophical system. The second part of the paper discusses the concepts of mediation and representation, also under a realistic background, concluding that these concepts cannot be coherently interlaced in nominalistic philosophies, in which is often found theoretical consequences somehow committed with dogmatic and no dialogic postures, in the sense of a meaning analysis proposed by the classical Peircean pragmatism. (shrink)

Tradução do comentario tomista ao "De Hebdomadibus" de Boécio.

Resumo: Este artigo procura caracterizar a vital importância da categoria da Primeiridade no interior da filosofia de Charles Peirce, refletindo sobre o papel da liberdade em um contexto de simetria da relação sujeito-objeto e, mais precisamente, considerando as idéias de consciência e mundo. Tenta-se mostrar, também, como a Primeiridade torna-se fundamental para a consideração de uma filosofia genética, tal qual esta pode ser encontrada no pensamento do autor.Palavras-chave: pragmatismo, Peirce, primeiridade, liberdade, filosofia genética.: This paper tries to show the vital (...) importance played by the category of Firstness within Charles Peirce's philosophy, reflecting on the role o freedom in a symmetric relationship between subject-object, and more precisely considering the ideas of consciousness and world. Furthermore, we try to show how Firstness becomes essential to the consideration of a genetic philosophy, as it can be found throughout the author's thought.Key-words: pragmatism, Peirce, Firstness, freedom, genetic Philosophy. (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.

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)