In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of (...) a sheaf of MV-chains on a compact topological space. This result is intimately related to McNaughton’s theorem, and we explain why our representation theorem can be viewed as a vast generalization of McNaughton’s theorem. In spite of the language used in this abstract, we have written this paper in the hope that it can be read by experts in MV-algebras but not in sheaf theory, and conversely. (shrink)

In this paper, we provide a set-theoretic proof of the general representation theorem for MV-algebras, which was developed by Dubuc and Poveda in 2010. The theorem states that every MV-algebra is isomorphic to the MV-algebra of all global sections of its prime spectrum. We avoid using topos theory and instead rely on basic concepts from MV-algebras, topology and set theory.

ABSTRACTWe introduce the variety of Many-Valued-Weak rigs. We provide an axiomatisation and establish, in this context, basic properties about ideals, homomorphisms, quotients and radicals. This new class contains the class of product MV-algebras presented by Di Nola and Dvurečenskij in 2001 and by Montagna in 2005. The main result is the compactness of the prime spectrum of this new class, endowed with the co-Zariski topology as defined by Dubuc and Poveda in 2010.

An explicit categorical equivalence is defined between a proper subvariety of the class of \-algebras, as defined by Di Nola and Dvurečenskij, to be called \-algebras, and the category of semi-low \-rings. This categorical representation is done using the prime spectrum of the \-algebras, through the equivalence between \-algebras and \-groups established by Mundici, from the perspective of the Dubuc–Poveda approach, that extends the construction defined by Chang on chains. As a particular case, semi-low \-rings associated to Boolean algebras (...) are characterized. (shrink)

An explicit categorical equivalence is defined between a proper subvariety of the class of \-algebras, as defined by Di Nola and Dvurečenskij, to be called \-algebras, and the category of semi-low \-rings. This categorical representation is done using the prime spectrum of the \-algebras, through the equivalence between \-algebras and \-groups established by Mundici, from the perspective of the Dubuc–Poveda approach, that extends the construction defined by Chang on chains. As a particular case, semi-low \-rings associated to Boolean algebras (...) are characterized. (shrink)

We show the intimate relationship between McNaughton Theorem and the Chinese Remaindner Theorem for MV-algebras. We develop a very short and simple proof of McNaughton Theorem. The arguing is elementary and right out of the definitions. We exhibit the theorem as just an instance of the Chinese theorem. Since the variety of MV-algebras is arithmetic, the Chinese theorem holds for MV-algebras. However, to make this paper self-contained and entirely elementary, we include a simple proof of this theorem inspired in Ferraioli (...) and Lettieri (Math Logic Q 1:27–43, 2011). (shrink)

The wave function and spin are shown to be attributes of the dynamics which is a dominant structure of the quantum mechanics. A self-consistent force field κ (not the quantum axiomatics) appears to be responsible for quantum effects. The field κ can escape from the matter and produce pairs.

The main objective of this research is to identify the current panorama of scientific production associated with governance in university institutions. A bibliometric analysis was developed in Scopus using R Core Team 2022-Bibliometrix and Vosviewer software. The results highlight the countries with the highest productivity in the topic of study, with the most representative authors favoring the understanding of governance. The main thematic clusters stand out. It recognizes the role of university governance and its migration to direct spaces and the (...) transition from a face-to-face model. (shrink)

A recently proposed approach to relativistic quantum mechanics is applied to the problem of a particle in a quadratic potential. The methods, both exact and approximate, allow one to obtain eigenstate energy levels and wavefunctions, using conventional numerical eigensolvers applied to Schrödinger-like equations. Results are obtained over a nine-order-of-magnitude variation of system parameters, ranging from the non-relativistic to the ultrarelativistic limits. Various trends are analyzed and discussed—some of which might have been easily predicted, others which may be a bit more (...) surprising. (shrink)

