We describe a deep generative model in which the lowest layer represents the word-count vector of a document and the top layer represents a learned binary code for that document. The top two layers of the generative model form an undirected associative memory and the remaining layers form a belief net with directed, top-down connections. We present efficient learning and inference procedures for this type of generative model and show that it allows more accurate and much faster retrieval than (...) latent semantic analysis. By using our method as a filter for a much slower method called TF-IDF we achieve higher accuracy than TF-IDF alone and save several orders of magnitude in retrieval time. By using short binary codes as addresses, we can perform retrieval on very large document sets in a time that is independent of the size of the document set using only one word of memory to describe each document. (shrink)

Open peer commentary on the article “Subsystem Formation Driven by Double Contingency” by Bernd Porr & Paolo Di Prodi. Upshot: I acknowledge the value of Porr & Di Prodi’s piece for simulating Luhmann’s key process of subsystem formation and exploring how the concepts of “differentiation” and “binary code” relate to their model.

I begin with a discussion of code and its primary types: embedded, source, binary and interpreted. I then consider three measures in which code is fundamentally different than print. In particular I speak of the trust inherent in connectivity, the organizational difficulties of information, and the problem of archiving information that may change rapidly. Following each of these explanations I offer my own hypotheses about how code and ubiquitous digital media might alter society and the sensibilities of its participants.

In this article codes over lattice valued intuitionistic fuzzy set type-3 are defined. Binary block codes and linear codes are constructed over LIFS-3. Hamming distance and related properties of these newly established codes are examined. The research findings are applied to genetic codes. The set L of sixty-four codons is converted into a lattice and then codes are created over the set S of twenty amino acids by defining membership and nonmembership functions from (...) the set of twenty amino acids to the sixty-four codon set. Comparison of codes over L -fuzzy set and LIFS-3 conducted in terms of hamming distance for codon system that ensures the efficiency of newly established codes. (shrink)

Technologies of communication condition human sense-making. They do so by creating the social environment we inhabit and extending their structural biases and logics through human use. As such, this essay inquires into the prevailing habits of mind in the digital era. Employing a media ecology of communication, I argue that digital computers and microprocessors are defined by three structural properties and, hence, underlying logics: digitization (binary code), algorithmic execution (input/output), and efficiency (machine logic). Repeated exposure to these logics cultivates (...) a digital mind, a model of thinking, communicating, and sense-making characterized by intransigence, impertinence, and impulsivity. I conclude the essay by exploring the broader implications of a digital mind, paying particular attention to the challenges it poses to democratic politics. (shrink)

BackgroundEthics is the science of moral and ethical rules recognised in human life and attempts to verify what is morally right and wrong. Healthcare ethics is seen as an integrated part of the daily activities of health facilities. Healthcare professionals’ standardisation and uniformity in healthcare ethics are urgent and basic requirements. Therefore, this study aimed to assess the practice of the code of ethics and associated factors among health professionals in Central Gondar Zone public hospitals, Northwest Ethiopia, 2021.MethodsA facility-based cross-sectional (...) study design with a mixed method was conducted on 631 health professionals from Central Gondar Zone public hospitals. For the quantitative part, pre-tested self-administered questionnaires were used, and for the qualitative part, key informant interviews with a semi-structured questionnaire were used. Variables with a p value of < 0.2 in binary logistic regression entered into a multivariable logistic regression, then p value < 0.05 and AOR were used to declare statistically significant variables in quantitative data. A thematic content analysis was used for qualitative data analysis.ResultsThis study revealed that only 286 health professionals had good practice of the code of ethics. Good ethical knowledge, favourable attitude, and satisfaction of health professionals with their jobs were significantly associated with the practice of health care ethics.ConclusionsHealth professionals' overall level of practice of health care ethics in the Central Gondar Zone public hospitals was poor. This necessitates practical training, ongoing follow-up, availing of necessary medical equipment, a smooth working environment, and modification of the recognition system for health professionals. (shrink)

A novel algebraic structure of the genetic code is proposed. Here, the principal partitions of the genetic code table were obtained as equivalent classes of quotient spaces of the genetic code vector space over the Galois field of the four DNA bases. The new algebraic structure shows strong connections among algebraic relationships, codon assignment and physicochemical properties of amino acids. Moreover, a distance function defined between the codon binary representations in the vector space was demonstrated to have a linear (...) behavior respect to physical variables such as the mean of amino acids interaction energies in proteins. It was also noticed that the distance between wild type and mutant codons approach to smaller values in mutational variants of four genes, i.e., human phenylalanine hydroxylase, human β-globin, HIV-1 protease and HIV-1 reverse transcriptase. These results strongly suggest that deterministic rules must be involved in the genetic code origin. (shrink)

Some mathematical theories in physics justify their explanatory superiority over earlier formalisms by the clarity of their postulates. In particular, axiomatic reconstructions drive home the importance of the composition rule and the continuity assumption as two pillars of quantum theory. Our approach sits on these pillars and combines new mathematics with a testable prediction. If the observer is defined by a limit on string complexity, information dynamics leads to an emergent continuous model in the critical regime. Restricting it to a (...) family of binary codes describing ‘bipartite systems,’ we find strong evidence of an upper bound on bipartite correlations equal to 2.82537. This is measurably different from the Tsirelson bound. The Hilbert space formalism emerges from this mathematical investigation as an effective description of a fundamental discrete theory in the critical regime. (shrink)

For brain science, the binary code is embodied in the all or none characteristic of nerve impulses by which one part of the brain communicates with another. ...

Why 1 = presence and 0 = absence and the digital world formula is x = xn: an exploration of meaning in a universe of infinite replication. In the beginning was the Zero, and the Zero was with God, and God was the One. —All and Nothing In 1854, the British mathematician George Boole presented the idea of a universe the elements of which could be understood in terms of the logic of absence and presence: 0 and 1, all and (...) nothing—the foundation of binary code. The Boolean digits 0 and 1 do not designate a quantity. In the Boolean world, x times x always equals x; all and nothing meet in the formula x = xn. As everything becomes digitized, God the clockmaker is replaced by God the programmer. This book–described by its authors as “a theology for the digital world”—explores meaning in a digital age of infinite replication, in a world that has dissolved into information and achieved immortality by turning into a pure sign. All and Nothing compares information that spreads without restraint to a hydra—the mythological monster that grew two heads for every one that was cut off. Information is thousand-headed and thousand-eyed because Hydra's tracks cannot be deleted. It shows that when we sit in front of a screen, we are actually on the other side, looking at the world as an uncanny reminder of the nondigitized. It compares our personal data to our shadows and our souls, envisioning the subconscious laid out on a digital bier like a corpse. The digital world, the authors explain, summons forth fantasies of a chiliastic or apocalyptic nature. The goal of removing the representative from mathematics has now been achieved on a greater scale than Boole could have imagined. (shrink)

