We study the class of all strongly constructivizable models having $$\omega $$ -stable theories in a fixed finite rich signature. It is proved that the Tarski–Lindenbaum algebra of this class considered together with a Gödel numbering of the sentences is a Boolean $$\Sigma ^1_1$$ -algebra whose computable ultrafilters form a dense subset in the set of all ultrafilters; moreover, this algebra is universal with respect to the class of all Boolean $$\Sigma ^1_1$$ -algebras. This gives a characterization to the Tarski-Lindenbaum (...) algebra of the class of all strongly constructivizable models with $$\omega $$ -stable theories. (shrink)

In this paper, we investigate the Lindenbaum algebra ℒ of the theory T fin = Th of the class M fin of all finite models of a finite rich signature. We prove that this algebra is an atomic Boolean algebra while its Gödel numeration γ is a [Formula: see text]-numeration. Moreover, the quotient algebra /ℱ, γ/ℱ) modulo the Fréchet ideal ℱ is a [Formula: see text]-algebra, which is universal over the class of all [Formula: see text] Boolean algebras. These conditions (...) characterize uniquely the algebra ℒ; moreover, these conditions characterize up to recursive isomorphism the numerated Boolean quotient algebra /ℱ, γ/ℱ). These results extend the work of Trakhtenbrot [17] and Vaught [18] on the first order theory of the class of all finite models of a finite rich signature. (shrink)

Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory is the type spectrum of some homogeneous model of. Their result can be stated as a principle of second order arithmetic, which is called the Homogeneous Model Theorem (HMT), and analyzed from the points of view of computability theory and reverse mathematics. Previous computability theoretic results by Lange suggested a close connection between HMT and the Atomic Model Theorem (AMT), which states (...) that every complete atomic theory has an atomic model. The authors show that HMT and AMT are indeed equivalent in the sense of reverse mathematics, as well as in a strong computability theoretic sense and do the same for an analogous result of Peretyat'kin giving necessary and sufficient conditions for when a set of types is the type spectrum of some model. (shrink)

Much previous study has been done on the degree spectra of prime models of a complete atomic decidable theory. Here we study the analogous questions for homogeneous models. We say a countable model A has a d-basis if the types realized in A are all computable and the Turing degree d can list $\Delta _{0}^{0}$ -indices for all types realized in A. We say A has a d-decidable copy if there exists a model B ≅ A such that the elementary (...) diagram of B is d-computable. Goncharov, Millar, and Peretyat'kin independently showed there exists a homogeneous A with a 0-basis but no decidable copy. We prove that any homogeneous A with a 0'-basis has a low decidable copy. This implies Csima's analogous result for prime models. In the case where all types of the theory T are computable and A is a homogeneous model with a 0-basis, we show A has copies decidable in every nonzero degree. A degree d is 0-homogeneous bounding if any automorphically nontrivial homogeneous A with a 0-basis has a d-decidable copy. We show that the nonlow₂ $\Delta _{2}^{0}$ degrees are 0-homogeneous bounding. (shrink)

We say a countable model ������ has a 0-basis if the types realized in ������ are uniformly computable. We say ������ has a (d-)decidable copy if there exists a model ������ ≅ ������ such that the elementary diagram of ������ is (d-)computable. Goncharov, Millar, and Peretyat'kin independently showed there exists a homogeneous model ������ with a 0-basis but no decidable copy. We extend this result here. Let d ≤ 0' be any low₂ degree. We show that there exists a homogeneous (...) model ������ with a 0-basis but no d-decidable copy. A degree d is 0-basis homogeneous bounding if any homogenous ������ with a 0-basis has a d-decidable copy. In previous work, we showed that the nonlow₂ $\Delta _{2}^{0}$ degrees are 0-basis homogeneous bounding. The result of this paper shows that this is an exact characterization of the 0-basis homogeneous bounding $\Delta _{2}^{0}$ degrees. (shrink)

