Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is (...) to count formulas as maximal that are the conclusion of reductio and major premise of an elimination rule and to require their removability from deductions. The main part of the paper consists in a proof of a normalisation theorem for bilateral logic. The closing sections address philosophical concerns whether the proof provides a satisfactory solution to the problem at hand and confronts bilateralists with the dilemma that a bilateral notion of stability sits uneasily with the core bilateral thesis. (shrink)

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for implication. (...) The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions (...) in normal form have the subformula property. (shrink)

This note corrects an error in my paper 'Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule' (Archive for Mathematical Logic 61 (2022): 105-129, DOI 10.1007/s00153-021-00775-6): Theorem 2 is mistaken, and so is a corollary drawn from it as well as a corollary that was concluded by the same mistake. Luckily this does not affect the main result of the paper.

This brief note corrects an error in one of the reduction steps in my paper 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks' published in the Journal of Applied Logics 8/2 (2021): 531-556.

In this paper, we argue that there are reasons to believe that an implicit bias for normalcy influences what are considered medically necessary treatments in psychiatry. First, we outline two prima facie reasons to suspect that this is the case. A bias for ‘the normal’ is already documented in disability studies; it is reasonable to suspect that it affects psychiatry too, since psychiatric patients, like disabled people, are often perceived as ‘weird’ by others. Secondly, psychiatry's explicitly endorsed values of well-being (...) and function are hard to measure directly, which is why we see simpler box-ticking conceptions of recovery used in large research studies. This need not be problematic, but might lead to researchers and clinicians focusing too much on treatments that promote easy-to-measure proxies for recovery, instead of what actually matters to psychiatric patients themselves. Next, we provide examples of treatments and treatment decisions within two areas – self-injury and psychosis – which are hard to explain unless we assume that an implicit and harmful normalcy bias is at work. We conclude with some suggestions for clinicians and future research. (shrink)

Roderich Tumulka’s GRWf theory offers a simple, realist and relativistic solution to the measurement problem of quantum mechanics. It is achieved by the introduction of a stochastic dynamical collapse of the wavefunction. An issue with dynamical collapse theories is that they involve an amendment to the Schrodinger equation; amending the dynamics of such a tried and tested theory is seen by some as problematic. This paper proposes an alteration to GRWf that avoids the need to amend the Schrodinger equation via (...) what might be seen as a primary set of solutions to the Schrodinger equation that satisfy a normalisation condition over space and time. The traditional Born-normalised solutions are shown to be conditionalisations of these primary solutions. (shrink)

Feminists have indicated the inadequacies of bioethical debates about human embryonic stem cell research, which have for the most part revolved around concerns about the moral status of the human embryo. Feminists have argued, for instance, that inquiry concerning the ethics and politics of human embryonic stem cell research should consider the relations of social power in which the research is embedded. My argument is that this feminist work on stem cells is itself inadequate, however, insofar as it has not (...) incorporated an analysis of disability into its considerations of the ethical and political issues that surround the phenomena. Thus, I consider claims that disability theorists and anti-disability activists have made about the research. I conclude by indicating that stem cell research must be situated within a cultural matrix that operates in the service of normalisation. (shrink)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

In this paper, I will reread the history of molecular genetics from a psychoanalytical angle, analysing it as a case history. Building on the developmental theories of Freud and his followers, I will distinguish four stages, namely: (1) oedipal childhood, notably the epoch of model building (1943–1953); (2) the latency period, with a focus on the development of basic skills (1953–1989); (3) adolescence, exemplified by the Human Genome Project, with its fierce conflicts, great expectations and grandiose claims (1989–2003) and (4) (...) adulthood (2003–present) during which revolutionary research areas such as molecular biology and genomics have achieved a certain level of normalcy—have evolved into a normal science. I will indicate how a psychoanalytical assessment conducted in this manner may help us to interpret and address some of the key normative issues that have been raised with regard to molecular genetics over the years, such as ‘relevance’, ‘responsible innovation’ and ‘promise management’. (shrink)

Responding to recent calls made within UK Parliament for a government-backed definition of Islamophobia, this article considers the unanticipated consequences of such proposals. I argue that, considered in the context of related efforts to regulate hate speech, the formulation and implementation of a government-sponsored definition will generate unforeseen harms for the Muslim community. To the extent that such a definition will fail to address the government’s role in propagating Islamophobia through ill-considered legislation that conflates Islamist discourse with hate speech, the (...) concept of a government-backed definition of Islamophobia appears hypocritical and untenable. Alongside opposing government attempts to define Islamophobia (and Islam), I argue that advocacy efforts should instead focus on disambiguating government counter-terrorism initiatives from the government management of controversies within Islam. Instead of repeating the mistakes of the governmental adoption of the IHRA definition of antisemitism by promoting a new definition of Islamophobia, we ought to learn from the errors that were made. We should resist the gratuitous securitization of Muslim communities, rather than use such definitions to normalize compliance with the surveillance state. (shrink)

