Transreal arithmetic as a consistent basis for paraconsistent logics

Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been pro- posed as a formal basis for handling inconsistent data, as commonly arise in human enterprises, and as methods for fuzzy reasoning, with applica- tions in Artificial Intelligence and the control of complex systems. Formalisations of paraconsistent logics usually require heroic mathe- matical efforts to provide a consistent axiomatisation of an inconsistent system. Here we use transreal arithmetic, which is known to be consis- tent, to arithmetise a paraconsistent logic. This is theoretically simple and should lead to efficient computer implementations. We introduce the metalogical principle of monotonicity which is a very simple way of making logics paraconsistent. Our logic has dialetheaic truth values which are both False and True. It allows contradictory propositions, allows variable contradictions, but blocks literal contradictions. Thus literal reasoning, in this logic, forms an on-the- y, syntactic partition of the propositions into internally consistent sets. We show how the set of all paraconsistent, possible worlds can be represented in a transreal space. During the development of our logic we discuss how other paraconsistent logics could be arithmetised in transreal arithmetic.

Building post crisis watchtowers: investment management Systems and new institutional logics for regulatory compliance

The financial crisis of 2007-2009 has precipitated large scale regulatory change. Tight deadlines for implementation require organizations to start working on remediation projects before final drafts of regulations are crystalized. Firms are faced with engaging in complex and costly change management programs at a time when profits are diminished. As a consequence of these factors, pre-crisis logics for organizing compliance practices are being questioned and new approaches introduced. Our study explores the use of Investment Management Systems (IMS) in facilitating compliance arrangements. Our motivation is to understand the new logics and the part played by IMS in supporting these approaches. The study adopts an institutional logics perspective to explore the use of such systems at eight financial organizations. The study found new logics for organizing compliance include consolidation, centralization, harmonization and consistency and that the IMS plays an important role in supporting and enabling related activities.

Transreal proof of the existence of universal possible worlds

Transreal arithmetic is total, in the sense that the fundamental operations of addition, subtraction, multiplication and division can be applied to any transreal numbers with the result being a transreal number [1]. In particular division by zero is allowed. It is proved, in [3], that transreal arithmetic is consistent and contains real arithmetic. The entire set of transreal numbers is a total semantics that models all of the semantic values, that is truth values, commonly used in logics, such as the classical, dialetheaic, fuzzy and gap values [2]. By virtue of the totality of transreal arithmetic, these logics can be implemented using total, arithmetical functions, specifically operators, whose domain and counterdomain is the entire set of transreal numbers

Transreal logical space of all propositions

Transreal numbers provide a total semantics containing classical truth values, dialetheaic, fuzzy and gap values. A paraconsistent Sheffer Stroke generalises all classical logics to a paraconsistent form. We introduce logical spaces of all possible worlds and all propositions. We operate on a proposition, in all possible worlds, at the same time. We define logical transformations, possibility and necessity relations, in proposition space, and give a criterion to determine whether a proposition is classical. We show that proofs, based on the conditional, infer gaps only from gaps and that negative and positive infinity operate as bottom and top values.

Ontology supported comparison in vague domains

It is problematic to use standard ontology tools when describing vague domains. Standard ontologies are designed to formally define one view of a domain, and although it is possible to define disagreeing statements, it is not advisable, as the resulting inferences could be incorrect. Two different solutions to the above problem in two different vague domains have been developed and are presented. The first domain is the knowledge base of conversational agents (chatbots). An ontological scripting language has been designed to access ontology data from within chatbot code. The solution developed is based on reifications of user statements. It enables a new layer of logics based on the different views of the users, enabling the body of knowledge to grow automatically. The second domain is competencies and competency frameworks. An ontological framework has been developed to model different competencies using the emergent standards. It enables comparison of competencies using a mix of linguistic logics and descriptive logics. The comparison results are non-binary, therefore not simple yes and no answers, highlighting the vague nature of the comparisons. The solution has been developed with small ontologies which can be added to and modified in order for the competency user to build a total picture that fits the user’s purpose. Finally these two approaches are viewed in the light of how they could aid future work in vague domains, further work in both domains is described and also in other domains such as the semantic web. This demonstrates two different approaches to achieve inferences using standard ontology tools in vague domains.

Robot free will

We introduce the perspex machine which unifies projective geometry and Turing computation and results in a supra-Turing machine. We show two ways in which the perspex machine unifies symbolic and non-symbolic AI. Firstly, we describe concrete geometrical models that map perspexes onto neural networks, some of which perform only symbolic operations. Secondly, we describe an abstract continuum of perspex logics that includes both symbolic logics and a new class of continuous logics. We argue that an axiom in symbolic logic can be the conclusion of a perspex theorem. That is, the atoms of symbolic logic can be the conclusions of sub-atomic theorems. We argue that perspex space can be mapped onto the spacetime of the universe we inhabit. This allows us to discuss how a robot might be conscious, feel, and have free will in a deterministic, or semi-deterministic, universe. We ground the reality of our universe in existence. On a theistic point, we argue that preordination and free will are compatible. On a theological point, we argue that it is not heretical for us to give robots free will. Finally, we give a pragmatic warning as to the double-edged risks of creating robots that do, or alternatively do not, have free will.

Manipulation and articulation: population statistics in 19th century France and England

