Antigen presentation to CD8+ T cells by MHC class I molecules is essential for host defense against viral infections. Various mechanisms have evolved in multiple viruses to escape immune surveillance and defense to support viral proliferation in host cells. Through in vitro SARS‐CoV‐2 infection studies and analysis of COVID‐19 patient samples, we found that SARS‐CoV‐2 suppresses the induction of the MHC class I pathway by inhibiting the expression and function of NLRC5, a major transcriptional regulator of MHC (...) class='Hi'>class I genes. In this review, we discuss the molecular mechanisms for suppression of the MHC class I pathway and clinical implications for COVID‐19. (shrink)

The present "philological commentary" is directed at those who have decided to take time for reading the original text, at least in an English translation. The first volume "Textual Criticism" is intended to meet the difficulties caused by the fact that our text editions are based on manuscripts separated from the original by more than a millennium.

The expression of products encoded by the major histocompatibility complex (MHC) on tumor cells has recently been studied extensively. It has been found that many malignant tumor cells have their MHC antigens ‘switched‐off’ but that these antigens are re‐expressed following DNA‐mediated gene transfer, with increased tumor immunogenicity as a result and the consequence that these ‘transformed’ tumor cells are rejected in vivo.: This review will discuss approaches that have been taken to induce strong tumor‐specific immunity by the manipulation of MHC (...) expression on tumor cells. (shrink)

Objective Apeiron was founded in 1966 and has developed into one of the oldest and most distinguished journals dedicated to the study of ancient philosophy, ancient science, and, in particular, of problems that concern both fields. Apeiron is committed to publishing high-quality research papers in these areas of ancient Greco-Roman intellectual history; it also welcomes submission of articles dealing with the reception of ancient philosophical and scientific ideas in the later western tradition. The journal appears quarterly. Articles are peer-reviewed on (...) a double-blind basis. Topics ancient philosophy ancient science reception of ancient philosophical and scientific ideas in the later western tradition Article formats Original Articles. (shrink)

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto (...) major models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)

The work is an attempt to assess individual capabilities of children to predict a sensor flow structure and to identify the parameters that contribute to an effective formation of a child’s mental picture of the external environment. For this experiment, a method has been developed, in which fractal stream of signals has a structure, where the same signals flow is repeated twice. The subjects were children 5-7-year-old. They made up three groups: children attending a kindergarten, a group of early development (...) center, and a group of children with speech problems. It is shown that for preschoolers it is difficult to perform tasks involving inhibitory processes due to immaturity of the frontal lobes of their brains. Despite the fact that the children with speech problem have physiological characteristics that impair overall learning, they are more efficient and more resilient performing learned cognitive tasks. The ability to predict the fractal structure of the sensory stream by 5-7-year-old children depends both of their physiological capabilities and the special work of the adult, aimed at the development of individual-psychological characteristics of the child. (shrink)

The logic of a physical system consists of the elementary observables of the system. We show that for chaotic systems the logic is not any more the classical Boolean lattice but a kind of fuzzy logic which we characterize for a class of chaotic maps. Among other interesting properties the fuzzy logic of chaos does not allow for infinite combinations of propositions. This fact reflects the instability of dynamics and it is shared also by quantum systems with diagonal singularity. (...) We also generalize the fuzzy implication to a probabilistic implication following the hint of von Neumann. In this way we can evaluate the probability of the validity of the logical inference. (shrink)

Observations on the morphological and functional similarity between embryonic or trophoblast tissues and tumors are very old. Over a period of time many investigators have created different hypotheses on the origin of cancerogenesis or tumor efficiency in relation to the host immune system. Some of these ideas have been rejected but many of them are still current. A presumption of the inefficiency of anti-tumor immunity in mammals due to the high similarity between trophoblast and embryonic cells to tumor cells is (...) very real. The mechanisms for the escape of tumors from the immune response are very similar to the mechanisms for the escape of a fetoplacental unit from the maternal immune response. The similarity between these two mechanisms is so great that any randomness must be banished. At the same time, an incidence of malignant tumors and the types of more frequent tumors in non-mammalian vertebrates is significantly different to that in mammals. Lastly, the mechanisms of anti-tumor immunity in mammals are substantially different from the mechanisms of anti-tumor immunity in other classes of vertebrates. These facts indicate that the immune system of mammals during anti-tumor immune response is tricked by the similarity between tumor cells and trophoblast or other placental cells. From this aspect, our conclusion is that anti-tumor immunity failure in mammals can be defined as an immunoreproductive phenomenon, which is developed under the evolutionary pressure of autoimmunity and reproductive effectiveness. (shrink)

