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)
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.
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)
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)
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.
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)
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)
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)
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)
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.
We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.
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)
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)
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)
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)
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)
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.
This paper challenges a recent argument of Bird’s, which involves imagining that Réné Blondlot’s belief in N-rays was true, in favour of the view that scientific progress should be understood in terms of knowledge rather than truth. By considering several variants of Bird’s thought-experiment, it shows that the semantic account of progress cannot be so easily vanquished. A key possibility is that justification is only instrumental in, and not partly constitutive of, progress.
Case studies and "small-N comparisons" have been attacked from two directions, positivist and incommensurabilist. At the same time, some authors have defended small-N comparisons as allowing qualitative researchers to attain a degree of scientificity, yet they also have rejected the case study as merely "idiographic. " Practitioners of the case study sometimes agree with these critics, disavowing all claims to scientificity. A related set of disagreements concerns the role and nature of social theory in sociology, which sometimes is described as (...) useless and parasitic and other times as evolving in splendid isolation from empirical research. These three forms of sociological activity-comparative analysis, studies of individual cases, and social theory-are defended here from the standpoint of critical realism. In this article I first reconstruct, in very broad strokes, the dominant epistemological and ontological framework of postwar U.S. sociology. The next two sections discuss several positivist and incommensurabilist criticisms of comparison and case studies. The last two sections propose an understanding of comparison as operating along two dimensions, events and structures, and offer an illustration of the difference and relationship between the two. (shrink)
Alfred Tarski seems to endorse a partial conception of truth, the T-schema, which he believes might be clarified by the application of empirical methods, specifically citing the experimental results of Arne Næss (1938a). The aim of this paper is to argue that Næss’ empirical work confirmed Tarski’s semantic conception of truth, among others. In the first part, I lay out the case for believing that Tarski’s T-schema, while not the formal and generalizable Convention-T, provides a partial account of truth that (...) may be buttressed by an examination of the ordinary person’s views of truth. Then, I address a concern raised by Tarski’s contemporaries who saw Næss’ results as refuting Tarski’s semantic conception. Following that, I summarize Næss’ results. Finally, I will contend with a few objections that suggest a strict interpretation of Næss’ results might recommend an overturning of Tarski’s theory. (shrink)
Après avoir consacré à Descartes de nombreuses études, parmi lesquelles les monumentales L’homme des passions (Albin Michel, 1995) et Les Méditations métaphysiques de Descartes (PUF, 2005), ainsi que, plus récemment, Le style de Descartes (Manucius, 2013), Denis Kambouchner nous offre Descartes n’a pas dit. Ce livre contient un errata des propos prêtés à Descartes dans l’enseignement, dans les représentations collectives, dans des publications généralistes ou même dans certains travaux spécialisés, et propose de corriger quelques-unes des erreurs les plus sérieuses. D’après (...) Kambouchner, la philosophie cartésienne, en réalité très nuancée et raffinée, est régulièrement victime de simplifications excessives. (shrink)
Several philosophical problems are based on an analogy between a real situation and a probabilistic model. Such problems are based on urn analogies. The present dissertation aims to describe and implement a methodology oriented towards the resolution of philosophical problems based on an urn analogy. This methodology is based on the use of the n-universes. To this end, I describe first the n-universes in a detailed way. I also discuss the difficulties of the theory of n-universes related to the demultiplication (...) of the criteria and to the relation one/many between the objects and a given criterion. On the one hand, I present an application of the framework of n-universes to the Doomsday argument and to the problems recently appeared in the literature in keeping with the Doomsday argument. My concern is also with showing how the application of the framework of n-universes to several problems and thought experiments related to the Doomsday argument helps clarifying the problem data and making disappear the associated ambiguity. I present then an analysis of the following problems related to the Doomsday argument: the two urn case, God's Coin Toss, the Sleeping Beauty Problem, the Presumptuous Philosopher, Lazy Adam, and the Shooting-Room Paradox. I present lastly a solution to the Doomsday argument, based on a third route, by contrast to two types of solutions classically described. On the other hand, I present an application of the framework of n-universes to Goodman's paradox. I replace first Goodman's statement in the framework of n-universes. I propose then a solution to the paradox, based on a distinction between two different modelizations of Goodman's statement in two structurally different n-universes. (shrink)
Spivak translates Derrida’s “il n’y a pas de hors-texte” as “there is nothing outside the text.” By considering how the aphorism works within his study of Rousseau on sexual and textual supplements, and by reviewing related expressions in French, a mistranslation is revealed. This is not a simple error, however. The distortion is generated by Derrida’s own broader context. We must not only distinguish signification from reference but also place the aphorism within Derrida’s allusion, in the first part of Of (...) Grammatology, to an all-embracing arche-writing. The paper ends in thus opening out the discussion of a textual “inside” or “outside.”. (shrink)
Simon Blackburn has not shied away from the use of vivid imagery in developing, over a long and prolific career, a large-scale philosophical vision. Here one might think, for instance, of ‘Practical Tortoise Raising’ or ‘Ramsey's Ladder’ or ‘Frege's Abyss’. Blackburn develops a ‘quasi-realist’ account of many of our philosophical and everyday commitments, both theoretical (e.g., modality and causation) and practical (e.g., moral judgement and normative reasons). Quasi-realism aims to provide a naturalistic treatment of its targeted phenomena while earning the (...) right to deploy all of the ‘trappings’ of realism—i.e., while eschewing any idea that our normal thought and talk about such phenomena are pervasively in error. The quasi-realist project is that of explaining how (as Huw Price puts it here) ‘the folk come to “talk the realist talk” without committing ourselves—us theorists, as it were—to “walking the metaphysical walk”’ (p. 136). Quasi-realism, too, can speak of truth, facts, properties, belief, knowledge, and so on. The imagery in this collection also abounds, though, in capturing a different view of quasi-realism: No fewer than three of the contributors picture Blackburn as wanting to have his cake and eat it too (Louise Antony asking, in addition, ‘Who doesn't? It's cake’ [p. 19]). (shrink)
In this paper, we develop a duality for the varieties of a Łukasiewicz n + 1-valued modal System. This duality is an extension of Stone duality for modal algebras. Some logical consequences (such as completeness results, correspondence theory...) are then derived and we propose some ideas for future research.
Proper n-valued ukasiewicz algebras are obtained by adding some binary operators, fulfilling some simple equations, to the fundamental operations of n-valued ukasiewicz algebras. They are the s-algebras corresponding to an axiomatization of ukasiewicz n-valued propositional calculus that is an extention of the intuitionistic calculus.
We discuss saturating ultrafilters on N, relating them to other types of nonprincipal ultrafilter. (a) There is an (ω,c)-saturating ultrafilter on $\mathbf{N} \operatorname{iff} 2^\lambda \leq \mathfrak{c}$ for every $\lambda and there is no cover of R by fewer than c nowhere dense sets. (b) Assume Martin's axiom. Then, for any cardinal κ, a nonprincipal ultrafilter on N is (ω,κ)-saturating iff it is almost κ-good. In particular, (i) p(κ)-point ultrafilters are (ω,κ)-saturating, and (ii) the set of (ω,κ)-saturating ultrafilters is invariant under (...) homeomorphisms of $\beta\mathbf{N\backslash N}$ . (c) It is relatively consistent with ZFC to suppose that there is a Ramsey p(c)-point ultrafilter which is not (ω,c)-saturating. (shrink)
We study relation algebras with n-dimensional relational bases in the sense of Maddux. Fix n with 3nω. Write Bn for the class of non-associative algebras with an n-dimensional relational basis, and RAn for the variety generated by Bn. We define a notion of relativised representation for algebras in RAn, and use it to give an explicit equational axiomatisation of RAn, and to reprove Maddux's result that RAn is canonical. We show that the algebras in Bn are precisely those that have (...) a complete relativised representation of this type. Then we prove that whenever 4nshrink)
