The aim of this paper is to define a partial Propositional Type Theory. Our system is partial in a double sense: the hierarchy of (propositional) types contains partial functions and some expressions of the language, including formulas, may be undefined. The specific interpretation we give to the undefined value is that of Kleene’s strong logic of indeterminacy. We present a semantics for the new system and prove that every element of any domain of the hierarchy has a name in the (...) object language. Finally, we provide a proof system and a (constructive) proof of completeness. (shrink)

Husserl's two notions of "definiteness" enabled him to clarify the problem of imaginary numbers. The exact meaning of these notions is a topic of much controversy. A "definite" axiom system has been interpreted as a syntactically complete theory, and also as a categorical one. I discuss whether and how far these readings manage to capture Husserl's goal of elucidating the problem of imaginary numbers, raising objections to both positions. Then, I suggest an interpretation of "absolute definiteness" as semantic completeness and (...) argue that this notion does not suffice to explain Husserl's solution to the problem of imaginary numbers. (shrink)

The aim of this paper is to clarify why propositional logic is Post complete and its weak completeness was almost unnoticed by Hilbert and Bernays, while first-order logic is Post incomplete and its weak completeness was seen as an open problem by Hilbert and Ackermman. Thus, I will compare propositional and first-order logic in the Prinzipien der Mathematik, Bernays’s second Habilitationsschrift and the Grundzüge der Theoretischen Logik. The so called “arithmetical interpretation”, the conjunctive and disjunctive normal forms and the soundness (...) of the propositional rules of inference deserve special emphasis. (shrink)

The aim of this paper is to clarify why propositional logic is Post complete and its weak completeness was almost unnoticed by Hilbert and Bernays, while first-order logic is Post incomplete and its weak completeness was seen as an open problem by Hilbert and Ackermman. Thus, I will compare propositional and first-order logic in the Prinzipien der Mathematik, Bernays’s second Habilitationsschrift and the Grundzüge der Theoretischen Logik. The so called “arithmetical interpretation”, the conjunctive and disjunctive normal forms and the soundness (...) of the propositional rules of inference deserve special emphasis. (shrink)

In his Doppelvortrag, Edmund Husserl introduced two concepts of “definiteness” which have been interpreted as a vindication of his role in the history of completeness. Some commentators defended that the meaning of these notions should be understood as categoricity, while other scholars believed that it is closer to syntactic completeness. A detailed study of the early twentieth-century axiomatics and Husserl’s Doppelvortrag shows, however, that many concepts of completeness were conflated as equivalent. Although “absolute definiteness” was principally an attempt to characterize (...) non-extendible manifolds and axiom systems, an absolutely definite theory has a unique model and, thus, it is non-forkable and semantically complete. Non-forkability and decidability were formally delimited by Fraenkel and Carnap almost three decades later and, in fact, they mentioned Husserl as precursor of the latter. Therefore, this paper contributes to a reassessment of Husserl’s place in the history of logic. (shrink)

En este estudio analizamos dos tendencias claramente distintas y contrapuestas en la forma de impartir cursos elementales de Lógica en la formación superior. Para este propósito, se ha seleccionado una muestra de manuales angloamericanos clásicos, así como otra más pequeña de la tradición iberoamericana para comprobar nuestras hipótesis. Los estilos identificados y analizados en dichos manuales son lo que hemos denominado lógica matemática y lógica para filósofos. En ambos casos se trata de tendencias muy generales reconocibles en las más diversas (...) tradiciones locales. El periodo analizado, 1940-1980, responde al proceso de introducción de la Lógica contemporánea en el ámbito académico occidental. (shrink)

In this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of (...) ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for $\mathcal {HPTT}$. (shrink)