In “A new proof of the completeness of the Lukasiewicz axioms” Chang proved that any totally ordered MV-algebra A was isomorphic to the segment \}\) of a totally ordered l-group with strong unit A *. This was done by the simple intuitive idea of putting denumerable copies of A on top of each other. Moreover, he also show that any such group G can be recovered from its segment since \^*}\), establishing an equivalence of categories. In “Interpretation of AF C (...) *-algebras in Lukasiewicz sentential calculus” Mundici extended this result to arbitrary MV-algebras and l-groups with strong unit. He takes the representation of A as a sub-direct product of chains A i, and observes that \ where \. Then he let A * be the l-subgroup generated by A inside \. He proves that this idea works, and establish an equivalence of categories in a rather elaborate way by means of his concept of good sequences and its complicated arithmetics. In this note, essentially self-contained except for Chang’s result, we give a simple proof of this equivalence taking advantage directly of the arithmetics of the the product l-group \, avoiding entirely the notion of good sequence. (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)

In Part I of this series [A. Poveda, A. Rinot and D. Sinapova, Sigma-Prikry forcing I: The axioms, Canad. J. Math. 73(5) (2021) 1205–1238], we introduced a class of notions of forcing which we call [Formula: see text]-Prikry, and showed that many of the known Prikry-type notions of forcing that center around singular cardinals of countable cofinality are [Formula: see text]-Prikry. We showed that given a [Formula: see text]-Prikry poset [Formula: see text] and a [Formula: see text]-name for a (...) non-reflecting stationary set [Formula: see text], there exists a corresponding [Formula: see text]-Prikry poset that projects to [Formula: see text] and kills the stationarity of [Formula: see text]. In this paper, we develop a general scheme for iterating [Formula: see text]-Prikry posets and, as an application, we blow up the power of a countable limit of Laver-indestructible supercompact cardinals, and then iteratively kill all non-reflecting stationary subsets of its successor. This yields a model in which the singular cardinal hypothesis fails and simultaneous reflection of finite families of stationary sets holds. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 03, December 2022. In Part I of this series [A. Poveda, A. Rinot and D. Sinapova, Sigma-Prikry forcing I: The axioms, Canad. J. Math. 73(5) (2021) 1205–1238], we introduced a class of notions of forcing which we call [math]-Prikry, and showed that many of the known Prikry-type notions of forcing that center around singular cardinals of countable cofinality are [math]-Prikry. We showed that given a [math]-Prikry poset [math] and a [math]-name for a (...) non-reflecting stationary set [math], there exists a corresponding [math]-Prikry poset that projects to [math] and kills the stationarity of [math]. In this paper, we develop a general scheme for iterating [math]-Prikry posets and, as an application, we blow up the power of a countable limit of Laver-indestructible supercompact cardinals, and then iteratively kill all non-reflecting stationary subsets of its successor. This yields a model in which the singular cardinal hypothesis fails and simultaneous reflection of finite families of stationary sets holds. (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)

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.

A proposed plan to rescue US biomedical research from its current ‘malaise’ will not be effective as it misdiagnoses the root cause of the disease.

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)

An action research project was carried out, using theater workshops and basic digital fabrication technology workshops to improve social skills—such as the expression of emotions, communication, self-control, and teamwork—in a group of 10 young individuals with autism spectrum disorder. This article focuses on the digital fabrication workshops, where participants worked on the fundamentals of electronics and programming, as well as 3D design and printing, to make props that were later used on stage in the theatrical performances in which they participated. (...) These workshops were systematized through observation guides. According to the results, it was evident that the participants not only enjoyed and gained technological knowledge, but that their social skill development needs were addressed. Professionals from the Special Education Faculty and the Fab Lab Kä Träre, both from Universidad Estatal a Distancia in Costa Rica, were in charge of the study during its first phase, executed in 2016 and 2017. (shrink)

The article is focused on studying the philosophical and legal nature of fundamental human rights and freedoms, which are interpreted as natural and inherent in a person from birth. It is shown that the “naturalness” of rights and freedoms is a legal fiction. In reality, natural rights and freedoms have a sociocultural, that is, “artificial” character. They strengthen the achieved level of guarantees of individual freedom and humanity in public relations.

Yuri Balashov sets out major rival views of persistence--endurance, perdurance, and exdurance--in a spacetime framework and proceeds to investigate the implications of Einstein's theory of relativity for the debate about persistence. His overall conclusion--that relativistic considerations favour four-dimensionalism over three-dimensionalism--is hardly surprising. It is, however, anything but trivial. Contrary to a common misconception, there is no straightforward argument from relativity to four-dimensionalism. The issues involved are complex, and the debate is closely entangled with a number of other philosophical disputes, (...) including those about the nature and ontology of time, parts and wholes, material constitution, causation and properties, and vagueness. (shrink)

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.

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)