Nature did not equip any of its creatures with wheels, but that means of locomotion was discovered anyway; an even swifter vehicle for the mind has been found in the atom—that irreducible unit which by virtue of its ubiquity provides reason with immediate access to alien objects, naturalizes nature, and urges an essential likeness beneath appearances so diverse that only an improbable imagination would even have placed them in a single world. The goal of atomism is to find one entity, (...) a building block which then in multiples constitutes the structures of reality and appearance. All that is needed, given this once and future One, is a set of transformational rules—and everything comes to life that has been dreamed of in the topologies of geometry, physics, history, even of metaphysics: a full representation of the world as it has been, is, will be. The ideology of atomism includes the assumption that, for structures distinguishable into parts and wholes, the parts precede the whole, temporally and logically. For the atomist, all structures can be analyzed in this way; that, in fact, turns out to be his definition of structure. This premise is already evident in the building-block universe first depicted by Democritus and Leucippus; it is no less present in the heady days of twentieth-century physics . It is slightly more pliable in latter-day atomists like Claude Lévi-Strauss and Noam Chomsky and their descendent structuralists; but here, too, atomic units of linguistic or social discourse are claimed as blind first causes of the sighted and complex structures allegedly derived from them. And if the followers of even these contemporary advocates find themselves still waiting for the promises of atomism to be kept, the imaginative turns of those promises—the binary code, the rules of an innate grammar—keep old expectations alive. In contrast to this general ideological assertion, the search for artistic atoms by poetics and aesthetic theory has lagged noticeably. We can see this disparity in the characteristic resistance to fragmentation by works of art; for many writers, the will of artistic appearance to exhibit itself as a whole, to insist on an undivided surface rather than on the elements within or beneath it, is precisely what distinguishes the structures of art from others. Even where a craftsmanlike impulse breaks into the surface of artistic unity , the pieces are usually counted teleologically: they matter as contributions to an effect, retrospectively. The artist himself, it is implied, deployed them in the first place to anticipate the unified surface; we , in turn, then understand them only in terms of that whole, not—with the atomist—by conjuring a unity from the earlier accidental joining of what then become accidental parts. (shrink)

While journalism traditionally is considered a ‘masculine’ domain, it is said that public relations are a ‘feminine’ profession. The legitimation for this gendered coding of two professions are so-called gender different characteristics. The aim of this article is to show how the differentiation of professional roles in journalism and journalism-related fields goes hand in hand with processes of gender differentiating ascriptions on the symbolic and discoursive levels. Additionally, the communication research reproduces these binary codes in context with gender (...) codings. The history of professions shows that gendered practices of ascription are arbitrary and only needed to legitimize gendered positionings in the professional field. A closer look at the gendered positioning of the two professions journalism and public relations shows that both have primary and secondary job markets, horizontal and vertical segmentation, and gender-based differences in pay. The gendered positioning – existing on two levels between journalism and public relations as well as within both professions – is not the product of gender different characteristics but of gendered ascriptions of meaning to different job positions. Therefore, it is necessary to analyze both the gendered practices of ascription on the symbolic and the discoursive levels, as well as the gendered positioning in the relationship of journalism and public relations and within both professions. Finally, the consequence for the main/malestream research in the relationship between journalism and public relations could be that the ‘feminization’ of public relations leads public relations researchers to underestimate the power of public relations. (shrink)

This paper explores the possibility of a standard legal language (e.g. English) for a principled evolution of law in line with technological development. In doing so, reference is made to blockchain networks and smart contracts to emphasise the discontinuity with the liberal legal tradition when it comes to decentralisation and binary code language. Methodologically, the argument is built on the underlying relation between law, semiotics and new forms of media adding to natural language; namely: code and symbols. In what (...) follows, I will concentrate on the study of factors that explain why such approach can be fruitful for the future of law and innovation. I have three reasons for selecting this topic. The first is a more pragmatic reason, based on my current research of law as a linguistic phenomenon. Secondly, the topic does also touch the matter on binary code language, rivalrous to legal alphabetic language. Lastly, the study aims at emphasizing the pivotal role of the jurist as an interpreter in a changing society accommodating diverging realms of reality. The study is structured as follows. Firstly, a quick exam of the traits of blockchain networks would provide the contextual link to establish the arguments in support of the need of a standard legal language. Secondly, a comparison between liberal legal institutions and theory of semiotics is set to perceive their functioning and ascertain their limits in the light of todays unprecedented changes. Thirdly, a summary on blockchain networks’ legal features would constitute the thrust behind the idea of a uniform legal language. Methodologically, the argument does also establish some relations with classical laws of physics and philosophy of media. Its aim is to demonstrate how the suggested legal interpretation and semiotic-based approach can contribute to overcome existing stumbling blocks including, but not limited to, the lack of cooperation at the international level as well as the gap in State norms when it comes to innovation. In this sense, the proposed strategies do not intend to replace current advances in the legal thought. In contrast, it seeks to harmonise their results providing a methodical approach that can concur to inform a new technique to address new controversial issues. In practice, the proposed method regarding the adoption of a uniform legal language would lower transactive costs in terms of normative coordination in the matter of international cooperation and in the definition of applicable law among different legal systems. Alternatively, it might contribute to the convergence of legal systems and/or their underlying concepts. Differently put, article’s contribution can be envisaged in fostering juridical consistency with regards to different forms of languages’ coexistence. (shrink)

A new road map for design is emerging out of interdisciplinary research across biology and design. Whilst in the second part of the twentieth century, the emergence of the digital realm altered and radically challenged conventional design and manufacturing processes, the beginning of the twenty-first century marks a strong shift towards the amalgamation of the binary code with biological systems. With advances in synthetic biology, we can now ‘biofabricate’ like Nature does. By tinkering and altering the DNA code or (...) the environment of growth of living organisms, we can effectively ‘design’ and grow new biomaterials. The role of design is shifting from working with inanimate matter such as plastic and metals to making with animate living entities such as mycelium, yeast and bacteria. This paradigm shift promises to open up new possibilities for biofabricating future intelligent materials as well as for engaging with new sustainable processes. This paper examines strategies and tools for designing with living systems and proposes a framework for design to engage with our future bio-materiality. From biofabrication experiments to synthetic biology propositions, the paper will investigate a series of design artifacts that explores strategies such as co-designing with natural organisms or actuating a new synthetic nature and develop a critique of how biodesign can help shifting towards the crafting of a future sustainable intelligent bio-materiality. (shrink)