Aim: The presence of noise in urban environments is rarely considered a factor that causes damage to the environment. The primary generating source is transportation means, with vehicles being the ones that affect cities the most. Traffic noise has a particular influence on the quality of life of those who are exposed to it and can cause health alterations ranging from annoyance to cardiovascular diseases. This study aims to describe the relationship between the traffic noise level and the perceived annoyance (...) in the inhabitants of a city on the Northern Border of Mexico. The work carried out in a city represents the vulnerability characteristics: economic, social, and migratory of its sizable portion of the inhabitants. Due to that, it is impossible to identify precisely the number of residents as the number of vehicles in circulation.Methods: The streets and avenues with an annual average daily traffic of more than 1,000 vehicles were considered for the measurement of traffic noise. The equipment used was a vehicle gauge with non-invasive speed radar; type I integrating sound level meters, with their respective gauges and tripods. A questionnaire was applied to people living within 250 m of the streets and avenues in which the noise was measured.Results: The noise measurement found a parameter of LAeq estimated for 12 h during the day, exceeding 70 dBA. The data received from the questionnaire were statistically tested by using Pearson's correlation tests. A total number of 2,350 people were participated, of whom 1,378 were women and 972 were men. The age of participants is ranged from 18 to 75 years. The overall perception of traffic noise annoyance identified that 1,131 participants responded “Yes” as they considered the noise annoying. Participants who responded “No” as well as those who responded “Do not know” resulted in a total of 1,219 people.Conclusion: The results show that the population is desensitized to traffic noise and does not perceive it as an annoyance. The flow of vehicles and the type of vehicles are the significant factors for the propagation and increase in the traffic noise levels. Women present a considerable appreciation of traffic noise perception instead of younger people who demonstrate a higher tolerance to high-level exposure. This reflects the lack of information of the population around the noise problem and its effects. (shrink)

Humans are moral creatures. Among all life on Earth, we alone experience rich moral emotions, follow complex rules governing how we treat one another, and engage in moral dialogue. But how did human morality evolve? And can humans become morally evolved? -/- In A Better Ape, Victor Kumar and Richmond Campbell draw on the latest research in the biological and social sciences to explain the key role that morality has played in human evolution. They explore the moral traits that humans (...) share with chimpanzees; how a more complex moral mind enabled Homo sapiens to arise and out-compete other human species; and the place of morality alongside historic revolutions in technology and social organization. Throughout the book, Kumar and Campbell argue that morality co-evolved with intelligence and complex sociality. Morality prevents societal collapse and enables complex knowledge. -/- After unearthing the ancient origins of human morality, Kumar and Campbell use evolutionary theory to deliver profound insights about how to advance moral progress and resist moral regress, such as reducing animal suffering on industrial farms; capitalizing on the recent revolution in gay rights to foster a nascent revolution in transgender rights; opposing intersectional inequality that impacts women and people of color in lower socioeconomic classes; and addressing major problems of global inequality, especially impending crises of injustice caused by anthropogenic climate change. Understanding how we evolved--and how we continue to evolve--can help us become a better ape. (shrink)

Critical Qualitative Health Research seeks to deepen understandings of the philosophies, politics and practices shaping contemporary qualitative health related research. This accessible, lively, controversial introduction draws on current empirical examples and critical discussion to show how qualitative research undertaken in neoliberal healthcare contexts emerges and the complex issues qualitative researchers confront. This book provides readers with a critical, interrogative discussion of the histories and the legacies of qualitative research, as well as of the more recent calls for renewed criticality in (...) research to respond to global health concerns. Contributions further showcase a range of contemporary work engaging with these issues and the complex encounters with philosophies, politics and practices this involves; from seeking explicit engagements with posthuman ideas or detailed explorations of deeply engaged humanist approaches, to critical discussions of the politics and practices of emerging novel, digital and creative methods. This book offers postgraduate researchers, health researchers and students alike opportunities to engage more deeply with the emergent, complex and messy terrain of qualitative health related research. (shrink)

Drawing from Goffman’s original observations on stigma and the consequences of interactions between the stigmatized and supportive or stigmatizing audiences, we conduct a 20-year review of the diverse literature on stigma to revisit the collective nature of stigmatization processes. We find that studies on stigma’s origins, responses, processes, and outcomes have diverged from Goffman’s relational view of stigma as they have overlooked important relational mechanisms explaining the processes of (de)stigmatization. We draw from those conclusions to justify the need to study (...) stigma as a collective phenomenon. We develop a relational perspective on stigma based on understanding how attributes are stigmatized (or not) by audiences in their interactions. We argue that to advance stigma research, it is necessary to build on Goffman’s theory to include the stigmatizers (i.e., the normal) and supporters (i.e., the wise); how they create, sustain, or remove stigma; and how they relate to the stigmatized (i.e., the targets). Accordingly, we provide a research agenda on stigma as a collective phenomenon that theorizes a relational perspective, proposes a typology of how audiences relate to stigmatization, and identifies patterns of relations between audiences. We thus offer a missing piece to existing accounts of stigma by focusing on the key role of audiences (i.e., stigmatizers or supporters of the stigmatized) rather than on the targets of stigma (i.e., the own). (shrink)

