Niedenthal et al's classification of smiles erroneously conflates psychological mechanisms and adaptive functions. This confusion weakens the rationale behind the types of smiles they chose to individuate, and it obfuscates the distinction between the communicative versus denotative nature of smiles and the role of perceived-gaze direction in emotion recognition.

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)

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 article, we develop and clarify some of the basic combinatorial properties of the new notion of n-dependence recently introduced by Shelah. In the same way as dependence of a theory means its inability to encode a bipartite random graph with a definable edge relation, n-dependence corresponds to the inability to encode a random -partite -hypergraph with a definable edge relation. We characterize n-dependence by counting φ-types over finite sets, and in terms of the collapse of random ordered -hypergraph (...) indiscernibles down to order-indiscernibles. (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)

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.

Este trabalho tem o escopo de investigar o conceito de Direito de Resistência em Baruch de Spinoza, através da sua obra Tratado Político e de seus comentadores. Inicialmente a resistência é apresentada em diferentes visões, Hobbes e Locke, seguida pela tradição hegemônica da filosofia política e logo contraposta ao conceito de Desobediência Civil. Em seguida, Spinoza surge com sua perspectiva inovadora, não diferenciando resistir de obedecer, caso certas circunstâncias se apresentem no ambiente político, a partir de uma breve contextualização e (...) análise do fundamento da Resistência neste autor, a potência da multidão. Por fim, busca-se o Decreto nº 8243/14 para submetê-lo a seguinte questão: pode este ser visto como uma institucionalização da Resistência, nos termos espinosanos? (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)

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)

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)

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)

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)

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)

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.

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

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)

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

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)

Con remisión a las obras de Michel Foucault y de Jacques Lacan, en el presente artículo se trazan los límites de la teoría de la performatividad de Judith Butler con respecto al sujeto de lo político y a su capacidad de acción tomando como referente fenomenológico la consulta que se llevara a cabo en Cataluña el 9 de noviembre de 2014. Dichos límites se hacen manifiestos mediante la distinción entre acción y acto políticos o entre subversión en tanto que transgresión (...) de la norma que da lugar a la reconfiguración del orden socio-simbólico e interrupción en tanto que transgresión de la norma que constituye un acontecimiento radicalmente otro de dicho orden. (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)

This interview with N. Katherine Hayles, one of the foremost theorists of the posthuman, explores the concerns that led to her seminal book How We Became Posthuman, the key arguments expounded in that book, and the changes in technology and culture in the ten years since its publication. The discussion ranges across the relationships between literature and science; the trans-disciplinary project of developing a methodology appropriate to their intersection; the history of cybernetics in its cultural and political context ; the (...) changed role for psychoanalysis in the technoscientific age; and the altering forms of mediated ‘embodiment’ in the posthuman context. (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)

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)

The minimal perimeter enclosing N planar regions, each being simply connected and of the same area, is an open problem, solved only for a few values of N . The problems of how to construct the configuration with the smallest possible perimeter E and how to estimate the value of E are considered. Defect-free configurations are classified and we start with the naïve approximation that the configuration is close to a circular portion of a honeycomb lattice. Numerical simulations and analysis (...) that show excellent agreement to within one free parameter are presented; this significantly extends the range of values of N for which good candidates for the minimal perimeter have been found. We provide some intuitive insight into this problem in the hope that it will help the improvement in future numerical simulations and the derivation of exact results. (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)

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)