Ketamine, a dissociative anesthetic commonly used by US physicians, has recently been shown to be a powerful anti-depressant and is also capable of eliciting transpersonal experiences that can be transformative. Although currently approved in the US only for use as an anesthetic, physicians there can legally prescribe it off-label to treat various psychological/ psychiatric problems and it has been used for these non-anesthetic purposes in Argentina, Iran, Mexico, Russia, and the UK, as well as in the US. The literature on (...) using ketamine psychotherapeutically is reviewed and two case studies using ketamine-enhanced psychotherapy for treating death anxiety in terminally-ill people are reported. The potential importance of beginning formal research on using KEP during end-of-life for those suffering death anxiety is emphasized. (shrink)

The considerable attention to financial interests in clinical research has focused mostly on academic medical centers, even though the majority of clinical research is conducted in community practice settings. To fill this gap, this article maps the practices and policies in 73 community hospitals and several hundred specialized facilities around the country for reviewing clinical investigators’ financial relationships with research sponsors. Community hospitals face a substantially different mix of issues than academic medical centers do because their physician researchers are usually (...) not employees, and more of their studies are later-phase, multicenter trials. Accordingly, community physicians stand to benefit personally from per capita payments, but they tend to have less direct influence over research findings when compared with their academic peers. These and other contrasts require separate guidance for community-based organizations that takes into account their particular needs, circumstances, and institutional capacities. (shrink)

Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, and there (...) are quite a few highly technical journals in logic, such as The Journal of Sym-. (shrink)

A four dimensional approach to Newtonian physics is used to distinguish between a number of different structures for Newtonian space-time and a number of different formulations of Newtonian gravitational theory. This in turn makes possible an in-depth study of the meaning and status of Newton's Law of Inertia and a detailed comparison of the Newtonian and Einsteinian versions of the Law of Inertia and the Newtonian and Einsteinian treatments of gravitational forces. Various claims about the status of Newton's Law of (...) Inertia are critically examined including these: the Law of Inertia is not an empirical law but a definition; it is not a law simpliciter but a family of schemata; it is a convention and gravitational forces exist only by convention; it is (or is not) redundant; the concepts it embodies can be dispensed with in favor of operationally defined entities; it is unique for a given theory. More generally, the paper demonstrates the importance of space-time structure for the philosophy of space and time and provides support for a realist interpretation of space-time theories. (shrink)

The ability to engage in and recognize pretend play begins around 18 months. A major challenge for theories of pretense is explaining how children are able to engage in pretense, and how they are able to recognize pretense in others. According to one major account, the metarepresentational theory, young children possess both production and recognition abilities because they possess the mental state concept, PRETEND. According to a more recent rival account, the Behavioral theory, young children are behaviorists about pretense, and (...) only produce and recognize pretense as a sort of behavior--namely, behaving 'as-if'. We review both the metarepresentational and Behavioral accounts and argue that the Behavioral theory fails to characterize very young children's abilities to produce and to recognize pretense. Among other problems, the Behavioral theory implies that children should frequently mis-recognize regular behavior as pretense, while certain regular forms of pretend play should neither be produced nor recognized. Like other mental states, pretense eludes purely behavioral description. The metarepresentational theory does not suffer these problems and provides a better account of children's pretense. 2016 APA, all rights reserved). (shrink)

Two countable well orderings are weakly comparable if there is an order preserving injection of one into the other. We say the well orderings are strongly comparable if the injection is an isomorphism between one ordering and an initial segment of the other. In [5], Friedman announced that the statement “any two countable well orderings are strongly comparable” is equivalent to ATR 0 . Simpson provides a detailed proof of this result in Chapter 5 of [13]. More recently, (...) class='Hi'>Friedman has proved that the statement “any two countable well orderings are weakly comparable” is equivalent to ATR 0 . The main goal of this paper is to give a detailed exposition of this result. (shrink)