This article gives an account of the belgian party system in 1974. It concludes at the existence of a «multipartist» system. It also examines the ideological character of the party system. For this purpose, it studies the electoral platforms of all the parties. From a semiotics viewpoint, it isolates a number of semantic axes. After a binary coding, it factor-analyses the results. Two main factors are extracted «ideological mixing» and conservative - progressist position.

The advance of mechanism in science and philosophy in the 17th century created a great interest to machines or automata. Leibniz was no exception - in an early memoir Drôle de pensée he wrote admiringly about a machine that could walk on water, exhibited in Paris. The idea of automatic processing in general had a large role in his thought, as can be seen, for example, in his invention of the binary code and the so-called Calculemus!-model for solving controversies. (...) In metaphysics, the idea of an automata was expressed most clearly in the 1695 article New System of the Nature of Substances and their Communication, and the ensuing correspondence with, among others, Foucher, Bayle, Lamy, Jaquelot and Masham. In the article Leibniz discusses the soul as a spiritual machine in the context of pre-established harmony, arguing that God can "give to a substance at the outset a nature or internal force which could produce in it an orderly way (as in spiritual or formal automaton; but a free one, in the case of a substance which is endowed with a share of reason) everything that is going to happen to it, that is to say, all the appearances or expressions it is going to have, and all without the help of any created thing." The basic idea of Leibniz's spiritual machine is that the soul or entelechy is an autonomous and spontaneous unity, consisting of internal active force and producing its own perceptions (both confused and distinct). It is a self-moving machine, driven by its perceptions and appetites, but it follows (without being conscious of it) a lawful series or programme created by God. The entelechy remains the same despite undergoing an infinite number of changes. To Foucher he explained that each state of the individual substance is a consequence of its preceding one, "as if there were only God and the substance in the world". Despite this, the spiritual machine is related not only to God, but through the pre-established harmony to bodies or natural machines. However, as it is not dependent on them, the spiritual machine is superiot to natural machines. In this paper I concentrate on three moral themes related to the spiritual machine: moral deliberation, moral identity and the goal of moral action. All these themes are more or less implicit in the New System, but are discussed in more detail in the ensuing correspondence after the publication of the article. Finally, the themes are given an extended discussion especially in the second book of New Essays on Human Understanding (1704, published 1765), written partly at the same time as some of the correspondence and unpublished related material. I will first give an overview of Leibniz's position concerning the spiritual machine or automaton in the New System and then go on to explore the three moral themes one by one, as they feature in the subsequent correspondence and in the New Essays. I will show that the three topics are essential to the function of the spiritual machine – to Sophie Charlotte Leibniz wrote: "...let us say that everything in bodies happens mechanically, or in accordance with laws of motion, and that everything in the soul happens morally, or in accordance with perceived good or evil." There are many texts that anticipate the views in the New System (notably the unpublished memoir De Affectibus of 1679) and Leibniz continued to discuss its themes later on (in addition to correpondence, for example, in Theodicy of 1710 and Monadology and Principles of Nature and Grace of 1714). Here I focus on the short-term development of Leibniz's views on the topic (around 1695-1705), but I argue that his basic view of the spiritual machine did not change much after finishing the dialogue with Locke in 1704. (shrink)

When certain formal symbol systems (e.g., computer programs) are implemented as dynamic physical symbol systems (e.g., when they are run on a computer) their activity can be interpreted at higher levels (e.g., binary code can be interpreted as LISP, LISP code can be interpreted as English, and English can be interpreted as a meaningful conversation). These higher levels of interpretability are called "virtual" systems. If such a virtual system is interpretable as if it had a mind, is such a (...) "virtual mind" real? This is the question addressed in this "virtual" symposium, originally conducted electronically among four cognitive scientists: Donald Perlis, a computer scientist, argues that according to the computationalist thesis, virtual minds are real and hence Searle's Chinese Room Argument fails, because if Searle memorized and executed a program that could pass the Turing Test in Chinese he would have a second, virtual, Chinese-understanding mind of which he was unaware (as in multiple personality). Stevan Harnad, a psychologist, argues that Searle's Argument is valid, virtual minds are just hermeneutic overinterpretations, and symbols must be grounded in the real world of objects, not just the virtual world of interpretations. Computer scientist Patrick Hayes argues that Searle's Argument fails, but because Searle does not really implement the program: A real implementation must not be homuncular but mindless and mechanical, like a computer. Only then can it give rise to a mind at the virtual level. Philosopher Ned Block suggests that there is no reason a mindful implementation would not be a real one. (shrink)

A few years ago an interesting exhibition took place in Cambridge under the title ‘N01SE’.2 The title recalls of course the word ‘noise’ but written as ‘N01SE’ it also refers to the binary code which is the basic language of calculators - from the simplest to the most sophisticated,. The title of this exhibition could then be read in two ways. On one side, by playing with the word ‘noise/n01se’, we are presented with the idea that there might be (...) a core of information in any situation of noise, provided that there is a context, an interpretation, a point of view which allows us to identify such information and to decode it. On the other side, we are prompted to reflect critically on the assumptions and goals of the revolutionary field of contemporary digital technologies, whose promise is indeed that of a complete removal of any sort of noise. Is such a promise achievable? At what costs? Should noise, any form of noise, be removed? Is noise inevitably the dark side of any form of information? Is it the opposite of order? Are there contexts in which we can value its presence? Can noise turn into its purported opposite? Attendance at the Cambridge exhibition is what originally prompted some of the thoughts and ideas I explore in this paper. (shrink)

