According to Act Consequentialism, an act is right if and only if its outcome is not worse than the outcome of any alternative to that act. This view, however, leads to deontic paradoxes if the alternatives to an act are all other acts that can be done in the situation. A typical response is to only apply this rightness criterion to maximally specific acts and to take the alternatives to a maximally specific act to be the other maximally specific acts (...) that can be done in the situation. (This view can then be supplanted by a separate account for the rightness of acts that are not maximally specific.) This paper defends a rival view, Binary Act Consequentialism, where, for any voluntary act, that act is right if and only if its outcome is not worse than the outcome of not doing that act. Binary Act Consequentialism, which dates back to Jeremy Bentham, has few supporters. A number of seemingly powerful objections have been considered fatal. In this paper, I rebut these objections and put forward a positive argument for the view. (shrink)

We want to know what gender is. But metaphysical approaches to this question solely have focused on the binary gender kinds men and women. By overlooking those who identify outside of the binary–the group I call ‘genderqueer’–we are left without tools for understanding these new and quickly growing gender identifications. This metaphysical gap in turn creates a conceptual lacuna that contributes to systematic misunderstanding of genderqueer persons. In this paper, I argue that to better understand genderqueer identities, we (...) must recognize a new type of gender kind: critical gender kinds, or kinds whose members collectively destabilize one or more pieces of dominant gender ideology. After developing a model of critical gender kinds, I suggest that genderqueer is best modeled as a critical gender kind that destabilizes the ‘binary axis’, or the piece of dominant gender ideology that says that the only possible genders are the binary, discrete, exclusive, and exhaustive kinds men and women. (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.

The first collection of Leibniz's key writings on the binary system, newly translated, with many previously unpublished in any language. -/- The polymath Gottfried Wilhelm Leibniz (1646–1716) is known for his independent invention of the calculus in 1675. Another major—although less studied—mathematical contribution by Leibniz is his invention of binary arithmetic, the representational basis for today's digital computing. This book offers the first collection of Leibniz's most important writings on the binary system, all newly translated by the (...) authors with many previously unpublished in any language. Taken together, these thirty-two texts tell the story of binary as Leibniz conceived it, from his first youthful writings on the subject to the mature development and publication of the binary system. -/- As befits a scholarly edition, Strickland and Lewis have not only returned to Leibniz's original manuscripts in preparing their translations, but also provided full critical apparatus. In addition to extensive annotations, each text is accompanied by a detailed introductory “headnote” that explains the context and content. Additional mathematical commentaries offer readers deep dives into Leibniz's mathematical thinking. The texts are prefaced by a lengthy and detailed introductory essay, in which Strickland and Lewis trace Leibniz's development of binary, place it in its historical context, and chart its posthumous influence, most notably on shaping our own computer age. (shrink)

This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with (...) a term forming operator. In the final section rules for I for negative free and classical logic are also mentioned. (shrink)

ABSTRACT It is fruitless to interpret Constant's modern liberty from the binary perspective of either the negative/positive freedom opposition or the liberal/republican freedom opposition. Both oppositional perspectives reduce the relationally complex nature of modern liberty to one or another component of the relation. Such reduction inevitably results in an incomplete and, therefore, inadequate interpretation of Constant's modern liberty. Consequently, either of these binary frames of interpretation obscures rather than illuminates the full nature of Constant's modern liberty. Boxed into (...) their irreconcilably opposed alternatives, both binary perspectives fail to appreciate that Constant's conception of modern liberty is a complex achievement irreducible without loss to either liberal negative liberty as non-interference or republican freedom as non-domination. Nor does combining liberal negative freedom and positive freedom (in the sense of ancient liberty), as Holmes well establishes, adequately tells the whole story of Constant's modern liberty. As a complex achievement, Constant's conception of modern liberty, I shall argue, blends negative freedom as associated with neo-Roman republican freedom as non-subjection to arbitrary power, negative freedom as non-interference, associated with the liberal tradition, positive freedom in the sense of inner self-development, and positive freedom as collective self-government or civic republican freedom. (shrink)

The article explores the landscape in higher education in which old binary divisions are officially denied yet have been reinvigorated through a mix of conservative and neo-liberal policies. Efforts to resist such pressures can happen at different levels, including, in this case, module design and classroom practice. The rationale for such resistance is considered in relationship to the authors’ political and moral standpoints. Debates within higher education policy circles are invariably reduced to a series of oppositions: theory and practice; (...) training and education; research and teaching. The article seeks to break down such polarities through an exploration of classroom practice. In fact, we argue that such distinctions help to legitimize the existing inequalities in higher education and group-based harms, which characterize the sector. Instead, a case is made for a pedagogy that enables students, particularly those from diverse and disadvantaged backgrounds, to use their experiences, values, etc. to exchange and develop ideas in a group context, thereby providing an important means of collective empowerment (intellectual and practical, both at work and in their private lives). In this process students are encouraged to use ethical theories as tools to explain and underpin their understanding of work-based scenarios. The role of the academic is to facilitate such exchanges and foster new ethical approaches and a public awareness and engagement that goes beyond the classroom. The pedagogic approach, drawing on notions of relational autonomy and narrative methods as well as providing spaces for the co-production of new knowledge, confirms the indivisibility of research and teaching. (shrink)

Robin Dembroff (Real Talk about the Metaphysics of Gender, 2018) believes that ‘non-binary’ is a social kind. I have my doubts about this, but if it is a social kind, then it is a very special one. The membership conditions of the social kind ‘non-binary’ are only accessible to non-binary persons. They establish and police their own membership conditions (Dembroff 2018: 36f.): ‘Individuals are granted authority over their gender kind membership.’ So, if this is indeed a ‘social (...) kind’, then it is a highly unusual one. (shrink)

Postgenderism is an extrapolation of ways that technology is eroding the biological, psychological and social role of gender, and an argument for why the erosion of binary gender will be liberatory. Postgenderists argue that gender is an arbitrary and unnecessary limitation on human potential, and foresee the elimination of involuntary biological and psychological gendering in the human species through the application of neurotechnology, biotechnology and reproductive technologies. Postgenderists contend that dyadic gender roles and sexual dimorphisms are generally to the (...) detriment of individuals and society. Assisted reproduction will make it possible for individuals of any sex to reproduce in any combinations they choose, with or without "mothers" and "fathers," and artificial wombs will make biological wombs unnecessary for reproduction. Greater biological fluidity and psychological androgyny will allow future persons to explore both masculine and feminine aspects of personality. Postgenderists do not call for the end of all gender traits, or universal androgyny, but rather that those traits become a matter of choice. Bodies and personalities in our postgender future will no longer be constrained and circumscribed by gendered traits, but enriched by their use in the palette of diverse self-expression. (shrink)

This perspective asserts the existence of only two sexes/genders, male and female, based on not only biological and reproductive processes but also from claims of non-binary or transgender identities as defined through negation which rely on the binary concept of sex/gender. Thus, individuals claiming identities on the "gender/sex spectrum" are again defining themselves through negation (definiens per negationem). This perspective suggests that the diversity of gender experiences, (the sex or gender spectrum) is defined by what individuals are not (...) rather than what they are. While the validity of non-binary and transgender identities definiens per negationem is noted, it is important to accept the reality of the binary nature of sex or gender as a scientific fact, and that all human beings are on a developmental pathway leading to either male or female. Without the reality of binary sex or gender, the gender identity spectrum does not exist as there is nothing to negate from. (shrink)

The strings of physics’ string theory are the binary digits of 1 and 0 used in computers and electronics. The digits are constantly switching between their representations of the “on” and “off” states. This switching is usually referred to as a flow or current. Currents in the two 2-dimensional programs called Mobius loops are connected into a four-dimensional figure-8 Klein bottle by the infinitely-long irrational and transcendental numbers. Such an infinite connection translates - via bosons being ultimately composed of (...) 1’s and 0’s depicting pi, e, √2 etc.; and fermions being given mass by bosons interacting in matter particles’ “wave packets” – into an infinite number of 8-Kleins. Each Klein 1) is one of the universe’s subuniverses (our own is 13.7 billion years old), 2) is made flexible through its binary digits which seamlessly, or almost seamlessly, join it to surrounding subuniverses and eliminate its central hole, and 3) possesses warped time and space because its foundation is the programmed curves in its mathematical Mobius loops (along with the twists they generate [p.7]). The universe functions according to the rules of fractal geometry. So the Mobius does not exist only at the cosmic level. It also manifests at the quantum scale, giving us photons and protons etc. Space and time are no longer separate, but are an indivisible space-time. So if space and the universe are infinite, how can time not be eternal? The past and the future must both extend forever (the idea of time being finite arises from confusion of our subuniverse with the one infinite universe). -/- BITS (Binary digiTS) only suggest existence of the divine if time is linear. Although a non-supernatural God is proposed via the inverse-square law coupled with eternal quantum entanglement, Einstein taught us that time is warped. Warped time is nonlinear, making it at least possible that the BITS composing space-time and all particles originate from the computer science of humans. -/- I suspect many readers will be content with reading this abstract. While there are more details, and mathematics, in the content; my natural style of writing is to avoid jargon and maths. I also tend to get philosophical. While I personally feel that there’s a lot of precious information in the content, I realize it won’t all be to everyone’s liking. Other subjects dealt with in this article are - the “Pioneer anomaly”, refinement of gravitational physics, dark energy and dark matter, quantum phenomena like mass and electric charge and quantum spin, Kepler’s laws of planetary motion, deflection of starlight by the sun, tides, falling bodies, Earth’s orbit, ancient Greek philosophers, Newton, Kepler, Galileo, Aristotle, Parmenides, Zeno of Elea, time travel into the past as well as the future, the elimination of distances in space, humanity’s construction of this universe we live in, The Law of Conservation of Matter-Energy, and support for the science-fiction-like idea of the electronic binary digits of 1 and 0 being the building blocks of our universe. (shrink)