The historical features of the playing of the flute group in the symphony orchestra, the ability of soloists-instrumentalists to be performers of a single group and a single whole among the large composition of members of the symphony orchestra are analyzed. The authors substantiate the expediency of the development of instrumental musicians first of all as orchestra players, and then as solo performers. The aim and the tasks: to analyze the historical development of the ensemble playing of the flute group (...) as part of the symphony orchestra. The tasks of the research are the analysis of publications on this issue and the selection of the necessary components for playing a group of flutes in a symphony orchestra.Research methods: the research methodology consists of the ratio of traditional and modern expedient, ascent from individual to generalized (generalizing principle) from abstract to concrete. Research results: a wide range of research on the musical performance process from the New Age to the present is analyzed. Analysis of new modern concepts of training of instrumental musicians in institutions of higher education is carried out. The European search for new forms is characterized by the search for objective regularities in music education of past centuries, taking into account the modern demand for orchestra players on the European labor market. Discussion. What should come first in the training of an orchestra playerindividual classes or his training in a team. Conclusion. Thus, the analysis of the historical development of the ensemble playing of the flute group in the symphony orchestra allowed us to draw the following conclusions: during the reign of the classicism and romantic styles, an understanding of the necessary components for a symphony orchestra artist in the flute group was formed: a the component of pure vertical and horizontal intonation; a the component to feel the dynamic balance of all participants in the ensemble playing of the flute group as part of the symphony orchestra; a component of the timbre fusion of the flute group and full sounding in different registers; a component understanding in performing strokes in groups of flutes; a component of expressiveness and vivid phrasing of the ensemble playing of a group of flutes as part of a symphony orchestra; a component of metrorhythmic feeling in ensemble playing; a component of the collective understanding of style by a group of flautists in a symphony orchestra. All these components in their unity will allow the group of flutes to sound as a single harmonious whole. (shrink)

We show the undecidability of the equational theories of some classes of BAOs with a non-associative, residuated binary extra-Boolean operator. These results solve problems in Jipsen [9], Pratt [21] and Roorda [22], [23]. This paper complements Andréka-Kurucz-Németi-Sain-Simon [3] where the emphasis is on BAOs with an associative binary operator.

LetA be any nonrecursive set. We define a hierarchy of sets (and a corresponding hierarchy of degrees) that are reducible toA based on bounding the number of queries toA that an oracle machine can make. WhenA is the halting problemK our hierarchy of sets interleaves with the difference hierarchy on the r.e. sets in a logarithmic way; this follows from a tradeoff between the number of parallel queries and the number of serial queries needed to compute a function with oracleK.

This paper is a survey of recent results concerning connections between relation algebras , cylindric algebras and polyadic equality algebras . We describe exactly which subsets of the standard axioms for RA are needed for axiomatizing RA over the RA-reducts of CA3's, and we do the same for the class SA of semi-associative relation algebras. We also characterize the class of RA-reducts of PEA3's. We investigate the interconnections between the RA-axioms within CA3 in more detail, and show that (...) only four implications hold between them . In the other direction, we introduce a natural CA-theoretic equation MGR+, generalization of the well-known Merrry-Go-Round equation MGR of CA-theory. We show that MGR+ is equivalent to the RA-reduct being an SA, and that MGR+ implies that the RA-reduct determines the algebra itself, while MGR is not sufficient for either of these to hold. Then we investigate how different CA's a single RRA can 'generate' in the general case. We solve the first part of Problem 11 from the 'Problem Session Paper' of [2].While proving some of the statements, for others we give only outline of proof. The paper contains several open problems. A full version of this paper is under preparation.Keywords: relation algebras, cylindric algebras, polyadic algebras, algebraic logic, arrow logic, proof theory, finite variable fragments, provability with 3 variables, non-finitizability, twisting, non-standard models, neat reducts, representability. (shrink)

