For each natural number n, let C (n) be the closed and unbounded proper class of ordinals α such that V α is a Σ n elementary substructure of V. We say that κ is a C (n) -cardinal if it is the critical point of an elementary embedding j : V → M, M transitive, with j(κ) in C (n). By analyzing the notion of C (n)-cardinal at various levels of the usual hierarchy of large cardinal principles we show (...) that, starting at the level of superstrong cardinals and up to the level of rank-into-rank embeddings, C (n)-cardinals form a much finer hierarchy. The naturalness of the notion of C (n)-cardinal is exemplified by showing that the existence of C (n)-extendible cardinals is equivalent to simple reflection principles for classes of structures, which generalize the notions of supercompact and extendible cardinals. Moreover, building on results of Bagaria et al. (2010), we give new characterizations of Vopeňka’s Principle in terms of C (n)-extendible cardinals. (shrink)

The C (n)-cardinals were introduced recently by Bagaria and are strong forms of the usual large cardinals. For a wide range of large cardinal notions, Bagaria has shown that the consistency of the corresponding C (n)-versions follows from the existence of rank-into-rank elementary embeddings. In this article, we further study the C (n)-hierarchies of tall, strong, superstrong, supercompact, and extendible cardinals, giving some improved consistency bounds while, at the same time, addressing questions which had been left open. In addition, we (...) consider two cases which were not dealt with by Bagaria; namely, C (n)-Woodin and C (n)-strongly compact cardinals, for which we provide characterizations in terms of their ordinary counterparts. Finally, we give a brief account on the interaction of C (n)-cardinals with the forcing machinery. (shrink)

Our aim is to show that translating the modal graphs of Moretti’s “n-opposition theory” (2004) into set theory by a suited device, through identifying logical modal formulas with appropriate subsets of a characteristic set, one can, in a constructive and exhaustive way, by means of a simple recurring combinatory, exhibit all so-called “logical bi-simplexes of dimension n” (or n-oppositional figures, that is the logical squares, logical hexagons, logical cubes, etc.) contained in the logic produced by any given modal graph (an (...) exhaustiveness which was not possible before). In this paper we shall handle explicitly the classical case of the so-called 3(3)-modal graph (which is, among others, the one of S5), getting to a very elegant tetraicosahedronal geometrisation of this logic. (shrink)

In this paper we propose to present from a new perspective some loci comunes of traditional logic. More exactly, we intend to show that some hypothetico-disjunctive inferences (i.e. the complex constructive dilemma, the complex destructive dilemma, the simple constructive dilemma, the simple destructive dilemma) and two hypothetico-categorical inferences (namely modus ponendo-ponens and modus tollendo-tollens) particularize two more abstract inferential structures: the constructive n-lemma and the destructive nlemma.

Proteins on the cell surface and secreted proteins are modified with sugar chains that generate and modulate biological complexity and diversity. Sugar chains not only contribute physically to the conformation and solubility of proteins, but also exert various functions via sugar-binding proteins that reside on the cell surface or in organelles of the secretory pathway. However, some glycosidases and lectins are found in the cytosol or nucleus. Recent studies of cytosolic sugar–related molecules have revealed that sugar chains on proteins in (...) the cytosol act as signals of adverse cellular conditions. In this review, we summarize recent reports that cytosolic sugar chains can trigger ubiquitination, followed by proteasomal and autophagic degradation to maintain cellular homeostasis. In addition, we discuss the functions of sugar-binding proteins revealed to date, along with possibilities not yet explored. The cytosolic N-glycans that normally reside on the cell surface or in organelles serves as a signal for the presence of unwanted proteins or organelles. Here, we review the monitoring system for cytosolic glycans including glycosidases and lectin in the cytosol. (shrink)

Fundamental properties of N-valued logics are compared and eleven theorems are presented for their Logic Algebras, including Łukasiewicz–Moisil Logic Algebras represented in terms of categories and functors. For example, the Fundamental Logic Adjunction Theorem allows one to transfer certain universal, or global, properties of the Category of Boolean Algebras.