Agents are often assumed to have degrees of belief (“credences”) and also binary beliefs (“beliefs simpliciter”). How are these related to each other? A much-discussed answer asserts that it is rational to believe a proposition if and only if one has a high enough degree of belief in it. But this answer runs into the “lottery paradox”: the set of believed propositions may violate the key rationality conditions of consistency and deductive closure. In earlier work, we showed that this (...) problem generalizes: there exists no local function from degrees of belief to binary beliefs that satisfies some minimal conditions of rationality and non-triviality. “Locality” means that the binary belief in each proposition depends only on the degree of belief in that proposition, not on the degrees of belief in others. One might think that the impossibility can be avoided by dropping the assumption that binary beliefs are a function of degrees of belief. We prove that, even if we drop the “functionality” restriction, there still exists no local relation between degrees of belief and binary beliefs that satisfies some minimal conditions. Thus functionality is not the source of the impossibility; its source is the condition of locality. If there is any non-trivial relation between degrees of belief and binary beliefs at all, it must be a “holistic” one. We explore several concrete forms this “holistic” relation could take. (shrink)

While we completely understood that a binary dwarf companion of the Sun has not been accepted by majority of astronomers, allow us to present some new arguments, along with our own serendipitous encounter with such a binary companion of the Sun. We hope that the present note will be found useful for further investigations, in relation to Planet Nine and such a dwarf star companion of the Sun (sometimes dubbed as Nemesis). Nonetheless, this article is not an exhaustive (...) review of such dwarf companion star theories. (shrink)

