In our paper “A general characterization of the variable-sharing property by means of logical matrices”, a general class of so-called “Relevant logical matrices”, RMLs, is defined. The aim of this paper is to define a class of simpler Relevant logical matrices RMLs′serving the same purpose that RMLs, to wit: any logic verified by an RML′has the variable-sharing property and related properties predicable of the logic of entailment E and of the logic of relevance R.

In this article we show that it is possible to completely classify the degrees of r.e. bases of r.e. vector spaces in terms of weak truth table degrees. The ideas extend to classify the degrees of complements and splittings. Several ramifications of the classification are discussed, together with an analysis of the structure of the degrees of pairs of r.e. summands of r.e. spaces.

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing (...) the Pudlák–Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor generating p-points which are k-arrow but not \-arrow, and in a partial order of Blass producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of n many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra \\). If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space’s associated ultrafilter have the structure exactly \. In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template. (shrink)

Ventricular Fibrillation is responsible for a majority of sudden cardiac death, but little is known about how ventricular tachycardia (VT) degenerates into ventricular fibrillation. Several clinical studies focused only on preventing VT with a class III antiarrhythmic drug resulted in many deaths. Our simulations investigate the interactions between an antiarrhythmic drug likely to suppress a VT and a Figure 8 reentry. A parameter AAR is introduced to increase the action potential duration and therefore simulate various Class III drugs. (...) Simulations are ran under several conditions (phases of the reentry, values of AAR, durations). They show that a VT can be suppressed whatever the phase of the reentry but it strongly depends on the duration of the effect. It confirms that a drug which can suppress a reentry can also worsen it. It also shows a great variety of activation patterns and thus the complexity of antiarrhythmic drugs effects. Simulations also demonstrate that suppressing VT is an increasing function of AAR. (shrink)

MATERIALISTS claim that in principle mentality could be accounted for entirely by properties of matter. They must, of course, clarify, as far as possible, the precise scope of the concept "properties of matter." According to materialists there exists only one type of "substance" in the universe, namely matter. Sophisticated experimental and theoretical analyses have led contemporary physicists to interpret known material entities as being composed of two classes of elementary particles, namely quarks and leptons and constituents of interaction fields that (...) mediate interactions between some or all of the elementary particles and which comprise photons, gluons, intermediate bosons and gravitons. For instance, protons and neutrons are composed--by hypothesis--of quarks, while electrons are probably the most familiar leptons. Whether any analyzed and postulated elementary particles and constituents of interaction fields are "ultimate" components of matter can never be known. It remains always possible that more basic subcomponents of known components will be discovered. This has happened repeatedly throughout the history of physics. Hence, what physicists understand by the "physical properties" of the basic components of matter must always remain expressed in terms of usually intricate hypothetico-deductive theories which are tentative and fallible. Contemporary relativistic quantum mechanics of elementary particles and of interaction fields provide typical examples of such hypothetico-deductive theories relating to present known basic components of matter. (shrink)

Taxometric analyses were applied to the construct of psychopathy (as measured by the Psychopathy Checklist) and to several variables reflecting antisocial childhood, adult criminality, and criminal recidivism. Subjects were 653 serious offenders assessed or treated in a maximum-security institution. Results supported the existence of a taxon underlying psychopathy. Childhood problem behaviors provided convergent evidence for the existence of the taxon. Adult criminal history variables were continuously distributed and were insufficient in themselves to detect the taxon.

Rising social, political and economic inequality in many countries, and rising protest against it, has seen the restoration of the concept of 'class' to a prominent place in contemporary anthropological debates. A timely intervention in these discussions, this book explores the concept of class and its importance for understanding the key sources of that inequality and of people's attempts to deal with it. Highly topical, it situates class within the context of the current economic crisis, integrating elements (...) from today into the discussion of an earlier agenda. Using cases from North and South America, Western Europe and South Asia, it shows the - sometimes surprising - forms that class can take, as well as the various effects it has on people's lives and societies. (shrink)

An extension of the Quantified Propositional Calculus1 obtained by the addition of two binary propositional functions is put forward as an inheritor of E. Schröder's “Algebra der Logik”. The formal system is itself not new, in fact it forms part of A. P. Morse's “A Theory of Sets”; although the latter is considered as a first-order system. Since the additional propositional functions are not invariant under the logical biconditional, this system–and many others naturally obtained from it–give us a collection of (...) examples of non-standard, but mathematically meaningful, propositional systems. (shrink)

Let be the class of frames satisfying the condition.

