A new proof is given of the celebrated theorem of M. Davis, H. Putnam and J. Robinson concerning exponential Diophantine representation of recursively enumerable predicates. The proof goes by induction on the defining scheme of a partial recursive function.

A new method of coding Diophantine equations is introduced. This method allows checking that a coded sequence of natural numbers is a solution of a coded equation without decoding; defining by a purely existential formula, the code of an equation equivalent to a system of indefinitely many copies of an equation represented by its code. The new method leads to a much simpler construction of a universal Diophantine equation and to the existential arithmetization of Turing machines, register machines, and partial (...) recursive functions. (shrink)

Let M be a first-order structure; we denote by DEF(M) the set of all first-order definable relations and functions within M. Let π be any one-to-one function from N into the set of prime integers. Let ∣ and $\bullet$ be respectively the divisibility relation and multiplication as function. We show that the sets DEF(N,π,∣) and $\mathrm{DEF}(\mathbb{N},\pi,\bullet)$ are equal. However there exists function π such that the set DEF(N,π,∣), or, equivalently, $\mathrm{DEF}(\mathbb{N},\pi,\bullet)$ is not equal to $\mathrm{DEF}(\mathbb{N},+,\bullet)$ . Nevertheless, in all cases (...) there is an $\{\pi,\bullet\}$ -definable and hence also {π,∣}-definable structure over N which is isomorphic to $\langle\mathbb{N},+,\bullet\rangle$ . Hence theories TH(N,π,∣) and $\mathrm{TH}(\mathbb{N},\pi,\bullet)$ are undecidable. The binary relation of equipotence between two positive integers saying that they have equal number of prime divisors is not definable within the divisibility lattice over positive integers. We prove it first by comparing the lower bound of the computational complexity of the additive theory of positive integers and of the upper bound of the computational complexity of the theory of the mentioned lattice. The last section provides a self-contained alternative proof of this latter result based on a decision method linked to an elimination of quantifiers via specific tables. (shrink)

Given two strings, text t of length n, and pattern p = p1…pk of length k, and given a natural number w, the subsequence matching problem consists in finding the number of size w windows of text t which contain pattern p as a subsequence, i.e. the letters p1,…,pk occur in the window, in the same order as in p, but not necessarily consecutively . Subsequence matching is used for finding frequent patterns and association rules in databases. We generalize the (...) Knuth–Morris–Pratt pattern matching algorithm; we define a non-conventional kind of RAM, the MP-RAMs which model more closely the microprocessor operations; we design an O on-line algorithm for solving the subsequence matching problem on MP-RAMs. (shrink)

This article examines the method of reflective equilibrium (RE) and its role in philosophical inquiry. It begins with an overview of RE before discussing some of the subtleties involved in its interpretation, including challenges to the standard assumption that RE is a form of coherentism. It then evaluates some of the main objections to RE, in particular, the criticism that this method generates unreasonable beliefs. It concludes by considering how RE relates to recent debates about the role of intuitions in (...) philosophy. (shrink)

This chapter examines some key developments in discussions of the social dimensions of knowing-how, focusing on work on the social function of the concept of knowing-how, testimony, demonstrating one's knowledge to other people, and epistemic injustice. I show how a conception of knowing-how as a form of 'downstream knowledge' can help to unify various phenomena discussed within this literature, and I also consider how these ideas might connect with issues concerning wisdom, moral knowledge, and moral testimony.

Composition, persistence, vagueness, and more constitute an interconnected network of problems. My criticism of Hud Hudson's provocative claims made in a recent paper (Hudson 2002) was focused almost exclusively on the issue of diachronic composition (Balashov 2003). Hudson's response (2003) has highlighted the dangers of such isolationism. But I want to hold to my strategy to the end. Part of the reason is to evade the appalling responsibility of presenting a full-blown theory of all the above phenomena; I must confess (...) that I do not have such a theory. At the same time, I contend that diachronic composition can be profitably carved out from the medley of the surrounding issues more or less at the joints provided by nature itself. And I do subscribe to some sort of realism about the joints of nature. (shrink)