A new class of visuomotor neuron has been recently discovered in the monkey’s premotor cortex: mirror neurons. These neurons respond both when a particular action is performed by the recorded monkey and when the same action, performed by another individual, is observed. Mirror neurons appear to form a cortical system matching observation and execution of goal-related motor actions. Experimental evidence suggests that a similar matching system also exists in humans. What might be the functional role of this matching system? (...) One possible function is to enable an organism to detect certain mental states of observed conspecifics. This function might be part of, or a precursor to, a more general mind-reading ability. Two different accounts of mind-reading have been suggested. According to “theory theory‘, mental states are represented as inferred posits of a naive theory. According to “simulation theory‘, other people’s mental states are represented by adopting their perspective: by tracking or matching their states with resonant states of one’s own. The activity of mirror neurons, and the fact that observers undergo motor facilitation in the same muscular groups as those utilized by target agents, are findings that accord well with simulation theory but would not be predicted by theory theory. (shrink)

A transnational capitalist class has emerged as that segment of the world bourgeoisie that represents transnational capital, the owners of the leading worldwide means of production as embodied in the transnational corporations and private financial institutions. The spread of TNCs, the sharp increase in foreign direct investment, the proliferation of mergers and acquisitions across national borders, the rise of a global financial system, and the increased interlocking of positions within the global corporate structure, are some empirical indicators of the (...) transnational integration of capitalists. The TCC manages global rather than national circuits of accumulation. This gives it an objective class existence and identity spatially and politically in the global system above any local territories and polities. The TCC became politicized from the 1970s into the 1990s and has pursued a class project of capitalist globalization institutionalized in an emergent transnational state apparatus and in a "Third Way" political program. The emergent global capitalist historic bloc is divided over strategic issues of class rule and how to achieve regulatory order in the global economy. Contradictions within the ruling bloc open up new opportunities for emancipatory projects from global labor. (shrink)