El texto combina una mirada sobre algunos elementos filosóficos y aspectos anecdóticos que ligan a Heidegger, el ser, el pensar y la pregunta por la metafísica con un eventual curso de “Lógica” dictado en 1934 y cuyo contenido es la relación ética entre el hombre y el Estado. Al final aparece la figura del Führer, sus manos y el destino de la humanidad.

J. L. Mackie famously argued that a commitment to non-existent objective values permeates ordinary moral thought and discourse. According to a standard interpretation, Mackie construed this commitment as a universal and indeed essential feature of moral judgments. In this paper I argue that we should rather ascribe to Mackie a form of semantic pluralism, according to which not all moral judgments involve the commitment to objective values. This interpretation not only makes better sense of what Mackie actually says, but also (...) renders his error theory immune to a powerful objection. (shrink)

In this article I give a unified account of three phenomena: bullshit, pseudoscience and pseudophilosophy. My aims are partly conceptual, partly evaluative. Drawing on Harry Frankfurt's seminal analysis of bullshit, I give an account of the three phenomena and of how they are related, and I use this account to explain what is bad about all three. More specifically, I argue that what is defective about pseudoscience and pseudophilosophy is precisely that they are special cases of bullshit. Apart from raising (...) interesting philosophical issues, gaining a clearer understanding of these phenomena is also of practical importance, in that it bears on how best to tackle the threat that they pose. (shrink)

The present article delves into the extension of Knuth’s fundamental Boolean logic table to accommodate the complexities of indeterminate truth values through the integration of neutrosophic logic (Smarandache & Christianto, 2008). Neutrosophic logic, rooted in Florentin Smarandache’s groundbreaking work on Neutrosophic Logic (cf. Smarandache, 2005, and his other works), introduces an additional truth value, ‘indeterminate,’ enabling a more comprehensive framework to analyze uncertainties inherent in computational systems. By bridging the gap between traditional boolean operations and the indeterminacy present in various (...) real-world scenarios, this extension redefines logic tables, introducing neutrosophic operators that capture nuances beyond the binary realm. Through a thorough exploration of neutrosophic logic's principles and its implications in computational paradigms, this study proposes a novel approach to logic design that accommodates uncertain, imprecise, and incomplete information. This paradigm shift in logic tables not only broadens the spectrum of computing methodologies but also holds promise in fields such as decision-making systems and data analytics. This article amalgamates insights from over twelve key references encompassing seminal works in boolean logic, neutrosophic logic, and their applications in diverse scientific and computational domains, aiming to pave the way for a more robust and adaptable logic framework in computation. (shrink)

For long time, especially in the West, there is old paradigm that is strong separation between science and theology/religion matters. Especially, such a diverging path started from Galileo persecution, and also other patterns where religious authority seem to hold the last word on scientific issues. Other area of this World, seems to not hold such a diverging path, for instance it can be read in the works of physicist turned to religious philosopher, for instance Pavel Florensky and Nesteruk. That is (...) why we also discuss shortly about those scientists in this book. In the last chapter, we discuss about eureka, an experience which for a long time was attributed to divine spark or “God’s favor to an artist or to a scientist, such luminaries like Newton, Pascal, Leibniz etc.” Nonetheless, new methodology appears to be able to be generated once we accept balanced brain approach, where left brain and right brain hemispheres of humans can work together. (shrink)

A core tenet of metanormative non-naturalism is that genuine or robust normativity—i.e., the kind of normativity that is characteristic of moral requirements, and perhaps also of prudential, epistemic and even aesthetic requirements—is metaphysically special in a way that rules out naturalist analyses or reductions; on the non-naturalist view, the normative is sui generis and metaphysically discontinuous with the natural. Non-naturalists agree, however, that the normative is modally as well as explanatorily dependent on the natural. These two commitments—discontinuity and dependence—at least (...) initially pull in opposite directions, and one of the central challenges to non-naturalism is how to reconcile them. In this paper I spell out the most pressing version of this discontinuity problem, as I propose to call it, and I go on to offer a novel solution. Drawing on the ideology of reasons-firstism, I formulate an account of normative explanation which reconciles the two commitments, and I argue that competing accounts either do not solve the problem or are implausible on independent grounds. (shrink)

