The first main result isolates some conditions which fail for the class of graphs and hold for the class of Abelian p-groups, the class of Abelian torsion groups, and the special class of "rank-homogeneous" trees. We consider these conditions as a possible definition of what it means for a class of structures to have "Ulm type". The result says that there can be no Turing computable embedding of a class not of Ulm type into one of Ulm type. We apply (...) this result to show that there is no Turing computable embedding of the class of graphs into the class of "rank-homogeneous" trees. The second main result says that there is a Turing computable embedding of the class of rank-homogeneous trees into the class of torsion-free Abelian groups. The third main result says that there is a "rank-preserving" Turing computable embedding of the class of rank-homogeneous trees into the class of Boolean algebras. Using this result, we show that there is a computable Boolean algebra of Scott rank ${\mathrm{\omega }}_{1}^{\mathrm{C}\mathrm{K}}$. (shrink)

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.

LetEbe a computably enumerable equivalence relation on the setωof natural numbers. We say that the quotient set$\omega /E$realizesa linearly ordered set${\cal L}$if there exists a c.e. relation ⊴ respectingEsuch that the induced structure is isomorphic to${\cal L}$. Thus, one can consider the class of all linearly ordered sets that are realized by$\omega /E$; formally,${\cal K}\left = \left\{ {{\cal L}\,|\,{\rm{the}}\,{\rm{order}}\, - \,{\rm{type}}\,{\cal L}\,{\rm{is}}\,{\rm{realized}}\,{\rm{by}}\,E} \right\}$. In this paper we study the relationship between computability-theoretic properties ofEand algebraic properties of linearly ordered sets realized (...) byE. One can also define the following pre-order$ \le _{lo} $on the class of all c.e. equivalence relations:$E_1 \le _{lo} E_2 $if every linear order realized byE1is also realized byE2. Following the tradition of computability theory, thelo-degrees are the classes of equivalence relations induced by the pre-order$ \le _{lo} $. We study the partially ordered set oflo-degrees. For instance, we construct various chains and anti-chains and show the existence of a maximal element among thelo-degrees. (shrink)

Defining the degree of categoricity of a computable structure ${\mathcal{M}}$ to be the least degree d for which ${\mathcal{M}}$ is d-computably categorical, we investigate which Turing degrees can be realized as degrees of categoricity. We show that for all n, degrees d.c.e. in and above 0 (n) can be so realized, as can the degree 0 (ω).

We study the structure of Σ11 equivalence relations on hyperarithmetical subsets of ω under reducibilities given by hyperarithmetical or computable functions, called h-reducibility and FF-reducibility, respectively. We show that the structure is rich even when one fixes the number of properly equation imagei.e., Σ11 but not equation image equivalence classes. We also show the existence of incomparable Σ11 equivalence relations that are complete as subsets of ω × ω with respect to the corresponding reducibility on sets. We study complete Σ11 (...) equivalence relations and show that existence of infinitely many properly Σ11 equivalence classes that are complete as Σ11 sets is necessary but not sufficient for a relation to be complete in the context of Σ11 equivalence relations. (shrink)

We investigate the complexity of embeddings between bi-embeddable structures. In analogy with categoricity spectra, we define the bi-embeddable categoricity spectrum of a structure A as the family of Turing degrees that compute embeddings between any computable bi-embeddable copies of A; the degree of bi-embeddable categoricity of A is the least degree in this spectrum (if it exists). We extend many known results about categoricity spectra to the case of bi-embeddability. In particular, we exhibit structures without degree of bi-embeddable categoricity, and (...) we show that every degree d.c.e above 0(α) for α a computable successor ordinal and 0(λ) for λ a computable limit ordinal is a degree of bi-embeddable categoricity. We also give examples of families of degrees that are not bi-embeddable categoricity spectra. (shrink)

We study the complexity of the isomorphism relation on classes of computable structures. We use the notion of FF-reducibility introduced in [9] to show completeness of the isomorphism relation on many familiar classes in the context of all ${\mathrm{\Sigma }}_{1}^{1}$ equivalence relations on hyperarithmetical subsets of ω.

The study of Borel equivalence relations under Borel reducibility has developed into an important area of descriptive set theory. The dichotomies of Silver [20] and Harrington, Kechris and Louveau [6] show that with respect to Borel reducibility, any Borel equivalence relation strictly above equality on ω is above equality on , the power set of ω, and any Borel equivalence relation strictly above equality on the reals is above equality modulo finite on . In this article we examine the effective (...) content of these and related results by studying effectively Borel equivalence relations under effectively Borel reducibility. The resulting structure is complex, even for equivalence relations with finitely many equivalence classes. However use of Kleene’s O as a parameter is sufficient to restore the picture from the noneffective setting. A key lemma is that of the existence of two effectively Borel sets of reals, neither of which contains the range of the other under any effectively Borel function; the proof of this result applies Barwise compactness to a deep theorem of Harrington establishing for any recursive ordinal α the existence of singletons whose α-jumps are Turing incomparable. (shrink)