In the human sciences, experimental research is used to establish causal relationships. However, the extrapolation of these results to the target population can be problematic. To facilitate extrapolation, we propose to use the statistical technique Latent Class Regression Analysis in combination with the analogical reasoning theory for extrapolation. This statistical technique can identify latent classes that differ in the effect of X on Y. In order to extrapolate by means of analogical reasoning, one can characterize the latent classes by (...) a combination of features, and then compare these features to features of the target. (shrink)

This edition of G. E. Moore's notes taken at Wittgenstein's seminal Cambridge lectures in the early 1930s provides, for the first time, an almost verbatim record of those classes. The presentation of the notes is both accessible and faithful to their original manuscripts, and a comprehensive introduction and synoptic table of contents provide the reader with essential contextual information and summaries of the topics in each lecture. The lectures form an excellent introduction to Wittgenstein's middle-period thought, covering a broad range (...) of philosophical topics, ranging from core questions in the philosophy of language, mind, logic, and mathematics, to illuminating discussions of subjects on which Wittgenstein says very little elsewhere, including ethics, religion, aesthetics, psychoanalysis, and anthropology. The volume also includes a 1932 essay by Moore critiquing Wittgenstein's conception of grammar, together with Wittgenstein's response. A companion website offers access to images of the entire set of source manuscripts. (shrink)

This thoughtful, learned, well-written, extensively illustrated, and heavily documented study deserves to be regarded as a landmark in art history. Traditional art history has dealt for the most part with the “fine arts” (chiefly painting, drawing, sculpture, and architecture), whereas other human creations that take physical form (such as furniture, ceramics, textiles, and metal and glass items), whether utilitarian or decorative (or both at once), are considered “craft” or “applied art” and are studied by folklorists, anthropologists, and archaeologists and often (...) displayed in different museums. Cooke wishes to break down this “hierarchical taxonomy,” this “fragmented, hierarchical field,” that emerged from Western Europe's “misunderstanding of art,” which valued “the cerebral over the manual.” His goal, in other words, is to outline “a more inclusive human history of art”— “a connected art history.” This phrase from his subtitle refers not simply to connecting “fine art” with “applied art” but also to crossing temporal and regional boundaries. Still another act of connecting is to examine all parts of an object's life history, and thus the three main divisions of the book deal with the making of objects, their circulation from one person and place to another (and “their ability to transmit ideas” in the process), and their meaning for the persons who possessed or encountered them.Over the years I have repeatedly said that all objects made by human beings are worthy of preservation and study because they bring us into direct contact with the past and, as part of our surroundings, affect our thoughts in the present. Every object, I have argued, including copies of a single printed edition of a book (so-called duplicates), is an independent witness to the past. I am particularly pleased, therefore, to welcome a major book that explores in detail, with a wealth of examples from many centuries and cultures, the place of objects in human history. Cooke's pursuit is “object-driven,” beginning with the nature of the materials and finally coming to “the inherent power of the object itself to influence human thought and action.” (Compare the subtitle of Sherry Turkle's 2007 anthology Evocative Objects: Things We Think With.) Cooke's refusal to separate “materials” from “people,” or “technologies” from “values,” reminds me of John Szarkowski's approach to photographs. In Photography until Now (1989), Szarkowski points out that histories of photography generally treat technical matters separately from artistic ones—a split between the “empirical” and the “intuitive” that he finds indefensible, for “these two ways of knowing meet in the process of making things.” He adds, “The meeting can be cordially symbiotic or aggressively competitive, but its resolution defines the character and meaning of the thing that is made.” This statement has been a favorite of mine as an elegant characterization of the nature of art, and it is one that Cooke would clearly agree with.Cooke does not discuss photography, but he makes clear that he is not attempting a “comprehensive history that charts the complete ebb and flow of objects over time.” Rather, his book is meant to be a “suggestive guide” to the “principles of material literacy,” a “kit of tools for future complex constructions of history.” Even so, I find some of the omissions puzzling. Why, for example, are glass objects not taken up, when he so thoroughly deals with other common materials? More serious, in my opinion, is the exclusion of the fine arts. (Of the 215 illustrations, five are of oil paintings and one is of a Japanese print, but they are present only as the sources for information drawn from their pictorial content; one Hogarth engraving is shown because its image was often reproduced on punch bowls; and there is a very brief passage on the “uneasy relationship” between sculpture and material culture, but no sculptures are illustrated or used as examples for discussion.) Presumably Cooke felt it was unnecessary for his book to encompass the fine arts after demonstrating that functional objects are just as sophisticated artistically and culturally as products of the fine arts are. Yet those products also belong to the universe of “entangled objects” (How could they not?), and it would have been illuminating to see them adduced among the examples Cooke cites. One could argue that by excluding them—and by referring to the makers of the objects he does discuss as “artisans” and “craftspeople”—he comes close to reinforcing the division he wishes to eliminate.Less easy to explain is Cooke's omission of books, for they have been one of the largest and most widely circulated classes of utilitarian objects. Most people never think about books as objects, treating them only as disposable receptacles for transmitting verbal texts in tangible form (which is why so many books are destroyed when their texts supposedly become available in another form). Such people do not realize that texts have connections with their physical embodiments. (For example, books, whether manuscript or printed, often contain clues revealing how their texts were affected by the production process; and readers’ attitudes toward texts can be influenced by their presentation.) Cooke, however, with his deep understanding of the way objects function and his impressive knowledge of the scholarship, cannot be one of these uninformed people. He would obviously be aware of the vast literature devoted to leather and cloth bookbindings and their decoration, as well as to the myriad styles of letters and the varieties of paper and parchment; he would also know how letterforms and binding designs reflect a complex interplay of social, political, and artistic forces. Bibliographers have long studied books as Cooke advocates studying other objects: “working from the inside out,” beginning with the evidence in books themselves for reconstructing the routines that were followed in their creation. And book historians are recognizing the necessity for an international approach like Cooke's, since many of the books circulating in one country originated in other countries. Books would have been a prolific additional source for illustrating Cooke's analyses.My admiration for Cooke's book is not altered by these few disappointments. Even without discussions of paintings, sculptures, and books, it is still exhilarating in its scope and depth. One hopes that art and material-culture historians will pay attention to it. But it ought to have a wider audience, for the daily lives of all of us would be enriched by a greater appreciation of the objects that make up a significant part of our environment. (shrink)