Using a combinatorial theorem of Herwig on extending partial isomorphisms of relational structures, we give a simple proof that certain classes of algebras, including Crs, polyadic Crs, and WA, have the `finite base property' and have decidable universal theories, and that any finite algebra in each class is representable on a finite set.

Tarski 1968 makes a move in the course of providing an account of ?definitionally equivalent? classes of algebras with a businesslike lack of fanfare and commentary, the significance of which may accordingly be lost on the casual reader. In ?1 we present this move as a response to a certain difficulty in the received account of what it is to define a function symbol (or ?operation symbol?). This difficulty, which presents itself as a minor technicality needing to be got around (...) especially for the case of symbols for zero-place functions (for ?distinguished elements?), has repercussions?not widely recognised?for the account of functional completeness in sentential logic. A similarly stark comment in Church 1956 reveals an appreciation of this difficulty, though not every subsequent author on the topic has taken the point. We fill out this side of the picture in ?2. The discussion of functional completeness in ?2 is supplemented by some remarks on what is involved in defining a connective, which have been included in an Appendix. The emphasis throughout is on conceptual clarification rather than on proving theorems, and the main body of the paper may be regarded as an elaboration on the remarks just mentioned by Tarski and Church. The Appendix (?3) is intended to be similarly clarificatory, though this time with some corrective intent, of remarks made in and about Makinson 1973. (shrink)

An analogy between functional dependencies and implicational formulas of sentential logic has been discussed in the literature. We feel that a somewhat different connexion between dependency theory and sentential logic is suggested by the similarity between Armstrong's axioms for functional dependencies and Tarski's defining conditions for consequence relations, and we pursue aspects of this other analogy here for their theoretical interest. The analogy suggests, for example, a different semantic interpretation of consequence relations: instead of thinking ofB as a consequence of (...) a set of formulas {A1,...,A n} whenB is true on every assignment of truth-values on which eachA i is true, we can think of this relation as obtaining when every pair of truth-value assignments which give the same truth-values toA 1, the same truth-values toA 2,..., and the same truth-values toA n, also make the same assignment in respect ofB. We describe the former as the consequence relation inference-determined by the class of truth-value assignments (valuations) under consideration, and the latter as the consequence relation supervenience-determined by that class of assignments. Some comparisons will be made between these two notions. (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)

Behind the economic turbulence and political transformations of recent decades is the transition from the nationstate phase of world capitalism to a new transnational phase. While many detractors of globalization focus on global trade, the process is driven by the transnationalization of capital ownership, which in turn leads to the rise of a transnational bourgeoisie that sits at the apex of the global order. Parallel to the transatlantic and transpacific integration of capital there has been an integration of Southern capitalists (...) into the emergent system of transnational capital. A transnational hegemony is replacing a declining U. S. hegemony, although supra-national structures are still not capable of providing the economic regulation and political conditions for global capitalism to function smoothly. In this period of extraordinary conflict, upheaval, and uncertainty, the role of popular classes will be crucial. But their struggles must take on a transnational perspective and engage in transnational organizing. (shrink)

Han Fei was a fierce general in the anti-Confucian struggle of the late Warring States period and was also an outstanding pre-Ch'in Legalist theoretician. Han Fei Tzu, this piece of writing, which was critical of Confucius and full of a violently militant spirit, vividly recorded the course of the difficult combat of the landowning class which led to its victory over the slave-owning class. It summed up the historical experience of the struggle between the Confucian and Legalist lines (...) during the Spring and Autumn and Warring States periods and expounded the theoretical foundation for establishing the unified, centralized feudal state. It was a work that crystallized Legalist thought. If we want to thoroughly criticize the doctrines of Confucius and Mencius advertised by Lin Piao, scientifically analyze the progressive role of the Legalists in history, and critically sum up the historical experience of the Legalists' criticism of Confucius, then it is helpful to make a modest study of Han Fei Tzu from the point of view of class analysis. (shrink)

A system of description, identification and classification of factors determining driving style is proposed in the article; stable and variable factors determining driving style are studied. Driving style is analyzed within the framework of structural approach. The variable factor are: specifications and technical condition of the vehicle, class of the car, its prestige, training of the driver, social regulators, features of the road environment, psychophysiological condition of the driver. The stable factors are: individual-typological properties, the level of suitability for (...) driver”s activities, personal features of a driver and sources of activity. Five main characteristics of driving style are selected and presented: safety-risk, confidence with parking, relation to the means of security; planning-impulsivity; driving culture. There are results of empirical research directed on discovery of relationship between styles of driving activities as one characteristic of driving style, emotions typical for driver while driving and accidents. Increase of safety as a result of planning style of activities is shown. The paper offers direction of work for optimizing driving style: the formation of compensating planning style of activities, psychotherapeutic work, modeling training, psychological selection, training and education work in driving schools. (shrink)

The study considers the development of methods for detecting anomalous network connections based on hybridization of computational intelligence methods. An analysis of approaches to detecting anomalies and abuses in computer networks. In the framework of this analysis, a classification of methods for detecting network attacks is proposed. The main results are reduced to the construction of multi-class models that increase the efficiency of the attack detection system, and can be used to build systems for classifying network parameters during the (...) attack. A model of an artificial immune system based on an evolutionary approach, an algorithm for genetic-competitive learning of the Kohonen network and a method of hierarchical hybridization of binary classifiers with the addition to the detection of anomalous network connections have been developed. The architecture of the network distributed attack detection system has been developed. The architecture of the attack detection system is two-tier: the first level provides the primary analysis of individual packets and network connections using signature analysis, the second level processes the processing of aggregate network data streams using adaptive classifiers. A signature analysis was performed to study network performance based on the Aho-Korasik and Boyer-Moore algorithms and their improved analogues were implemented using OpenMP and CUDA technologies. The architecture is presented and the main points of operation of the network attack generator are shown. A system for generating network attacks has been developed. This system consists of two components: an asynchronous transparent proxy server for TCP sessions and a frontend interface for a network attack generator. The results of the experiments confirmed that the functional and non-functional requirements, as well as the requirements for computing intelligent systems, are met for the developed attack detection system. (shrink)

The relevance of gravitational boundary degrees of freedom and their dynamics in gravity quantization and black hole information has been explored in a series of recent works. In this work we further progress by focusing keenly on the genuine gravitational boundary degrees of freedom as the origin of black hole entropy. Wald’s entropy formula is scrutinized, and the reason that Wald’s formula correctly captures the entropy of a black hole examined. Afterwards, limitations of Wald’s method are discussed; a coherent view (...) of entropy based on boundary dynamics is presented. The discrepancy observed in the literature between holographic and Wald’s entropies is addressed. We generalize the entropy definition so as to handle a time-dependent black hole. Large gauge symmetry plays a pivotal role. Non-Dirichlet boundary conditions and gravitational analogues of Coleman-De Luccia bounce solutions are central in identifying the microstates and differentiating the origins of entropies associated with different classes of solutions. The result in the present work leads to a view that black hole entropy is entanglement entropy in a thermodynamic setup. (shrink)

Under the conditions of the revolution in science and technology, of tremendous social changes, of the tempestuous and significant growth in the prestige of scientific knowledge, and of the exacerbation of the ideological struggle, there has been an immeasurable broadening of the social tasks and spheres of operation of such social phenomena as scientific criticism and self-criticism. Study of social, theoretical, and psychological cross-sections of these phenomena is one of the necessary conditions for cultivating lofty civic qualities, a communist world-view, (...) and the moral and aesthetic improvement of the individual. Special attention is directed to the socializing function of criticism and self-criticism in the Program of the CPSU, the materials of the Twenty-fourth Congress of the CPSU, and the resolutions of the Central Committee of the CPSU "On Literary and Artistic Criticism" and "On the State of Criticism and Self-Criticism in the Tambov Regional Party Organization." Scientific criticism reveals the extent to which the results or processes of practical activity are in accord with communist ideals and to what degree the moral and aesthetic norms of individuals and collectives are an expression of proletarian and general human culture. This is a distinctive intellectual and theoretical form of solution of social contradictions. Criticism is organically interwoven into theoretical and practical human activity. It breaks down old and established social traditions and customary values and impels human thought to undertake scientific quests. It does not permit society to content itself merely with its past triumphs. Scientific criticism arouses and cultivates class consciousness and provides an evaluation of social phenomena from the standpoint of the progressive class. Under the conditions of developed socialist society, criticism and self-criticism become an active means for improving ideological, political, and educational work, the development of the toilers' creative capacities, and activation of the sociopolitical and intellectual life of society. (shrink)

Using a combinatorial theorem of Herwig on extending partial isomorphisms of relational structures, we give a simple proof that certain classes of algebras, including Crs, polyadic Crs, and WA, have the `finite base property' and have decidable universal theories, and that any finite algebra in each class is representable on a finite set.

