We show that there are Π5 formulas in the language of the Turing degrees, [Formula: see text], with ≤, ∨ and ∧, that define the relations x″ ≤ y″, x″ = y″ and so {x ∈ L2 = x ≥ y|x″ = y″} in any jump ideal containing 0. There are also Σ6&Π6 and Π8 formulas that define the relations w = x″ and w = x', respectively, in any such ideal [Formula: see text]. In the language with just ≤ (...) the quantifier complexity of each of these definitions increases by one. For a lower bound on definability, we show that no Π2 or Σ2 formula in the language with just ≤ defines L2 or L2. Our arguments and constructions are purely degree theoretic without any appeals to absoluteness considerations, set theoretic methods or coding of models of arithmetic. As a corollary, we see that every automorphism of [Formula: see text] is fixed on every degree above 0″ and every relation on [Formula: see text] which is invariant under the double jump or under join with 0″ is definable over [Formula: see text] if and only if it is definable in second order arithmetic with set quantification ranging over sets whose degrees are in [Formula: see text]. (shrink)

Part of the ingenious quality of LEGO is that it is a system of play, fundamentally based on interconnecting sets of parts and open‐endedness. Nowadays, themed and specialized LEGO playsets far outnumber the more free‐form building oriented sets we might see on store shelves. Everything from the themed LEGO Space and LEGO City to extensions of the imaginary franchise universes of Star Wars, Harry Potter, and The Simpsons suggest a kind of play experience where purely imagination‐driven building becomes secondary to (...) the kinds of storytelling and narrative play that LEGO playsets encourage. The different kinds of play—LEGO playset building compared to LEGO video game playing—can be thought of as ludus (more structured, goal‐oriented play) and paidia (exuberant, spontaneous free play). LEGO in many ways serves as a helpful analogy for how philosophical thinking can lead people toward new connections between their thoughts and ideas. LEGO and philosophy invite them to question the nature of play. (shrink)

As the last of the Jedi, Luke must now pass on what he has learned of the Force, presumably to restart the Jedi Order. In the imaginations of many, Luke simply must have continued his rise, becoming one of the most powerful living beings in the universe. Deleuze draws his notion of the forces of becoming partly from German philosopher Friedrich Nietzsche, who says that the world is “a monster of energy, without beginning, without end” that “only transforms itself” as (...) “a play of forces and waves of forces, a sea of forces flowing and rushing together, eternally changing, with an ebb and a flood of its forms.” Deleuze's interpretation is that all bodies, all physical things, are “nothing but forces” defined solely by their activities of affecting – and being affected by – other things with which they interact. (shrink)

It is commonly assumed that teasing is restricted to encounters among intimates or close acquaintances. As a result of examining initial interactions among speakers of English, however, this article shows that teasing also occurs between persons who are becoming acquainted. Analysis reveals that tease sequences unfold across three actions that constitute the tease as an invitation to intimacy: a teasable action on the part of the target, the tease proper and a moment of interactionally generated affiliation. Given teasing is one (...) way of criticising another, it constitutes a potential breach of tact or interactional propriety. In initial interactions, however, participants can construe this potential impropriety as an invitation to intimacy, as it involves the proposal of a shared ironic stance that may be either accepted or declined by the target of the tease. (shrink)

Culture in Mind is an ethnographic portrait of the human mind. Using case studies from both western and nonwestern societies. Shore argues that "cultural models" are necessary to the functioning of the human mind. Drawing on recent developments in cognitive science as well as anthropology, Culture in Mind explores the cognitive world of culture in the ongoing production of meaning in everyday thinking and feeling.

"Clearly argued and captivatingly developed through subtle analyses of ethnographic materials...[this book] will revitalize cultural anthropology."--Fredrik Barth.

In this paper we investigate computable models of -categorical theories and Ehrenfeucht theories. For instance, we give an example of an -categorical but not -categorical theory such that all the countable models of except its prime model have computable presentations. We also show that there exists an -categorical but not -categorical theory such that all the countable models of except the saturated model, have computable presentations.

The spectrum of a relation on a computable structure is the set of Turing degrees of the image of R under all isomorphisms between and any other computable structure . The relation is intrinsically computably enumerable if its image under all such isomorphisms is c.e. We prove that any computable partially ordered set is isomorphic to the spectrum of an intrinsically c.e. relation on a computable structure. Moreover, the isomorphism can be constructed in such a way that the image of (...) the minimum element of the partially ordered set is computable. This solves the spectrum problem. The theorem and modifications of its proof produce computably categorical structures whose expansions by finite number of constants are not computably categorical and, indeed, ones whose expansions can have any finite number of computable isomorphism types. They also provide examples of computably categorical structures that remain computably categorical under expansions by constants but have no Scott family. (shrink)