In the present paper, we prove the normalization theorem and the consistency of the first-order classical logic with disjunctive syllogism. First, we propose the natural deduction system SCD for classical propositional logic having rules for conjunction, implication, negation, and disjunction. The rules for disjunctive syllogism are regarded as the rules for disjunction. After we prove the normalization theorem and the consistency of SCD, we extend SCD to the system SPCD for the first-order classical logic with disjunctive syllogism. It can be (...) shown that SPCD is conservative extension to SCD. Then, the normalization theorem and the consistency of SPCD are given. (shrink)

We extend Barbanera and Berardi's symmetric lambda calculus [2] to second-order classical propositional logic and prove its strong normalization.

The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence of (...) reduction - the worst reduction sequence - it is the lowest upper bound on the length of reduction sequences. The main commitment of the introduced method is that it is constructive and elementary, produced only through analyzing structural and combinatorial properties of derivations and lambda terms, without appeal to any sophisticated mathematical tool. Together with the exposition of the method, it is presented a comparative study of some articles in the literature that also get strong normalization by means we can identify with the natural ordinal methods. Among them we highlight Howard[1968], which performs an ordinal analysis of Godel’s Dialectica interpretation for intuitionistic first order arithmetic. We reveal a fact about this article not noted by the author himself: a syntactic proof of strong normalization theorem for the system of typified lambda calculus λ⊃ is a consequence of its results. This would be the first strong normalization proof in the literature. (written in Portuguese). (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

In an era of digital revolution, artificial intelligence, big data and augmented reality, technology has shifted from being a tool of communication to a primary medium of experience and sociality. Some of the most basic human capacities are increasingly being outsourced to machines and we increasingly experience and interpret the world through digital interfaces, with machines becoming ever more ‘social’ beings. Social interaction and human perception are being reshaped in unprecedented ways. This book explores this technologisation of the social and (...) the attendant penetration of permanent liminality into those aspects of the lifeworld where individuals had previously sought some kind of stability and meaning. Through a historical and anthropological examination of this phenomenon, it problematises the underlying logic of limitless technological expansion and our increasing inability to imagine either ourselves or our world in other than technological terms. Drawing on a variety of concepts from political anthropology, including liminality, the trickster, imitation, schismogenesis, participation, and the void, it interrogates the contemporary technological revolution in a manner that will be of interest to sociologists, social and anthropological theorists and scholars of science and technology studies with interests in the digital transformation of social life. -/- Table of Contents -/- Introduction: The Technologisation of the Social: A 21st-Century Megamachine? Paul O’Connor -/- 1. Communication as Theatricalisation: Self-Presentation in the Digital Age Arpad Szakolczai -/- 2. Parasites of the Social: Digital Disruptions of the Labour Market Tom Boland -/- 3. Possessed by Technology: The Metastasis of Absence Agnes Horvath -/- 4. Technologisation of the Social: Symbiosis, Parasitism, or Predation? Daniel Gati -/- 5. J'accuse Zéro: The Technology of Zero and the Making of a Personal Void Ray Griffin -/- 6. Digital Affordances and the Liminal Stephen Turner -/- 7. The Smart Womb: Digital Technologies and the Maze of Trickster Politics Marius Ion Benta -/- 8. Brave New Industry? The Dark Side of Dematerialisation and Industry 4.0 Thomas S.J. Smith -/- 9. ‘What Have You Caught?’: Nannycams and Hidden Cameras as Normalised Surveillance of the Intimate Janos Mark Szakolczai -/- 10. Coercive Visibility: Discipline in the Digital Public Arena Paul O’Connor -/- Conclusion: Is There a Way Out of the Technologisation of the Social? Marius Ion Benta. (shrink)

In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is directly motivated in terms (...) of the simple, universal Kripke semantics for S5. The sequent system is cut-free and the circuit proofs are normalising. (shrink)

A new formulation of the Fine-Tuning Argument (FTA) for the existence of God is offered, which avoids a number of commonly raised objections. I argue that we can and should focus on the fundamental constants and initial conditions of the universe, and show how physics itself provides the probabilities that are needed by the argument. I explain how this formulation avoids a number of common objections, specifically the possibility of deeper physical laws, the multiverse, normalisability, whether God would fine-tune at (...) all, whether the universe is too fine-tuned, and whether the likelihood of God creating a life-permitting universe is inscrutable. (shrink)

Over the years, phenomenology has provided illuminating descriptions of discrimination, with its mechanisms and effects being thematised at the most basic levels of embodiment, (dis)orientation, selfhood, and belonging. What remains somewhat understudied is the lived experience of the discriminator. In this paper I draw on Husserl's phenomenological account of normality to reflect on the ways in which we discriminate at the prereflective levels of perceptual experience and bodily being. By critically reflecting on the intentional structures undergirding discriminatory practices, I argue (...) that discrimination is characteristic of a naïve normalising attitude which is habitually interested in securing a familiar experience of a static normality. I first demonstrate how this attitude problematically tends to reproduce, enforce, and further sediment discriminatory and exclusionary norms. Further, I provide an internal critique which problematises discrimination—without recourse to external normative standards—on three fronts: as epistemically unproductive, experientially obscuring, and normatively non-instantiating. In discriminatory acts we see an abnormal refusal to enrich, revise, and genetically establish new normative commitments, new ways of seeing, and a new normality. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings (...) of modal operators in terms of rules of inference. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Emotion processing is known to be impaired in psychopathy, but less is known about the cognitive mechanisms that drive this. Our study examined experiencing and suppression of emotion processing in psychopathy. Participants, violent offenders with varying levels of psychopathy, viewed positive and negative images under conditions of passive viewing, experiencing and suppressing. Higher scoring psychopathics were more cardiovascularly responsive when processing negative information than positive, possibly reflecting an anomalously rewarding aspect of processing normally unpleasant material. When required to experience emotional (...) response, by ‘getting into the feeling’ of the emotion conveyed by a negative image, higher factor 1 psychopathic individuals showed reduced responsiveness, suggesting that they were less able to do this. These data, together with the absence of corresponding differences in subjective self-report might be used to inform clinical strategies for normalising emotion processing in psychopathic offenders to improve treatment outcome, and reduce risk amongst this client group. (shrink)

According to a prominent argument, citizens in unjust societies have a duty to resist injustice. The moral and political principles that ground the duty to obey the law in just or nearly just conditions, also ground the duty to resist in unjust conditions. This argument is often applied to a variety of unjust conditions. In this essay, I critically examine this argument, focusing on conditions involving institutionally entrenched and socially normalised injustice. In such conditions, the issue of citizens’ duties to (...) resist is complicated. I conclude by considering how my discussions may clarify a contemporary problem about engaging in resistance to aid potential migrants who have been turned away by states in accordance with widely accepted rules. (shrink)

Sport continues to be one of the primary means through which notions of Englishness and Britishness are constructed, contested, and resisted. The legacy of the role of sport in the colonial project of the British Empire, combined with more recent connections between sport and far right fascist/nationalist politics, has made the association between Britishness, Englishness, and ethnic identity(ies) particularly intriguing. In this paper, these intersections are explored through British media coverage of the Canadian‐born, British tennis player, Greg Rusedski. This coverage (...) is examined through the lens of ‘performativity,’ as articulated by Judith Butler. Through a critical application of Butler's ideas, the ways in which the media seek to recognise and normalise certain identities, while problematising and excluding others, can be more fully appreciated. Thus, it was within newspaper framings of Rusedski that hegemonic notions of White Englishness could be performed, maintained, and embedded. (shrink)

The development of artificial womb technology is proceeding rapidly and will present important ethical and theological challenges for Christians. While there has been extensive secular discourse on artificial wombs in recent years, there has been little Christian engagement with this topic. There are broadly two primary uses of artificial womb technology—ectogestation as a form of enhanced neonatal care, where some of the gestation period takes place in an artificial womb, and ectogenesis, where the entire gestation period is within an artificial (...) womb. Ectogestation for the latter weeks or months of pregnancy could be possible within a decade or so, while ectogenesis for humans is far more speculative. Ectogestation is likely to significantly decrease maternal and neonatal morbidity and mortality, and so there is a strong case for supporting its development. Ectogenesis, however, may bring a number of challenges, including the commodification of children, and the pathologizing of pregnancy and childbirth. Its long-term effects on those who are created through this process are also unknown. In the event that it becomes ubiquitous, we may also find the central theological significance of pregnancy and birth diminished. The dilemma for Christians is that the development of ectogestation seems likely to normalise the use of artificial gestation, and, in time, pave the way for ectogenesis. (shrink)

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. (...) This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

This is the second of a multi-part article on the racism in Anthony Appiah’s work. This short article will focus on his normalisation of racism in a specific instance in a specific work 'Colour Conscious' (Appiah & Guttman, 1996).

Since the dawn of the internet, pornography has effectively become ubiquitous, pervasive, and increasingly normalised. Study findings show remarkable similarities in how the brain reacts to pornography, and other known addictive substances, and indicate that consuming pornography is comparable to consuming other known addictive substances. Moreover, two of the biggest risk factors for addiction are the substance’s availability and its easy accessibility, particularly in the case of younger persons. To date, pornography addiction has been conceptualised as a behavioural addiction. However, (...) the body of research data on pornography addiction does not provide conclusive support for behavioural addiction. The aim of this thesis is to put forward the idea that pornography can, and should, be conceptualised as an addictive substance, and, that when pornography is consumed, an addictive substance is consumed. In order to support this claim, there are many factors that must be addressed. I first clarify what pornography entails by exploring how it is conceptualised, what pornography ‘does’, and what it means to be a pornography consumer. Secondly, I examine the conceptualisations of substances, substance consumption and addiction, respectively, as well as the subsequent difference between substance and behavioural addiction. Thirdly, I give an inclusive overview of pornography addiction by not only examining the most recent perspectives of researchers, but also of pornography consumers. I conclude by suggesting how we should go about conceptualising pornography addiction, and then propose how the set of diagnostic criteria for pornography use disorder should be formulated for a future iteration of the American Psychiatric Association’s Diagnostic and Statistical Manual of Mental Disorders. I argue that, given the abundance of academic research on substance addiction, compared to the scarcity of research on behavioural addiction, conceptualising pornography as an addictive substance is more likely to create a sense of urgency for the future research of pornography addiction than would be the case if it is considered a potential behavioural addiction. Furthermore, I argue that the classification of pornography as an addictive substance, and the inclusion of pornography use disorder in a future iteration of the DSM, will raise awareness of the potential adverse effects of pornography consumption and, therefore, the harmful consequences of pornography use disorder. (shrink)

As civil liberties are shredded and powerful corporate and political force engage in a range of legal illegalities, the state itself becomes a model for corruption and violence. Violence has become not only the foundation of corporate sovereignty, it has also become the ideological scaffolding of common sense. Under casino capitalism, the state has become the enemy of justice and offers a prototype for types of misguided rebellion that mimic the lawlessness enshrined by corporate sovereignty and the repressive state apparatuses. (...) Under such circumstances, the force of action does not reside in deliberation, compassion, justice, equality and freedom. The state of exception has become the rule serving to legitimate illegality and normalizing violence and force as the only mediating dynamic worth utilizing to solve problems. In addition, subjectivity itself has become both hyper-masculinized, transformed, and subordinated to the celebration of an aggressive, violent and hyper-competitive war machine. Evidence of the hardening of the culture and the ongoing visibility of a pathological form of hyper-masculinity abounds in polices that amount to a permanent war on the poor, women, immigrants, workers, public servants, Muslims, poor minorities and those adults marginalized by class and race. Casino capitalism's paranoiac and increasingly repressive institutional and ideological apparatuses live in fear of dissent, critical rationality and the possibility of collective struggles moved by the desire for justice and a radical democracy. This is precisely where questions about education and resistance connect to broader debates about producing critical agents capable of acting as engaged and responsible citizens in a substantive democracy. Neoliberalism, as a dominant ideology, changed not only ways of thinking, but, consequently, practices. Evidently, a process of transformation like the one imposed by the hegemony of neoliberal ideology does not take place without resistance-conscious or not-and here it is the role of the State (and its ideological apparatus) in the subjection of individuals. For Fisher, there is no element that shows that the public actually embraced neoliberal doctrines with enthusiasm. For Mark Fisher, capitalist realism is \\\"an expression of class decomposition, and a consequence of class disintegration\\\". The phenomenon resulting from this discontent that finds few ways to express itself that are not individual is named by Mark Fisher as the \\\"privatization of stress\\\", which easily converts into depression and other psychological suffering. Although both its neoliberal and neoconservative components are opposed to bureaucracy in favour of privatised decentralisation, in practice capitalist realism involves the normalisation of bureaucracy and the creation of additional and unnecessary labour. Although pyramidal hierarchies are flattened, the increase and establishment of constant communication through technology has led to people at the same level surveilling each other. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...) here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

La communication interdisciplinaire rencontre divers problématiques : l’hétérogénéités des informations (sémantique, standardisation des formats), les confusions linguistiques (intentions dans les énoncés, polysémie des mots) ou encore épistémologiques (expertises divergentes, terminologies inadéquates). Nous proposons pour favoriser l’intercommunication entre différents domaines de spécialité, l’emploi des ontologies informatiques : des artefacts informatiques permettant une représentation des concepts au sein d’un domaine de spécialité. Autour de la notion « d’interopérabilité sémantique », la capacité pour une machine et des acteurs de communiquer ensemble, nous viserons (...) à montrer en quoi les ontologies peuvent permettre à des acteurs de différentes disciplines de clarifier les notions propres à leurs domaines en fonction d’une analyse de leurs usages des mots. Nous tâchons ici de mettre en avant la capacité des ontologies de traiter le langage selon différents niveaux du sens d’un mot (du plus concret et appliqué, au plus abstrait et conceptuel), afin de mettre en perspective ce en quoi cette analyse basée sur les textes d’un corpus, permet de rendre compte de, si ce n’est un état du réalisme d’une discipline, du moins, servir d’outils pour aider les acteurs à normaliser leurs pratiques. En ce sens, les ontologies informatiques peuvent être considérées et utilisées comme autant de bases terminologiques servant comme outils de références pour faciliter la communication interdisciplinaire. (shrink)

A short story about the pitfals of a new law, the General Act for the Dismantling of Normalising Power and Structures of Privilege, and, more philosophically, about the problems of institutionalizing progressive politics through law. Published in The Cabinat of Imaginary Laws, by Peter Goodrich and Thanos Zartaloudis: Returning to the map of the island of utopia, this book provides a contemporary, inventive, addition to the long history of legal fictions and juristic phantasms. Aimed at an intellectual audience disgruntled with (...) the negativity of critique and the narrowness of the disciplines, this book will appeal especially to theorists, literati, lawyers, scholars and a general public concerned with the future of decaying laws and an increasingly derelict legal system. (shrink)

This book is my gift to Albert Einstein on the occasion of his 142nd birthday - and is also a gift to everybody in the world he helped to shape! -/- My book adopts the view that the universe is infinite and eternal - but scientifically created. This paradox of creating eternity depends on the advanced electronics developed by future humanity. Those humans will develop time travel, plus programs that use "imaginary" time and infinite numbers like pi. They'll also become (...) the El or Elohim (names used by various religions to mean "God" or "the gods"). As astronomer Carl Sagan wrote in "Pale Blue Dot", "Many religions teach that it is the goal of humans to become gods." (I think that Elohim would be termed supernatural today, though their infinite abilities are actually natural outcomes of progress.) -/- A look through the book will tell you that some ideas are frequently repeated. This is because each article is meant to be understood without reading the others … so the same ideas show up in more than one. I’ve tried to stay away from jargon and equations unless they’re necessary (I find that they often make a subject harder to understand, not easier). All objects and events on Earth, in space, and in time (including the inevitability of world peace and immortality) are just one thing – strings of electronics' binary digits 1 and 0. -/- -/- TABLE OF CONTENTS -/- CHAPTER 1 - HYPOTHESIS OF QUANTUM GRAVITY -/- CHAPTER 2 - THE PHYSICIST AND THE PHILOSOPHER -/- CHAPTER 3 - ATTENTION MEDICAL DOCTORS! PHYSICS THEORY IMPLIES ALL PATIENTS CAN BE NORMALISED USING GRAVITY -/- CHAPTER 4 - SETI, EVOLUTION, AND TIME -/- CHAPTER 5 - ANYONS - ONE KEY TO UNLOCK GRAVITATIONAL-ELECTROMAGNETIC UNION, THE TOPOLOGICAL UNIVERSE, SPACE-TIME TRAVEL, FUTURE COMPUTERS, DARK MATTER/DARK ENERGY -/- CHAPTER 6 - WHAT CAUSES THE PLANETS TO SPEED UP AND SLOW DOWN WHILE THEY ARE ORBITING THE SUN -/- CHAPTER 7 - A BRIEF OUTLINE OF THE POSSIBLE BASICS OF COSMOLOGY IN THE 22nd CENTURY, AND WHAT IT MEANS FOR RELIGION -/- CHAPTER 8 - THE WORLD'S REAL-LIFE EXPERIMENTS WITH COVID-19 AND PHYSICS ALTER SOCIETY AND GLOBAL ECONOMICS -/- CHAPTER 9 - UNITING TIME -/- CHAPTER 10 - EXTRACTING ENERGY FROM BLACK HOLES -/- CHAPTER 11 - TIME TREK: THE 25TH CENTURY'S ANSWER TO STAR TREK. (shrink)

A Monograph Dealing With Unification In Relation To Dark Energy, Dark Matter, Cosmic Expansion, E=mc2, Quantum Gravity, "Imaginary" Computers, Creation Of The Infinite And Eternal Universe Using Electronic BITS + PI + "Imaginary" Time, Earthly Education, Science-Religion Union, The Human Condition, Superconductivity, Planetary Fields, How Gravitation Can Boost Health, Space-Time Propulsion From The Emdrive To The Brouwer Fixed-Point Theorem, "Light Matter", Etc. These Effects Were Originally Discussed In Several Short Internet Articles. Table Of Contents Introduction Superconductivity And Planetary Magnetic / (...) Electric Fields Co-Movement Of Photons And Graviton General Relativity Deletes Dark Energy, Dark Matter And Universal Expansion The Relation Of The Higgs Field To Gravity Spin Interactions And Making Bosons Or Fermions The Final Missing Steps In E=mc2 What Will Education Be Like In 2049? Learn By Holographic Teachers Using Quantum Mechanics, "Imaginary" Computers And A Unification Of Physics That Will Bring Education To Everyone, Everywhere Hypotheses Supporting Gravitation As A Push - (1) M-Sigma, The Non-Fundamental Nuclear Forces (2) Geysers On Saturn's Moon Enceladus (3) Gravity, Falling Bodies (4) Earth's Tides, Astronomical Unit, Cosmic Backgrounds A Proposal For The True Human Condition That Reconciles Science With Religion Back To The Moon And On To The Stars Normalising Patients With Gravitation. (shrink)

Most forms of human papillomavirus can create alterations on a woman's cervix that can lead to cervical cancer in the long run, while others can produce genital or epidermal tumors. Cervical cancer is a leading cause of morbidity and mortality among women in low- and middle-income countries. The prediction of cervical cancer still remains an open challenge as there are several risk factors affecting the cervix of the women. By considering the above, the cervical cancer risk factor dataset from KAGGLE (...) data warehouse is executed for predicting the cervical cancer risk classes. The cervical cancer data set is normalised with incomplete data and Pattern Calibration. Secondly, the interpretive data analysis is carried out, and the target feature's dispersion of the cervical cancer risk is visualised. Thirdly, several classifiers are fitted to the unprocessed data set, and the performance is measured with pre and post feature scaling. Fourth, oversampling methodologies are applied to the pre - processed data set. Fifth, the oversampled dataset by differment methods are applied to all the classifiers and the performance is compared with pre and post feature scaling. Sixth, Precision, recall, Fscore, accuracy, and running time are some of the metrics used in performance analysis. The code is written in Python and executed with Anaconda Navigator on the Spyder framework. The findings of the experiments reveal that the Random forest classifier tends to sustain 96% accuracy pre and post scaling for unporocessed dataset. Similarly the same classifier tends to sustain 98% accuracy for all the oversampling techniques. (shrink)

Maximize Expected Choiceworthiness (MEC) is a theory of decision-making under moral uncertainty. It says that we ought to handle moral uncertainty in the way that Expected Value Theory (EVT) handles descriptive uncertainty. MEC inherits from EVT the problem of fanaticism. Roughly, a decision theory is fanatical when it requires our decision-making to be dominated by low-probability, high-payoff options. Proponents of MEC have offered two main lines of response. The first is that MEC should simply import whatever are the best solutions (...) to fanaticism on offer in decision theory. The second is to propose statistical normalization as a novel solution on behalf of MEC. This paper argues that the first response is open to serious doubt and that the second response fails. As a result, MEC appears significantly less plausible when compared to competing accounts of decision-making under moral uncertainty, which are not fanatical. (shrink)

The verb to legitimate is often used in political discourse in a way that is prima facie perplexing. To wit, it is often said that an actor legitimates a practice which is officially prohibited in the relevant context – for example, that a worker telling sexist jokes legitimates sex discrimination in the workplace. In order to clarify the meaning of statements like this, and show how they can sometimes be true and informative, we need an explanation of how something that (...) is officially illegitimate can have a kind of ersatz legitimacy conferred on it, and how this can occur even when the actor ‘doing the legitimating’ lacks formal authority. I examine one putative explanation centred around the phenomenon of normalization, and I highlight some advantages that this account has in comparison to an alternative explanation, one that makes reference to the phenomenon of licensed authority. (shrink)

Niepełnosprawność jest jedn¸a} z cech różnicuj¸a}cych jednostki i grupy we współczesnych społeczeństwach. Osoby o ograniczonej sprawności fizycznej, poznawczej i psychicznej s¸a} szczególnie narażone na dyskryminacjȩ oraz wykluczenie społeczne, gospodarcze i polityczne. Co istotne kwestia socjalna osób niepełnosprawnych na pocz¸a}tku XXI wieku zmienia siȩ wchodz¸ac w relacjȩ z procesem starzenia siȩ ludności. Artykuł ma na celu przybliżenie wybranych teoretycznych koncepcji działań na rzecz poprawy wizerunku niepełnosprawności i ograniczania barier doświadczanych przez osoby niepełnosprawne w dostȩpie do różnego rodzaju zasobów, przestrzeni i szans. (...) Krytyczna analiza literatury przedmiotu obejmuje wskazanie cech koncepcji polityki aktywizacji oraz zasad i celów polityki społecznej w holistycznym paradygmacie normalizacji. Podsumowanie zawiera możliwe dalsze kierunki badań i analiz. ** Disability is one of the features that differentiate individuals and groups in modern societies. People with reduced physical, cognitive and psychological efficiency are particularly exposed to discrimination and social, economic and political exclusion. What’s important social issue of people with disabilities in the early 21st century changes by entering into a relationship with the ageing of the population. Article aims to introduce some theoretical concepts efforts to improve the image of disability and reduce the barriers faced by persons with disabilities in access to different kinds of resources, spaces and opportunities. A critical analysis of the literature includes: description of the concept of activation policy as well as principles and objectives of social policy in a holistic paradigm of normalization. This summary contains possible future directions of research and analysis. (shrink)