The article devoted to historiographical analysis of the works of Russian researchers, containing information about the activities of the central party organ that functioned on the territory of Bashkortostan during the rule of N. S. Khrushchev. The new soviet leader was responsible for several relatively liberal reforms in areas of domestic policy. This period of time was characterized by complex socio-political conditions caused by the transition of the internal life of Soviet Russia from Stalin’s version of authoritarianism to Khrushchev’s more (...) liberal policy. Personnel reshuffles in the highest echelon of the central party, which functioned on the territory of Bashkortostan during the ‘thaw‘ of Khrushchev, undoubtedly left their imprint on carrying out the policy in various areas of life in the multinational region. The first secretaries of the Bashkir regional committee of the CPSU were the conductors of the ideas of the leader of the USSR. Khrushchev’s ‘thaw‘ caused unprecedented economic, cultural and social transformations in the life of Soviet Russia and in particular in the Bashkir Autonomous Soviet Socialist Republic. The analytical characteristic of the works is given, the basic tendencies of the researchers on this issue are considered. It is shown that, as a result of changes in the political life of Russia, the main trends in the study of this problem have also changed. (shrink)

Cet article, s’inscrit dans le cadre minimaliste de la syntaxe générative et étudie oui / non et wh-questions dans la langue Ǹjò̩-kóo, parlée dans l’état de Ondo au Nigeria. On observe que la particule interrogative pour des questions de type oui / non qui suit systématiquement le sujet DP se trouve également dans des clauses avec wh-questions. Cet article soutient que oui / non et wh-questions sont projetées par la même tête fonctionnelle Inter˚, et que wh-words ne participent pas à (...) la saisie de wh-propositions comme interrogative. L’article conclut que le mouvement de Wh-éléments vers la position initiale de la clause dans les langues à WH-mouvement n’a pas pour but l’interrogation mais plutôt pour la focalisation. (shrink)

In the field of many-valued logics, Hájek’s Basic Logic BL was introduced in Hájek (Metamathematics of fuzzy logic, trends in logic. Kluwer Academic Publishers, Berlin, 1998). In this paper we will study four families of n-contractive (i.e. that satisfy the axiom ${\phi^n\rightarrow\phi^{n+1}}$ , for some ${n\in\mathbb{N}^+}$ ) axiomatic extensions of BL and their corresponding varieties: BL n , SBL n , BL n and SBL n . Concerning BL n we have that every BL n -chain is isomorphic to an (...) ordinal sum of MV-chains of at most n + 1 elements, whilst every BL n -chain is isomorphic to an ordinal sum of MV n -chains (for SBL n and SBL n a similar property holds, with the difference that the first component must be the two elements boolean algebra); all these varieties are locally finite. Moving to the content of the paper, after a preliminary section, we will study generic and k-generic algebras, completeness and computational complexity results, amalgamation and interpolation properties. Finally, we will analyze the first-order versions of these logics, from the point of view of completeness and arithmetical complexity. (shrink)

There is unquestionably a plethora of details and mysteries regarding the mind and the body. However, with the advent of psychopharmacology (the study of how psychedelics inform or alter brain states) there are more issues at hand. Do psychedelics allow us to access deeper areas of our consciousness? Are we having a spiritual experience under the influence of psychedelics? Dr. Rick Strassman does not want to continue asking these rather conspiratorial-like questions. Instead, Dr. Strassman believes that there is one special, (...) endogenous psychedelic, synthesized within the human physiological framework: N, N-Dymthethyltryptamine. Dr. Strassman concludes that this chemical is produced within and around the pineal gland, and is often the catalyst for spiritual and religious experiences. I will explore this topic further under the framework of discovering whether a naturalistic type explanation of spiritual experiences accounts for all types of spiritual experiences and whether one may be rational or justified in believing in God if a naturalist could explain spiritual experiences. (shrink)