Society is a composite of interacting people and groups. These groups play a significant role in maintaining social status, establishing group identity and social identity, and enforcing norms. As such, groups are essential for understanding human behavior. Nevertheless, the study of groups in everyday group life yields many diverse and sometimes contradicting theories of group behavior, and researchers tend to agree that we have yet to understand the emergence of groups out of aggregates of individuals. The current paper aims to (...) shed new light on the convoluted interrelation between groups and individuals by focusing on individuals’ social identities and group categorization. It does so by exploring the dynamic nature of the self and its implications on identity and group membership, and introducing a framework recognizing the fluidity of groups and group categorization. Incorporating historical insights with contemporary theories, this paper argues for a flexible understanding of group dynamics that surpasses rigid in-group and out-group classifications, proposing instead that group affiliations exist along a continuum that reflects the ever-changing social landscape. (shrink)

The binary between the figure of the child and the fully human being is invoked with regularity in analyses of race, yet its centrality to the conception of race has never been fully explored. For most commentators, the figure of the child operates as a metaphoric or rhetorical trope, a non-essential strategic tool in the perpetuation of White supremacy. As I show in the following, the child/human binary does not present a contingent or merely rhetorical construction but, rather, (...) a central feature of racialization. Where Black peoples are situated as objects of violence it is often precisely because Blackness has been identified with childhood and childhood is historically identified as the archetypal site of naturalized violence and servitude. I proceed by offering a historical account of how Black peoples came to inherit the subordination and dehumanization of European childhood and how White youth were subsequently spared through their partial categorization as adults. (shrink)

From the early eighteenth century onward, primacy for the invention of binary numeration and arithmetic was almost universally credited to the German polymath Gottfried Wilhelm Leibniz (1646–1716). Then, in 1922, Frank Vigor Morley (1899–1980) noted that an unpublished manuscript of the English mathematician, astronomer, and alchemist Thomas Harriot (1560–1621) contained the numbers 1 to 8 in binary. Morley’s only comment was that this foray into binary was “certainly prior to the usual dates given for binary numeration”. (...) Almost thirty years later, John William Shirley (1908–1988) published reproductions of two of Harriot’s undated manuscript pages, which, he claimed, showed that Harriot had invented binary numeration “nearly a century before Leibniz’s time”. But while Shirley correctly asserted that Harriot had invented binary numeration, he made no attempt to explain how or when Harriot had done so. Curiously, few since Shirley’s time have attempted to answer these questions, despite their obvious importance. After all, Harriot was, as far as we know, the first to invent binary. Accordingly, answering the how and when questions about Harriot’s invention of binary is the aim of this short paper. (shrink)

What is the relationship between degrees of belief and binary beliefs? Can the latter be expressed as a function of the former—a so-called “belief-binarization rule”—without running into difficulties such as the lottery paradox? We show that this problem can be usefully analyzed from the perspective of judgment-aggregation theory. Although some formal similarities between belief binarization and judgment aggregation have been noted before, the connection between the two problems has not yet been studied in full generality. In this paper, we (...) seek to fill this gap. The paper is organized around a baseline impossibility theorem, which we use to map out the space of possible solutions to the belief-binarization problem. Our theorem shows that, except in limiting cases, there exists no belief-binarization rule satisfying four initially plausible desiderata. Surprisingly, this result is a direct corollary of the judgment-aggregation variant of Arrow’s classic impossibility theorem in social choice theory. (shrink)