The aim of the paper is to explore the discourse strategies of the Party of Labor of Albania to eliminate its enemies in the early years of establishing communism in the country. The contention is that PLA and its leaders made possible the elimination of thousands of people by normalizing the process. The enemies of the party were declared enemies of the people and as such, they had to disappear in one way or another, so that the integrity of the (...) body politics could be preserved. The class enemy was considered a parasite that should be eliminated in the name of social prophylaxis. By using discourse analyses the paper will investigate the discursive strategies followed by the communist party and its leader when addressing the class enemy. Speeches of Enver Hoxha in Party Congresses, Plenums, and gatherings with people will be analyzed. Only by normalizing the process of elimination of everyone who was depicted as an enemy, did the communist party make possible the elimination of thousands of people. Normalization is understood as the standardization of the procedure so that everyone knew in advance what would happen if someone had to be declared an enemy of the people. The paper will analyze the vocabulary used to portray the class enemy and his/her destiny in specific cases. The study has analyzed the speeches given to justify the elimination of Patër Anton Harapi, Lef Nosi, Maliq Bej Bushat, dom Lazër Shantoja, dom Ndre Zadeja, and the sabotage group of the Maliqi swamp. The analysis covers the period immediately after the end of the IIWW when communists seized the power. (shrink)

_La Peste_, originally published in 1947 by the Nobel Prize-winning writer Albert Camus, chronicles the progression of deadly bubonic plague as it spreads through the quarantined Algerian city of Oran. While most discussions of fictional examples within aesthetics are either historical or hypothetical, Camus offers an example of "pestilence fiction." Camus chose fiction to convey facts--about plagues in the past, his own bout with tuberculosis at age seventeen, living under quarantine away from home for several years, and forced separation from (...) his wife who remained in Algiers while he was abroad in Nazi-occupied France. His own lived experiences undergird an imaginative account of shared human realities with which we can identify: vulnerability to the disease, isolation, fear, and finally humanitarianism. _The Plague_ teaches us to neither covet nor expect what we so casually took for granted. This collection of original essays on philosophical themes in _The Plague_ is of special relevance during and in the aftermath of Covid-19 but also provides reflections that will be of lasting value to those interested in this classic work of literature. The novel explores questions of enduring importance. Do we collectively meet the threshold of ethical behavior posed by Camus who wrote, "What's true of all the evils in the world is true of plague as well. It helps men to rise above themselves"? Or does the absurd undermine the compassionate? Do "heroes" dutifully fight a plague with "common decency," or does human nature resign itself to the normalization of uncontrollable suffering and death? There are myriad ways to approach the novel and this volume encourages readers to ponder human dilemmas in fictional Oran informed by our current pandemic. Series editor forward by Richard Eldridge. List of Contributors includes Steven G. Kellman, Jane E. Schultz, Andrew Edgar, Kathleen Higgins, Edward B. Weiser, Cynthia A. Freeland, and Margaret E. Gray; see "Introduction" by Peg Brand Weiser below. (shrink)