Background Hospital ethical climate has important implications for clinical nurses’ service behavior; however, the relationships are complicated by the fact that five types of ethical climate (caring, law and code, rules, instrumental, and independence) can be combined differently according to their level and shape differences. Recent developments in person-centered methods (e.g., latent profile analysis (LPA)) have helped to address these complexities. Aim From a person-centered perspective, this study explored the distinct profiles of hospital ethical climate and then examined the relationships (...) of the profiles with clinical nurses’ service behavior (both in-role and extra-role service behavior). Research design A quantitative study was conducted using cluster random sampling. Latent profile analysis and binary coded hexadecimal (BCH) analysis were conducted using Mplus 8.2. Participants and research context A total of 871 clinical nurses in China were surveyed using the Ethical Climate Scale and Nurses’ Service Behavior Questionnaire. Ethical considerations Ethical approval was obtained from the IRB of the First Affiliated Hospital of Jinan University (No. KY-2020-090). Results A four-profile hospital ethical climate model provided the best fit for the data. The four different profiles not only varied in level, but also in shape: high normative and low egoism (45.8%), high ethical climate (19.9%), low ethical climate (3.6%), and moderate ethical climate (30.8%). These profiles differentially predicted clinical nurses’ overall, in-role, and extra-role service behaviors. Conclusions The results reveal new insights into the nature of hospital ethical climate and how different clinical nurses in these profiles can be best managed to accomplish different forms of service behavior. (shrink)

In this paper, we interpret a 19th century diagram, which is meant to visualise G.W.F. Hegel’s entire method of the `Science of Logic' on the basis of bitwise operations. For the interpretation of the diagram we use a binary numeral system, and discuss whether the anti-Hegelian argument associated with it is valid or not. The reinterpretation is intended to make more precise rules of construction, a stricter binary code and a review of strengths and weaknesses of the critique.

The article sketches an approach to the sociology of the stranger which is based on historical semantics, on comparative studies of social structures of premodern societies and on a reconsideration of the `classical sociology of the stranger' and of marginality (Simmel, 1908; Michels, 1929 and others; Schütz, 1944; Park, 1964). The guiding hypothesis of the article is that there is a discontinuity in the modern experience of the stranger which has not been reflected sufficiently in the classical sociology of the (...) stranger. Whereas in premodern societies membership criteria are binary codes such as `kin' vs. `stranger', `friend' vs. `enemy', and elaborate arrangements were then necessary for institutionalizing a third status (e.g. for internal strangers) between the binary alternatives, the modern experience is wholly different. Modern society is no longer a membership organization. The third status (i.e. being neither `friend' nor `stranger') has become constitutive of our everyday experience of other persons. And this everyday experience is that of indifference as our normal attitude towards most persons living in the world. A modern sociology of the stranger has to explore the facets of indifference. Indifference can be described as an interactional achievement in situations of fleeting contact. And it can be examined in its macrostructural consequences in a modern societal order in which motivations for societal engagements and therefore any willingness to care for the other are unavoidably scarce. (shrink)

A few years ago an interesting exhibition took place in Cambridge (and London) under the title ‘N01SE’.2 The title recalls of course the word ‘noise’ but written as ‘N01SE’ it also refers to the binary code (with the two numbers 0 and 1) which is the basic language of calculators - from the simplest to the most sophisticated, (eg. contemporary computers). The title of this exhibition could then be read in two ways. On one side, by playing with the (...) word ‘noise/n01se’, we are presented with the idea that there might be a core of information in any situation of noise, provided that there is a context, an interpretation, a point of view which allows us to identify such information and to decode it. On the other side, we are prompted to reflect critically on the assumptions and goals of the revolutionary field of contemporary digital technologies, whose promise is indeed that of a complete removal of any sort of noise. Is such a promise achievable? At what costs? Should noise, any form of noise, be removed? Is noise inevitably the dark side of any form of information? Is it the opposite of order? Are there contexts in which we can value its presence? Can noise turn into its purported opposite? Attendance at the Cambridge exhibition is what originally prompted some of the thoughts and ideas I explore in this paper. (shrink)

The association between online Flow and Internet Gaming Disorder (IGD) has attracted significant attention. Despite the consensus that online Flow plays a pivotal role in the development of IGD and other Internet addictive behaviours, there has been a lack of consistency in measurement scales used to assess online Flow. Even widely used measures of online Flow have not been psychometrically assessed across culturally diverse populations of gamers. Such an assessment would enhance the accuracy of cross-cultural comparisons regarding the association between (...) online Flow and IGD. Attending to this need, the present study assessed the psychometric properties of the binary coded (i.e. Yes, No) Online Flow Questionnaire (OFQ), while concurrently taking into consideration country, age, language, and mode of data collection (online or face-to-face) differences. Two sequences of successive multiple group confirmatory factor analyses were used to assess the psychometric properties of the OFQ, between: a) emergent adults from the United States of America (N = 482, Mage = 25.23, SD = 2.746) and Australia (N = 168, Mage = 23.55, SD = 3.37) and b) adolescents from Greece (N = 1579, Mage = 16.12, SD =.849) and Cyprus (N = 1372, Mage = 15.54, SD =.656). Configural and partial metric invariance were confirmed between the USA and Australian samples. For the Greek and Cypriot samples, results indicated full configural and metric invariance. These results provide initial information to researchers and clinicians of the extent to which the OFQ maintains its consistency when used across cultures and invite for further cross-cultural studies in the field. Implications, as well as limitations, are discussed. (shrink)

This three-part analysis of modernity assesses the impact that Western thought and philosophy has had on today's world. Making use of neglected research from the fringes of academia, "Anatomyzing Divinity" traces the circuitous path of occult wisdom from China, India, Egypt and the Hellenistic world to Byzantium and beyond. At the heart of the book is an investigation of the life and thought of G. W. Leibniz, the man who invented calculus and laid the groundwork for binary code, which (...) in turn made computers possible. Leibniz's roots, Kelley shows, lay in the Frankish metaphysical tradition, and thus have little in common with some of his contemporaries' materialism. Along the way, sidelights are turned on 1) the occult basis of Western political systems, as well as 2) the alchemical basis of much Western philosophy and theology. (shrink)

A hypergroup, as a generalization of the notion of a group, was introduced by F. Marty in 1934. The first book in hypergroup theory was published by Corsini. Nowadays, hypergroups have found applications to many subjects of pure and applied mathematics, for example, in geometry, topology, cryptography and coding theory, graphs and hypergraphs, probability theory, binary relations, theory of fuzzy and rough sets and automata theory, physics, and also in biological inheritance.