For a computable structure $\mathcal {M}$, the categoricity spectrum is the set of all Turing degrees capable of computing isomorphisms among arbitrary computable copies of $\mathcal {M}$. If the spectrum has a least degree, this degree is called the degree of categoricity of $\mathcal {M}$. In this paper we investigate spectra of categoricity for computable rigid structures. In particular, we give examples of rigid structures without degrees of categoricity.

We study the algorithmic complexity of embeddings between bi-embeddable equivalence structures. We define the notions of computable bi-embeddable categoricity, \ bi-embeddable categoricity, and degrees of bi-embeddable categoricity. These notions mirror the classical notions used to study the complexity of isomorphisms between structures. We show that the notions of \ bi-embeddable categoricity and relative \ bi-embeddable categoricity coincide for equivalence structures for \. We also prove that computable equivalence structures have degree of bi-embeddable categoricity \, or \. We furthermore obtain results (...) on the index set complexity of computable equivalence structure with respect to bi-embeddability. (shrink)

We show that for every computable limit ordinal α, there is a computable structure A that is $\Delta _\alpha ^0 $ categorical, but not relatively $\Delta _\alpha ^0 $ categorical (equivalently. it does not have a formally $\Sigma _\alpha ^0 $ Scott family). We also show that for every computable limit ordinal a, there is a computable structure A with an additional relation R that is intrinsically $\Sigma _\alpha ^0 $ on A. but not relatively intrinsically $\Sigma _\alpha ^0 $ (...) on A (equivalently, it is not definable by a computable $\Sigma _\alpha $ formula with finitely many parameters). Earlier results in [7], [10], and [8] establish the same facts for computable successor ordinals α. (shrink)

For a class K of structures, closed under isomorphism, the index set is the set I of all indices for computable members of K in a universal computable numbering of all computable structures for a fixed computable language. We study the complexity of the index set of class of structures with decidable theories. We first prove the result for the class of all structures in an arbitrary finite nontrivial language. After the complexity is found, we prove similar results for some (...) well-known classes of structures, such as directed graphs, undirected graphs, partial orders and lattices. (shrink)

We study degree spectra of structures with respect to the bi-embeddability relation. The bi-embeddability spectrum of a structure is the family of Turing degrees of its bi-embeddable copies. To facilitate our study we introduce the notions of bi-embeddable triviality and basis of a spectrum. Using bi-embeddable triviality we show that several known families of degrees are bi-embeddability spectra of structures. We then characterize the bi-embeddability spectra of linear orderings and study bases of bi-embeddability spectra of strongly locally finite graphs.

Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reducibility by introducing degree spectra of reducibility and bi-reducibility. These spectra provide a natural way of measuring the complexity of reductions between equivalence relations. We prove that any upward closed collection of Turing degrees with a countable basis can be realised as a reducibility spectrum or as a bi-reducibility spectrum. We show also that there is a reducibility (...) spectrum of computably enumerable equivalence relations with no countable basis and a reducibility spectrum of computably enumerable equivalence relations which is downward dense, thus has no basis. (shrink)