In this paper, I argue that visual attention is cognitively penetrated by intention. I present a detailed account of attention and its neural basis, drawing on a recent computational model of neural modulation during attention: divisive normalization. I argue that intention shifts computations during divisive normalization. The epistemic consequences of attentional bias are discussed.

A straightforward way to handle moral uncertainty is simply to follow the moral theory in which you have most credence. This approach is known as My Favourite Theory. In this paper, I argue that, in some cases, My Favourite Theory prescribes choices that are, sequentially, worse in expected moral value than the opposite choices according to each moral theory you have any credence in. In addition this, problem generalizes to other approaches that avoid intertheoretic comparisons of value, such as My (...) Favourite Option, the Borda Rule, Variance Normalization, and the Principle of Maximizing Expected Normalized Moral Value. (shrink)

Triviality results threaten plausible principles governing our credence in epistemic modal claims. This paper develops a new account of modal credence which avoids triviality. On the resulting theory, probabilities are assigned not to sets of worlds, but rather to sets of information state-world pairs. The theory avoids triviality by giving up the principle that rational credence is closed under conditionalization. A rational agent can become irrational by conditionalizing on new evidence. In place of conditionalization, the paper develops a new account (...) of updating: conditionalization with normalization. (shrink)

Shame is notoriously ambivalent. On one hand, it operates as a mechanism of normalization and social exclusion, installing or reinforcing patterns of silence and invisibility; on the other hand, the capacity for shame may be indispensible for ethical life insofar as it attests to the subject’s constitutive relationality and its openness to the provocation of others. Sartre, Levinas and Beauvoir each offer phenomenological analyses of shame in which its basic structure emerges as a feeling of being exposed to others and (...) bound to one’s own identity. For Sartre, shame is an ontological provocation, constitutive of subjectivity as a being-for-Others. For Levinas, ontological shame takes the form of an inability to escape one’s own relation to being; this predicament is altered by the ethical provocation of an Other who puts my freedom in question and commands me to justify myself. For Beauvoir, shame is an effect of oppression, both for the woman whose embodied existence is marked as shameful, and for the beneficiary of colonial domination who feels ashamed of her privilege. For each thinker, shame articulates the temporality of social life in both its promise and its danger. (shrink)