Hud Hudson has recently suggested a scenario intended to show that, assuming the doctrine of temporal parts and a sufficiently liberal view of composition, there are material objects that move faster than light. I accept Hudson's conditional but contend that his modus ponens is less plausible that the corresponding modus tollens. Reversed in this way, the argument stemming from the scenario raises the cost of mereological liberalism and advances the case for a principled restriction on diachronic composition.

Traditions that share the least number of motifs are located in continental Eurasia and Melanesia. African mythologies are poor and stand nearer to the Indo‑Pacific than to the Continental Eurasian pole. The Indo‑Pacific mythology preserved its African core. In Continental Eurasia a new set of motifs began to spread after the Late Glacial Maximum. Both sets of motifs were brought to the New World. The Indo-Pacific complex predominates in Latin, the Continental Eurasian one in North America. Sky‑maiden tales, largely unknown (...) in Africa and Australia, emerged in the Indo-Pacific borderlands of Asia. Both in Southeast Asia and in Latin America different images of the magic wife coexist (different birds, sky-nymphs, etc.), stories are often integrated into the anthropogenic myths. More specialized Swan-maiden stories spread across Northern Eurasia after the Late Glacial Maximum. Only Khori‑Buryat versions are related to actual mythology. Swan‑maiden was brought to America late by the Eskimo. (shrink)

A common belief is that evolution generally proceeds towards greater complexity at both the organismal and the genomic level, numerous examples of reductive evolution of parasites and symbionts notwithstanding. However, recent evolutionary reconstructions challenge this notion. Two notable examples are the reconstruction of the complex archaeal ancestor and the intron‐rich ancestor of eukaryotes. In both cases, evolution in most of the lineages was apparently dominated by extensive loss of genes and introns, respectively. These and many other cases of reductive evolution (...) are consistent with a general model composed of two distinct evolutionary phases: the short, explosive, innovation phase that leads to an abrupt increase in genome complexity, followed by a much longer reductive phase, which encompasses either a neutral ratchet of genetic material loss or adaptive genome streamlining. Quantitatively, the evolution of genomes appears to be dominated by reduction and simplification, punctuated by episodes of complexification. (shrink)

In this paper I develop three different arguments against the thesis that knowledge-how is a kind of knowledge-that. Knowledge-that is widely thought to be subject to an anti-luck condition, a justified or warranted belief condition, and a belief condition, respectively. The arguments I give suggest that if either of these standard assumptions is correct then knowledge-how is not a kind of knowledge-that. In closing I identify a possible alternative to the standard Rylean and intellectualist accounts of knowledge-how. This alternative view (...) illustrates that even if the arguments given here succeed it might still be reasonable to hold that knowing how to do something is a matter of standing in an intentional relation to a proposition other than the knowledge-that relation. (shrink)

How should intellectualists respond to apparent Gettier-style counterexamples? Stanley offers an orthodox response which rejects the claim that the subjects in such scenarios possess knowledge-how. I argue that intellectualists should embrace a revisionary response according to which knowledge-how is a distinctively practical species of knowledge-that that is compatible with Gettier-style luck.

In this critical notice we argue against William Craig's recent attempt to reconcile presentism (roughly, the view that only the present is real) with relativity theory. Craig's defense of his position boils down to endorsing a ‘neo-Lorentzian interpretation’ of special relativity. We contend that his reconstruction of Lorentz's theory and its historical development is fatally flawed and that his arguments for reviving this theory fail on many counts. 1 Rival theories of time 2 Relativity and the present 3 Special relativity: (...) one theory, three interpretations 4 Theories of principle and constructive theories 5 The relativity interpretation: explanatorily deficient? 6 The relativity interpretation: ontologically fragmented? 7 The space-time interpretation: does God need a preferred frame of reference? 8 The neo-Lorentzian interpretation: at what price? 9 The neo-Lorentzian interpretation: with what payoff? 10 Why we should prefer the space-time interpretation over the neo-Lorentzian interpretation 11 What about general relativity? 12 Squaring the tenseless space-time interpretation with our tensed experience. (shrink)

It is often said that ‘what it is like’-knowledge cannot be acquired by consulting testimony or reading books [Lewis 1998; Paul 2014; 2015a]. However, people also routinely consult books like What It Is Like to Go to War [Marlantes 2014], and countless ‘what it is like’ articles and youtube videos, in the apparent hope of gaining knowledge about what it is like to have experiences they have not had themselves. This article examines this puzzle and tries to solve it by (...) appealing to recent work on knowing-wh ascriptions. In closing I indicate the wider significance of these ideas by showing how they can help us to evaluate prominent arguments by Paul [2014; 2015a] concerning transformative experiences. (shrink)