Recent controversies surrounding Michel Foucault suggest tensions and unresolved issues in his unfinished work. Here we interrogate Foucault’s legacy in relation to his claim that the welfare-state is a secularization of the Christian pastorate. We challenge Foucault’s binary narrative of the Christian flock versus the Graeco-Roman citizen and expand the focus to other ‘technologies of power’ in medieval Islam. Rather than an outburst of governmentality in modernity, we suggest a transregional and longue durée history of which the Christian pastorate (...) was merely one facet. This non-binary framework indicates that Foucault’s claim of a ‘demonic’ fusion of sovereign and pastoral power in modern politics requires significant revisitation. Finally, we claim that Foucault’s much-discussed fascination with neoliberalism may have roots in this one-sided narrative regarding the birth of the welfare-state. (shrink)

One of the most important theories in linear programming is the dualistic theory and its basic idea is that for every linear model has dual linear model, so that solving the original linear model gives a solution to the dual model. Therefore, when we solving the linear programming model, we actually obtain solutions for two linear models. In this research, we present a study of the models. The neutrosophic dual and the binary simplex algorithm, which works to find the (...) optimal solution for the original and dual models at the same time. The importance of this algorithm is evident in that it is relied upon in several operations research topics, such as integer programming algorithms, some nonlinear programming algorithms, and sensitivity analysis in linear programming. (shrink)

Current debate and policy surrounding the use of genetic editing in humans often relies on a binary distinction between therapy and human enhancement. In this paper, we argue that this dichotomy fails to take into account perhaps the most significant potential uses of CRISPR-Cas9 gene editing in humans. We argue that genetic treatment of sporadic Alzheimer’s disease, breast- and ovarian-cancer causing BRCA1/2 mutations and the introduction of HIV resistance in humans should be considered within a new category of genetic (...) protection treatments. We find that if this category is not introduced, life-altering research might be unnecessarily limited by current or future policy. Otherwise ad hoc decisions might be made, which introduce a risk of unforeseen moral costs, and might overlook or fail to address some important opportunities. (shrink)

The scholarship on Frantz Fanon’s theorization of violence is crowded with interpretations that follow the Arendtian paradigm of violence. These interpretations often discuss whether violence is instrumental or non-instrumental in Fanon’s work. This reading, I believe, is the result of approaching Fanon through Hannah Arendt’s framing of violence, i.e. through a binary paradigm of instrumental versus non-instrumental violence. Even some Fanon scholars who question Arendt’s reading of Fanon, do so by employing a similar binary logic, hence repeating the (...) same either/or paradigm of instrumental versus non-instrumental violence. I aim to challenge such interpretations of Fanon by demonstrating that in the context of anticolonial armed struggle in which Fanon writes, the either/or framework of the instrumental/non-instrumental binary of violence cannot fully capture his perspective. Violence can indeed be conceived as having both constructive and instrumental aspects. My argument is supported by Fanon’s corpus, including his 1960 Accra speech, “Why We Use Violence” in Alienation and Freedom. This piece, I suggest, together with Fanon’s other writings, poses a direct challenge to the Arendtian binary of violence. My analysis resists positioning the difference between Arendt and Fanon through the instrumental/non-instrumental binary. By using Judith Butler’s notion of “frame” I complicate their difference and argue Arendt’s framing of violence prevents her from apprehending Fanon and – more importantly – interpretations of Fanon based on this Arendtian frame of violence inevitably lead to misinterpretations. (shrink)

In this article it is argued that the relation between the socalled Gutenberg galaxis of print culture and the Turing galaxis of digital media is not one of opposition and substitution, but rather one of co-evolution and integration. Or more precisely: that the Gutenberg galaxis on the one hand can be inscribed into the Turing galaxis, which on the other hand is textual in character since it is based on linear and serially processed representations manifested in a binary alphabet. (...) In continuation of this text and hypertext is described as notions of related but different sorts of complex systems and it is argued that both texts and hypertexts are best thought of as sequentially organised. The first part of the paper contains a description of the basic properties of computers and digital representation answering the question: what are the properties common to all kinds of use of computers – whether used for one purpose or another? The second part is concerned with the relationship between printed and electronic text. The third part addresses the idea of hypertext as systems which exploits modal shifts between node-mode and link-mode as a significant part of the semantics of the system. (shrink)

We assess the state of thinking about gender identities in computer vision through an analysis of how research papers in gender and facial recognition are designed, what claims they make about trans and non-binary people, what values they espouse, and what they describe as ongoing challenges for the field. In our corpus of 50 research papers, the seven papers that consider trans and non-binary identities use questionable assumptions about medicalization as a measure of transness, about gender transition as (...) a linear and bounded process, and about the concept of gender deception. Otherwise, non-normative gender identities are absent and their consideration is in fact hindered by prevailing research values, particularly deeply embedded ones such as performance and accuracy. We point out how the use of shared datasets calcifies binary conceptions of gender. In the way that the field of computer vision conceives of ongoing challenges for its research, it does not yet face questions that trans and non-binary user experiences pose and often falls back on biologically essentialist notions of sex classification. We make two recommendations: that computer vision researchers undertake interdisciplinary work with researchers who study gender as a socio-cultural phenomenon, and that journal editors and conference organizers do the same in peer review and conference acceptance processes. (shrink)