Orta Çağ’da, İslam düşüncesi içerisinde yazılmış olan İbn Sînâ’nın eş-Şifâ: İlahiyat’ı, Gazzâlî’nin Makâsıdu’l-Felâsife’si ve İbn Rüşd’ün, Aristoteles’in eserlerine yazmış olduğu şerhler gibi pek çok felsefî ve teolojik eser Latinceye çevrilmiştir. Söz konusu çeviri eserler vasıtasıyla, İslam düşüncesinde carî olan, Tanrı’nın tikelleri kendi zatlarında bilip bilmediği, Tanrı’nın zatı gereği fiilde bulunup bulunmadığı, din ve felsefenin uzlaşıp uzlaşmayacağı gibi tartışmalı pek çok mesele Batı’ya intikal etmiştir. Bunlara ilaveten Tanrı’nın mutlak kudretinin alanının ne olduğu sorunu da Batı düşüncesinde bilinir hale gelmiştir. Bu çalışmada, (...) “Tanrı mantıksal olarak mümkün olanı yapabilir ve bu durum Tanrı’nın mutlak kudretine halel getirmez” anlayışının Latin Batı dünyasına İbn Sînâ’nın eş-Şifâ’sı ve Gazzâlî’nin Makâsıdu’l-Felâsife’sinin çevrileri vasıtasıyla intikal ettiği ortaya konulmaya çalışılmıştır. Tespit edebildiğimiz kadarıyla, Gazzâlî’nin Makâsıdu’l-Felâsife’de bu konuya ilişkin serdettiği fikirler ile Hristiyan teolog/düşünür Thomas Aquinas’ın fikirleri arasında önemli ölçüde benzerlik söz konusudur. Söz konusu benzerlik temele alınarak, Thomas Aquinas’ın bu hususta İslam düşüncesinden beslendiğini söylemek kuvvetle muhtemeldir. (shrink)

An MV-algebra A=(A,0,¬,⊕) is an abelian monoid (A,0,⊕) equipped with a unary operation ¬ such that ¬¬x=x,x⊕¬0=¬0, and y⊕¬(y⊕¬x)=x⊕¬(x⊕¬y). Chang proved that the equational class of MV-algebras is generated by the real unit interval [0,1] equipped with the operations ¬x=1−x and x⊕y=min(1,x+y). Therefore, the free n-generated MV-algebra Free n is the algebra of [0,1]-valued functions over the n-cube [0,1] n generated by the coordinate functions ξ i ,i=1, . . . ,n, with pointwise operations. Any such function f is a (...) McNaughton function, i.e., f is continuous, piecewise linear, and each piece has integer coefficients. Conversely, McNaughton proved that all McNaughton functions f: [0,1] n →[0,1] are in Free n . The elements of Free n are logical equivalence classes of n-variable formulas in the infinite-valued calculus of Łukasiewicz. The aim of this paper is to provide an alternative, representation-free, characterization of Free n. (shrink)

Current sociology of knowledge tends to take for granted Robert K. Merton’s theory of cumulative advantage: successful ideas bring recognition to their authors, successful authors have their ideas recognized more easily than unknown ones. This article argues that this theory should be revised via the introduction of the differential between the status of an idea and that of its creator: when an idea is more important than its creator, the latter becomes identified with the former, and this will hinder recognition (...) of the intellectual’s new ideas as they differ from old ones in their content or style. Robert N. Bellah’s performance during the “civil religion debate” of the 1970s is reconstructed as an example of how this mechanism may work. Implications for further research are considered in the concluding section. (shrink)

We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.