Scale-free network models describe many natural and social phenomena. In particular, networks of interacting components of a living cell were shown to possess scale-free properties. A recent study(1) compares the system-level properties of metabolic and information networks in 43 archaeal, bacterial and eukaryal species and claims that the scale-free organization of these networks is more conserved during evolution than their content. BioEssays 24:105–109, 2002. Published 2002 Wiley Periodicals, Inc.

In this paper, the ethical, legal, and social implications of Thailand’s surrogacy regulations from both domestic and global perspectives are explored. Surrogacy tourism in Thailand has expanded since India strengthened its visa regulations in 2012. In 2015, in the wake of a major scandal surrounding the abandonment of a surrogate child by its foreign intended parents, a law prohibiting the practice of surrogacy for commercial purposes was enacted. Consequently, a complete ban on surrogacy tourism was imposed. However, some Thai physicians (...) and surrogate mothers cross into neighboring countries to provide foreign clients with the commercial surrogacy services that are forbidden in Thailand. Under this legislation, the needs of Thai couples who are unable to conceive are accommodated by legally accessible, non-commercial surrogacy services; however, there is currently no provision in place aimed at protecting the rights and interests of surrogate mothers and children. It is widely believed that the abolition of surrogacy tourism, an industry that give rise to several major scandals, and legal access to surrogacy by Thai couples were the Thai government’s primary goal in implementing this legislation. (shrink)

Previous work suggests that Asians allocate more attention to configuration information than Caucasian Americans do. Yet this cultural variation has been found only with stimuli such as natural scenes and objects that require both feature- and configuration-based processing. Here, we show that the cultural variation also exists in face perception—a domain that is typically viewed as configural in nature. When asked to identify a prototypic face for a set of disparate exemplars, Japanese were more likely than Caucasian Americans to use (...) overall resemblance rather than feature matching. Moreover, in a speeded identity-matching task, Japanese were more accurate than Americans in identifying the spatial configuration of features (e.g., eyes). Together, these findings underscore the robustness of culture’s influences on cognition. (shrink)

Legalism is a popular—albeit quite inaccurate—designation of an intellectual current that gained considerable popularity in the latter half of the Warring States period (Zhanguo, 453–221 BCE). Legalists were political realists who sought to attain a “rich state with powerful army” and to ensure domestic stability in an age marked by intense inter- and intra-state competition. They believed that human beings—commoners and elites alike—will forever remain selfish and covetous of riches and fame, and one should not expect them to behave morally. (...) Rather, a viable sociopolitical system should allow individuals to pursue their selfish interests exclusively in ways that benefit the state, viz. agriculture and warfare; while a proper administrative system should allow officials to benefit from ranks and emoluments, but also prevent them from subverting the ruler’s power. Both systems are unconcerned with individual morality of the rulers and the ruled; rather they should be based on impersonal norms and standards: laws, administrative regulations, clearly defined rules of promotion and demotion, and the like. -/- Legalist thinkers contributed greatly to the formation of China’s empire both on the theoretical level and as political practitioners; and many of their ideas continued to be employed throughout China’s history. Yet their derisive views of moralizing discourse of their rivals, their haughty stance toward fellow intellectuals, and their pronouncedly anti-ministerial rhetoric all gained them immense dislike among the imperial literati. From China’s second imperial dynasty, the Han (206 BCE–220 CE) on, the prestige of Legalism declined; only a few texts associated with this current survived intact; and even in the modern period, notwithstanding sporadic outbursts of interest in Legalism, this current has not received adequate scholarly attention. (shrink)

Knowledge-how often appears to be more difficult to transmit by testimony than knowledge-that and knowledge-wh. Some philosophers have argued that this difference provides us with an important objection to intellectualism—the view that knowledge-how is a species of knowledge-that. This article defends intellectualism against these testimony-based objections.