The paper identifies the phenomenal rise of increasingly invasive forms of elective cosmetic surgery targeted primarily at women and explores its significance in the context of contemporary biotechnology. A Foucauldian analysis of the significance of the normalization of technologized women's bodies is argued for. Three "Paradoxes of Choice" affecting women who "elect" cosmetic surgery are examined. Finally, two utopian feminist political responses are discussed: a Response of Refusal and a Response of Appropriation.

Customer behavior, market dynamics, and technological advances have made it challenging for marketing theorists to provide comprehensive explanations and actionable insights. Although there are numerous substantive marketing frameworks, no formal marketing theory exists. This study aims to develop the first formal grounded theory in marketing by incorporating artificial intelligence and Forde's conceptual framework as a guiding lens. Charmaz's constructivist grounded theory tradition and Forde's conceptual framework and data analysis strategy were employed for this purpose. The data analysis strategy used with (...) grounded theory’s constant compare-and-contrast method comprises holistic and systems thinking, dramaturgical and situational analysis, perspective-taking, and deconstruction. To evaluate Glaser’s assertion that all is data, artificial intelligence was incorporated into the research as the data source for retrieving the theoretical samples to address the primary research question: How can Forde's conceptual framework and artificial intelligence be leveraged to develop a formal marketing theory grounded in evidence? Of significance was the emergence of democratic marketing behaviors and the normalization of anti-democratic marketing approaches leveraged to manipulate buyers or gain access to segments of customers. Buyers and sellers can simultaneously benefit from and be prejudiced by marketing exchange dynamics. This finding lends credibility to the newly emerged framework of strategic actions where empowerment and disempowerment are leveraged to achieve specific goals. Considering this finding, it is suggested that businesses view marketing as a symbiotic relationship between two power centers, buyers and sellers, who respectively strive to maintain human dignity and sustainability. Researchers are encouraged to apply the framework across substantive areas, international markets, public relations, political campaigns, and others. (shrink)