O presente estudo teve como objeto a Sociedade de São Vicente de Paulo - SSVP, e visou analisar a crise institucional da associação, relacionando-a com a crise religiosa contemporânea, tendo em vista a dificuldade na admissão de novos quadros para a entidade, como também a complexidade da manutenção de seus membros. A motivação do trabalho foi compreender como a crise socioreligiosa contemporânea contribui para esse processo, valendo-se também da observação empírica nas reuniões, festas e eventos realizados pela instituição. Buscou-se (...) ainda identificar alguns fatores externos e internos à instituição, e suas implicações, que estão contribuindo para esse desequilíbrio. Para isso, foi utilizado como método principal de coleta de dados a pesquisa bibliográfica, em fontes e documentos da SSVP, como a Regra e o Regulamento; boletins, revistas e atas da entidade, como também obras de autores que estudam a SSVP. Houve também, metodologicamente, a observação através da presença numa Conferência Vicentina, pertencente ao Conselho Central Sagrados Corações. Bibliograficamente, ainda foram analisadas algumas obras de pesquisadores que refletem sobre a realidade religiosa contemporânea, abordando temas como secularização, modernidade, pluralismo religioso, crise de sentido, transmissão religiosa, crise religiosa contemporânea, mobilidade social e religiosa e juventude, a fim de entender de que maneira tais temas podem ajudar na análise do catolicismo e, consequentemente, da crise institucional da SSVP. A dissertação procurou refletir sobre perspectivas e as novas demandas sociais que podem desafiar a entidade a dialogar com a sociedade contemporânea, especialmente com os jovens, oferecendo um horizonte de renovação e de futuro para o carisma da entidade. Para uma entidade centenária, se tornou difícil para os próprios vicentinos incluir seus familiares, sobretudo os próprios filhos, para o trabalho dentro da associação. A análise realizada confirmou a hipótese que realmente a entidade atravessa uma crise sem precedentes e que serão necessárias inovações, aberturas, estratégias e novas pedagogias, se houver interesse em mudar, enfrentar os desafios atuais e renovar a SSVP e seu carisma. Para isso, ela precisará contar com a força e o dinamismo da juventude e de seus membros e dirigentes. A pesquisa realizada no Programa de Pós-graduação em Ciências da Religião da PUC Minas foi desenvolvida na Área de Concentração “Religião e Cultura” e na Linha de Pesquisa “Religião, Política e Educação”. (shrink)

BOOK REVIEWS: Valentin A. Bazhanov, “N.A. Vasil’ev and his Imaginary Logic”, Kanon+, Reabilitatsiia, Moscow, 2009, 240 pp., ISBN 9785883731968.

In this paper we introduce n -fold implicative basis logic and the related algebras called n -fold implicative BL-algebras. Also we define n -fold implicative filters and we prove some relations between these filters and construct quotient algebras via these filters.

In this paper we pursue the study of the variety of m -generalized Łukasiewicz algebras of order n which was initiated in [1]. This variety contains the variety of Łukasiewicz algebras of order n . Given , we establish an isomorphism from its congruence lattice to the lattice of Stone filters of a certain Łukasiewicz algebra of order n and for each congruence on A we find a description via the corresponding Stone filter. We characterize the principal congruences on A (...) via Stone filters. In doing so, we obtain a polynomial equation which defines the principal congruences on the algebras of . After showing that for m > 1 and n > 2, the variety of Łukasiewicz algebras of order n is a proper subvariety of , we prove that is a finitely generated discriminator variety and point out some consequences of this strong property, one of which is congruence permutability. (shrink)

We study the class of ω-categorical structures with n-degenerate algebraic closure for some n ε ω, which includes ω-categorical structures with distributive lattice of algebraically closed subsets , and in particular those with degenerate algebraic closure. We focus on the models of ω-categorical universal theories, absolutely ubiquitous structures, and ω-categorical structures generated by an indiscernible set. The assumption of n-degeneracy implies total categoricity for the first class, stability for the second, and ω-stability for the third.

This chapter explores a generation of philosophers that emerged in Peru and became interested in positivism at the end of the nineteenth century. This generation that embraced positivism included Manuel Gonza´lez Prada, Alejandro Deustua, Jorge Polar, Mariano H. Cornejo, Carlos Lisson, Javier Prado, and Manuel Vicente Villara´n. The chapter addresses the interesting parallel that the first consolidated generation of Peruvian philosophers appeared at the end of a tragic and extremely devastating war, similar to the United States in the Civil (...) War era and the origins of pragmatism. (shrink)