American Academy of Pediatrics (AAP) and American College of Medical Genetics (ACMG) recently provided two recommendations about predictive genetic testing of children. The Clinical Sequencing Exploratory Research Consortium's Pediatrics Working Group compared these recommendations, focusing on operational and ethical issues specific to decision making for children. Content analysis of the statements addresses two issues: (1) how these recommendations characterize and analyze locus of decision making, as well as the risks and benefits of testing, and (2) whether the guidelines conflict or (...) come to different but compatible conclusions because they consider different testing scenarios. These statements differ in ethically significant ways. AAP/ACMG analyzes risks and benefits using best interests of the child and recommends that, absent ameliorative interventions available during childhood, clinicians should generally decline to order testing. Parents authorize focused tests. ACMG analyzes risks and benefits using the interests of the child and other family members and recommends that sequencing results be examined for additional variants that can lead to ameliorative interventions, regardless of age, which laboratories should report to clinicians who should contextualize the results. Parents must accept additional analysis. The ethical arguments in these statements appear to be in tension with each other. (shrink)

Young children’s failures in reasoning about beliefs and desires, and especially about false beliefs, have been much studied. However, there are few accounts of successful belief-desire reasoning in older children or adults. An exception to this is a model in which belief attribution is treated as a process wherein an inhibitory system selects the most likely content for the belief to be attributed from amongst several competing contents [Leslie, A. M., & Polizzi, P. (1998). Developmental Science, 1, 247–254]. We tested (...) this model with an ‘avoidance false belief task’ in which subjects predict the behavior of a character, who wants to avoid an object but who is mistaken about which of three locations it is in. The task has two equally correct answers—in seeking to avoid the location where she mistakenly believes the object to be, the character might equally go to the location where the object actually is, or to the remaining empty location. However, the model predicts that subjects will prefer one of these answers, selecting the object’s actual location over the empty location. This bias was confirmed in a series of five experiments with children aged between 4 and 8 years of age. A sixth experiment ruled out two rival explanations for children’s biased responding. Two further experiments found the opposite bias in adults. These findings support one selection model as an account of belief-desire reasoning in children, and suggest that a different model is needed for adults. The process of selecting contents for mental state attributions shows a developmental shift between 8 years of age and adulthood. (shrink)

This volume is a tribute by his peers, and by younger scholars of the next generation, to Harvey M. Friedman, perhaps the most profound foundationalist since Kurt Godel. Friedman's researches, beginning precociously in his mid-teens, have fundamentally shaped our contemporary understanding of set theory, recursion theory, model theory, proof theory and metamathematics. His achievements in concept formation and theory formulation have also renewed the standard set by Godel and Alfred Tarski for the general intellectual interest and importance of (...) technical work in foundations. Friedman pioneered the now well-established and flourishing field of Reverse Mathematics, whose aim is to calibrate the intrinsic logico-mathematical consistency-strength of all the important theorems of mathematics. He has relentlessly pursued the full extent of the incompleteness phenomena into which Godel provided the first revealing glimpse. The Godel--Friedman program, as it is now deservingly called, seeks to find simple, natural and elegant mathematical statements of a combinatorial nature, that can be proved to be independent of set theory even when extended by powerful large-cardinal existence axioms. (shrink)

The advanced donation program was proposed in 2014 to allow an individual to donate a kidney in order to provide a voucher for a kidney in the future for a particular loved one. In this article, we explore the logistical and ethical issues that such a program raises. We argue that such a program is ethical in principle but there are many logistical issues that need to be addressed to ensure that the actual program is fair to both those who (...) do and do not participate in this program. (shrink)

It has been accepted since the early part of the Century that there is no problem formalizing mathematics in standard formal systems of axiomatic set theory. Most people feel that they know as much as they ever want to know about how one can reduce natural numbers, integers, rationals, reals, and complex numbers to sets, and prove all of their basic properties. Furthermore, that this can continue through more and more complicated material, and that there is never a real problem.

Recently, Rueger and Sharp (1996) and Koperski (1998) have been concerned to show that certain procedural accounts of model confirmation are compromised by non-linear dynamics. We suggest that the issues raised are better approached by considering whether chaotic data analysis methods allow for reliable inference from data. We provide a framework and an example of this approach.

Reflection, in the sense of [Fr03a] and [Fr03b], is based on the idea that a category of classes has a subclass that is “similar” to the category. Here we present axiomatizations based on the idea that a category of classes that does not form a class has extensionally different subclasses that are “similar”. We present two such similarity principles, which are shown to interpret and be interpretable in certain set theories with large cardinal axioms.

The use of x[y,z,w] rather than the more usual y Πx has many advantages for this work. One of them is that we have found a convenient way to eliminate any need for axiom schemes. All axioms considered are single sentences with clear meaning. (In one case only, the axiom is a conjunction of a manageable finite number of sentences).