"Why are there 'transsexuals' but not 'transracials'?" "Why is there an accepted way to change sex, but not to change race?" I have repeatedly heard these questions from theorists puzzled by the phenomenon of transsexuality. Feminist thinkers, in particular, often seem taken aback that in the case of category switching the possibilities appear to be so different. Behind the question is sometimes an implicit concern: Does not the (hypothetical or real) example of individual “transracialism” seem politically troubling? And, if it (...) is, does not the case of transsexuality merit equivalent critique? Or, conversely, if one accepts transsexuals as people with legitimate demands (e.g., on medical resources or single-sex spaces), then would one not also be committed to accepting the putative transracial in analogous ways? Understanding the ontological constraints and possibilities with regard to transforming one’s identity is, I suggest, a project that should accompany ethical evaluation of those transformations. Under what circumstances is it (un)ethical to leave behind a gender or racial group with which one has once been affiliated? This question is, again, especially pressing for radical thinkers who endorse the claims that race and gender taxonomies are internally hierarchical and constituted through relations of oppression, domination, and normalization. Changing one’s identity under these circumstances will surely always be linked, however tenuously, to consideration of the larger political and cultural milieu in which such changes are advantageous or disadvantageous, complicit with oppressive norms and/or resistant to them. To illuminate these larger questions, in this paper, I first provide three examples of the analogy thesis in feminist thinking about race and sex change, each of which draws ethical conclusions about individual motivation, political strategy, or public policy, premised on the assumption that race and sex change are equivalent phenomena. None of these accounts consider the genealogy of each category as significant to contemporary possibilities. I next offer a descriptive analysis that highlights different norms at play in contemporary North American understandings: Sex–gender, I argue, is essentialized as a property of the individual’s body, while race is essentialized with reference to both the body and ancestry. This analysis, I conclude, shows politically significant disanalogies between the categories, and reveals the importance of genealogical accounts of race and sex in thinking ethically about changing ourselves. (shrink)