By referring to Michel Foucault’s and Jacques Lacan’s works, and also taking as reference the popular consultation which took place in Cataluña on november 9th 2014, the purpose of this article is to draw the limits of Judith Butler’s theory of performativity with respect to the subject of the political and its agency. Those limits are made manifest by the distinction between political action and act or between subversion, understood as a transgression of the norm which gives place to the (...) reconfiguration of the socio-symbolic order, and interruption, understood as a transgression of the norm which constitutes an event of a radically different order. (shrink)

Arthur Norman Prior (1914-69) was a logician and philosopher from New Zealand who contributed crucially to the development of ‘non-standard’ logics, especially of the modal variety. His greatest achievement was the invention of modern temporal logic, worked out in close connection with modal logic. However, his work in logic had a much broader scope. He was also the founder of hybrid logic, and he made important contributions to deontic logic, modal logic, the theory of quantification, the nature of propositions and (...) the history of logic. In addition, he discussed questions of ethics, free will, and general theology. Prior’s philosophical works comprise about 200 titles. His earliest articles center on philosophical theology and historical studies of Scottish Reformed Theology. This led on to the publication of his first influential work on ethics: Logic and The Basis of Ethics (1949). With the invention of tense-logic in the early 1950s, his focus shifted to investigations into the syntax of tempo-modal logic leading to his seminal Time and Modality (1957), a volume derived from his John Locke Lectures in Oxford in 1956. Furthermore Prior, together with the Irish mathematician and logician C.A. Meredith (1904-76), made important early contributions to the semantics of possible worlds. Prior’s tense-logic provided a strong conceptual framework for problems pertaining to the philosophy of time. In Time and Modality, Prior discussed the philosophical implications of Ruth Barcan’s famous formulae for tense-logic, and in the 1960s he worked on the notion of the present. The most persistent problem running through Prior’s work is his study of the questions surrounding human freedom and divine foreknowledge, and more general philosophical problems emerging from this classical theological question. His thorough analysis of this problem, with the conceptual tools of tense-logic, received a crucial impetus from his correspondence with the young Saul Kripke, when the latter suggested the semantic tool of branching time to Prior. Prior’s development of two solutions based on branching time for the problem of future contingency, the Peircean and the Ockham solution, was most thoroughly developed in Past, Present and Future (1967), the most important work published by Prior. Characteristically for Prior’s methodological approach, the development of these two solutions were at the same time a development of two new systems of tense logic, and vice versa. One of Prior’s significant contributions to logic was his work on world propositions and instant propositions. In the course of developing these notions he also made one of the earliest formulations of hybrid logic. In Papers on Time and Tense (1968), he presented this idea in a more detailed manner in the context of his four grades of tense-logical involvement. (shrink)

Respect for human life is central to medicine. In terminal patients, refractory symptoms are a niche of palliative sedation. This paper identi es, based on scienti c evidence, the survival in patients who received palliative sedation as compared to those who didn’t. We conducted a search for systematic reviews from 2000 to 2016, which were methodologically analyzed, and the results were then compared. For methodological reasons, meta-analysis could not be performed. It is concluded that terminal palliative sedation does not shorten (...) patients’ lives. The implementation of the principle of double effect related to the possible shortening of life was reformulated; the unwanted evil is the loss of consciousness. (shrink)

Philosophy’s Artful Conversation draws on Gilles Deleuze, Stanley Cavell, and the later writing by Ludwig Wittgenstein to defend a “philosophy of the humanities.” Both because film studies is historically a site of contention and theoretical upheaval and because Rodowick accepts Cavell’s idea that (at least in the American context) film is philosophy made ordinary, bringing philosophical questions of skepticism and perfectionism into filmgoers’ lives inescapably, it makes sense to build this vision for the humanities out of writing on film. Although (...) presented as a monograph with a single argumentative strand, the book may be more profitably read as three partly distinct works: an examination of the boundaries of theory and philosophy that doubles as a defense of a “philosophy of the humanities,” an interpretation of Deleuze’s work on film that intriguingly prioritizes What Is Philosophy?, and an interpretation of Cavell that argues that his epistemological and ontological questions are subsumed under ethics in a way that pairs well with Deleuze’s emphasis on immanence. (shrink)

