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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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

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)

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

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)

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)

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)

Chapter: WHITE PRIVILEGE AND THE COLOR OF FEAR This chapter focuses on the role that power, innocence and ignorance play in maintaining the position of white privilege. There are times when white people use their privilege in ways that overtly attempt to put and keep people of color in their places, but more often white privilege is less obvious. White privilege does not stand out in white peoples’ behavior at all times. When white behavior is normalized, it is masked. At (...) these times, white privilege and power hide behind the masks of innocence and the masks of ignorance. White people can mask from themselves and others their location with relations to power. In the film, The Color of Fear, David C. hides his power. As he hides his power, he keeps his privilege invisible, that is, behind a mask. In this chapter, we focus on the masking and unmasking of innocence and ignorance to get a better look at how the process of normalization of these masks makes whiteness powerful and consequently hides white privilege. The logic of power and privilege is reflected in the following relationship: -/- innocence + ignorance = Invisibility (of White Privilege) -/- . (shrink)

Feminist phenomenology has contributed significantly to understanding the negative impact of the objectification of women’s bodies. The celebration of thin bodies as beautiful and the demonization of fat bodies as unattractive is a common component of that discussion. However, when one turns toward the correlation of fat and poor health, a feminist phenomenological approach is less obvious. In this paper, previous phenomenological work on the objectification of women is paralleled to the contemporary encouragement to discipline one’s body in order to (...) pursue better health. Similar ideologies of free choice in the face of bodily habits run through discussions of health and beauty. The paper uses the work of Merleau-Ponty and Beauvoir as well as the contemporary feminist phenomenologists Diaprose, Bartky, Bordo, Young, Grosz, and Carel to explore how women are constrained by health testing and health normalization. It argues that despite the apparent benefits of a focus on modifying health habits, feminists have good reason to be wary of the good health imperative. (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.

This essay offers an overview of the diversity of women’s prose writing that emerged on the Czech cultural scene in the post-communist era. To that end it briefly characterizes the work of eight Czech women authors who were born within the first two decades after World War II and began to create during the post-1968 era of ‘normalization’. In this broad sense they belong to a single generation. With rare exception their work was not officially published in their homeland until (...) the 1990s. The writers included are: Lenka Procházková, Tereza Boučková, Alexandra Berková, Zuzana Brabcová, Daniela Hodrová, Sylvie Richterová, Iva Pekárková, and Eva Hauserová. The overview is followed by a concise comparative analysis of texts by three very different writers (Procházková, Pekárková, and Hodrová), using a feminist critical approach. There is also an appendix of works by these writers available in English translation. (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)

This paper examines the possibility of parenting as a queer practice. Examining definitions of “queer” as resistant to presumptions and practices of reprosexuality and repro-narrativity (Michael Warner), bourgeouis norms of domestic space and family time (Judith Halberstam), and policies of reproductive futurism (Lee Edelman), I argue that queer parenting is possible. Indeed, parenting that resists practices of normalization are, in part, realized by certain types of postmodern families. However, fully actualizing the possibility of parenting queerly—and thus teaching our children the (...) values of non-normativity--requires engaging political struggles for distributive justice. These are, thus, the struggles that should be at the center of queer politics, rather than the current struggles for gay marriage and homoparental rights. (shrink)

Time is an essential feature in bipolar disorder (BP). Manic and depressed BP patients perceive the speed of time as either too fast or too slow. The present article combines theoretical and empirical approaches to integrate phenomenological, psychological, and neuroscientific accounts of abnormal time perception in BP. Phenomenology distinguishes between perception of inner time, ie, self-time, and outer time, ie, world-time, that desynchronize or dissociate from each other in BP: inner time speed is abnormally slow (as in depression) or fast (...) (as in mania) and, by taking on the role as default-mode function, impacts and modulates the perception of outer time speed in an opposite way, ie, as too fast in depression and too slow in mania. Complementing, psychological investigation show opposite results in time perception, ie, time estimation and reproduction, in manic and depressed BP. Neuronally, time speed can be indexed by neuronal variability, ie, SD. Our own empirical data show opposite changes in manic and depressed BP (and major depressive disorder [MDD]) with abnormal SD balance, ie, SD ratio, between somatomotor and sensory networks that can be associated with inner and outer time. Taken together, our combined theoretical-empirical approach demonstrates that desynchronization or dissociation between inner and outer time in BP can be traced to opposite neuronal variability patterns in somatomotor and sensory networks. This opens the door for individualized therapeutic “normalization” of neuronal variability pattern in somatomotor and sensory networks by stimulation with TMS and/or tDCS. (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.

Aided by Michel Foucault’s concept of panopticon and a discussion on the function of fairy tales and modern fiction, this paper aims to deal with the question: If human beings truly are civilized, then why do we glorify the Other in our literature? History has shown that human beings have been forming and developing societies for thousands of years. This development also constantly shows that societies have been dealing with or acting upon violent impulses in order to produce a certain (...) level of normalcy; and considering how modern societies have relied upon surveillance and discipline to produce normalization, we could say that this process of production of the normal would also produce the unacceptable non-normal, the Other. However, from the fairy tales to the more modern forms of fiction, we keep on finding this paradox: the portrayal of the non-normal Other to the point of acceptability. (shrink)

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)

This article explores the various ethical and legal limitations faced by researchers studying extreme or ‘ shock’ pornographies, beginning with generic and disciplinary contexts, and focusing specifically upon the assumption that textual analysis unproblematically justifies certain pornographies, while legal contexts utilize a prohibitive gaze. Are our academic freedoms of speech endangered by legislations that restrict our access to non-mainstream images, forcing them further into taboo locales? If so, is the ideological normalization of sexuality inextricable from our research methodologies? Simultaneously, can (...) we justify researchers being allowed access to materials that are not deemed suitable for general consumption, which may further bolster normalized hierarchies of class-privilege and cultural capital? (shrink)

The article introduces the concept of "surveillance-capitalist biopolitics" to problematize the recent expansion of "data extractivism" in health care and health research. As we show, this trend has accelerated during the ongoing Covid pandemic and points to a normalization and institutionalization of self-tracking practices, which, drawing on the "quantified self", points to the emergence of a "quantified collective". Referring to Foucault and Zuboff, and by analyzing key examples of the leading "Big Tech" companies (e.g., Alphabet and Apple), we argue that (...) contemporary forms of digital biopolitics are privatized, opaque, flexible, and not limited to the state. Instead, especially through the integration of wearable technologies, the biopolitical regulation of bodies is increasingly mediated by private tech companies. These companies rely on a questionable narrative of participation, responsibility, and care despite owning, and ultimately controlling, access to intimate health data and the proprietary algorithms mediating this data. The article shows that the proliferation of "surveillance-capitalist biopolitics" ultimately strengthens not only market power but also the epistemic and infrastructural power of the dataowning and gadget-producing firms. Finally, against an exclusively repressive and negative reading of biopolitics, and to effectively counter the forms of power emerging from surveillance-capitalist biopolitics, we propose four dimensions that are central to its democratizationnamely privacy/individual sovereignty, democratic deliberation, pluralism, and epistemic equality. -/- DOI: 10.1007/s41358-021-00309-9. (shrink)

In this article, I present a view on the future of nuclear war which takes into account the expected technological progress as well as global political changes. There are three main directions in which technological progress in nuclear weapons may happen: a) Many gigaton scale weapons. b) Cheaper nuclear bombs which are based on the use of the reactor-grade plutonium, laser isotope separation or are hypothetical pure fusion weapons. Also, advanced nanotechnology will provide the ability to quickly build large nuclear (...) arsenals and AI could be used in designing, manufacturing and nuclear strategy planning. c) Specialized nukes like nuclear-powered space lasers, hafnium bombs and nuclear-powered space ships as kinetic weapons. Meanwhile, the nuclear war strategy also has changed as the bipolar world has ended and as new types of weapons are becoming available. The first strategy change is that Doomsday weapons for blackmail will become attractive for weaker countries which can’t use ICBM to penetrate the anti-missile defense of the enemies. Secondly, the cheaper nukes will become available to smaller actors, who may be involved in “worldwide guerilla”. Cheaper nukes and a larger number of actors also encourage nuclear terrorism and anonymous or false-flag warfare. This will result in the normalization of the use of nuclear weapons in war and growing nuclear arsenals, now distributed between many countries. The third change of the strategy is the use of nukes not against primary military targets but on other objects, which could increase their effects: nuclear power plants, supervolcanos, EMP, tsunamis, taiga fires for global cooling, and even more hypothetical things like asteroid deflection to Earth. All these unconventional means and strategies of nuclear war could become available somewhere in the 21st century and may cause or contribute to the civilizational collapse and even human extinction. (shrink)

