830 resultados para Modal Logics. Paranormal Logics. Fuzzy Logics
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
The debate associated with the qualifications of business school faculty has raged since the 1959 release of the Gordon–Howell and Pierson reports, which encouraged business schools in the USA to enhance their legitimacy by increasing their faculties’ doctoral qualifications and scholarly rigor. Today, the legitimacy of specific faculty qualifications remains one of the most discussed topics in management education, attracting the interest of administrators, faculty, and accreditation agencies. Based on new institutional theory and the institutional logics perspective, this paper examines convergence and innovation in business schools through an analysis of faculty hiring criteria. The qualifications examined are academic degree, scholarly publications, teaching experience, and professional experience. Three groups of schools are examined based on type of university, position within a media ranking system, and accreditation by the Association to Advance Collegiate Schools of Business. Data are gathered using a content analysis of 441 faculty postings from business schools based in the USA over two time periods. Contrary to claims of global convergence, we find most qualifications still vary by group, even in the mature US market. Moreover, innovative hiring is more likely to be found in non-elite schools.
Resumo:
This chapter examines the importance of legitimacy for international organizations, and their efforts to legitimate themselves vis-à-vis different audiences. Legitimacy, which for decades barely featured in the scholarly analysis of international organizations, has since the late 1990s been an increasingly important lens through which the processes, practices, and structures of international organizations have been examined. The chapter makes three main arguments. First, it argues that in most international organizations the most important actors engaging in legitimation efforts are not the supranational bureaucracies, but member states. This has important implications for our understanding of the purposes of seeking legitimacy, and for the possible practices. Second, legitimacy and legitimation serve a range of purposes for these states, beyond achieving greater compliance with their decisions, which has been one of the key functional logics highlighted for legitimacy in the literature. Instead, legitimacy is frequently sought to exclude outsiders from the functional or territorial domains affected by an international organization’s authority, or to maintain external material and political support for existing arrangements. Third, one of the most prominent legitimation efforts, institutional reforms, often prioritizes form over function, signalling to important and powerful audiences to encourage their continued material and political support. To advance these arguments, the chapter is divided into four sections. The first develops the concept of legitimacy and its application to international organizations, and then asks why their legitimacy has become such an important intellectual and political concern in recent years. The second part will look in more detail at the legitimation practices of international organizations, focusing on who engages in these practices, who the key audiences are, and how legitimation claims are advanced. The third section will look in more detail at one of the most common forms of legitimation – institutional reform – through the lens of two such reforms in international organizations: efforts towards greater interoperability in NATO, and the establishment of the African Peace and Security Architecture in the African Union (AU). The chapter will conclude with some reflections of the contribution that a legitimacy perspective has made to our understanding of the practices of international organizations.
Resumo:
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology Debugging, on the other hand, aims to find the axioms in a terminological knowledge base which caused the base to become inconsistent. In this article, we propose a belief revision approach in order to find and repair inconsistencies in ontologies represented in some description logic (DL). As the usual belief revision operators cannot be directly applied to DLs, we propose new operators that can be used with more general logics and show that, in particular, they can be applied to the logics underlying OWL-DL and Lite.
Resumo:
Canalizing genes possess such broad regulatory power, and their action sweeps across a such a wide swath of processes that the full set of affected genes are not highly correlated under normal conditions. When not active, the controlling gene will not be predictable to any significant degree by its subject genes, either alone or in groups, since their behavior will be highly varied relative to the inactive controlling gene. When the controlling gene is active, its behavior is not well predicted by any one of its targets, but can be very well predicted by groups of genes under its control. To investigate this question, we introduce in this paper the concept of intrinsically multivariate predictive (IMP) genes, and present a mathematical study of IMP in the context of binary genes with respect to the coefficient of determination (CoD), which measures the predictive power of a set of genes with respect to a target gene. A set of predictor genes is said to be IMP for a target gene if all properly contained subsets of the predictor set are bad predictors of the target but the full predictor set predicts the target with great accuracy. We show that logic of prediction, predictive power, covariance between predictors, and the entropy of the joint probability distribution of the predictors jointly affect the appearance of IMP genes. In particular, we show that high-predictive power, small covariance among predictors, a large entropy of the joint probability distribution of predictors, and certain logics, such as XOR in the 2-predictor case, are factors that favor the appearance of IMP. The IMP concept is applied to characterize the behavior of the gene DUSP1, which exhibits control over a central, process-integrating signaling pathway, thereby providing preliminary evidence that IMP can be used as a criterion for discovery of canalizing genes.
Resumo:
For first-order Horn clauses without equality, resolution is complete with an arbitrary selection of a single literal in each clause [dN 96]. Here we extend this result to the case of clauses with equality for superposition-based inference systems. Our result is a generalization of the result given in [BG 01]. We answer their question about the completeness of a superposition-based system for general clauses with an arbitrary selection strategy, provided there exists a refutation without applications of the factoring inference rule.
Resumo:
Until recently, First-Order Temporal Logic (FOTL) has been only partially understood. While it is well known that the full logic has no finite axiomatisation, a more detailed analysis of fragments of the logic was not previously available. However, a breakthrough by Hodkinson et al., identifying a finitely axiomatisable fragment, termed the monodic fragment, has led to improved understanding of FOTL. Yet, in order to utilise these theoretical advances, it is important to have appropriate proof techniques for this monodic fragment.In this paper, we modify and extend the clausal temporal resolution technique, originally developed for propositional temporal logics, to enable its use in such monodic fragments. We develop a specific normal form for monodic formulae in FOTL, and provide a complete resolution calculus for formulae in this form. Not only is this clausal resolution technique useful as a practical proof technique for certain monodic classes, but the use of this approach provides us with increased understanding of the monodic fragment. In particular, we here show how several features of monodic FOTL can be established as corollaries of the completeness result for the clausal temporal resolution method. These include definitions of new decidable monodic classes, simplification of existing monodic classes by reductions, and completeness of clausal temporal resolution in the case of monodic logics with expanding domains, a case with much significance in both theory and practice.
Resumo:
First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. Although a complete and correct resolution-style calculus has already been suggested for this specific fragment, this calculus involves constructions too complex to be of practical value. In this paper, we develop a machine-oriented clausal resolution method which features radically simplified proof search. We first define a normal form for monodic formulae and then introduce a novel resolution calculus that can be applied to formulae in this normal form. By careful encoding, parts of the calculus can be implemented using classical first-order resolution and can, thus, be efficiently implemented. We prove correctness and completeness results for the calculus and illustrate it on a comprehensive example. An implementation of the method is briefly discussed.