Parsa-Parsi et al systematically discuss and elucidate contentious and non-controversial ethical issues that emerged during the ICoME (International Code of Medical Ethics) revision process and the consensus they achieved. The ethical issues discussed include the physician’s duty to act in the best interests of patients and to ensure they are protected from the unjustifiable risk of harm, respect for patient autonomy and the duties of physicians during emergencies, among others. This paper examines paragraph 26, which requires doctors to provide only (...) medically justified remote treatment, ensure patients offer informed consent and adequately protect their confidentiality.1 At the peak of the COVID-19 pandemic, many countries in Europe and America implemented remote-by-default healthcare policies. At that time, the policy aimed to ensure that patients enjoyed continued access to care while protecting healthcare professionals’ health and well-being. After the COVID-19 pandemic, this policy remained in place. Regardless of the nature of their ailment, patients have consistently preferred in-person care out of concern that their health issues might not be accurately diagnosed and that they may not receive quality care …. (shrink)

Non-naturalists about normativity hold that there are instantiable normative properties which are metaphysically discontinuous with natural properties. One of the central challenges to non-naturalism is how to reconcile this discontinuity with the supervenience of the normative on the natural. Drawing on J. L. Mackie’s seminal but highly compressed discussion in Ethics: Inventing Right and Wrong, this paper argues that the supervenience challenge as usually conceived is merely a symptom of a more fundamental challenge in the vicinity.

Clinician gate-keeping is the process whereby healthcare providers prevent access to eligible patients for research recruitment. This paper contends that clinician gate-keeping violates three principles that underpin international ethical guidelines: respect for persons or autonomy; beneficence or a favourable balance of risks and potential benefits; and justice or a fair distribution of the benefits and burdens of research. In order to stimulate further research and debate, three possible strategies are also presented to eliminate gate-keeping: partnership with professional researchers; collaborative research (...) design and clinician education. (shrink)

Este artículo analiza la incorporación del soft power como elemento de la política exterior de China para América Latina. Sostenemos que China cuenta con soft power y ha desarrollado una estrategia para proyectarlo en el mundo a partir de su política exterior, basándose en su cultura milenaria, en la cooperación internacional hacia los países en desarrollo y en la promoción de su modelo de desarrollo. Asimismo, la inclusión de China del soft power como elemento de su política exterior en la (...) primera mitad de la década de 2000 tendrá efectos medibles en la intensificación de las relaciones con América Latina en la segunda mitad de esa década. (shrink)

This paper explores the metaethical ramifications of a coarse-grained criterion of property identity, sometimes referred to as Hume's dictum. According to Hume's dictum, properties are identical if and only if they are necessarily co-extensive. Assuming the supervenience of the normative on the natural, this criterion threatens the non-naturalist view that there are instantiable normative properties which are distinct from natural properties. In response, non-naturalists typically point to various counterintuitive implications of Hume's dictum. The paper clarifies this strategy and defends it (...) against objections by Bart Streumer and Ralf Bader. In addition, it is argued that proponents of naturalist and supernaturalist views, along with proponents of a certain kind of nihilism, should also reject Hume's dictum. This shows that non-naturalists can also attack the criterion indirectly, by pointing to partners in guilt. Also, it shows that not just any opponent of non-naturalism can appeal to Hume's dictum. Only certain nihilists can. (shrink)

In this work, originally published in 1986, Victor Seidler explores the different notions of respect, equality and dependency in Kant’s moral writings. He illuminates central tensions and contradictions not only within Kant’s moral philosophy, but within the thinking and feeling about human dignity and social inequality which we take very much for granted within a liberal moral culture. In challenging our assumption of the autonomy of morality, Seidler also questions our understanding of what it means for someone to live as (...) a person in his or her own right. The autonomy of individuals cannot be assumed but has to be reasserted against relationships of subordination. This involves a break with a rationalist morality, so that respect for others involves respect for emotions, feelings, desires and needs, and establishes a fuller autonomy as a basis for freedom and justice. (shrink)