A central problem in the cognitive sciences is identifying the link between consciousness and neural computation. The key features of consciousness—including the emergence of representative information content and the initiation of volitional action—are correlated with neural activity in the cerebral cortex, but not computational processes in spinal reflex circuits or classical computing architecture. To take a new approach toward considering the problem of consciousness, it may be worth re‐examining some outstanding puzzles in neuroscience, focusing on differences between the cerebral cortex (...) and spinal reflex circuits. First, the mammalian cerebral cortex exhibits exascale computational power, a feature that is not strictly correlated with the number of binary computational units; second, individual computational units engage in noisy coding, allowing random electrical events to gate signaling outcomes; third, this noisy coding results in the synchronous firing of statistically random populations of cells across the neural network, at a range of nested frequencies; fourth, the system grows into a more ordered state over time, as it encodes the predictive value gained through observation; and finally, the cerebral cortex is extraordinarily energy efficient, with very little free energy lost to entropy during the work of information processing. Here, I argue that each of these five key features suggest the mammalian brain engages in probabilistic computation. Indeed, by modeling the physical mechanisms of probabilistic computation, we may find a better way to explain the unique emergent features arising from cortical neural networks. (shrink)

Promoting the ethical formation of engineering students through the cultivation of their discipline-specific knowledge, sensitivity, imagination, and reasoning skills has become a goal for many engineering education programs throughout the United States. However, there is neither a consensus throughout the engineering education community regarding which strategies are most effective towards which ends, nor which ends are most important. This study provides an overview of engineering ethics interventions within the U.S. through the systematic analysis of articles that featured ethical interventions in (...) engineering, published in select peer-reviewed journals, and published between 2000 and 2015. As a core criterion, each journal article reviewed must have provided an overview of the course as well as how the authors evaluated course-learning goals. In sum, 26 articles were analyzed with a coding scheme that included 56 binary items. The results indicate that the most common methods for integrating ethics into engineering involved exposing students to codes/standards, utilizing case studies, and discussion activities. Nearly half of the articles had students engage with ethical heuristics or philosophical ethics. Following the presentation of the results, this study describes in detail four articles to highlight less common but intriguing pedagogical methods and evaluation techniques. The findings indicate that there is limited empirical work on ethics education within engineering across the United States. Furthermore, due to the large variation in goals, approaches, and evaluation methods described across interventions, this study does not detail “best” practices for integrating ethics into engineering. The science and engineering education community should continue exploring the relative merits of different approaches to ethics education in engineering. (shrink)

Alan M. Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich in philosophical and logical insight. An introduction (...) by leading Turing expert Jack Copeland provides the background and guides the reader through the selection. About Alan Turing Alan Turing FRS OBE, (1912-1954) studied mathematics at King's College, Cambridge. He was elected a Fellow of King's in March 1935, at the age of only 22. In the same year he invented the abstract computing machines - now known simply as Turing machines - on which all subsequent stored-program digital computers are modelled. During 1936-1938 Turing continued his studies, now at Princeton University. He completed a PhD in mathematical logic, analysing the notion of 'intuition' in mathematics and introducing the idea of oracular computation, now fundamental in mathematical recursion theory. An 'oracle' is an abstract device able to solve mathematical problems too difficult for the universal Turing machine. In the summer of 1938 Turing returned to his Fellowship at King's. When WWII started in 1939 he joined the wartime headquarters of the Government Code and Cypher School (GC&CS) at Bletchley Park, Buckinghamshire. Building on earlier work by Polish cryptanalysts, Turing contributed crucially to the design of electro-mechanical machines ('bombes') used to decipher Enigma, the code by means of which the German armed forces sought to protect their radio communications. Turing's work on the version of Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as 'Fish'. Based on binary teleprinter code, Fish was used during the latter part of the war in preference to morse-based Enigma for the encryption of high-level signals, for example messages from Hitler and other members of the German High Command. It is estimated that the work of GC&CS shortened the war in Europe by at least two years. Turing received the Order of the British Empire for the part he played. In 1945, the war over, Turing was recruited to the National Physical Laboratory (NPL) in London, his brief to design and develop an electronic computer - a concrete form of the universal Turing machine. Turing's report setting out his design for the Automatic Computing Engine (ACE) was the first relatively complete specification of an electronic stored-program general-purpose digital computer. Delays beyond Turing's control resulted in NPL's losing the race to build the world's first working electronic stored-program digital computer - an honour that went to the Royal Society Computing Machine Laboratory at Manchester University, in June 1948. Discouraged by the delays at NPL, Turing took up the Deputy Directorship of the Royal Society Computing Machine Laboratory in that year. Turing was a founding father of modern cognitive science and a leading early exponent of the hypothesis that the human brain is in large part a digital computing machine, theorising that the cortex at birth is an 'unorganised machine' which through 'training' becomes organised 'into a universal machine or something like it'. He also pioneered Artificial Intelligence. Turing spent the rest of his short career at Manchester University, being appointed to a specially created Readership in the Theory of Computing in May 1953. He was elected a Fellow of the Royal Society of London in March 1951 (a high honour). (shrink)

This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of (...) the book itself. The first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics which we call standard are quite well investigated, the efforts focused on hybrid logics referred to as non-standard in this book. Non-standard hybrid logics are understood as modal logics with global counting operators ) whose expressive power matches the expressive power of binder-free standard hybrid logics. The relevant results comprise: 1. Establishing a sound and complete axiomatization for the modal logic K with global counting operators ), which can be easily extended onto other frame classes, 2. Establishing tight complexity bounds, namely NExpTime-completeness for the modal logic with global counting operators defined over the classes of arbitrary, reflexive, symmetric, serial and transitive frames ), MT), MD), MB), MK4) with numerical subscripts coded in binary. Establishing the exponential-size model property for this logic defined over the classes of Euclidean and equivalential frames ), MS5).Results of the second type consist of designing concrete deductive systems for standard and non-standard hybrid logics. More precisely, they include: 1. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for a rich class of binder-free standard hybrid logics. An interesting feature of indicated calculi is the nonbranching character of the rule, 2. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for non-standard hybrid logics. The internalization technique applied to a tableau calculus for the modal logic with global counting operators is novel in the literature, 3. Devising the first hybrid algorithm involving an inequality solver for modal logics with global counting operators. Transferring the arithmetical part of reasoning to an inequality solver turned out to be sufficient in ensuring termination.The book is directed to philosophers and logicians working with modal and hybrid logics, as well as to computer scientists interested in deductive systems and decision procedures for logics. Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity. (shrink)