This is the initial publication on Concept Calculus, which establishes mutual interpretability between formal systems based on informal commonsense concepts and formal systems for mathematics through abstract set theory. Here we work with axioms for "better than" and "much better than", and the Zermelo and Zermelo Frankel axioms for set theory.

Let k ≥ 2 and f:Nk Æ [1,k] and n ≥ 1 be such that there is no x1 < ... < xk+1 £ n such that f(x1,...,xk) = f(x1,...,xk+1). Then we want to find g:Nk+1 Æ [1,3] such that there is no x1 < ... < xk+2 £ n such that g(x1,...,xk+1) = g(x2,...,xk+2). This reducees adjacent Ramsey in k dimensions with k colors to adjacent Ramsey in k+1 dimensions with 3 colors.

The subtle, almost ineffable, and ineffable cardinals were introduced in an unpublished 1971 manuscript of R. Jensen and K. Kunen. The concepts were extended to that of k-subtle, k-almost ineffable, and k-ineffable cardinals in 1975 by J. Baumgartner. In this paper we give a self contained treatment of the basic facts about this level of the large cardinal hierarchy, which were established by J. Baumgartner. In particular, we give a proof that the k-subtle, k-almost ineffable, and k-ineffable cardinals define three (...) properly intertwined hierarchies with the same limit, lying strictly above “total indescribability” and strictly below “arrowing ω”. The innovation here is presented in Section 2, where we take a distinctly minimalist approach. Here the subtle cardinal hierarchy is characterized by very elementary properties that do not mention closed unbounded or stationary sets. This development culminates in a characterization of the hierarchy by means of a striking universal second-order property of linear orderings. (shrink)

Here we take the view that LPC(=) is applicable to structures whose domain is too large to be a set. This is not just a matter of class theory versus set theory, although it can be interpreted as such, and this interpretation is discussed briefly at the end.

Introduction Biobank-based research is growing in importance. A major controversy exists about the return of aggregate and individual research results. Methods The authors used a mixed-method approach in order to study parents' attitudes towards the return of research results regarding themselves and their children. Participants attended four 2-h, deliberative-engagement sessions held on two consecutive Saturdays. Each session consisted of an educational presentation followed by focus-group discussions with structured questions and prompts. This manuscript examines discussions from the second Saturday which focused (...) on the benefits and risks of returning aggregate and individual research results regarding both adults (morning session) and children (afternoon session). Attitudes were assessed in pre-engagement and post-engagement surveys. Results The authors recruited 45 African-American adults whose children received medical care at two healthcare facilities on the South Side of Chicago that serve different socioeconomic communities. Three dominant themes were identified. First, most participants stated that they would enrol themselves and their children in a biobank, although there was a vocal minority opposed to enrolling children, particularly children unable to participate in the consent process. Second, participants did not distinguish between the results they wanted to receive regarding themselves and their children. Supplemental survey data found no attitudinal changes pre-engagement and post-engagement. Third, participants believed that children should be allowed access to their health information, but they wanted to be involved in deciding when and how the information was shared. Discussion Participant attitudes are in tension with current biobank policies. An intensive educational effort had no effect on their attitudes. (shrink)

We now fix A ⊆ Q. We study a fundamental class of digraphs associated with A, which we call the A-digraphs. An A,kdigraph is a digraph (Ak,E), where E is an order invariant subset of A2k in the following sense. For all x,y ∈ A2k, if x,y have the same order type then x ∈ E ↔ y ∈ E.

The kind of unknowability I will discuss concerns the count of certain natural finite sets of objects. Even the situation with regard to our present strong formal systems is rather unclear. One can just profitably focus on that, putting aside issues of general unknowability.

Let R Õ [1,n]3k ¥ [1,n]k. We define R = {y Œ [1,n]k:($xŒA3)(R(x,y))}. We say that R is strictly dominating if and only if for all x,yŒ[1,n]k, if R(x,y) then max(x) < max(y).