This thesis is a sceptical investigation into the notion that the metaphorical wave-particle binary of Virginia Woolf's To the Lighthouse is related to quantum physics. Indeed, the field of literature and science has employed conceptual similarities as the main means of connecting quantum concepts to novels, however, this has led to a host of scholarly difficulties, prompting the need for a re-examination of analogical linkages. Woolf is the model candidate for such a re-examination, given her historical and philosophical proximity (...) with the developments of quantum mechanics. To the Lighthouse, in particular, was written between 1925 and 1927: precisely when quantum physicists were attempting to resolve the wave-particle duality, leading to Niels Bohr's complementarity. This parallel has been noted by researchers as relevant to the novel, as it too displays a general binary that can be read as wave-particle-like, which the author also attempts to resolve along similar philosophical lines. Nevertheless, other than proximity and similarity, there are no reasons to affirm that the science is related to the novel; hence, it is an ideal case study to examine in order to ascertain the value of conceptual similarities in literature and science. To do so, To the Lighthouse's binary and its resolution are interpreted in a thesis-long close reading, in order to compare aspects of it firstly to Woolf's personal thought, and secondly to various non-quantum intellectual contexts that preceded and surrounded her. In doing so, it becomes clear not only that invoking quantum physics serves no clear purpose in better understanding the novel, but also that the notion of resolving wave- particle-like binaries was a widespread philosophical procedure at the turn of the century, decades before Bohr's concept. This negative conclusion interrogates what the scholarly value of interpreting similarities is, though a hypothetical solution can be found in conceptual metaphor theory. (shrink)

In response to recent controversies about racial transitioning, I provide an argument that deceptions about ancestry may sometimes constitute fraud. In order to arrive at this conclusion, I criticize the arguments from analogy made famous by Rebecca Tuvel and Christine Overall. My claim is that we should not think of racial transitioning as similar to gender transitioning, because different identity groups possess different kinds of obstacles to entry. I then provide historical surveys of American racial categories and the various types (...) of passing common in American history, in order to distinguish the potentially fraudulent from the relatively innocent styles of passing. (shrink)

What endogenous factors contribute to minority (Red Queen) or majority (Red King) domination under conditions of coercive bargaining? We build on previous work demonstrating minority disadvantage in non-coercive bargaining games to show that under neutral initial conditions, majorities are advantaged in high conflict situations, and minorities are advantaged in low conflict games. These effects are a function of the relationship between (1) relative proportions of the majority and minority groups and (2) costs of conflict. Although both Red King and Red (...) Queen effects can occur, we further show that agents’ increased initial propensity toward conflict advantages majorities. (shrink)

Discusses the question of whether trials should just use two verdicts (e.g. guilty or not guilty) or whether they use multiple verdicts.

This chapter presents a task-based lesson sequence based on Judith Butler's Gender Trouble. Gender Trouble is a great piece of philosophical literature. However, as philosophical literature is a genre rarely found in EFL teaching, this chapter first demonstrates in detail the merits of this genre for the teaching ofEnglish for Academic Purposes. After a brief analysis of the source text, which deconstructs the entire sex-gender link and presents both sex and gender as free-floating, this chapter presents task-based methodology and how (...) it is utilized in a lesson aimed at building gender awareness and acceptance. In the target task students are asked to take the role of an ethics teacher at an Irish high school, in which the discussion arose whether the school should introduce unisex toilets and changing rooms in order to not discriminate against transsexual students. Tue study of Butler's philosophy will provide students with both the knowledge and language to accomplish this task. Open follow-up discussions often lead to powerful ethical insights in the context of gender, homo- and transsexuality. (shrink)