The Stoics maintained that virtue was the only good; everything else, therefore, was not-good. On the other hand, regarded by itself, this huge class was not equally valueless. Vice, of course, was bad; but everything else was thought to be ‘indifferent’: wealth, health, for example; indifferent, that is, with regard to the summum bonum. Of these Intermediates, men, from human nature, had a leaning to some; these were , had value, were called , that is, preferred, and virtue itself (...) lay in choice exercised among them. (shrink)

The Stoics maintained that virtue was the only good; everything else, therefore, was not-good. On the other hand, regarded by itself, this huge class was not equally valueless. Vice, of course, was bad; but everything else was thought to be ‘indifferent’: wealth, health, for example; indifferent, that is, with regard to the summum bonum. Of these Intermediates, men, from human nature, had a leaning to some; these were, had value, were called, that is, preferred, and virtue itself lay in (...) choice exercised among them. (shrink)

We ordinarily speak of being able to see that there are people on the bus, Students in the class, And children playing in the street. If human beings are understood to be conscious entities, Then one of our ways of knowing that there are other conscious entities in the world besides ourselves is by seeing that there are. We also speak of seeing that he is angry, She is depressed, And so on. It is argued that this is, Indeed, (...) One way of knowing that there are other minds (and, Hence, That the problem of other minds is not a special epistemological problem). What helps to obscure this fact is the confusion between visibility and knowability--The confusion between seeing his pain and seeing that he is in pain. (shrink)