The article presents an essay that deals with the study conducted by Donald MacKenzie and the case studies comparing the use of population statistics in France and Great Britain in the periods of 1825 and 1885. It analyzes Donald MacKenzie's study on the ways professional and political commitments informed the choice of statistical indexes in the British statistical community. Furthermore, the author is interested in knowing how this influenced the development of mathematical statistics in Great Britain. The author concludes that the differences in the debates over population statistics are accounted to the differences in the social and epistemological logics of population statistics.

A multidisciplinary literature review of low and zero carbon technologies into new housing

The UK Government is committed to all new homes being zero-carbon from 2016. The use of low and zero carbon (LZC) technologies is recognised by housing developers as being a key part of the solution to deliver against this zero-carbon target. The paper takes as its starting point that the selection of new technologies by firms is not a phenomenon which takes place within a rigid sphere of technical rationality (for example, Rip and Kemp, 1998). Rather, technology forms and diffusion trajectories are driven and shaped by myriad socio-technical structures, interests and logics. A literature review is offered to contribute to a more critical and systemic foundation for understanding the socio-technical features of the selection of LZC technologies in new housing. The problem is investigated through a multidisciplinary lens consisting of two perspectives: technological and institutional. The synthesis of the perspectives crystallises the need to understand that the selection of LZC technologies by housing developers is not solely dependent on technical or economic efficiency, but on the emergent ‘fit’ between the intrinsic properties of the technologies, institutional logics and the interests and beliefs of various actors in the housing development process.

The adoption of the materiality concept in social and environmental reporting assurance: a field study approach

This study investigates the logics or values that shape the social and environmental reporting (SER) and SER assurance (SERA) process. The influence of logics is observed through a study of the conceptualisation and operationalisation of the materiality concept by accounting and non-accounting assurors and their assurance statements. We gathered qualitative data from interviews with both accounting and non-accounting assurors. We analysed the interplay between old and new logics that are shaping materiality as a reporting concept in SER. SER is a rich field in which to study the dynamics of change because it is a voluntary, unregulated, qualitative reporting arena. It has a broad, stakeholder audience, where accounting and non-accounting organisations are in competition. There are three key findings. First, the introduction of a new, stakeholder logic has significantly changed the meaning and role of materiality. Second, a more versatile, performative, social understanding of materiality was portrayed by assurors, with a forward-looking rather than a historic focus. Third, competing logics have encouraged different beliefs about materiality, and practices, to develop. This influenced the way assurors theorised the concept and interpreted outcomes. A patchwork of localised understandings of materiality is developing. Policy implications both in SERA and also in financial audit are explored.

The emergence of integrated private reporting

Purpose: Private social and environmental reporting (SER) has grown considerably in recent years, consistent with a rise in institutional investor engagement and dialogue with investee companies. We interpret the emergence of integrated private reporting through the lens of institutional logics. We frame the emergence of integrated private reporting as a merging of two hitherto separate and possibly rival institutional logics. Methodology/Approach: We interviewed 19 companies listed on the FTSE100 and 20 UK institutional investors. The interviews were semi-structured and analysed in an interpretive fashion. Findings and Implications: We provide evidence to suggest that private SER is beginning to merge with private financial reporting and that, as a result integrated private reporting is emerging. This trend is mirroring the international trend in public reporting toward an integrated approach. Specifically, we find that specialist social responsible investment managers are starting to attend private financial reporting meetings whilst mainstream fund managers are starting to attend private meetings on environmental, social and governance (ESG) issues. Further, senior company directors are becoming increasingly conversant with ESG issues. We interpret our findings as two possible scenarios: (i) there is a genuine hybridisation occurring in UK institutional investment such that integrated private reporting is emerging, or; (ii) the financial logic is absorbing and effectively neutralising the responsible investment logic. Originality: This is the first research investigating the evolution of private integrated reporting.

Towards (more) integrity in academia: transcending neo-liberal assumption of research and knowledge creation and the “rules” supressing academic freedom

European researchers across heterogeneous disciplines voice concerns and argue for new paths towards a brighter future regarding scientific and knowledge creation and communication. Recently, in biological and natural sciences concerns have been expressed that major threats are intentionally ignored. These threats are challenging Europe’s future sustainability towards creating knowledge that effectively deals with emerging social, environmental, health, and economic problems of a planetary scope. Within social science circles however, the root cause regarding the above challenges, have been linked with macro level forces of neo-liberal ways of valuing and relevant rules in academia and beyond which we take for granted. These concerns raised by heterogeneous scholars in natural and the applied social sciences concern the ethics of today’s research and academic integrity. Applying Bourdieu’s sociology may not allow an optimistic lens if change is possible. Rather than attributing the replication of neo-liberal habitus in intentional agent and institutional choices, Bourdieu’s work raises the importance of thoughtlessly internalised habits in human and social action. Accordingly, most action within a given paradigm (in this case, neo-liberalism) is understood as habituated, i.e. unconsciously reproducing external social fields, even ill-defined ways of valuing. This essay analyses these and how they may help critically analyse the current habitus surrounding research and knowledge production, evaluation, and communication and related aspects of academic freedom. Although it is acknowledged that transformation is not easy, the essay presents arguments and recent theory paths to suggest that change nevertheless may be a realistic hope once certain action logics are encouraged.