Let ???? be a computable structure and let R be a new relation on its domain. We establish a necessary and sufficient condition for the existence of a copy ℬ of ???? in which the image of R (¬R, resp.) is simple (immune, resp.) relative to ℬ. We also establish, under certain effectiveness conditions on ???? and R, a necessary and sufficient condition for the existence of a computable copy ℬ of ???? in which the image of R (¬R, resp.) (...) is simple (immune, resp.). (shrink)

We study completely decomposable torsion-free abelian groups of the form $\mathcal{G}_S := \oplus_{n \in S} \mathbb{Q}_{p_n}$ for sets $S \subseteq \omega$. We show that $\mathcal{G}_S$has a decidable copy if and only if S is $\Sigma^0_2$and has a computable copy if and only if S is $\Sigma^0_3$.

One of the main fields of consciousness studies is the search for the function of consciousness. The article deals with the hypothesis of the function of imagination as an attribute of consciousness. In the regard of the issues of the attributes of consciousness, the author analyzes the phenomenon of aphantasia, that is, lack of imagination. Despite the lack of formalized ideas about the function of consciousness and despite the scientific trend of the narrowing research areas where subjective experience is necessary (...) for a normal behavior of brain, there is a tendency to expand the presence of consciousness in the world in the modern Western philosophy of consciousness. The result of this “emancipation of consciousness” is the idea of the theoretical essential closeness of a human being and other agents: animals, artificial intelligence, plants. A consequence of the “emancipation of consciousness” is the emergence of modern versions of panpsychism, which propose expanding the space of consciousness to the world as a whole. However, studies in the field of conscious cognitive processes show that the processes that need the participation of consciousness, according to the standard intuitions, in some cases successfully performed without it. For example, the phenomenon of aphantasia shows that the tasks of imagination are performed in the absence of the ability to imagine. Therefore, it is important to take also into account the theoretical possibility of the lack of the realization of the function of consciousness. This makes it possible to ask a question about the presence of consciousness in the space that is traditionally endowed with consciousness, according to the dominant views in philosophy. Therefore, by approaching the question of the attributes of consciousness, the author demonstrates the limitations of the program for the emancipation of consciousness and offers an alternative solution to the question of the scale of the presence of consciousness in the world. (shrink)

In Il’enkov’s “Cosmology of mind,” written in his younger days in the tradition of Spinoza and Engels, the thinking mind appears as a necessary attribute of matter. Like all other main forms of matter in motion, the mind has its cosmic purpose and predestination. Il’enkov argued that it has to close the beginning and the end of the Big Cycle in order to return the dying Universe to its fiery youth. Il’enkov believed that this is the sole way to save (...) the Universe from “thermal death” following the inevitable increase in entropy. (shrink)

Im Zentrum der Monographie von Claudia Rapp steht die Figur des christlichen Bischofs im Kontext der spätantiken Gesellschaft. Das Buch besteht aus zwei Teilen und einem Epilog. Der erste Teil (S. 1–152) erfüllt eine zweifache Aufgabe: Er bietet (1.) eine Übersicht über die relevante Forschungsliteratur und Positionierung der vorliegenden Arbeit in der Forschungslandschaft und (2.) die Präsentation des von der Verf. entworfenen Erklärungsmodells, das die gesamte Untersuchung konzeptuell bestimmt. Im zweiten Teil (S. 155–289) betrachtet die Verf. die Entwicklung der Rolle (...) des christlichen Bischofs im Kontext spätantiker Städte und Römischen Reiches vom 3. bis zum 6. Jahrhundert anhand von archäologischem, hagiographischem und juristischem Quellenmaterial. Im Epilog (S. 290–302) wird die Figur des Bischofs im Spiegel der Grabinschriften prominenter Amtsträger skizziert. Ein Quellen- und Literaturverzeichnis sowie ein Index beschließen den Band (S. 303–346). (shrink)

The Hanf number for a set S of sentences in \ is the least infinite cardinal \ such that for all \, if \ has models in all infinite cardinalities less than \, then it has models of all infinite cardinalities. Friedman asked what is the Hanf number for Scott sentences of computable structures. We show that the value is \. The same argument proves that \ is the Hanf number for Scott sentences of hyperarithmetical structures.

In the paper A. I. Malcev's problem on the characterization of axioms for classes with strong homomorphisms is being solved.

We will study the question about decidability for Boolean algebras with first elementary characteristic one. The main problem is sufficient conditions for decidability of Boolean algebras with recursive representation for extended signature by definable predicates. We will use the base definitions on recursive and constructive models from [2, 4–6, 10, 11] but on Boolean algebras from [1, 8].

В сборник исторических миниатюр вошли наиболее яркие факты биографий знаменитых правителей, злодеев, художников и философов прошлого, а также выразительные, но малоизвестные исторические эпизоды, относящиеся к разным странам и эпохам.