John Bell showed that a big class of local hidden-variable models stands in conflict with quantum mechanics and experiment. Recently, there were suggestions that empirically adequate hidden-variable models might exist which presuppose a weaker notion of local causality. We will show that a Bell-type inequality can be derived also from these weaker assumptions. IntroductionThe EPR-Bohm experimentLocal causalityBell's inequality from separate common causes4.1 A weak screening-off principle4.2 Perfect correlation and ‘determinism’4.3 A minimal theory for spins4.4 No conspiracyDiscussion.

This paper discusses the surprising resurgence in the fortunes of the British eugenics movement in the 1930s. It is argued that although mass unemployment may in the long run have discredited that version of eugenics in which social dependence and destitution were attributed to genetic defect, in the short run the Depression was often perceived as a vindication of the eugenical creed. In particular, the attempt to reduce the fertility of the unemployed by popularising birth control techniques, and the voluntary (...) sterilization campaign aimed at preventing the propagation of defectives from the so-called Social Problem Group, satisfied the urge felt by many conservative members from the professional classes to respond creatively to the country's crisis, without endangering existing social and economic institutions. It is also shown that not until 1938 did events in Germany cause substantial damage to the cause of eugenics in Britain. In fact, the ‘German experiment’ was actually greeted with approval by certain British eugenists of an authoritarian cast of mind. However, the Society as a whole never identified with these right-wing extremists, thanks in part to the moderating influence exercised by its General Secretary, Dr. C. P. Blacker, whose prime concern was with psycho-medical problems likely to concern people of all party persuasions. (shrink)

The study of continuous group actions is ubiquitous in mathematics, and perhaps the most general kinds of actions for which we can hope to prove theorems in just ZFC are those where a Polish group acts on a Polish space.For this general class we can find works such as [29] that build on ideas from ergodic theory and examine actions of locally compact groups in both the measure theoretic and topological contexts. On the other hand a text in model (...) theory, such as [12], will typically consider issues bearing on the actions by the symmetric group of all permutations of the integers. More generally [1] shows that the orbit equivalence relations induced by closed subgroups of the infinite symmetric group can be reduced to the isomorphism relation on corresponding classes of countable models.This paper considers a third category formed by the continuous actions of separable Banach spaces on Polish spaces. These examples cannot be subsumed under the two earlier headings, and it is known from [10] that theBorel cardinalitiesof the quotient spaces that arise from such actions are incomparable with the equivalence relations induced by the symmetric group or any locally compact Polish group action.One of the first things to be addressed concerns the complexity of these equivalence relations. This question forappears in [1]. (shrink)

In his recent paper, “What a Real Argument is”, Ben Hamby attempts to provide an adequate theoretical account of “real” arguments. In this paper I present and evaluate both Hamby’s motivation for distinguishing “real” from non-“real” arguments and his articulation of the distinction. I argue that neither is adequate to ground a theoretically significant class of “real” arguments, for the articulation fails to pick out a stable proper subclass of all arguments that is simultaneously both theoretically relevant and a (...) proper subclass of all arguments. (shrink)