Durkheim écrit ce livre avec un but double : d'abord il voulait expliquer ce qui crée une société, ce qui la tient ensemble ; ensuite il voulait éclaircir l'influence qu'a la société sur la pensée logique. Pour Durkheim, la religion est la clé utilisée pour déverrouiller ces deux problématiques.Dans ce livre, Durkheim argumente que les représentations religieuses sont en fait des représentations collectives : l'essence du religieux ne peut être que le sacré. Il est une caractéristique qui se trouve universellement (...) dans toutes les religions. Le sacré, être collectif et impersonnel, représente ainsi la société elle-même. Ensuite il argumente que la société a un impact majeur dans la genèse de la pensée logique. C'est la société qui fournit à l'individu les catégories (le temps, l'espace, le nombre etc.) et les concepts nécessaires pour la pensée logique. (shrink)

There is a long tradition in philosophy and literary theory defending the view that engagement with literature promotes readers’ empathy. Until the last century, few of the empirical claims adduced in that tradition were investigated experimentally. Recent work in psychology and neuropsychology has now shed new light on the interplay of empathy and literature. This article surveys the experimental findings, addressing three central questions: What is it to read empathically? Does reading make us more empathic? What characteristics of literature, if (...) any, affect readers’ empathy? While experimental studies have delivered no conclusive answers to these questions, it has exposed their psychological complexity and constructed a more nuanced picture of the diverse ways in which literature interacts with our empathic capacities. (shrink)

Издание содержит: хрестоматия; философы; психологи; литературоведы, искусствоведы; мастер изобразительного искусства и др.

When we perceive an object, we perceive the object from a perspective. As a consequence of the perspectival nature of perception, when we perceive, say, a circular coin from different angles, there is a respect in which the coin looks circular throughout, but also a respect in which the coin's appearance changes. More generally, perception of shape and size properties has both a constant aspect—an aspect that remains stable across changes in perspective—and a perspectival aspect—an aspect that changes depending on (...) one's perspective on the object. How should we account for the perspectival aspect of spatial perception? We present a framework within which to discuss the perspectival aspect of perception and put forward three desiderata that any account of the perspectival aspect of perception should satisfy. We discuss views on which the perspectival aspect of perception is analyzed in terms of constitutively mind-dependent appearance properties as well as views on which the perspectival aspect of perception is analyzed in terms of representations of mind-independent perspectival properties. (shrink)

With special emphasis on Foucault's many recently published lecture series this book provides an updated, comprehensive presentation of his most important diagnoses, his many ground-breaking analytical concepts as well as a systematic account of his unique conception of philosophy.

We study the algorithmic complexity of isomorphic embeddings between computable structures.

We argue that the trend toward providing users with feasible and actionable explanations of AI decisions—known as recourse explanations—comes with ethical downsides. Specifically, we argue that recourse explanations face several conceptual pitfalls and can lead to problematic explanation hacking, which undermines their ethical status. As an alternative, we advocate that explanations of AI decisions should aim at understanding.

In his Treatise, Hume confronted the tensions between his project of uncovering the causal operations of the human mind and the extreme skeptical tendencies of his system. Louis Loeb argues that Hume overreaches, and he advances a controversial interpretation of Hume's epistemological framework that shows how Hume could have avoided the more destructive positions in his work.

Hume's claim that a state is a belief is often intertwined—though without his remarking on this fact—with epistemic approval of the state. This requires explanation. Beliefs, in Hume's view, are steady dispositions (not lively ideas), nature's provision for a steady influence on the will and action. Hume's epistemic distinctions call attention to circumstances in which the presence of conflicting beliefs undermine a belief's influence and thereby its natural function. On one version of this interpretation, to say that a belief is (...) justified, ceteris paribus, is to say that for all that has been shown the belief would be steady in its influence under suitable reflection. On a second version, it is to say that prima facie justification is an intrinsic property of the state, in virtue of its steadiness. These versions generate different understandings of the relationship between Parts iii and iv of Book I of the Treatise. (shrink)

A dialogue between a foreign philosopher and a powerful statesman outline Plato's reflections on the family, the status of women, property rights, and criminal law.

We combine computable structure theory and algorithmic learning theory to study learning of families of algebraic structures. Our main result is a model-theoretic characterization of the learning type InfEx_\iso, consisting of the structures whose isomorphism types can be learned in the limit. We show that a family of structures is InfEx_\iso-learnable if and only if the structures can be distinguished in terms of their \Sigma^2_inf-theories. We apply this characterization to familiar cases and we show the following: there is an infinite (...) learnable family of distributive lattices; no pair of Boolean algebras is learnable; no infinite family of linear orders is learnable. (shrink)

The Anthropocene is heralded as a new epoch distinguishing itself from all foregoing eons in the history of the Earth. It is characterized by the overarching importance of the human species in a number of respects, but also by the recognition of human dependence and precariousness. A critical human turn affecting the human condition is still in the process of arriving in the wake of an initial Copernican Revolution and Kant's ensuing second Copernican Counter-revolution. Within this landscape, issues concerning the (...) human - its finitude, responsiveness, responsibility, maturity, auto-affection and relationship to itself - appear rephrased and re-accentuated as decisive probing questions. In this book Sverre Raffnsøe explores how the change has ramifications for the kinds of knowledge that can be acquired concerning human beings and for the human sciences as a study of human existential beings in the world. (shrink)

Qu'appelons-nous " modernité "? Cette question est travaillée selon une triple orientation philologique, épistémologique et historique, en prenant pour fils conducteurs l'auto-énonciation du sujet, la constitution du " nous " communautaire, l'aporie de l'institution judiciaire. L'interprétation défendue pose que les processus opposés du devenir-citoyen du sujet et du devenir-sujet du citoyen en viennent à se recouvrir. C'est aussi le moment où le rapport du commun à l'universel devient un écart politique au sein de l'universel lui-même. Le " jugement des autres (...) " doit être rapporté à un " jugement de soi-même " attestant pour chacun sa propre normalité. Dès lors, l'humain ne peut coïncider avec l'institution du politique qu'à la condition de se retrancher de soi-même, dans la forme des " différences anthropologiques ". Le citoyen-sujet ne peut se comprendre indépendamment de son envers, qui le conteste et le défie. (shrink)