This paper calculates, in a precise way, the complexity of the index sets for three classes of computable structures: the class $K_{\omega _{1}^{\mathit{CK}}}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}$ , the class $K_{\omega _{1}^{\mathit{CK}}+1}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}+1$ , and the class K of all structures of non-computable Scott rank. We show that I(K) is m-complete $\Sigma _{1}^{1},\,I(K_{\omega _{1}^{\mathit{CK}}})$ is m-complete $\Pi _{2}^{0}$ relative to Kleen's O, and $I(K_{\omega _{1}^{\mathit{CK}}+1})$ is m-complete $\Sigma _{2}^{0}$ relative to O.

Computable structures of Scott rank ${\omega_1^{CK}}$ are an important boundary case for structural complexity. While every countable structure is determined, up to isomorphism, by a sentence of ${\mathcal{L}_{\omega_1 \omega}}$ , this sentence may not be computable. We give examples, in several familiar classes of structures, of computable structures with Scott rank ${\omega_1^{CK}}$ whose computable infinitary theories are each ${\aleph_0}$ -categorical. General conditions are given, covering many known methods for constructing computable structures with Scott rank ${\omega_1^{CK}}$ , which guarantee that the (...) resulting structure is a model of an ${\aleph_0}$ -categorical computable infinitary theory. (shrink)

The present study aims to elucidate whether insight problem solving could be facilitated by the cognitive component of humour. The authors take interest in whether the logical mechanisms of humour can affect how fast insight problems are solved. To that end, the authors conducted two experiments where participants solved insight problems after watching visual humorous stimuli such as videos and slideshows. The first experiment demonstrated the overall impact of facilitation by humour on insight problem solving; however, it did not show (...) any difference in how particular logical mechanisms of humour affect the solution time of insight problems. The second experiment showed that the cognitive component of humour could selectively affect insight problems whose difficulty stems from different sources. These results suggest that the cognitive component of humour, when operationalised as logical mechanisms and schema switching, contributes to solving insight problems. (shrink)

While Foucault’s work on biopolitics continues to inspire diverse studies in a variety of disciplines, it has largely been missing from the debates on the possibility of “affirmative biopolitics” which have been primarily influenced by the work of Agamben and Esposito. This article restores Foucault’s work to these debates, proposing that his final lecture course at the Collège de France in 1983–1984 developed a paradigm of affirmative biopolitics in the reading of the Cynic practice of truth-telling. The Cynic problematization of (...) the relation between truth and life and their transvaluation of conventional truths by relocating them to the domain of bare life not only seeks to transform one’s life in accordance with the truth but also, through the confrontation with the existing conventions and norms, to transform the world as such. Cynic parrhesia is thus biopolitical, insofar as it reclaims the power of one’s life from the social order and its rationalities of government and applies it to oneself, investing one’s existence with truth. Since Foucault developed this reading of Cynicism in the context of his political engagement on behalf on East European dissidents, the article proceeds to analyse the resonances between parrhesia and Václav Havel’s idea of “living within the truth,” elaborating the biopolitical significance of both practices. We conclude by addressing the implications of our interpretation for Foucault scholarship and the wider debates on biopolitics. (shrink)

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

And so that there may be less difficulty in understanding what I shall say on this matter, I should like that those not versed in anatomy should take the trouble, before they read this, to have cut up before their eyes the heart of some large animal that has lungs—for it is in all respects sufficiently similar to the heart of man….

This work treats the problem of axiomatizing the truth and falsity consequence relations, $ \vDash _t $ and $ \vDash _f $, determined via truth and falsity orderings on the trilattice SIXTEEN₃. The approach is based on a representation of SIXTEEN₃ as a twist-structure over the two-element Boolean algebra.

This work treats the problem of axiomatizing the truth and falsity consequence relations, ⊨ t and ⊨ f, determined via truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, 2005). The approach is based on a representation of SIXTEEN 3 as a twist-structure over the two-element Boolean algebra.

The publication of The Use of Bodies, the final volume in Giorgio Agamben’s Homo Sacer series, makes it possible to take stock of Agamben’s project as a whole. Having started with a powerful critique of the biopolitical sovereignty as the essence of modern politics, Agamben concludes his project with an affirmative vision of inoperative politics of form-of-life, in which life is not negated or sacrificed to the privileged form it must attain, but rather remains inseparable from the form that does (...) nothing but express it. The article begins by reconstituting the non-relational logic that Agamben develops in order to render inoperative the existing apparatuses of ontology, ethics and politics. We then address the dimension of lifestyle as a new key domain of Agamben’s work, in which biopolitics may be recast in an affirmative key of form-of-life. While Agamben is better known for sceptical and scornful statements about contemporary liberal democracies, we shall argue that his affirmative biopolitics, characterized by destituent power, resonates with Claude Lefort’s understanding of democracy as structured around the ontological void and epistemic indeterminacy. In the conclusion we question the viability of this biopolitical democracy, focusing on Agamben’s example of the Nocturnal Council in Plato’s Laws. (shrink)