In his later work, Metafizicheskie predpolozheniia poznaniia. Opyt preodoleniia Kanta i kantianstva [Metaphysical Presuppositions of Knowledge. An Attempt to Overcome Kant and Kantianism], Evgeny N. Trubetskoy tried to overcome the Kantian tradition in philosophy in order to advance his conception of all-unity and the philosophy of absolute and unconditional consciousness. Despite insisting on the distinction between the “historical Kant” and Neo-Kantianism, in reality Trubetskoy was strongly dependent on the Neo-Kantian interpretation of Kant’s philosophy, which meant that his fight against Kantian (...) philosophy was really fought against a conception of Kant he unconsciously adopted from the Neo-Kantians. Evidence of this can be seen in his interpretation of the theory of knowledge and its tasks, his thesis concerning the antimetaphysical direction of Kantian philosophy, and his insistence on the presence of the transcendental method in Kant’s philosophy. (shrink)

Arthur Norman Prior's early theological writings have been relatively neglected for many years. Moreover, to the extent that they have been discussed at all they have been treated mainly as youthful work quite separate from Prior's later work as a philosopher and logician. However, as interest in Prior's achievements has been growing significantly in recent years it has become more important to investigate the development with his overall work. In fact, Prior's putatively "youthful" theological work overlapped his work as a (...) philosopher and logician for many years, as is richly documented by examples discussed in this paper. A particularly important theme is the problem of predestination. This paper presents comprehensive evidence that this theme, which was Prior's most important single preoccupation as a theological writer, was a most important source of inspiration for his development of tense logic. Via questions regarding divine foreknowledge and human free will, predestination was to motivate Prior as a logician to focus on time and tense. Whilst investigating this development, the paper also traces Prior's parallel development from Calvinist Christian believer to a more agnostic position. (shrink)

Review by: Johanna N. Y. Franklin The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 115-118, March 2013.

The association of Berdiaev's name with the phenomenon of perestroika seems strange at first glance and even illogical. But perestroika, which is proceeding—or, more precisely, is trying to proceed—under the sign of an intellectual renaissance, has naturally aroused interest in the names of Russian philosophers who have undeservedly been forgotten. One of these is N.A. Berdiaev . He was a Russian patriot and was profoundly concerned with Russia's fate. Living in a critical period, Berdiaev reflected a great deal over the (...) past, present, and future of his Motherland, advanced the idea of its transformation, and even used the term "perestroika" in doing so. His thoughts concerning Russia's political renewal are profound, and some of them are applicable to the present life of our society. (shrink)

At a 2011 meeting of the Society of Christian Philosophers, N. T. Wright offered four reasons for rejecting the existence of soul. This was surprising, as many Christian philosophers had previously taken Wright's defense of a disembodied intermediate state as a defense of a substance dualist view of the soul. In this paper, I offer responses to each of Wright's objections, demonstrating that Wright's arguments fail to undermine substance dualism. In so doing, I expose how popular arguments against dualism fail, (...) such as dualism is merely an unwarranted influence of Greek culture on Christianity, and substance dualism is merely a soul-of-the-gaps hypothesis. Moreover, I demonstrate that Wright himself has offered a powerful reason for adopting substance dualism in his previous works. In conclusion I offer a view that explains why the human soul needs a resurrected body. (shrink)

The aim of this article is to describe in some detail the actual relationship between Charles S. Peirce and Alfred N. Whitehead, paying particular attention to the Peircean notions of science and metaphysics, with the conviction that this contrast can help to understand better the scope and depth of C. S. Peirce’s thought.