Paul (2014, 2015a) argues that one cannot rationally decide whether to have a transformative experience by trying to form judgments, in advance, about (i) what it would feel like to have that experience, and (ii) the subjective value of having such an experience. The problem is if you haven’t had the experience then you cannot know what it is like, and you need to know what it is like to assess its value. However, in earlier work I argued that ‘what (...) it is like’-knowledge comes in degrees, and I briefly suggested that, consequently, some instances of Paul’s argument schema might commit a fallacy of equivocation. The aim of this paper is to further explore and strengthen this objection by, first, offering a new argument—the modelling argument—in support of it, and then by evaluating a range of replies that might be given to this objection on Paul’s behalf. I conclude that each reply either fails or, at best, only partially succeeds in defending some but not all instances of Paul’s argument schema. In closing, I consider how we might revise Paul’s concepts of transformative experiences and choices in response to this conclusion. (shrink)

This chapter explores the relationship between knowing-how and skill, as well other success-in-action notions like dispositions and abilities. I offer a new view of knowledge-how which combines elements of both intellectualism and Ryleanism. According to this view, knowing how to perform an action is both a kind of knowing-that (in accord with intellectualism) and a complex multi-track dispositional state (in accord with Ryle’s view of knowing-how). I argue that this new view—what I call practical attitude intellectualism—offers an attractive set of (...) solutions to various puzzles concerning the connections between knowing-how and abilities and skills to perform intentional actions. (shrink)

Surrogacy tourism in Asian countries has surged in recent decades due to affordable prices and favourable regulations. Although it has recently been banned in many countries, it is still carried out illegally across borders. With demand for surrogacy in developed countries increasing and economically vulnerable Asian women lured by lucrative compensation, there are efforts by guest countries to ease the strict surrogacy regulations in host countries. Despite a shift toward “altruistic surrogacy”, commercial surrogacy persists. Recent research carried out by international (...) organizations that seek to establish a legal relationship between the commissioning parents and children in cross-border surrogacy arrangements, under the guise of the “best interests of the child,” appears to promote a resurgence of overseas commercial surrogacy rather than restrict it. Further commercialization of surrogacy should be prevented by carefully investigating the reality of the surrogacy process. (shrink)

What follows for the ability hypothesis reply to the knowledge argument if knowledge-how is just a form of knowledge-that? The obvious answer is that the ability hypothesis is false. For the ability hypothesis says that, when Mary sees red for the first time, Frank Jackson’s super-scientist gains only knowledge-how and not knowledge-that. In this paper I argue that this obvious answer is wrong: a version of the ability hypothesis might be true even if knowledge-how is a form of knowledge-that. To (...) establish this conclusion I utilize Jason Stanley and Timothy Williamson’s well-known account of knowledge-how as “simply a species of propositional knowledge” . I demonstrate that we can restate the core claims of the ability hypothesis – that Mary only gains new knowledge-how and not knowledge-that – within their account of knowledge-how as a species of knowledge-that. I examine the implications of this result for both critics and proponents of the ability hypothesis. (shrink)

Background In an increasingly globalized world, legal protocols related to health care that are both effective and culturally sensitive are paramount in providing excellent quality of care as well as protection for physicians tasked with decision making. Here, we analyze the current medicolegal status of brain death diagnosis with regard to end-of-life care in Japan, China, and South Korea from the perspectives of front-line health care workers. Main body Japan has legally wrestled with the concept of brain death for decades. (...) An inability to declare brain death without consent from family coupled with cultural expectations of family involvement in medical care is mirrored in other Confucian-based cultures and may complicate care for patients from these countries when traveling or working overseas. Within Japan, China, and South Korea, medicolegal shortcomings in the diagnosis of brain death act as a great source of stress for physicians and expose them to potential public and legal scorn. Here, we detail the medicolegal status of brain death diagnosis within Japan and compare it to China and South Korea to find common ground and elucidate the impact of legal ambiguity on health care workers. Conclusion The Confucian cultural foundation of multiple Asian countries raises common issues of family involvement with diagnosis and cultural considerations that must be met. Leveraging public education systems may increase awareness of brain death issues and lead to evolving laws that clarify such end-of-life issues while protecting physicians from sociocultural backlash. (shrink)