From the animosity of the Cold War era, the rapprochement in 1972, normalization of relations in 1979, to rising China and the current trade war, the US-China relationship has emerged and been regarded as an important relationship in global politics, and distinctively significant in the shaping of world order. The United States, a fount of modern think tanks, is home to approximately 30% of the total in the world. These think tanks were gradually embedded into American politics and exercise undoubtedly (...) significant influence in the policymaking process, particularly foreign affairs. Hence, as an emerging global power, China has been the subject of US think tanks debate from different perspectives, such as economy, military, and foreign affairs. This study reviews the post-World War II US-China relations, addresses China’s economic and military rise, its territorial claims and provides policy options for balancing cooperation and conflict in each of these matters. Given that the assimilation of perspectives of American think tanks can foster comprehending the perception of the US regarding China’s rise and Washington-Beijing relations, this internet-mediated research based on foreign policy analysis with the principal focus on agency at institutional level takes a systematic approach to discuss China policy debates among the US think tanks. The objective is to offer an overall review of the China policy debate in the US over the past two decades, whereas the chief focus is dedicated to the perceptions of China in American think tanks about the concepts of “China collapse”, “China threat” and “China responsibilities”; furthermore, providing an assessment of the impact of think tanks on China’s most-favored-nation (MFN) treatment, the legislature on permanent normal trade relations (PNTR), and contemporary trade relations between the two countries. (shrink)

The essay describes some crucial moments in the intellectual biography of Ralf Dahrendorf and Jürgen Habermas, focusing on their frequent relationships in the first forty years. This research shows that, beyond the many divergences, what linked them in an enduring sodality was a radically democratic orientation that was consolidated in some epochal caesuras of German history: the advent of the Third Reich, the Second World War and the Anglo-American liberal “re-education”, the “normalization” of the Adenauer era, the crisis of democracy (...) and the protest of the “Sixty-eight”. (shrink)