In the heroic chronicle of Russia's revolutionary movement, the Decembrists - representatives of the first stage of that movement - hold a special place. The boldness of the initiative they displayed, the self-sacrifice of the heroes who rose in struggle against the autocracy, the at least partly conscious intention of creating - albeit at the price of their own lives! - a historic precedent: all this compels one to look closely at the moral content of their activity. The significance of (...) the moral factor in the historical experience of Decembrism is determined by yet another noteworthy circumstance: the finest members of the nobility were rising against the privileges of their own class. This feature was noted by Herzen when he wrote that this movement included members of the wealthiest and most famous noble families of Russia, and that "Pestel' proposed to them that they seek, even at the cost of their lives, the expropriation of their own estates.". (shrink)

The laws of social development are objective in content and, in contrast to the laws of nature, are manifested and function only through the activity of human beings. The development of all spheres of human activity, in turn, cannot be conceived of as independent of the will, consciousness, moods and beliefs, propensities and preferences of human beings, nor as independent of the effectiveness of forms of social organization, etc. The social specificity of laws of social development in turn defines another (...) feature of these laws, namely, their statistical nature. History and social practice persuasively demonstrate that the laws of social development in turn defines another feature of these laws, namely, their statistical nature. History and social practice persuasively demonstrate that the laws of social development, functioning either in all socioeconomic formations or in only some of them , or laws operating within only one of these formations are of a statistical nature. Even when the conditions of life of societies within a particular socioeconomic formation are the same, the results of the operation of any law of social development are never absolutely identical. This is graphically evident in an analysis of the operation of the law of surplus value, the laws of class struggle, or the law of social revolution, especially its operation under the conditions of the contemporary world revolutionary process. We need only point out the variety of nuances in the ultimate results of the operation of the law of social revolution after the Second World War, when socialist countries and countries with a socialist orientation emerged. (shrink)

We illustrate, with three examples, the interaction between boolean and modal connectives by looking at the role of truth-functional reasoning in the provision of completeness proofs for normal modal logics. The first example (§ 1) is of a logic (more accurately: range of logics) which is incomplete in the sense of being determined by no class of Kripke frames, where the incompleteness is entirely due to the lack of boolean negation amongst the underlying non-modal connectives. The second example (§ (...) 2) focusses on the breakdown, in the absence of boolean disjunction, of the usual canonical model argument for the logic of dense Kripke frames, though a proof of incompleteness with respect to the Kripke semantics is not offered. An alternative semantic account is developed, in terms of which a completeness proof can be given, and this is used (§ 3) in the discussion of the third example, a bimodal logic which is, as with the first example, provably incomplete in terms of the Kripke semantics, the incompleteness being due to the lack of disjunction (as a primitive or defined boolean connective). (shrink)

Using in-depth interviews with women in the Puerto Rican community of Chicago, this article explores how migration emerged as a strategy for families across class backgrounds and how gender relations within the family mediate the migration of married working-class and middle-class Puerto Rican women. The women who followed their husbands to Chicago participated in another form of labor migration, since some wives joined their husbands in the paid economy and those who did not contributed with the reproductive (...) work that supported their husbands and families. This article also explores how Puerto Rican women confront the basic duality of reproductive and productive work. (shrink)

Muslim physicians and Islamic jurists analyze the moral dimensions of biomedicine using different tools and processes. While the deliberations of these two classes of experts involve judgments about the deliverables of the other's respective fields, Islamic jurists and Muslim physicians rarely engage in discussions about the constructs and epistemic frameworks that motivate their analyses. The lack of dialogue creates gaps in knowledge and leads to imprecise guidance. In order to address these discursive and conceptual gaps we describe the sources of (...) knowledge and reasoning employed by Islamic jurists and clinicians to resolve the question of when a patient must seek healthcare. As we examine both the scriptural evidence and legal reasoning of jurists and the types of medical evidence used by clinicians to address the same question, we draw attention to the epistemic frameworks and constructs at play and identify how constructs from one field may sharpen the deliberative exercises of the other. Hence our work advances discourses at the intersection of Islam and medicine and offers building blocks for a comprehensive Islamic framework that fully integrates the deliverables of medical science within the deliberations of Islamic jurists. (shrink)