This article presents a new account of the relationship between Michel Foucault’s work and neoliberalism, aiming to show that the relationship is significantly more complicated than either Foucault’s critics or defenders have appreciated in the recent controversy. On the one hand, I argue that Foucault’s salutary response to some of Gary Becker’s ideas in the lecture course from 1979 should be read together with the argument of Discipline and Punish. By means of this contextualization I show that Foucault’s sympathetic response (...) to Becker is limited to the domain of penal practices, specifically concerning the question of how to resist their rationality of normalization, and thus it involves no broader commitment to neoliberal economic theory or its political implications. On the other hand, however, I argue that there is a strategic allegiance between Foucault’s work and the ascendance of the neoliberal rationality of governing, although it has nothing to do with his sympathetic engagement with Becker’s work. Instead, I explain how Foucault’s focus on the political stakes of subjectivity has helped to congeal, in the posthumous neoliberal context, a conception of politics that leaves out the topic of economic equality. To explain how Foucault’s work has had this unintended yet lasting effect, I introduce the concept of topical exclusion. It designates a social mechanism of producing ignorance, which operates by directing attention instead of creating false consciousness. The strategic relationship between Foucault’s work and neoliberalism today illustrates that this type of explanation is essential in the analysis of power relations. Thus, my account motivates the adoption of topical exclusion as a conceptual supplement that equips the Foucaultian framework to study cases in which relations of power harness, produce, and sustain ignorance, not knowledge. (shrink)

Background and Aim: Global trends and national policies have made internationalization and paying attention to the international markets of higher education inevitable on the one hand and becoming a legal requirement of Iranian medical sciences universities on the other hand. Therefore, the main goal of this article was to show, by examining the experience of international marketing of higher education in Tehran University of Medical Sciences, what are the futures of international marketing of higher education in medical sciences? Materials and (...) methods: in this documented data and the views, knowledge and lived experiences of the beneficiaries of the University of Medical Sciences were the basis of the study, and in the following, the methods of documentary studies, trend analysis, brainstorming, expert panel, theme analysis and scenario planning were used. Results: The most important achievement of this article is that among the challenges facing the international marketing of higher education in the University of Medical Sciences, two driving forces have the highest importance and uncertainty in shaping the future of this issue, including: sustainable security and cultural development. Conclusion: The normalization of political and economic relations with the world along with appropriate cultural development inside and outside the university and acceptance of cultural, racial, religious, intellectual, ethnic and gender differences strengthens the marketing process of higher education. In such a situation, the risk of investing in providing international higher education will be reduced. Therefore, the most expensive and the most important uncertainty facing the country's universities in international marketing is the attitude and approach of science and technology governance to the relations and structure governing the international system. (shrink)