The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models. This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra (...) and logic and some other researchers (in particular, Nerode and his colleagues). The main themes are the existence of recursive models and applications to fields, algebras, and ordered sets (Ershov), the existence of decidable prime models (Goncharov, Harrington), the existence of decidable saturated models (Morley), the existence of decidable homogeneous models (Goncharov and Peretyat'kin), properties of the Ehrenfeucht theories (Millar, Ash, and Reed), the theory of algorithmic dimension and conditions of autostability (Goncharov, Ash, Shore, Khusainov, Ventsov, and others), and the theory of computable classes of models with various properties. Future perspectives of the theory of constructive models are also discussed. Most of the results in the book are presented in monograph form for the first time. The theory of constructive models serves as a basis for recursive mathematics. It is also useful in computer science, in particular, in the study of programming languages, higher level languages of specification, abstract data types, and problems of synthesis and verification of programs. Therefore, the book will be useful for not only specialists in mathematical logic and the theory of algorithms but also for scientists interested in the mathematical fundamentals of computer science. The authors are eminent specialists in mathematical logic. They have established fundamental results on elementary theories, model theory, the theory of algorithms, field theory, group theory, applied logic, computable numberings, the theory of constructive models, and the theoretical computer science. (shrink)

Millar showed that for each n<ω, there is a complete decidable theory having precisely eighteen nonisomorphic countable models where some of these are decidable exactly in the hyperarithmetic set H. By combining ideas from Millar's proof with a technique of Peretyat'kin, the author reduces the number of countable models to five. By a theorem of Millar, this is the smallest number of countable models a decidable theory can have if some of the models are not 0″-decidable.

In the last five years there have been a number of results about the computable content of the prime, saturated, or homogeneous models of a complete decidable theory T in the spirit of Vaught's "Denumerable models of complete theories" combined with computability methods for degrees d ≤ 0′. First we recast older results by Goncharov, Peretyat'kin, and Millar in a more modern framework which we then apply. Then we survey recent results by Lange, "The degree spectra of homogeneous models," which (...) generalize the older results and which include positive results on when a certain homogeneous model of T has an isomorphic copy of a given Turing degree. We then survey Lange's "A characterization of the 0-basis homogeneous bounding degrees" for negative results about when does not have such copies, generalizing negative results by Goncharov, Peretyat'kin, and Millar. Finally, we explain recent results by Csima, Harizanov, Hirschfeldt, and Soare, "Bounding homogeneous models," about degrees d that are homogeneous bounding and explain their relation to the PA degrees. (shrink)

The essays assembled here are all very early and differ in a number of ways from Bakhtin's previously published work.

Is the science of moral cognition usefully modelled on aspects of Universal Grammar? Are human beings born with an innate 'moral grammar' that causes them to analyse human action in terms of its moral structure, with just as little awareness as they analyse human speech in terms of its grammatical structure? Questions like these have been at the forefront of moral psychology ever since John Mikhail revived them in his influential work on the linguistic analogy and its implications for (...) jurisprudence and moral theory. In this seminal book, Mikhail offers a careful and sustained analysis of the moral grammar hypothesis, showing how some of John Rawls' original ideas about the linguistic analogy, together with famous thought experiments like the trolley problem, can be used to improve our understanding of moral and legal judgement. (shrink)

The use of landscape terminology in the studies of urban memory may seem redundant against the background of the established languages of description and discursive practices of commemoration. Nevertheless, the variety of already identified landscapes and approaches to their study illustrates the heuristic potential of the concept. Firstly, the landscape itself indicates a topography, a nuclear connection with the place. Secondly, a spatial frame is set — be it a city, knowledge or some memories associated with a certain territory. Thirdly, (...) and perhaps most importantly, the landscape makes it possible to connect dissimilar elements into something whole. In the landscape, the policy of memory is surprisingly manifested — what to highlight and place in the foreground, and what is better not to notice and ignore. On the other hand, spontaneous elements associated with the personal memories of residents and urban communities rhizomatically “sprout” through such a design of memory. The article highlights elements of the memorial landscape structure: content, spatial, temporal, communicative-activity and procedural. Its features are demonstrated on the example of two small Russian cities: Inta (Komi Republic, Subpolar Urals) and Kotelnich (Kirov Region); equal in size, but differing in their duration of existence. (shrink)

This book is not only a major twentieth-century contribution to Dostoevsky’s studies, but also one of the most important theories of the novel produced in our century. As a modern reinterpretation of poetics, it bears comparison with Aristotle.“Bakhtin’s statement on the dialogical nature of artistic creation, and his differentiation of this from a history of monological commentary, is profoundly original and illuminating. This is a classic work on Dostoevsky and a statement of importance to critical theory.” Edward Wasiolek“Concentrating on the (...) particular features of ‘Dostoevskian discourse,’ how Dostoevsky structures a hero and a plot, and what it means to write dialogically, Bakhtin concludes with a major theoretical statement on dialogue as a category of language. One of the most important theories of the novel in this century.” The Bloomsbury Review. (shrink)

Rescued in 1972 from a storeroom in which rats and seeping water had severely damaged the fifty-year-old manuscript, this text is the earliest major work (1919-1921) of the great Russian philosopher M. M. Bakhtin. Toward a Philosophy of the Act contains the first occurrences of themes that occupied Bakhtin throughout his long career. The topics of authoring, responsibility, self and other, the moral significance of "outsideness," participatory thinking, the implications for the individual subject of having "no-alibi in existence," the difference (...) between the world as experienced in actions and the world as represented in discourse--all are broached here in the heat of discovery. This is the "heart of the heart" of Bakhtin, the center of the dialogue between being and language, the world and mind, "the given" and "the created" that forms the core of Bakhtin's distinctive dialogism. A special feature of this work is Bakhtin's struggle with the philosophy of Immanuel Kant. Put very simply, this text is an attempt to go beyond Kant's formulation of the ethical imperative. Toward a Philosophy of the Act will be important for scholars across the humanities as they grapple with the increasingly vexed relationship between aesthetics and ethics. (shrink)

Scientists from various disciplines have begun to focus attention on the psychology and biology of human morality. One research program that has recently gained attention is universal moral grammar (UMG). UMG seeks to describe the nature and origin of moral knowledge by using concepts and models similar to those used in Chomsky's program in linguistics. This approach is thought to provide a fruitful perspective from which to investigate moral competence from computational, ontogenetic, behavioral, physiological and phylogenetic perspectives. In this article, (...) I outline a framework for UMG and describe some of the evidence that supports it. I also propose a novel computational analysis of moral intuitions and argue that future research on this topic should draw more directly on legal theory. (shrink)

Adequality, or παρισóτης (parisotēs) in the original Greek of Diophantus 1 , is a crucial step in Fermat’s method of finding maxima, minima, tangents, and solving other problems that a modern mathematician would solve using infinitesimal calculus. The method is presented in a series of short articles in Fermat’s collected works (1891, pp. 133–172). The first article, Methodus ad Disquirendam Maximam et Minimam 2 , opens with a summary of an algorithm for finding the maximum or minimum value of an (...) algebraic expression in a variable A. For convenience, we will write such an expression in modern functional notation as f (a). 3 The algorithm can be broken up into six steps in the following way:Introduce an auxiliary .. (shrink)

This groundbreaking work by one of the world's foremost theoreticians of Russian literature, culture, and thought gives for the first time an extensive and detailed examination of the development of Russian thought during the late Soviet period. Countering the traditional view of an intellectual wilderness under the Soviet regime, Mikhail Epstein offers a systematic account of Russian thought in the second half of the 20th century. In doing so, he provides new insights into previously ignored areas such as Russian (...) liberalism, personalism, structuralism, neo-rationalism, and culturology. Epstein shows how Russian philosophy and culture has long been trapped in an intellectual prison of its own making as it sought to create its own utopia. However, he demonstrates that it is time to reappraise Russian philosophical thought and cultural theory, now freed from the bonds of totalitarianism. We are left with not only a new and exciting interpretation of Russian thought, but also an opportunity to rethink our own intellectual heritage. (shrink)

Although the Bcl‐2 family members and p53 are involved in the regulation of apoptosis, the status of apoptotic machinery (eg caspases) plays a major role in determining the mode and timing of cell death. If the apoptotic machinery is lost, inhibited, or intrinsically inactivated, the “death stars”, Bcl‐2 and p53, may become irrelevant to cell death. In this light, high levels of Bcl‐2 may indicate that downstream apoptotic pathways are still functional. This explains why Bcl‐2 overexpression can be a marker (...) of chemosensitivity and favorable prognosis in certain cancers and why retention of wild‐type p53 may manifest inactivation of caspases in aggressive cancers. BioEssays 23:947–953, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

In this comment on Joshua Greene's essay, The Secret Joke of Kant's Soul, I argue that a notable weakness of Greene's approach to moral psychology is its neglect of computational theory. A central problem moral cognition must solve is to recognize (i.e., compute representations of) the deontic status of human acts and omissions. How do people actually do this? What is the theory which explains their practice?

This article argues that the key elements of the prima facie case of harmful battery may form critical building blocks of moral cognition in both humans and nonhuman animals. By contrast, at least some of the rules and representations presupposed by familiar justifications to battery appear to be uniquely human. The article also argues that many famous thought experiments in ethics and many influential experiments in moral psychology rely on harmful battery scenarios without acknowledging this fact or considering its theoretical (...) or empirical implications. The unifying factor in all these studies is goal-directed harmful contact, inflicted without consent or justification. (shrink)

When is it immoral to take advantage of another person for one's own benefit? For some, such as Ruth Sample, John Roemer, and Will Kymlicka, the answer at least partly depends on whether what one takes advantage of is the fact that this person is, or has been, the victim of injustice. I argue, however, that whether person A wrongly exploits person B is wholly unrelated to whether A takes advantage of the fact that B is, or was, the victim (...) of injustice. I also develop a positive account regarding which personal attributes one should not exploit for personal gain. (shrink)

This article argues that combining elements of the sociological theories of Johann Arnason and Peter Wagner can contribute to an understanding of the causes of the ‘new Cold War’ on the European continent. Comparisons of today’s confrontation between Russia and the West with the original Cold War are largely misleading since the Soviet model of modernity represented a radical alternative to its liberal western version. Unlike the original Cold War, the current ideological confrontation is not connected with a clash of (...) different forms of modernity. Today’s Russia lacks a clear civilizational identity and does not follow an alternative project of modernity. The recent ‘conservative turn’ in Russian politics largely draws on a specific interpretation of European modernity. (shrink)

Darwin’s (1871/1981) observation that evolution has produced in us certain emotions responding to right and wrong conduct that lack any obvious basis in individual utility is a useful springboard from which to clarify the role of emotion in moral judgment. The problem is whether a certain class of moral judgment is “constituted” or “driven by” emotion (Greene, 2008, p. 108) or merely correlated with emotion while being generated by unconscious computations (e.g., Huebner, Dwyer, & Hauser, 2008). With one exception, all (...) of the “personal” vignettes devised by Greene and colleagues (2001, 2004) and subsequently used by other researchers (e.g., Koenigs et al., 2007), in their fMRI and behavioral studies of emotional engagement in moral judgment, involve violent crimes or torts. These studies thus do much more than highlight the role of emotion in moral judgment; they also support the classical rationalist thesis that moral rules are engraved in the mind. (shrink)

Most of the time our utterances are automatically interpreted as speech acts: as assertions, conjectures and testimonies; as orders, requests and pleas; as threats, offers and promises. Surprisingly, the cognitive correlates of this essential component of human communication have received little attention. This book fills the gap by providing a model of the psychological processes involved in interpreting and understanding speech acts. The theory is framed in naturalistic terms and is supported by data on language development and on autism spectrum (...) disorders. Mikhail Kissine does not presuppose any specific background and addresses a crucial pragmatic phenomenon from an interdisciplinary perspective. This is a valuable resource for academic researchers and graduate and undergraduate students in pragmatics, semantics, cognitive linguistics, psycholinguistics and philosophy of language. (shrink)

The article discusses Alexander Bogdanov’s path from his early philosophic work, formed under the influence of Ernst Mach, Richard Avenarius, and Wilhelm Ostwald and dubbed by him “empiriomonism,”...

The Yijing has been used as a book of divination for more than three thousand years in China and still is by some people today. In this book the wisdom of leadership within the framework of the Yijing is used to indicate how a leader should act in different situations, be they good or bad. Critical analysis of the 64 hexagrams, the first of its kind, comes across with lucid explanations of the hexagram statements. Reinterpreted in a logical and scientific (...) manner, this Chinese classic provides modern leaders with food for thought. (shrink)

Philosophy and the young child: the very combination of these words in the title of a book may occasion the reader's surprise, especially when he finds that the book concerns predominantly 4-6 year-olds. But children's philosophizing, the subject of the present essay, is deemed by some authors to be a common and quite natural phenomenon. At the same time, it is extremely difficult to extract this common phenomenon from the shell of the commonplace in which it is enveloped, and to (...) perceive in the flux of a child's perception and awareness of the world that aspect of it which is philosophical thinking. G. B. Matthews' book Philosophy and the Young Child is in our opinion an interesting attempt to deal with this far from simple problem. (shrink)

У статті аналізуються основні концепції походження пятидесятництва. Виявлено, що в західних дослідженнях з історії п'ятидесятництва переважає історико-теологічна концепція генези руху, яка наголошує на теологічному контексті майбутнього руху, вказуючи на трансформації доктринального змісту протестантизму як на ключовий фактор для подальшого розвитку п'ятидесятництва. Важливими вважаються соціальні причини, пов'язані з расовою і гендерною емансипацією. Розпочавшись на маргінесі суспільства, п'ятидесятництво з його акцентом на суб'єктивному духовному досвіді й індивідуальному самовираженні віруючого змогло забезпечити "вищий рівень компенсації", аніж інші течії християнства. На початку XXI століття дослідники (...) наголошують на місіонерському характері п'ятидесятництва та еклезіології, яка повністю пристосована для потреб місіонерства. Здійснене істориками виявлення неамериканських джерел п'ятидесятництва дозволяє теологам краще зрозуміти джерела відкритості руху до місцевих культур. (shrink)

This book provides brief expositions of the central concepts in the field of Global Studies. Former President of the Soviet Union Mikhail Gorbachev says, “The book is intelligent, rich in content and, I believe, necessary in our complex, turbulent, and fragile world.” 300 authors from 50 countries contributed 450 entries. The contributors include scholars, researchers, and professionals in social, natural, and technological sciences. They cover globalization problems within ecology, business, economics, politics, culture, and law. This interdisciplinary collection provides a (...) basis for understanding the concepts and methods within global studies and for accessing lengthier and more technical research in the field. The articles treat such important topics as the biosphere, ozone depletion, land resources and pollution, world health challenges, education, global modeling, sustainable development, war, weapons of mass destruction, and terrorism. The book also promotes academic cooperation, political dialogue, and mutual understanding across diverse traditions and national identities that are needed to engage successfully the many daunting challenges of globalization. (shrink)

In opposition to a common assumption, this paper defends the idea that the auxiliary verb will has no other semantic contribution in contemporary English than a temporal shift towards the future with respect to the utterance time. Strong reasons for rejecting the idea that will quantifies over possible worlds are presented. Given the adoption of Lewis’s and Kratzer’s views on modality, the alleged ‘modal’ uses of will are accounted for by a pragmatic mechanism which restricts the domain of the covert (...) epistemic necessity operator scoping over the sentence. (shrink)

During the Little Ice Age of the early modern centuries, close to a third of the globe’s population perished. Because this period serves as the most recent example of the global impacts of climate change, historians and others interested in developing conceptual and methodological tools for understanding contemporary climate change regularly look to the historiography of the Little Ice Age for direction and inspiration. This article adds to this toolkit by arguing for the place of gender and sexuality in analyses (...) of climate change, something environmental historians have seldom done. It does so through the discussion of a seemingly fantastical account of a young woman who gave birth to an elephant in the Ottoman Empire in the 1640s. Focusing on the experience of one woman, her rape by an elephant from India, the sad fate of her child, and her community’s social and economic hardships shows how individuals both experienced and interpreted the environmental calamities of the Little Ice Age as a species crisis. Her story furthermore analogizes the political fortunes of the Ottoman Empire in a moment of weakness. By connecting the literatures of environmental and natural history, women’s history and histories of sexuality, empire and science, this article centers the roles of women as prime agents of population, history, and culture. (shrink)