In [6], Metakides and Nerode introduced the study of the lattice of recursively enumerable substructures of a recursively presented model as a means to understand the recursive content of certain algebraic constructions. For example, the lattice of recursively enumerable subspaces,, of a recursively presented vector spaceV∞has been studied by Kalantari, Metakides and Nerode, Retzlaff, Remmel and Shore. Similar studies have been done by Remmel [12], [13] for Boolean algebras and by Metakides and Nerode [9] for algebraically closed fields. In all (...) of these models, the algebraic closure of a set is nontrivial., is given in §1, however in vector spaces, cl is just the subspace generated byS, in Boolean algebras, cl is just the subalgebra generated byS, and in algebraically closed fields, cl is just the algebraically closed subfield generated byS.)In this paper, we give a general model theoretic setting in which we are able to give constructions which generalize many of the constructions of classical recursion theory. One of the main features of the modelswhich we study is that the algebraic closure of setis just itself, i.e., cl = S. Examples of such models include the natural numbers under equality 〈N, = 〉, the rational numbers under the usual ordering 〈Q, ≤〉, and a large class ofn-dimensional partial orderings. (shrink)

In [Countable thin [Formula: see text] classes, Ann. Pure Appl. Logic 59 79–139], Cenzer, Downey, Jockusch and Shore proved the density of degrees containing members of countable thin [Formula: see text] classes. In the same paper, Cenzer et al. also proved the existence of degrees containing no members of thin [Formula: see text] classes. We will prove in this paper that the c.e. degrees containing no members of thin [Formula: see text] classes are dense in the c.e. degrees. We will (...) also prove that the c.e. degrees containing members of thin [Formula: see text] classes are dense in the c.e. degrees, improving the result of Cenzer et al. mentioned above. Thus, we obtain a new natural subclass of c.e. degrees which are both dense and co-dense in the c.e. degrees, while the other such class is the class of branching c.e. degrees 113–130] for nonbranching degrees and [T. A. Slaman, The density of infima in the recursively enumerable degrees, Ann. Pure Appl. Logic 52 155–179] for branching degrees). (shrink)

In _Violence and Civility_, Étienne Balibar boldly confronts the insidious causes of violence, racism, nationalism, and ethnic cleansing worldwide, as well as mass poverty and dispossession. Through a novel synthesis of theory and empirical studies of contemporary violence, the acclaimed thinker pushes past the limits of political philosophy to reconceive war, revolution, sovereignty, and class. Through the pathbreaking thought of Derrida, Balibar builds a topography of cruelty converted into extremism by ideology, juxtaposing its subjective forms and its objective manifestations. (...) Engaging with Marx, Hegel, Hobbes, Clausewitz, Schmitt, and Luxemburg, Balibar introduces a new, productive understanding of politics as antiviolence and a fresh approach to achieving and sustaining civility. Rooted in the principles of transformation and empowerment, this theory brings hope to a world increasingly divided even as it draws closer together. (shrink)

Starting from the definition of `amorphous set' in set theory without the axiom of choice, we propose a notion of rank (which will only make sense for, at most, the class of Dedekind finite sets), which is intended to be an analogue in this situation of Morley rank in model theory.

Some statements couched in the present tense have no reference to time. They are, if you like, grammatically tensed but logically tenseless. Mathematical statements such as ‘twice two is four’ or ‘there is a prime number between 125 and 128’ are of this sort. So is the statement I have just made. To ask in good faith whether there is still the prime number there used to be between 125 and 128 would be to show that one did not understand (...) the use of such statements, and so would any attempt to answer the question. It is tempting to take another step and talk of such timeless statements as statements about timeless entities. If the number 4 neither continues nor ceases to be twice two this is, surely, because the number 4 has no history of any kind, not even the being a day older today than yesterday. Other timeless statements might shake our confidence in this inference: ‘clocks are devices for measuring time’ is a timeless statement, but it is not about a class of timeless clocks. But, given a preoccupation with a favoured set of examples and a stage of thought at which men did not distinguish the properties of statements from the properties of the things they are about, we can expect timeless entities to appear as the natural proxies of timeless statements. (shrink)

TWENTY QUESTIONS, one of the best selling introduction to philosophy anthologies available today, presents a proven, well-acclaimed forum for introducing students to the rich variety of philosophical reflection. Animated by some of philosophy's more concrete questions--questions that students are likely to have pondered long before signing up for their first philosophy classes--TWENTY QUESTIONS fosters the creative exploration of many renowned classical and contemporary thinkers' responses to the very same questions.

In his 1962 essay ‘Revolutionary Nationalism and the Afro-American,’ Harold Cruse quipped, ‘American Marxists cannot “see” the Negro at all, unless he is storming the barricades, either in the pres...