Properties of non‐canonical GC base pairs and their relations with mechanochemical cleavage of DNA are analyzed. A hypothesis of the involvement of the transient GC wobble base pairs both in the mechanisms of the mechanochemical cleavage of DNA and epigenetic mechanisms involving of 5‐methylcytosine, is proposed. The hypothesis explains the increase in the frequency of the breaks of the sugar‐phosphate backbone of DNA after cytosines, the asymmetric character of these breaks, and an increase in break frequency in CpG after cytosine (...) methylation. As an alternative hypothesis, probable implication of GC+ Hoogsteen base pairs is considered, which now exemplify the best‐studied non‐canonical GC base pairs in the DNA double helix. Also see the video abstract here https://youtu.be/EUunVWL0ptw. (shrink)

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)

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)

In this thesis I examine the view—known as intellectualism—that knowledge-how is a kind of knowledge-that, or propositional knowledge. I examine issues concerning both the status of this view of knowledge-how and the philosophical implications if it is true. The ability hypothesis is an important position in the philosophy of mind that appeals to Gilbert Ryle’s famous idea that there is a fundamental distinction between knowledge-how and knowledge-that. This position appears to be inconsistent with the truth of intellectualism. However, I demonstrate (...) in this thesis that the ability hypothesis can be restated using the intellectualist view of knowledge-how. With regards to the status of intellectualism, I argue that the two main traditional arguments against intellectualism do not succeed. I also provide new and, I claim, successful arguments against intellectualism. These arguments point to a new view of knowledge-how that is distinct from both the standard intellectualist and Rylean views of knowledge-how. (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.

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.

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)

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 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)

Background and assumptions. Persistence and philosophy of time ; Atomism and composition ; Scope ; Some matters of methodology -- Persistence, location, and multilocation in spacetime. Endurance, perdurance, exdurance : some pictures ; More pictures ; Temporal modification and the "problem of temporary intrinsics" ; Persistence, location and multilocation in generic spacetime ; An alternative classification -- Classical and relativistic spacetime. Newtonian spacetime ; Neo-Newtonian (Galilean) spacetime ; Reference frames and coordinate systems ; Galilean transformations in spacetime ; Special relativistic (...) spacetime ; Length contraction and time dilation ; Invariant properties of special relativistic spacetime -- Persisting objects in classical spacetime. Enduring, perduring, and exduring objects in Galilean spacetime ; The argument from vagueness ; From minimal D-fusions to temporal parts ; Motivating a sharp cutoff ; Some objections and replies ; Implications -- Persisting objects in Minkowski spacetime. Enduring, perduring, and exduring objects in Minkowski spacetime ; Flat and curved achronal regions in Minkowski spacetime ; Early reflections on persisting objects in Minkowski spacetime : Quine and Smart ; "Profligate ontology"? ; Is achronal universalism tenable in Minkowski spacetime? ; "Crisscrossing" and immanent causation -- Coexistence in spacetime. The notion of coexistence ; Desiderata ; Coexistence in Galilean spacetime ; Coexistence in Minkowski spacetime : CASH ; Alexandrov-Stein present and Alexandrov-Stein coexistence ; AS-Coexistence v. CASH : symmetry, multigrade, and objectivity ; As-coexistence v. CASH : relevance ; The mixed past of coexistence ; No need in the extended now -- Strange coexistence? Coexistence and existence@ ; The asymmetry thesis ; The absurdity thesis ; Collective CASH value of coexistence ; Collective existence@ and coexistence in classical spacetime ; Collective existence@ and coexistence in Minkowski spacetime ; Contextuality ; Chronological incoherence ; Some objections -- Shapes and other arrangements in Minkowski spacetime. How rigid is a granite block? ; Perspectives in space ; Perspectives in spacetime ; Are shapes intrinsic to objects? ; The causal objection ; The micro-reductive objection ; Pegs, boards, and shapes ; Perduring objects exist. (shrink)