A growing trend within feminist animal studies is to eschew the abolitionism/welfarism binary in favor of attending carefully to the politics of existing interspecies relationships in context. This literature maintains that domestication produces special interspecies relationships which generate ongoing responsibilities for human companions and communities. With the goal of clarifying how tending to these ongoing responsibilities to domesticated animals can qualify as enduring forms of interspecies justice, this paper unpacks the politics of these special relationships and obligations in context, (...) specifically, that of fancy rat breeders’ attempts to eliminate aganglionic megacolon. Contrasting fanciers’ efforts with those of laboratory breeders and researchers, I argue that what sets the fancy apart is its shared code of ethics and the loving, principled form of life from which it emerges. Furthermore, the knowledge that rats are worth loving not only enables fanciers to attend to the injustice of megacolon but facilitates transformative justice for domestic rats more broadly. (shrink)

Few cross-national studies have been conducted on academic dishonesty. The aim of this study was to explore students’ disclosed levels of academic dishonesty between New Zealand and Nigeria. The measures obtained included incidence, acceptability, and justification of dishonest action. It was hypothesized that there would be differences between the two groups and that differences could be explained in terms of deontology, cultural relativism, utilitarianism, rational fair exchange, and/or response bias. There were 844 medical and health science students who participated in (...) the study and completed a questionnaire that explored incidence, acceptability, and justification of dishonest action. A binary logistic regression revealed that age and incidence were significant predictors of country allocation. Nigerian students reported more engagement in dishonest behaviors, and it is argued that these students have diverse cultural expectations, language variances, response strategies, norms, beliefs, and values. Educational interventions are essential to address concerns related to academic dishonesty such as promoting cross-cultural discourse, providing study skills programs, utilizing peer mentoring, creating formal exchange strategies, and endorsing honor codes. (shrink)

Relying on more expansive criteria for defining “mass shootings” than much existing research, we examine a subset of a unique dataset incorporating 7,048 news documents covering 2,170 shootings in the United States between 2013 and 2019. We analyze the descriptive language used to describe incidents and perpetrators and discover significant racial disparities in representation. This research enables a critical examination of the explanatory frames utilized by news media to tell the public who mass shooters are and journalistic attempts to explain (...) why they occur. Data were analyzed utilizing a mixed methods approach, relying on content analysis to inductively code emergent categories of descriptions of shooters and binary logistic regressions to analyze the preponderance of descriptive categories when comparing news articles reporting on shootings committed by differently racialized shooters. Our results confirm some recent research showing that mass shooters racialized as white are more likely to be described with kind and compassionate language. With our larger sample, however, we also find that mass shooters racialized as white are additionally more likely to be described with negative language as “bad” or “evil” in comparison to shooters of color. We discuss how these data demonstrate that media reports present a more complex picture of white mass shooters for the public than shooters of color. (shrink)