We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus in particular on the principles ADS (Ascending or Descending Sequence), which states that every infinite linear order has either an infinite descending sequence or an infinite ascending sequence, and CAC (Chain-AntiChain), which states that every infinite partial order has either an infinite chain or an infinite antichain. It is well-known that Ramsey's Theorem for pairs (...) (RT₂²) splits into a stable version (SRT₂²) and a cohesive principle (COH). We show that the same is true of ADS and CAC, and that in their cases the stable versions are strictly weaker than the full ones (which is not known to be the case for RT₂² and SRT₂²). We also analyze the relationships between these principles and other systems and principles previously studied by reverse mathematics, such as WKL₀, DNR, and BΣ₂. We show, for instance, that WKL₀ is incomparable with all of the systems we study. We also prove computability-theoretic and conservation results for them. Among these results are a strengthening of the fact, proved by Cholak, Jockusch, and Slaman, that COH is Π₁¹-conservative over the base system RCA₀. We also prove that CAC does not imply DNR which, combined with a recent result of Hirschfeldt, Jockusch, Kjos-Hanssen, Lempp, and Slaman, shows that CAC does not imply SRT₂² (and so does not imply RT₂²). This answers a question of Cholak, Jockusch, and Slaman. Our proofs suggest that the essential distinction between ADS and CAC on the one hand and RT₂² on the other is that the colorings needed for our analysis are in some way transitive. We formalize this intuition as the notions of transitive and semitransitive colorings and show that the existence of homogeneous sets for such colorings is equivalent to ADS and CAC, respectively. We finish with several open questions. (shrink)

This paper is essentially the author's Gödel Lecture at the ASL Logic Colloquium '09 in Sofia extended and supplemented by material from some other papers. After a brief description of traditional reverse mathematics, a computational approach to is presented. There are then discussions of some interactions between reverse mathematics and the major branches of mathematical logic in terms of the techniques they supply as well as theorems for analysis. The emphasis here is on ones that lie outside the usual main (...) systems of reverse mathematics. While retaining the usual base theory and working still within second order arithmetic, theorems are described that range from those far below the usual systems to ones far above. (shrink)

Jean-Pierre Dupuy argues that our failure to prevent the looming climate catastrophe results from a faulty metaphysics of time: because we believe the present can proceed down one of the many branches that extend into the future, some of which bypass the catastrophe, we do not think it is absolutely urgent to take drastic action now. His solution to this problem of demotivation is “enlightened doomsaying” in “projected time”, which means that we affirm the coming catastrophe as something real in (...) the future rather than being a mere possibility; thus, we regard it seriously enough that we are motivated to take the needed actions to prevent it. One potential obstacle to this proposal is that it requires the forming of consensus and coordination with the powerful players who benefit from our current path and whose apparently near-total grip on this catastrophic future may itself discourage action. We then consider an alternative model based on Gilles Deleuze’s philosophy of the present–future relation. Although it has the branching structure that Dupuy is wary of, it may not suffer from the same problem of demotivation on account of the way it conceives the complex structure of the present event. For this reason, the Deleuzian model may be more suited to motivating action in a world where the future must be fought for rather than unanimously agreed upon. (shrink)

To compare Merleau-Ponty’s and Deleuze’s phenomenal bodies, I first examine how for Merleau-Ponty phenomena appear on the basis of three levels of integration: 1) between the parts of the world, 2) between the parts of the body, and 3) between the body and its world. I contest that Deleuze’s attacks on phenomenology can be seen as constructive critiques rather than as being expressions of an anti-phenomenological position. By building from Deleuze’s definition of the phenomenon and from his more phenomenologically relevant (...) writings, we find that phenomena for him are given to the body under exactly the opposite conditions as for Merleau-Ponty, namely that 1) the world’s differences 2) appear to a disordered body that 3) comes into shocking affective contact with its surroundings. I argue that a Deleuzian theory of bodily-given phenomena is better suited than Merleau-Ponty’s model in the task of accounting for the intensity of phenomenal appearings. (shrink)

French philosopher Gilles Deleuze wrote two 'logic' books: Francis Bacon: The Logic of Sensation and The Logic of Sense. However, in neither of these books nor in any other works does Deleuze articulate in a formal way the features of the logic he employs. He certainly does not use classical logic. And the best options for the non-classical logic that he may be implementing are: fuzzy, intuitionist, and many-valued. These are applicable to his concepts of heterogeneous composition and becoming, affirmative (...) synthetic disjunction, and powers of the false. In The Logic of Gilles Deleuze. Volume 1: Basic Principles, Corry Shores examines the applicability of three non-classical logics to Deleuze's philosophy, by building from the philosophical and logical writings of Graham Priest, the world's leading proponent of dialetheism. Through so doing, Shores demonstrates how Deleuze's logic is best understood as a dialetheic, paraconsistent, many-valued logic. (shrink)