Families of children with mental health challenges may have been particularly vulnerable to emotional distress during the COVID-19 pandemic. This cross-sectional study surveyed 81 parents of children ages 6–17 years receiving mental health treatment in an outpatient clinic during the pandemic. We sought to characterize the impact of the pandemic on family relationships and parental well-being. Additionally, regression and ANCOVA models examined associations between four potentially protective factors—parents’ psychological resilience, perceived social support, positive family experiences during the pandemic, and children’s (...) use of cognitive or behavioral coping strategies—with family relationships and parental well-being. Findings suggest that families of children with mental health conditions experienced remarkable challenges to family relationships, parental well-being, and parents’ perceived capacity to support their children’s mental health. Nearly 80% of parents reported a negative impact of the pandemic on their own well-being, and 60% reported reduced ability to support their children’s mental health. Simultaneously, protective factors appeared to mitigate the negative impact of the pandemic. Particularly, support within the family and from external sources were associated with better self-reported well-being for parents and their capacity to support their children. Children’s use of coping tools, likely enhanced by mental health treatment, was also positively related to better family relationships and parental ability to support children with mental health challenges. Our findings highlight the need for enhancing supports for families at multiple levels including individual skill-building, family-based/parenting support, and community-based support. (shrink)

It turns out, time and time again, in order to make serious progress in f.o.m., we need to take actual reasoning and actual development into account at precisely the proper level. If we take these into account too much, then we are faced with information that is just too difficult to create an exact science around - at least at a given state of development of f.o.m. And if we take these into account too little, our findings will not have (...) the relevance to mathematical practice that could be achieved. (shrink)

We axiomatize EFA in strictly mathematical terms, involving only the ring operations, without extending the language by either exponentiation, finite sets of integers, or polynomials.

In this introduction to part 2 of the Common Knowledge symposium “Peace by Other Means,” the journal's editor reflects on the difference between the contributions to parts 1 and 2. Whereas the first installment concentrated on ethnography, the second focuses on the peacemaking repertoire of the Greco-Latin tradition, whose basis is psychological. That tradition is characterized by its refusal of wishful thinking about human nature and, in particular, by its doubt about claims that human drives other than thumos — the (...) rage for self-aggrandizement — motivate the initiators of wars. Given this assumption about motive, the Greco-Latin tradition tends also to regard negotiations based on the rational discussion of material interests as unlikely to succeed. Success requires symbolic and ritual gestures — acts of self-humiliation on the part of those apparently with the greatest power — by which thumos is propitiated and pacified. Most of the introduction considers cases of such settlements, including two contemporary efforts at ritual peacemaking, a successful one by Queen Elizabeth II in Ireland and an unsuccessful one by Pope Francis in the Middle East. (shrink)

In mathematics, we back up our discoveries with rigorous deductive proofs. Mathematicians develop a keen instinctive sense of what makes a proof rigorous. In logic, we strive for a *theory* of rigorous proofs.

We present several selection theorems for Borel relations, involving only Borel sets and functions, all of which can be obtained as consequences of closely related theorems proved in [DSR 96,99,01,01X] involving coanalytic sets. The relevant proofs given there use substantial set theoretic methods, which were also shown to be necessary. We show that none of our Borel consequences can be proved without substantial set theoretic methods. The results are established for Baire space. We give equivalents of some of the main (...) results for the reals. (shrink)

We have been recently engaged in this search, and have announced a long series of successively simpler and more convincing examples. See [Fr09-10].

We present two forms of “sentential reflection”, which are shown to be mutually interpretable with Z2 and ZFC, respectively.

A lot of the well known impact of the Gödel phenomena is in the form of painful messages telling us that certain major mathematical programs cannot be completed as intended. This aspect of Gödel – the delivery of bad news –is not welcomed, and defensive measures are now in place.

We begin by presenting the language L(N,℘N,℘℘N). This is the standard language for presenting third order sentences, using its intended interpretation.

1. Transfer principles from N to On. A. Mahlo cardinals. B. Weakly compact cardinals. C. Ineffable cardinals. D. Ramsey cardinals. E. Ineffably Ramsey cardinals. F. Subtle cardinals. G. From N to (...) 4. Decidability of statements on N. 5. Decidability of statements on shrink)

Russell’s way out of his paradox via the impredicative theory of types has roughly the same logical power as Zermelo set theory - which supplanted it as a far more flexible and workable axiomatic foundation for mathematics. We discuss some new formalisms that are conceptually close to Russell, yet simpler, and have the same logical power as higher set theory - as represented by the far more powerful Zermelo-Frankel set theory and beyond. END.

This is widely accepted, inside and outside philosophy, but one can spend an entire career clarifying, justifying, and amplifying on this statement. Certainly a graduate student career.

This topic has been discussed earlier on the FOM email list in various guises. The common theme is: big numbers and long sequences associated with mathematical objects. See..