Is there a successful regress argument against intellectualism? In this article I defend the negative answer. I begin by defending Stanley and Williamson's (2001) critique of the contemplation regress against Noë (2005). I then identify a new argument – the employment regress – that is designed to succeed where the contemplation regress fails, and which I take to be the most basic and plausible form of a regress argument against intellectualism. However, I argue that the employment regress still fails. Drawing (...) on the previous discussion, I criticise further regress arguments given by Hetherington (2006) and Noë (2005). (shrink)

The series is devoted to the study of scientific and philosophical texts from the Classical and the Islamic world handed down in Arabic. Through critical text editions and monographs, it provides access to ancient scientific inquiry as it developed in a continuous tradition from Antiquity to the modern period. All editions are accompanied by translations and philological and explanatory notes.

This ambitious book looks into the reasons for the exceptional durability of the Chinese empire, which lasted for more than two millennia (221 B.C.E. - 1911 C.E.). Yuri Pines identifies the roots of the empire's longevity in the activities of thinkers of the Warring States period (453-221 B.C.E.), who, in their search for solutions to an ongoing political crisis, developed ideals, values, and perceptions that would become essential for the future imperial polity. In marked distinction to similar empires worldwide, (...) the Chinese empire was envisioned and to a certain extent 'preplanned' long before it came into being. As a result, it was not only a military and administrative construct, but also an intellectual one. Pines makes the argument that it was precisely its ideological appeal that allowed the survival and regeneration of the empire after repeated periods of turmoil. "Envisioning Eternal Empire" presents a panoptic survey of philosophical and social conflicts in Warring States political culture. By examining the extant corpus of preimperial literature, including transmitted texts and manuscripts uncovered at archaeological sites, Pines locates the common ideas of competing thinkers that underlie their ideological controversies. This bold approach allows him to transcend the once fashionable perspective of competing 'schools of thought' and show that beneath the immense pluralism of Warring States thought one may identify common ideological choices that eventually shaped traditional Chinese political culture. The result is a refreshingly novel look at the foundational period in Chinese intellectual history. (shrink)

Assume ZFC + "There is a weakly compact cardinal" is consistent. Then: For every $S \subseteq \omega, \mathrm{ZFC} +$ "S and the monadic theory of ω 2 are recursive each in the other" is consistent; and ZFC + "The full second-order theory of ω 2 is interpretable in the monadic theory of ω 2 " is consistent.

Automated classification of legal documents has been the subject of extensive research in recent years. However, this is still a challenging task for long documents, since it is difficult for a model to identify the most relevant information for classification. In this paper, we propose a two-stage supervised learning approach for the classification of petitions, a type of legal document that requests a court order. The proposed approach is based on a word-level encoder–decoder Seq2Seq deep neural network, such as a (...) Bidirectional Long Short-Term Memory (BiLSTM) or a Bidirectional Encoder Representations from Transformers (BERT) model, and a document-level Support Vector Machine classifier. To address the challenges posed by the lengthy legal documents, the approach introduces a human-in-the-loop approach, whose task is to localize and tag relevant segments of text in the word-level training part, which dramatically reduces the dimension of the document classifier input vector. We performed experiments to validate our approach using a real-world dataset comprised of 270 intermediate petitions, which were carefully annotated by specialists from the 15th civil unit of the State of Alagoas, Brazil. Our results revealed that both BiLSTM and BERT-Convolutional Neural Networks variants achieved an accuracy of up to 95.49%, and also outperformed baseline classifiers based on the Term Frequency–Inverse Document Frequency test vectorizer. The proposed approach is currently being utilized to automate the aforementioned justice unit, thereby increasing its efficiency in handling repetitive tasks. (shrink)

What is the relationship between the linguistic properties of knowledge-how ascriptions and the nature of knowledge-how itself? In this chapter I address this question by examining the linguistic methodology of Stanley and Williamson (2011) and Stanley (2011a, 2011b) who defend the intellectualist view that knowledge-how is a kind of knowledge-that. My evaluation of this methodology is mixed. On the one hand, I defend Stanley and Williamson (2011) against critics who argue that the linguistic premises they appeal to—about the syntax and (...) semantics of knowledge-how and knowledge-wh ascriptions—do not establish their desired conclusions about the nature of knowledge-how itself. But, on the other hand, I also criticize the role that linguistic considerations play in Stanley’s (2011a) response to apparent Gettier-style counterexamples to intellectualism. (shrink)