A social partner’s emotions communicate important information about their motives and intentions. However, people may discount emotional information that they believe their partner has regulated with the strategic intention of exerting social influence. Across two studies, we investigated interpersonal effects of communicated guilt and perceived strategic regulation in trust games. Results showed that communicated guilt mitigated negative effects of trust violations on interpersonal judgements and behaviour. Further, perceived strategic regulation reduced guilt’s positive effects. These findings suggest that people take emotion-regulation (...) motives into account when responding to emotion communication. (shrink)

We construct a nonlow2 r.e. degree d such that every positive extension of embeddings property that holds below every low2 degree holds below d. Indeed, we can also guarantee the converse so that there is a low r.e. degree c such that that the extension of embeddings properties true below c are exactly the ones true belowd.Moreover, we can also guarantee that no b ≤ d is the base of a nonsplitting pair.

In response to a series of allegations of scientific misconduct in the 1980’s, a number of scientific societies, national agencies, and academic institutions, including Harvard Medical School, devised guidelines to increase awareness of optimal scientific practices and to attempt to prevent as many episodes of misconduct as possible. The chief argument for adopting guidelines is to promote good science. There is no evidence that well-crafted guidelines have had any detrimental effect on creativity since they focus on design of research studies, (...) documentation of research findings, assignment of credit through authorship, data management and supervision of trainees, not on the origin and evolution of ideas. This paper addresses a spectrum of causes of scientific misconduct or unacceptable scientific behavior and couples these with estimates of the potential for prevention if guidelines for scientific investigation are adopted. The conclusion is that clear and understandable guidelines should help to reduce the chance that flawed research will escape from our institutions. However, they cannot be relied upon alone to prevent all instances of scientific misconduct and should be regarded rather as one means of bolstering the integrity of the entire scientific enterprise. (shrink)

Although many physicians have been using the internet for both clinical and social purposes for years, recently concerns have been raised regarding blurred boundaries of the profession as a whole. In both the news media and medical literature, physicians have noted there are unanswered questions in these areas, and that professional self-regulation is needed. This report discusses the ethical implications of physicians’ nonclinical use of the internet, including the use of social networking sites, blogs, and other means to post content (...) online. It does not address the clinical use of the internet, such as telemedicine, e-prescribing, online clinical consultations, health-related websites, use of electronic media for clinical collaboration, and e-mailing patients (some of which are already covered in the AMA’s Code of Medical Ethics). (shrink)

The occasion of a retiring presidential address seems like a time to look back, take stock and perhaps look ahead.Institutionally, it was an honor to serve as President of the Association and I want to thank my teachers and predecessors for guidance and advice and my fellow officers and our publisher for their work and support. To all of the members who answered my calls to chair or serve on this or that committee, I offer my thanks as well. Your (...) work was both needed and appreciated.A major component of the efforts of the Association is devoted to our publications. My first important task as President was to deal with the need to reorganize the reviews section of the JSL and eventually to move it to the BSL. Appropriately enough, my first administrative job for the Association, some thirty years ago, was to serve on a committee to plan a reorganization of the reviews. I thank all those who helped with this transition and who took over the task of running the new reviews section. I hope that it will be another thirty years before further major changes are needed in this area and that someone else will be making them. (shrink)

We show that the maximal linear extension theorem for well partial orders is equivalent over RCA0 to ATR0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR0 over RCA0.

iterations of REA operators, as well as extensions, generalizations and other applications are given in [6] while those for the ...

For Deleuze, the creation and conveyance of meaning requires not a strict fidelity to an original idea, message or image but rather its deformation. The forces causing such disfigurations operate in gesture, vocalisation and text, with one level sometimes disrupting the others. Among them, gesture plays an especially important role, given Deleuze’s attention to bodily experience. He locates it in theatre, painting and cinema, particularly in the works of Carmelo Bene, Francis Bacon and Jerry Lewis. In these cases, instead of (...) conveying a recognisable message, a deformative gesture sends a shock wave that scrambles normal meaning assignments and codings. Yet, although gesture is a main channel for these communication disruptive forces, their origin may lie elsewhere, namely, in a ‘pick-up’ of influences resulting from an inter-affective encounter between heterogeneous bodies. (shrink)

Deleuze never explicitly formulates his philosophy of logical truth‐values. It thus remains an open question as to the number and types he held there to be. Despite his explicit comments on these matters, additional textual evidence suggests that in his thinking on the event, he favored a third truth‐value, holding either the analetheic view that some truth‐bearers can be truth‐valueless or the dialetheic view that some truth‐bearers can be both true and false. I first argue that taking a logical approach (...) to Deleuze's thinking is feasible, despite his and others' claims that might suggest otherwise. Next, I examine his explicit statements to show that they cannot be taken at face value and that, rather, we need to transpose his claims into contemporary terminology in order to accurately assess them. I lastly turn to his Leibniz‐inspired philosophy of time to argue that the affirmations involved in this conception strongly suggest a dialetheic tendency in his thinking. (shrink)