There exist two widely used notions concerning the structure of phenomenal color space. The first is the notion of unique/binary hue structure, which maintains that there are four unique hues from which all other hues are composed. The second notion is the similarity structure of hues, which describes the interrelations between the hues and hence does not divide hues into two types as the first notion does. Philosophers have considered the existence of the unique/binary hue structure to be (...) empirically and phenomenally well-grounded, and the structure has been considered to be primary because this can account for the similarity structure. Consequently, the unique/binary hue structure has played a central role in color philosophy. This calls for the assessment of the justification for its existence carried out in this paper. It is concluded that, despite the prevalent view among philosophers, none of their reasons for endorsing the existence of the unique/binary hue structure are justified. Since the notion of the unique/binary hue structure appears intuitively plausible for many, however, a sketch explaining this intuition is outlined at the end. (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented (...) in (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

Xenophobia is conceptually distinct from racism. Xenophobia is also distinct from nativism. Furthermore, theories of racism are largely ensconced in nationalized narratives of racism, often influenced by the black-white binary, which obscures xenophobia and shelters it from normative critiques. This paper addresses these claims, arguing for the first and last, and outlining the second. Just as philosophers have recently analyzed the concept of racism, clarifying it and pinpointing why it’s immoral and the extent of its moral harm, so we (...) will analyze xenophobia and offer a pluralist account of xenophobia, with important implications for racism. This analysis is guided by the discussion of racism in recent moral philosophy, social ontology, and research in the psychology of racism and implicit attitudes. (shrink)

This chapter examines the pioneering work of Gottfried Wilhelm Leibniz (1646-1716) on various number systems, in particular binary, which he independently invented in the mid-to-late 1670s, and hexadecimal, which he invented in 1679. The chapter begins with the oft-debated question of who may have influenced Leibniz’s invention of binary, though as none of the proposed candidates is plausible I suggest a different hypothesis, that Leibniz initially developed binary notation as a tool to assist his investigations in mathematical (...) problems that were exercising him at the time, namely those concerning the divisibility of composite numbers, primality, and perfect numbers. The chapter then explores Leibniz’s development of binary, his little-known work on binary fractions and expansions, his use of binary as a symbol for creation in his philosophical-theology, and his response to the suggestion that there was a correlation between binary numeration and the hexagrams of the ancient Chinese divinatory text, the Yijing. The chapter then focuses on Leibniz’s work on other number systems, in particular his invention and exploration of hexadecimal as well as his work on duodecimal. The chapter concludes by revealing a hitherto unknown practical application of binary that Leibniz devised in the last year of his life. (shrink)

This paper presents a theoretical study of the binary oppositions underlying the mechanisms of natural computation understood as dynamical processes on natural information morphologies. Of special interest are the oppositions of discrete vs. continuous, structure vs. process, and differentiation vs. integration. The framework used is that of computing nature, where all natural processes at different levels of organisation are computations over informational structures. The interactions at different levels of granularity/organisation in nature, and the character of the phenomena that unfold (...) through those interactions, are modeled from the perspective of an observing agent. This brings us to the movement from binary oppositions to dynamic networks built upon mutually related binary oppositions, where each node has several properties. (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)

Today, the binary understanding of reality is increasingly significant. It is also the starting point for many theoretical considerations (mainly in the area of digital physics) describing the structure of the universe. What is lacking is an experimental confirmation of the binary nature of reality. This article proposes an idea for an experiment that possibly would confirm the following hypothesis: Electromagnetic waves in the form of binary signals of appropriate complexity and other parameters are capable of creating (...) observable, material objects. Also suggested is the use of an Abstract Complexity Definition (derived from aesthetic field), presented in the Supplementary Material section. (shrink)

In this paper, I argue that Marx's central concern, consistent throughout his works, is to challenge and overcome hierarchical oppositions, which he considers as the core of modern, capitalist societies and the cause of alienation. The young Marx critiques the hierarchical idealism/materialism opposition. In this opposition, idealism abstracts from and reduces all material elements to the mind (or spirit), and materialism abstracts from and reduces all mental abstractions to the body (or matter). The mature Marx sophisticates this critique with his (...) theory of the commodity fetish. The commodity fetish abstracts the exchange-value (the mind) from the commodity's use-value (the body). Although Marx aims to challenge capitalism by abolishing the hierarchical relation among binary oppositions, I show that in his early and later writings on the working-class woman, he reinforces hierarchical binaries, pointing at the gendered unconscious structure of capitalism. (shrink)

Many feminists (e.g. T. Bettcher and B. R. George) argue for a principle of first person authority (FPA) about gender, i.e. that we should (at least) not disavow people's gender self-categorisations. However, there is a feminist tradition resistant to FPA about gender, which I call "radical feminism”. Feminists in this tradition define gender-categories via biological sex, thus denying non-binary and trans self-identifications. Using a taxonomy by B. R. George, I begin to demystify the concept of gender. We are also (...) able to use the taxonomy to model various feminist approaches. It becomes easier to see how conceptualisations ofgender which allow for FPA often do not allow for understanding female subjugation as being rooted in reproductive biology. I put forward a conceptual scheme: radical FPA feminism. If we accept FPA, but also radical feminist concerns, radical FPA feminism is an attractive way of conceptualising gender. (shrink)

The science of operations research is one of the modern sciences that have made a great revolution in all areas of life through the methods provided by it, suitable and appropriate to solve most of the problems that were facing researchers, scholars and those interested in the development of societies, and the most beneficiaries of this science were companies and institutions that are looking for scientific methods that help them manage their work so that they achieve the greatest profit and (...) the lowest cost, and one of the important methods that have been used in the management of companies we offer in this research two methods, Dynamic programming method. This method has been used in many practical matters and helped decision-makers in companies to achieve a maximum profit and less cost by formulating the reality of the state of the company and the data provided by decision-makers with a dynamic mathematical model that is solved using methods of solving dynamic models and we will provide in this research an example of this through the issue of choosing the optimal investment for the budget of a company so that it achieves a maximum profit, and the method of programming with integers: the method that provided these companies with solutions with integer values suitable for the nature of its work, through the use of the binary integer in the formulation of the appropriate mathematical model on the one hand, and on the other hand, the use of the binary integer variable helped to convert some nonlinear models that lead to some practical problems into linear models, and it should be noted here that in the previous two methods there is something indeterminable because we must make a decision in choosing or not choosing something, but the optimal solution that we will get remains A specific value because we are building the mathematical model for any realistic issue through the data provided by those responsible for the work and these data are calculated quantities and therefore they are uncertain values because their validity depends on the circumstances surrounding the work environment, they may be exposed to increase or decrease, and therefore the optimal solution on which the company will base its decision is suitable for specific values and any change in them can cause the company an uncalculated loss, so in this research we will use the concepts of neutrosophic science, the branch of science founded by the American scientist Florentin Smarandache in 1995 based on his belief that there is no absolute truth, a science that is interested in the study of ideas and concepts that are neither true nor false, but just in between, and we will take the data (calculated quantities) neutrosophic values that are specified or unspecified values are any set close to the calculated quantities, then the resulting mathematical model is a neutrosophic model and the optimal solution has neutrosophic values and thanks to the indefinite uncertainty that these values have, companies from the development of appropriate plans for all circumstances and thus achieve the greatest profit and the lowest cost, and we will clarify the above through two issues, the issue of optimal designation of a warehouse site, which we will formulate the mathematical model of using the neutrosophic integer programming method - and the issue of capital budget, which we will present in two different forms, we use in the first form the neutrosophic integer programming method and in the second the neutrosophic dynamic programming method. (shrink)

The complexity definition has appeared during analysis of visual structures perception. The binary model of visual impacts finding was essential here for a possibility of the general (abstract) research. The Abstract Complexity Definition is one of the research results. The definition meets intuitive complexity criterion and could be a common surface for all existing definitins of complexity.

This symposium in the overlap of philosophy and decision theory is described well by its title “Beliefs in Groups”. Each word in the title matters, with one intended ambiguity. The symposium is about beliefs rather than other attitudes such as preferences; these beliefs take the form of probabilities in the first three contributions, binary yes/no beliefs (‘judgments’) in the fourth contribution, and qualitative probabilities (‘probability grades’) in the fifth contribution. The beliefs occur in groups, which is ambiguous between beliefs (...) of groups as a whole and beliefs of group members. The five contributions – all of them interesting, we believe – address several aspects of this general theme. (shrink)

The article presents the evolution of the language of advertising from the 1960s to the present, presenting various images of women in advertising. Simultaneously a theoretical analysis has been carried out of the demands of second-wave feminism, which exerted significant influence on the creation of images of women in the mass media. The objective of our comparison of feminist theory with advertising practice is an attempt to answer the question of whether the present media image of women liberated from the (...) binary sexual order and weighted towards the genderqueer and/or transgender phenomena is the desired realization of the feminist demands for emancipation of and equality for women announced in the second half of the twentieth century. (shrink)

Feminist critics of evolutionary psychology are often accused of committing the naturalistic fallacy, that is, of inferring certain normative conclusions from evolutionary psychology’s purely descriptive accounts. This article refutes the accusation of the naturalistic fallacy, by showing that evolutionary psychology’s accounts of human behavior are not purely descriptive, but rather grounded on biased value judgments. A paradigmatic example is Randy Thornhill and Craig Palmer’s well-known book A Natural History of Rape. I argue that at least three biased judgments are at (...) work in Thornhill and Palmer’s evolutionary psychology account of rape: (1) adaptationist approaches to evolution, (2) willful ignorance of cultural and social context, and (3) binary understanding of gender and sex. In that Thornhill and Palmer’s account cannot hold without the three biased value judgments, it is not a purely factual description of rape. Therefore, feminist concerns over its normative implications do not commit the naturalistic fallacy, as it is not the case that they infer a normative conclusion from a pure description. (shrink)

Until the late 19th century scientists almost always assumed that the world could be described as a rule-based and hence deterministic system or as a set of such systems. The assumption is maintained in many 20th century theories although it has also been doubted because of the breakthrough of statistical theories in thermodynamics (Boltzmann and Gibbs) and other fields, unsolved questions in quantum mechanics as well as several theories forwarded within the social sciences. Until recently it has furthermore been assumed (...) that a rule-based and deterministic system was also predictable if only the rules were known, but this assumption has now been undermined by modern chaos-theory describing rule-based and deterministic, but unpredictable systems, while catastrophe-theory delivers a set of types describing various kinds of instability and conditions for the stability of a given system. Hence the main trait in the theoretical development in the 20th-century science can be described as a basic modification and limitation of some of the fundamental and strong assumptions forwarded in the previous epochs of modern science. Ironically, the very same process has been a process in which the human capacity to intervene in nature has expanded dramatically and mainly with the help of the very same theories, and not least because they allow nature to be described and made manipulable on a lower level and a more fine-grained scale. While the overall theoretical consistency between the various theories has gone, the reach of human intervention in nature has increased based on quite new dimensions whether in the area of physics (e.g.: energy technologies, chemical technologies, nanotechnologies etc.) or biology (ge¬netic manipulation) or in the area of psychology, sociology and culture (artificial simulations of mental processes, new means of communication, implying changes in the social infrastructure and cultural behaviour etc.). While some of these changes and new conditions can be reflected from within the conceptual framework of rule-based systems, albeit more complex than formerly recognized, others seem to give rise to the question of whether there are »systems« and relations between different systems in the world which are not rule-based? For instance, it seems to be obvious that the notion of instability represents a major conceptual break with former theories of rule-based systems, as the stability of the latter is an axiomatically given property implied in the very notion of rule-based systems, while instability can only be the result of external influence which should be explained as the result of another rule-based sy¬stem. While there are no difficulties implied concerning the stability of rule-based systems, the notion of unstable states of a system raises the question of how there can be a system at all if there are no invariant stabilising principles? This is the first question which I will address. And I shall do so by taking two examples of such systems as my point of departure. The first example will be the computer and the second will be ordinary language. In both cases I will argue that the stability of these systems (which are both defined by the existence/presence of human intentions) are provided by the help of - differently organised - redundancy functions which both allow the maintenance of systems in unstable macro-states, suspension of previous rules, underdetermination and overdetermination and generation/emergence/creation of new rules more or less independent of previous rules by the help of optional recursions to the permanently accessible underlying levels as for instance the level of binary representation in computers. Since the notion of redundancy is both controversial as such and often avoided, the concept is discussed (as defined in Claude Shannon's mathematical theory of information and in the semiotic framework of J. J. Greimas) and leading to a more general definition in which the redundancy functions serve to overcome noisy conditions, but at the cost of rule-based stability, determination, and predictability. A second question will be how the notion of rule-generating systems relates to the notion of anticipatory systems and it will be argued that rule-generating systems share some features with an¬ticipatory systems and that the former from a certain viewpoint can be seen as a subclass of the latter, although anticipative features are not necessarily a part of the definition of rule-generating systems. On the other hand, it will be discussed whether anticipatory systems which are not rule-generating systems can exist and it will be argued that the capacity to anticipate is strongly limited if it is not part of a rule-generating system. Therefore, it is concluded that the most powerful anticipatory systems need to be rule-generating systems. (shrink)

The book Theory and Practice of Contrast completes, corrects and integrates the foundations of science and humanities, which include: theory of art, philosophy (aesthetics, epistemology, ontology, axiology), cognitive science, theory of information, theory of complexity and physics. Through the integration of these distant disciplines, many unresolved issues in contemporary science have been clarified or better understood, among others: defining impact (contrast) and using this definition in different fields of knowledge; understanding what beauty/art is and what our aesthetic preferences depend on; (...) deeper understanding of what complexity and information are in essence, and providing their general definitions. Complexity means integration, value and goodness - concepts that seem to be neglected today. The book also has a high degree of integration/complexity, although each chapter introduces a new issue. The last chapter: "Binary Model of the Universe" draws attention to the need for including in physics the analysis of our mind and the resulting new possibilities, which include the mentioned (digital) model of the universe. Despite the difficult issues raised here, this study is written in accessible language and may be interesting not only for scientists and academics. (shrink)

While philosophers have highlighted important reasons to resist one’s own oppression, they tend to overlook the phenomenon of complacency about one’s own oppression. This paper addresses this gap by arguing that some oppressed agents are obligated to resist complacency about their own oppression because failing to do so would significantly harm themselves and others. Complacent members of oppressed groups fail to resist meaningfully, are self-satisfied, and are epistemically culpable. I contend that focusing on the obligation to combat complacency is useful (...) for at least two reasons. First, complacency about one’s own oppression is a distinctive phenomenon that warrants separate philosophical attention. Second, focusing on the obligation to resist complacency helps analyze an undertheorized group of oppressed agents by challenging the binary understanding of power prevalent in the literature on the duty to resist, thereby sharpening philosophical accounts of resistance and filling a gap in a prominent well-being-based theory of resistance. (shrink)

Big Data is a large-sized and complex dataset, which cannot be managed using traditional data processing tools. Mining process of big data is the ability to extract valuable information from these large datasets. Association rule mining is a type of data mining process, which is indented to determine interesting associations between items and to establish a set of association rules whose support is greater than a specific threshold. The classical association rules can only be extracted from binary data where (...) an item exists in a transaction, but it fails to deal effectively with quantitative attributes, through decreasing the quality of generated association rules due to sharp boundary problems. In order to overcome the drawbacks of classical association rule mining, we propose in this research a new neutrosophic association rule algorithm. The algorithm uses a new approach for generating association rules by dealing with membership, indeterminacy, and non-membership functions of items, conducting to an efficient decision-making system by considering all vague association rules. To prove the validity of the method, we compare the fuzzy mining and the neutrosophic mining. The results show that the proposed approach increases the number of generated association rules. (shrink)

This comparison helps in identifying which model performs better in the task of facial reconstruction from distorted images. Visualizing the results in the form of a graph provides a clear and concise way to understand the comparative performance of the algorithms. The ultimate goal of this project is to develop a system that can accurately reconstruct distorted faces, which can be invaluable in identifying accident victims or assisting in medical treatments. By providing a reliable method for facial reconstruction, this technology (...) can potentially save lives and improve outcomes for individuals involved in accidents. (shrink)