PA is Peano arithmetic. The formula $\operatorname{Interp}_\mathrm{PA}(\alpha, \beta)$ is a formalization of the assertion that the theory PA + α interprets the theory PA + β (the variables α and β are intended to range over codes of sentences of PA). We extend Solovay's modal analysis of the formalized provability predicate of PA, Pr PA (x), to the case of the formalized interpretability relation $\operatorname{Interp}_\mathrm{PA}(x, y)$ . The relevant modal logic, in addition to the usual provability operator `□', has (...) a binary operator ` $\triangleright$ ' to be interpreted as the formalized interpretability relation. We give an axiomatization and a decision procedure for the class of those modal formulas that express valid interpretability principles (for every assignment of the atomic modal formulas to sentences of PA). Our results continue to hold if we replace the base theory PA with Zermelo-Fraenkel set theory, but not with Gödel-Bernays set theory. This sensitivity to the base theory shows that the language is quite expressive. Our proof uses in an essential way earlier work done by A. Visser, D. de Jongh, and F. Veltman on this problem. (shrink)

In 2020, the European Union announced the award of the contract for the biometric part of the new database for border control, the Entry Exit System, to two companies: IDEMIA and Sopra Steria. Both companies had been previously involved in the development of databases for border and migration management. While there has been a growing amount of publicly available documents that show what kind of technologies are being implemented, for how much money, and by whom, there has been limited engagement (...) with digital methods in this field. Moreover, critical border and security scholarship has largely focused on qualitative and ethnographic methods. Building on a data feminist approach, we propose a transdisciplinary methodology that goes beyond binaries of qualitative/quantitative and opacity/transparency, examines power asymmetries and makes the labour of coding visible. Empirically, we build and analyse a dataset of the contracts awarded by two European Union agencies key to its border management policies – the European Agency for Large-Scale Information Systems (eu-LISA) and the European Border and Coast Guard Agency (Frontex). We supplement the digital analysis and visualisation of networks of companies with close reading of tender documents. In so doing, we show how a transdisciplinary methodology can be a device for making datafication ‘intelligible’ at the European Union borders. (shrink)

The article shows Sarmatism as an element of the Polish identity discourse in its community dimension, which mainly takes account of its civilisation and cultural aspect, defined by relations with modernity. Although this discourse includes Sarmatism in reflection on the key determinants of collective identity, such as community, Polishness and so on, it generally does so in a simplified manner, not free from prejudices and excessive bias. Liberal thought, which should have the greatest share in shaping the sphere of self-ideas (...) of modern society, shows a clear reluctance towards Sarmatian heritage, which is hardly surprising given its Enlightenment origin. However, one should understand the reasons for this reluctance, taking into account its stricter context, which is determined by the mechanism of programming Polish cultural projects in essentialist codes. Meanwhile, according to the author, the ‘post-mortem’ history of Sarmatism is part of the pan-European struggle of Tradition and modernity. When set on this plane, Sarmatism can be considered in terms of lack and compensation. The Sarmatian heritage, torn out of the vicious circle of stereotypes, myths and silences, should now be included in the debate on the foundations of Polish civic culture, because it belongs to the contingent history of the Polish habitus, and it is also characterised by the syndrome of un-working. It also needs to be made real by being located in the circle of geopolitical discourse. The perspective of the recontextualisation of Sarmatism, which neo-Sarmatism with its essentialist-nostalgic poetics has created in contemporary identity discourse and postcolonial thought with its binary schemas, seems insufficient. (shrink)

This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions, being directly measured by logical entropy, and on the re-quantification as Shannon entropy, which is the fundamental concept for the theory of coding and communications. Information is based on distinctions, differences, distinguishability, and diversity. Information sets are defined that express the distinctions made by a partition, e.g., the inverse-image of a random variable so they represent the pre-probability notion of information. Then logical entropy (...) is a probability measure on the information sets, the probability that on two independent trials, a distinction or “dit” of the partition will be obtained. The formula for logical entropy is a new derivation of an old formula that goes back to the early twentieth century and has been re-derived many times in different contexts. As a probability measure, all the compound notions of joint, conditional, and mutual logical entropy are immediate. The Shannon entropy and its compound notions are then derived from a non-linear dit-to-bit transform that re-quantifies the distinctions of a random variable in terms of bits—so the Shannon entropy is the average number of binary distinctions or bits necessary to make all the distinctions of the random variable. And, using a linearization method, all the set concepts in this logical information theory naturally extend to vector spaces in general—and to Hilbert spaces in particular—for quantum logical information theory which provides the natural measure of the distinctions made in quantum measurement. Relatively short but dense in content, this work can be a reference to researchers and graduate students doing investigations in information theory, maximum entropy methods in physics, engineering, and statistics, and to all those with a special interest in a new approach to quantum information theory. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:FOR A NON-VIOLENT ACCORD: EDUCATING THE PERSON Marie-Louise Martinez Education has been criticized, no doubt justly, for the symbolic violence of its prohibitions and exclusionary rituals that mirror the violence of society (Bourdieu, etc.). But this criticism is short-sighted. When restraints are removed in teaching and education (in the family and in the school), violence wells up anew and produces at least the following two results: access to meaning (...) and knowledge is restricted; access to the law and its structure-inducing prohibitions is restricted. The result is that we foster vulnerable personalities who confuse fiction and reality, and who do not hesitate to turn their violence into acts of hostility directed toward themselves, other people, and society. A further consequence has been a certain violent non-differentiation that has tended in turn to produce a violent re-differentiation ofsociety. There is a nostalgia everywhere today for a return to discipline, to the rule oflaw, etc. One hears talk of the "sanctuary of the classroom" or again of the necessity of preserving a "symbolic cloister." We are not able, purely and simply, to feel remorse for having maintained the rule ofa violent symbolic order. One might ask in what the symbolic consists. How is it connected to teaching and education? Is there not a fundamental violence in the symbolic? Does there exist a less violent symbolic, or even a non-violent one? How might one define it and put it to work in teaching and education? Girardian theory can help us to reinterpret various contributions from a number of authors in the human sciences (Benveniste, Lacan, etc.) and from the personalist philosophy of language. I would like to propose the hypothesis that there are two stages ofthe symbolic: first, a violent symbolic accord and, second, a non-violent threshold within the symbolic, which alone can serve as an appropriate model for teaching and education. 56Marie-Louise Martinez I. The symbolic and its powers. We are not using symbolic in its specific sense as metaphorical or figurative language as it occurs in myth and poetry but in a more general sense, i.e., to refer to the totality ofthe sign and code systems employed by human beings, as that which allows for the production and deployment of significations within society. Stemming from the Greek symbolein (to throw or put together, to assemble), the symbolic is that type or order of signs that assembles. Much more than the pure language of linguistics, the symbolic is the totality ofverbal, non-verbal, and para-verbal conventions, of systems ofexchange, and ofrites. It also comprises the regulated use ofbodies and ofnature. Our definition ofthe symbolic is not idealist: more than simply the expression of ideas, it is also interaction and action, on oneself, on others, and the world. It includes technical and bodily activities to the degree that these have been codified. In this sense, the symbolic (in agreement with philosophers as diverse as Cassirer or Clifford Geertz) can be said to embrace the totality of what is called culture. But ifthe symbol throws orputs together, it is necessary to discuss what and why and how it does so. The modern science ofsigns (semiology) has shown that the sign or symbol serves to place in relation. Relying on the contemporary semiology that stems from the American philosopher Pierce, and also on the work of Francis Jacques in France, we can say that this relation, far from being a simple binary one (sign/referent or sign/signifier) is a complex relation which aligns signs with the objects to which they refer, but also with the people deploying those signs. This latter signifying relation, which is intersubjective and social, was invisible in Saussurean semiology. In itself, the symbolic is the product of a complex relation which links people among themselves and the things referred to by the agency of signs. In other words, the basis of the signifying relationship is not the dyad subject/object (relation to objects) but a triadic relation, subject/ subject/object (intersubjective and objectai). This triangular relationship, which traverses the intersubjective and the objectai, is a relationship of convention, underlined in antiquity by Plato in the Cratylus (for Hermogenes, a word... (shrink)

Background Ethical decision‑making and behavior of nurses are major factors that can affect the quality of nursing care. Moral development of nurses to making better ethical decision-making is an essential element for managing the care process. The main aim of this study was to examine and comparison the effect of training in ethical decision-making through lectures and group discussions on nurses’ moral reasoning, moral distress and moral sensitivity. Methods In this randomized clinical trial study with a pre- and post-test design, (...) 66 nurses with moral reasoning scores lower than the average of the community were randomly assigned into three equal groups (n = 22) including two experimental groups and one control group. Ethical decision-making training to experimental groups was provided through the lectures and group discussions. While, the control group did not receive any training. Data were collected using sociodemographic questionnaire, the nursing dilemma test (NDT), the moral distress scale (MDS) and the moral sensitivity questionnaire (MSQ). Unadjusted and adjusted binary logistic regression analysis was reported using the odds ratio (OR) and 95% confidence intervals. Results Adjusted regression analysis showed that the probability of increasing the nursing principle thinking (NPT) score through discussion training was significantly higher than lecture (OR: 13.078, 95% CI: 3.238–15.954, P = 0.008), as well as lecture (OR: 14.329, 95% CI: 16.171–2.005, P < 0.001) and discussion groups compared to the control group (OR: 18.01, 95% CI: 22.15–5.834, P < 0.001). The possibility of increasing moral sensitivity score through discussion training was significantly higher than lecture (OR: 10.874, 95%CI: 6.043–12.886, P = 0.005) and control group (OR: 13.077, 95%CI: 8.454–16.774, P = 0.002). Moreover, the moral distress score was significantly reduced only in the trained group compared to the control, and no significant difference was observed between the experimental groups; lecture group vs. control group (OR: 0.105, 95% CI: 0.015–0.717, P = 0.021) and discussion group vs. control group (OR: 0.089, 95% CI: 0.015–0.547, P = 0.009). Conclusions The results of this study indicate that ethical decision-making training is effective on empowerment of ethical reasoning. Whereas the group discussion was also effective on increasing the ethical sensitivity, it is recommended the training plan provided in this study to be held as workshop for all nurses in health and treatment centers and placed in curricular plan of nursing students. Registration This randomized clinical trial was registered in Iranian Registry of Clinical Trials under code (IRCT2015122116163N5) in 02/07/2016. (shrink)

Biological modalities (e.g., biological possibility, necessity and counterfactuality) play an important explanatory role in biological practice. However, biological modalities lack truth conditions and the inferential relationship between biological and other modalities is unclear. This thesis addresses these problems, first, by improving upon Daniel Dennett's Library of Mendel. Second, a family of modal logics is introduced. In the simplest model, states are interpreted as codons, the binary relation is interpreted as single substitution mutation and the valuation induces a partition of (...) blocks of codons that code for some amino acid. In addition, the proposed framework allows for a grading of biological possibility and captures various competing notions of biological possibility. Applications include a model checker and a lawless Lewis-style semantics for biological counterfactuals. In short, this thesis lays the groundwork for a theory of biological modalities. (shrink)

There is a new theory of information based on logic. The definition of Shannon entropy as well as the notions on joint, conditional, and mutual entropy as defined by Shannon can all be derived by a uniform transformation from the corresponding formulas of logical information theory. Information is first defined in terms of sets of distinctions without using any probability measure. When a probability measure is introduced, the logical entropies are simply the values of the probability measure on the sets (...) of distinctions. The compound notions of joint, conditional, and mutual entropies are obtained as the values of the measure, respectively, on the union, difference, and intersection of the sets of distinctions. These compound notions of logical entropy satisfy the usual Venn diagram relationships since they are values of a measure. The uniform transformation into the formulas for Shannon entropy is linear so it explains the long-noted fact that the Shannon formulas satisfy the Venn diagram relations--as an analogy or mnemonic--since Shannon entropy is not a measure on a given set. What is the logic that gives rise to logical information theory? Partitions are dual to subsets, and the logic of partitions was recently developed in a dual/parallel relationship to the Boolean logic of subsets. Boole developed logical probability theory as the normalized counting measure on subsets. Similarly the normalized counting measure on partitions is logical entropy--when the partitions are represented as the set of distinctions that is the complement to the equivalence relation for the partition. In this manner, logical information theory provides the set-theoretic and measure-theoretic foundations for information theory. The Shannon theory is then derived by the transformation that replaces the counting of distinctions with the counting of the number of binary partitions it takes, on average, to make the same distinctions by uniquely encoding the distinct elements--which is why the Shannon theory perfectly dovetails into coding and communications theory. (shrink)

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare logic;- (...) Z;- Temporal logic.Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5 Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. (shrink)

This Neurocomputing special issue is based on selected, expanded and significantly revised versions of papers presented at the Second International Conference on Brain Inspired Cognitive Systems (BICS 2006) held at Lesvos, Greece, from 10 to 14 October 2006. The aim of BICS 2006, which followed the very successful first BICS 2004 held at Stirling, Scotland, was to bring together leading scientists and engineers who use analytic, syntactic and computational methods both to understand the prodigious processing properties of biological systems and, (...) specifically, of the brain, and to exploit such knowledge to advance computational methods towards ever higher levels of cognitive competence. The biennial BICS Conference Series (with BICS 2008 recently held in Sao Luis, Brazil, 24–27 June, and BICS 2010 due to be held in Madrid, Spain) aims to become a major point of contact for research scientists, engineers and practitioners throughout the world in the fields of cognitive and computational systems inspired by the brain and biology. The first paper in this special issue is by Carnell who presents an analysis of the use of Hebbian and Anti-Hebbian spike timedependent plasticity (STDP) learning functions within the context of recurrent spiking neural networks. He shows that under specific conditions Hebbian and Anti-Hebbian learning can be considered approximately equivalent. Finally, the author demonstrates that such a network habituates to a given stimulus and is capable of detecting subtle variations in the structure of the stimuli itself. Hodge, O’Keefe and Austin present a binary neural shape matcher using Johnson counters and chain codes. They show that images may be matched as whole images or using shape matching. Finally, they demonstrate shape matching using a binary associative-memory neural network to index and match chain codes where the chain code elements are represented by Johnson codes. (shrink)

We propose a logic for reasoning about metric spaces with the induced topologies. It combines the 'qualitative' interior and closure operators with 'quantitative' operators 'somewhere in the sphere of radius r.' including or excluding the boundary. We supply the logic with both the intended metric space semantics and a natural relational semantics, and show that the latter (i) provides finite partial representations of (in general) infinite metric models and (ii) reduces the standard '∈-definitions' of closure and interior to simple constraints (...) on relations. These features of the relational semantics suggest a finite axiomatisation of the logic and provide means to prove its EXPTIME-completeness (even if the rational numerical parameters are coded in binary). An extension with metric variables satisfying linear rational (in)equalities is proved to be decidable as well. Our logic can be regarded as a 'well-behaved' common denominator of logical systems constructed in temporal, spatial, and similarity-based quantitative and qualitative representation and reasoning. Interpreted on the real line (with its Euclidean metric), it is a natural fragment of decidable temporal logics for specification and verification of real-time systems. On the real plane, it is closely related to quantitative and qualitative formalisms for spatial representation and reasoning, but this time the logic becomes undecidable. (shrink)

This article considers the meaning of the ancient Chinese magic square Luoshu. It is known that this square is the most ancient of this type of squares. The importance of the magic square in the philosophical tradition and in the whole culture of China is large. The ancient understanding of number differs from the modern one by its dual character, combining the features of philosophical symbolism and mathematical constructions. Unfortunately, modern interpretations of the Luoshu as well as other numerical constructions (...) preserved by the Chinese tradition are too often limited to a superficial statement of their symbolic, “numerological” nature, ignoring the effects of the mathematical structure represented by them. At the same time, some scholars strongly emphasize the intuitive aspects of numerology, which do not presuppose accuracy. On the contrary, Leibniz saw in the Chinese binary system of thinking the beginning of an exact universal language. The author, appealing to the concept of A.A. Krushinskiy, analyzes the arithmetic laws of the structure of the square. The article shows that the magic square Luoshu is not a numbers game. Without any doubt, its main meaning lies in the application of arithmetic. Chinese magic square is an illustrative implementation of one of the main features of Chinese language and traditional thinking – its rational and mathematical basis. The Luoshu square is a vivid example of visual constructivism in the Chinese style of thinking. By means of the magic square’s scheme, the procedure of generalization that is a basis of concepts formation is carried out. This procedure uses a mathematical magic square algorithm based on the numerical codes of the five elements. The quinary spontaneous symbolism is rooted in the Chinese traditional culture of thinking and life order. (shrink)