In this paper, I discuss two different metaethical challenges based on population ethical impossibility results. According to the anti-realist challenge, the results pose a serious threat to the existence of objective moral facts. According to the skeptical challenge, the results pose a serious threat to the reliability of our moral intuitions. My aim is to systematically explore and evaluate these challenges. In addition to clarifying the issues, I argue that population ethical impossibility results do not in fact support any anti-realist (...) or skeptical conclusions. (shrink)

In some recent papers (G. ‘t Hooft and others), it has been argued that quantum mechanics can arise from classical cellular automata. Nonetheless, G. Shpenkov has proved that the classical wave equation makes it possible to derive a periodic table of elements, which is very close to Mendeleyev’s one, and describe also other phenomena related to the structure of molecules. Hence the classical wave equation complements Schrödinger’s equation, which implies the appearance of a cellular automaton molecular model starting from classical (...) wave equation. The other studies show that the microworld is constituted as a tessellation of primary topological balls. The tessellattice becomes the origin of a submicrospic mechanics in which a quantum system is subdivided to two subsystems: the particle and its inerton cloud, which appears due to the interaction of the moving particle with oncoming cells of the tessellattice. The particle and its inerton cloud periodically change the momentum and hence move like a wave. The new approach allows us to correlate the Klein-Gordon equation with the deformation coat that is formed in the tessellatice around the particle. The submicroscopic approach shows that the source of any type of wave movements including the Klein-Gordon, Schrödinger, and classical wave equations is hidden in the tessellattice and its basic exciations – inertons, carriers of mass and inert properies of matter. We also discuss possible correspondence with Konrad Zuse’s calculating space. (shrink)

This book examines the thought of scholasticism’s Doctor eximius in its entirety: both philosophically and theologically. Many of the most distinctive features of Suárez’s thought are identified and evaluated in light of his immediate historical context. What emerges from the studies contained in this volume is the picture of a thinker who is profoundly steeped in the riches of divergent schools of thought and yet who manages to find his own unique voice to add to the chorus of scholasticism.

As such "Essay on Exoticism" is essential reading for both cultural theorists or those with an interest in the politics of difference and diversity.

The recent “turn to matter” evident in material feminist theories of the more‐than‐human world offers distinct posthuman understandings of the world as continuously relationally entangled, emergent or materializing. In this paper, I consider how these premises both trouble conventional understandings of matter and/or materials, but likewise potentially revise and revitalize understandings of the political for health and inequalities, and for nursing. This is both timely and much needed given contemporary contexts of austerity‐driven neoliberalism in health care and the unprecedented growth (...) in disparities of wealth and well‐being. I wish to explore whether material feminisms allow us to retheorize connections between abstract theory and material concerns like health and inequalities, differently. This is not theory in opposition to practice or activism, but theory conceptualized as sets of entangled emergent practices, but also what constitutes the political, as more fully relational to and in praxis with health‐related activism. I will argue these theories further justify how practitioners can visibly care for and care more about social and health inequalities. Drawing mainly on the work of material feminist, Karen Barad, and her bringing together of queer and feminist theory, as well as feminist new materialisms and understandings of posthumanism, I discuss how this turn to matter together with meaning might transform understandings of health and inequalities. (shrink)

This article examines Richard Lynch’s metaphysics and finds that he ultimately resolves his account of being in terms of essens—that which denotes the essential structure that a being (ens) has apart from existence. For Lynch, unlike many of his Jesuit contemporaries, existence is accidental to being. Yet, even if essens is distinct from existence, it is not altogether lacking being, but is accorded a certain kind of “essential being,” which is identified with the possible. Lynch thus seems to re-appropriate an (...) essentialist metaphysics that has antecedents in Avicenna and Henry of Ghent’s notion of esse essentiae. More proximate to Lynch is the Jesuit thinker Francesco Albertini, who takes Henry’s metaphysics and conveys it to Baroque Scholasticism. Lynch continues down that metaphysical path which, as we shall see, generated fierce controversy among late seventeenth-century Scholastics regarding the nature of creaturely possibility. (shrink)

In recent years, it becomes clear that ITER project in France, as one of the largest experimental fusion reactors underway, is far away from achieving net energy production. In this review article, we presented a short communication this week with Robert Neil Boyd, a senior physicist who happens to have his own working design of fusion reactor in the past. We hope that this transcript of our communication with him (as per 15-17th Nov. 2021) may be found useful for younger (...) scientists. (shrink)