Two notions of reconciliation exist. The weak or thin conception is akin to ‘resignation’. It is sought by groups that have waged war against one another but have come to the realization that neither can win. Reconciliation in this sense results from an enforced lowering of expectations. In the stronger sense, reconciliation means a virtual cancellation of enmity or estrangement via a morally grounded forgiveness, achievable only when conflicting groups acknowledge collective responsibility for past injustice, and shed their deep prejudices (...) by a profound and painful transformation in their identities. It is because this process is not possible without a somewhat brutal confrontation with oneself and a painful recognition of one’s own moral degradation that reconciliation is difficult to achieve. (shrink)

The literature on methodological individualism is characterized by a widely held view that if the doctrine were stated with sufficient care it would be seen to be trivially true. Professor Bhargava questions this view. He begins by carefully disentangling the various formulations of the doctrine, identifies its most plausible version, and finally locates the principal assumption underlying it, namely that beliefs are attitudes individuated entirely in terms of what lies within the individual mind. Bhargava argues that once this individualist assumption (...) is challenged it is possible to rehabilitate a non-individualist methodology which permits a contextual study of beliefs and actions, and even a study of social context relatively independent of the beliefs and actions of individuals. (shrink)

Background As noise brings great error in the analysis of metallographic images, an adaptive weighted mean filtering method proposed to overcome the shortcomings of the standard mean filtering method. Methods The method used to detect the pulse noise points in the image, and then the modified mean method used to filter out the detected noise points. Patents on metallographic image processing have discussed for the development of the proposed methodology. Results It is shown that filter window can be filtered in (...) comparison with the conventional 3×3, 5×5 and 7×7 filt window to reduce noise detection and reduce the complexity of the weight calculation. Conclusion It can be concluded that this method can better protect the details of the image, has better filtering effect than the standard mean filtering, and its processing speed is faster than the median filtering of the large window, which has profound significance for the edge detection and processing of the metallographic image. (shrink)

This paper presents a method for the study of the influence of stability of a power transformer on the power system based on the vibration principle. Traditionally, the EMD and EEMD algorithms are employed to test the box vibration signal data of the power transformer under three working conditions. The proposed method utilizes a partial EMD screening along with MPEEMD method for the online monitoring of power transformer. A complete online monitoring system is designed by using the STM32 processor and (...) LabVIEW system. The proposed system is compared with EMD and EEMD algorithms in terms of the number of IMFs obtained by decomposition, maximum correlation coefficient, and mean square error. The inherent mode correlation, when compared with the mean square error of the reconstructed signal, shows that the reconstruction error of MPEEMD algorithm is 4.762×10−15 which is better than the traditional EMD algorithm. It is observed from the results that the proposed method outperforms both EMD and EEMD algorithms. (shrink)

This book puts together the most important contemporary writings in the debate on secularism. It deals with conceptual, normative and explanatory issues in secularism and addresses urgent questions, including the relevance of secularism to non-Western societies and the question of minority rights.

I argue that generic generalizations expressed in language (i.e., “generics”) are apt for good clinical reasoning. I begin by introducing what generics are in language and describe two problems in the use and interpretation of generics: Generics can license inaccurate judgements about the frequency of events or properties within a group (i.e., a problem with the “truth-aptness” of generics) and can facilitate problematic beliefs about social kinds (e.g., prejudice or essentializing). I provide an account of clinical reasoning and describe some (...) features of what I call “good” clinical reasoning. I offer examples of generics in clinical contexts and examine how the two problems with generics (i.e., of truth-aptness and social generics) can be harmful to patients and impair clinical reasoning. However, I ultimately argue that generics are important for good clinical reasoning because they track “conspicuous” features of disease processes (e.g., severe possible outcomes). Further, I argue that prejudicial generics are often irrational to believe, and social generics that are rational to believe need not lead to problematic implicatures about social kinds and can, in principle, instead facilitate meaningfully articulating societal injustices. I then argue that statistical statements, which are tempting alternatives to generics in clinical reasoning, are no better than generics for good clinical reasoning, even with respect to the two problems identified in the use of generics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Diacritics 30.4 (2000) 3-13 [Access article in PDF] Benjamin's Arcades Project and the Postcolonial City Rajeev S. Patke [Tables]Walter Benjamin. The Arcades Project. Trans. Howard Eiland and Kevin McLaughlin. Cambridge, MA: Harvard UP, 1999. [AP] Post-this, post-that, post-the-other, yet in the endNot past a thing. —Seamus Heaney, "On His Work in the English Tongue" Preamble Among the several Benjamins to be conjured from The Arcades Project is the (...) one who invites a speculative discourse on the idea of the postcolonial city. We can imagine him first conceding, and then qualifying, three propositions about himself: he mitigates the force of the first—that he was Eurocentric—with the counterproposition that the cities he wrote about were formative of a discourse that can be transposed to other cities whose patterns of urban development were shaped by forces analogous to those he studied in the period of their inception. He then concedes that his work on the city remains problematic in several ways related to an uncertain temperament and method, but urges the recognition that his method came to resemble his object of study; the fortuitous correspondence reinforces the self-reflexive relation between modern cities and the discourse they generate. His third concession—that his use of Marxian ideas mixes them with elements of bourgeois thought—is marginalized by the recognition that he always took his Marx with such a difference that to confine him within such a debate would be to take him in the wrong spirit. He then proceeds to reiterate in the specific instance of the postcolonial a more familiar general claim made by many contemporary readers of the metropolitan experience, that the set of approaches he uncovered continue to remain valid wherever the project of modernity is at work. They help us address "[t]he split image of modernity, modernity's promises for social and individual emancipation, as well as modernity's failures" [Paetzold 216a]. Modern Benjamin would begin by reminding us that his "modern" and "modernity" refer primarily to the industrial transformation of society by technology, as part of the Enlightenment project of progress through the application of reason to nature and society. He would [End Page 3] qualify his sense of the project of "modernity" through the image of "[t]he world dominated by its phantasmagorias" [AP 26]. He would then shrug off the cloak of the Eurocentric by turning, for illustration, to the many Asian manifestations of the postcolonial. Here, he would make the twofold claim that the postcolonial experience brings out the disillusionment latent in the myth of progress, just as the postmodern brings out the phantasmal that is incipient in the myth of an evenly distributed access to capital and goods in the era of globalization. He would argue that the cities of contemporary Asia are the sites for a partial and uneven overlap between the postmodern and the postcolonial. This overlap, he would say, invites us to treat the idea of the city in a generic mode, without discounting the fact that the diversity separating the metropolitan centers in Asia makes little sense of an Asian city except as banal literalism. He would note that colonialism did not affect all of Asia, nor did it follow quite the same course from colony to colony, though the term retains some usefulness in accounting for the general factors that link different cities in Asia to what happened after colonialism. He would treat the postcolonial and the postmodern as three-tiered phenomena: each is a historical phase of world history, a predicament affecting collectivities, and an attitude or state of mind. The aptness of the notion of the postcolonial city, he points out, increases in direct proportion to the degree to which a city has acquired a distinctive identity through colonial administration or commerce, and decreases in direct proportion to the degree of discontinuity between the colonial and postcolonial phases of its history. He would add the corollary that any contemporary city in the developing world approximates to the postcolonial condition when its role in the network of power relations negotiates... (shrink)

We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are similar to formulae of automaton propositional dynamic logic. Our calculus is cut-free and has the analytic superformula property so it gives a decision procedure. We show that the known EXPTIME upper bound for regular grammar logics can be obtained using our tableau calculus. We also give an effective Craig interpolation lemma for regular grammar (...) logics using our calculus. (shrink)

The Tableaux Work Bench (TWB) is a meta tableau system designed for logicians with limited programming or automatic reasoning knowledge to experiment with new tableau calculi and new decision procedures. It has a simple interface, a history mechanism for controlling loops or pruning the search space, and modal simplification.

The scope of social policy today is extensive. With the changing global scenario, there is a rediscovery of “social” in it. Indubitably, there is a gender perspective on social policy globally. The world Economic Forum states that there are only six countries in the world (Belgium, Denmark, France, Latvia, Luxembourg and Sweden) where women have equal work rights to men. It is noted that the situation in different countries varies when it comes to the working benefits of different genders whether (...) for native or expatriate workers in those places. Though there are rooms to enjoy attractive income and favourable working conditions such as job security, generous retirement plan, and other welfare benefits, there are still various factors that might lead to gender-based differences or gender discrimination in the unique labour market context of the GCC countries. The scenario is distinct in many Scandinavian nations like Sweden. Those countries are often considered the role model for gender equal work allowances. When it comes to India there is still disparity and difference in many areas despite the social security system the country offers in its policies. This paper aims at a descriptive and qualitative study on the causes, consequences and conclusion of the gender disparity in employee allowances in these nations. The study would imply a simple random method of interrogation to examine gender differences empirically within the labour market of the mentioned nations. The economic benefits of a gender-equal nation in the framing of social policy will be emphasized and focused on. (shrink)

The concept of marriage has undergone a transition presently when compared with the past. Norms, customs and traditions have also changed. Attitudes, choices and preferences of individuals contribute to these changes accompanied by education and modernization. Equality of women, social changes, and liberalized economy can be a few determinants contributing to the choices and preferences, yet fertility issues remain a nagging problem after marriage. The present trend highlights late marriages, and stress at home and works front for both genders, contributing (...) to instability in marriages. These being certain issues, on one hand, increase in divorce cases, maintenance and custody of children, single parenting is another set of challenges, on the other hand. Hence, marriages are also riskier and those who embark on this journey are the successful lot. This paper primarily aims to identify the perception of youth about marriage as terminologies such as “Live in relationships”, “Friends with benefits”, etc., are in vogue. Secondly, the objective of this paper is also to study if “mid-life crisis” in both the genders accompanied by emotional, physical and psychological issues can be the causal determinants for various issues in marriage. Thirdly, the paper aims to study the causal effects between marriage issues, family laws and the country’s economy as there is a direct nexus between the three forces using appropriate research methodology tools and techniques. (shrink)

Walter Benjamin's Other History: Of Stones, Animals, Human Beings, and Angels. By Beatrice Hanssen (Berkeley, Los Angeles, London: University of California Press, 1998), 218 pp. $35.00 cloth.

This book demonstrates the variety of ways in which the materiality of islands is intertwined in a symbiotic relationship with the capacity of the imagination to make islands the site and embodiment of a host of recurrent human desires, anxieties, and hopes.

Over the years, the urban heat vulnerability has evolved as a pressing global concern for researchers and policymakers alike. Numerous studies have aimed at mitigating the adverse effects of urban heat vulnerability on public health and safety. However, the critical task of selecting the most fitting indicator for urban heat islands in public spaces is not emphasized in the existing studies, considering the diverse indices available. Beyond identification, studies that delve into the prioritization of these indices and the determination of (...) optimal variables along with their respective weights are scanty. The present study attempts to address these gaps in urban heat vulnerability research through the lens of natural solutions. The study employs a fuzzy analytical hierarchy approach to ascertain the weights of selected criteria, providing a nuanced understanding of the multifaceted factors influencing their applicability. Real-time impact estimation using the fuzzy technique for order of preference by similarity to ideal solutions enhances the practicality of the findings. The results reveal a set of pivotal characteristics crucial for constructing a robust heat vulnerability index, facilitating the prioritization of selected criteria. The implementation of this hybrid methodology culminates in a streamlined, precise, and practical tool for evaluating heat vulnerability in hot urban public spaces. These findings contribute valuable insights to the academic discourse and offer a tangible resource for policymakers and practitioners. The proactive approach provides a roadmap for addressing impending challenges related to urban heat vulnerability, marking a positive step toward creating resilient and sustainable urban environments. (shrink)

We present a syntactic proof of cut-elimination for weak Grzegorczyk logic Go. The logic has a syntactically similar axiomatisation to Gödel–Löb logic GL (provability logic) and Grzegorczyk’s logic Grz. Semantically, GL can be viewed as the irreflexive counterpart of Go, and Grz can be viewed as the reflexive counterpart of Go. Although proofs of syntactic cut-elimination for GL and Grz have appeared in the literature, this is the first proof of syntactic cut-elimination for Go. The proof is technically interesting, requiring (...) a deeper analysis of the derivation structures than the proofs for GL and Grz. New transformations generalising the transformations for GL and Grz are developed here. (shrink)

We show that the polynomial translation of the classical propositional normal modal logic S4 into the intuitionistic propositional logic Int from Fernández is incorrect. We give a modified translation and prove its correctness, and provide implementations of both translations to allow others to test our results.

Written over the last two decades, these essays answers important questions on secularism. Some of the topics covered are the democratic vision of the new republic of India, the evolution and distinctiveness of India's linguistic federalism, India's secular constitution, the Muslim personal law, and the majority-minority syndrome.

India is one of the most culturally, philosophically and religiously diverse countries in the world. The roots, not only of these diversities but also of morally appropriate responses to them, i.e. to pluralism, go very deep. This presentation substantiates this claim by looking at the relevant edicts of Emperor Asoka who reigned in India in the 3rd century BCE. Asoka not only advises people with deeply divergent worldviews to live together face to face but also suggests what the basis for (...) this coexistence could be. He claims that resources exist in all traditions to exercise self-restraints. These self-restraints are of two kinds: self-related and other-related. Everyone should exercise both these self-restraints, particularly in speech. This ‘control of tongue’ is crucial for morally legitimate and principled coexistence. In the article, I try to explicate the meaning of these edicts and flesh out this argument by providing a vivid, quasi-phenomenological account of what public life in Asokan times was like. (shrink)

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved (...) are always bounded by a finite set of formulaeX* L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive. (shrink)

We present a cut-free tableau calculus with histories and variables for the EXPTIME-complete multi-modal logic of common knowledge. Our calculus constructs the tableau using only one pass, so proof-search for testing theoremhood of ϕ does not exhibit the worst-case EXPTIME-behaviour for all ϕ as in two-pass methods. Our calculus also does not contain a “finitized ω-rule” so that it detects cyclic branches as soon as they arise rather than by worst-case exponential branching with respect to the size of ϕ. Moreover, (...) by retaining the rooted-tree form from traditional tableaux, our calculus becomes amenable to the vast array of optimisation techniques which have proved essential for “practical” automated reasoning in very expressive description logics. Our calculus forms the basis for developing a uniform framework for the family of all fix-point logics of common knowledge. However, there is still no “free lunch” as, in the worst case, our method exhibits 2EXPTIME-behaviour. A prototype implementation can be found at twb.rsise.anu.edu.au which allows users to test formulae via a simple graphical interface. (shrink)

We use a deep embedding of the display calculus for relation algebras RA in the logical framework Isabelle/HOL to formalise a machine-checked proof of cut-admissibility for RA. Unlike other “implementations”, we explicitly formalise the structural induction in Isabelle/HOL and believe this to be the first full formalisation of cutadmissibility in the presence of explicit structural rules.

Available from UMI in association with The British Library. Requires signed TDF. ;It is frequently asserted that the debate between individualists and non-individualists is futile and that a suitably modified methodological individualism is trivially true. This thesis seeks to challenge this assertion, and to revive the debate by first identifying a plausible version of methodological individualism and then by outlining a non-individualist alternative. ;Identifying a plausible version of methodological individualism is not easy because the doctrine is rarely stated with clarity (...) and precision. Chapter I seeks to remedy this deficiency and unravels the various forms of methodological individualism. It also affirms that the doctrine would not be individualist if it did not possess a residual psychologism; for the individualist, intentional contents must, in principle, be individually individuated. ;I examine in detail all significant versions of explanatory individualism. Chapter II takes up its reductionist variants and concludes that most non-individualist arguments against the irreducibility of the social to the individual founder because of a failure to distinguish correlatory and micro-reductionist versions of methodological individualism. While good arguments exist against the possibility of correlatory laws connecting social and individual properties, their success presupposes the absence of identity reductions. No arguments are found in this chapter against these. However, the following chapter impugns two of the central assumptions of all nomological variants. This considerably weakens the case for such explicable non-nomologically in terms of the beliefs and desires of individuals. ;In Chapter V, an assumption of intentionalism that beliefs have a linguistic content is examined. It is claimed that such contents have an ineliminable social character. It is contended that beliefs qua attitudes have a social dimension and that they presuppose the existence of social practices. A conception of such practices is outlined to forestall the objection that they can be reduced to inter-psychologically generated actions. With this view of social beliefs and practices, we hope to possess a sketch of contextualism, the non-individualist methodological stance that encourages an independent study of social practices and a contextual study of individual intentional states. If this attempt is even partly successful, we have at least two rival prescriptive ideals guiding the social scientist. This considerably bolsters up the contention of the thesis that something serious continues to be at stake in the debate between the individualist and the non-individualist. (shrink)

The main technical errors are in the literature survey. On pages 44, 93-94, 131 and 133 I claim that Fitting's and/or Rautenberg's systems are incomplete because they omit contraction. The claim is wrong because contraction is implicit in their set notation. Their systems are complete because they allow contraction on any formula whereas the systems in this technical report explicitly build contraction into certain rules, allowing contraction only on certain types of formulae. Please accept my apologies for any confusion this (...) causes you. (shrink)

To study the development trend of embedded platforms in home appliances Internet of Things, an application of embedded Linux in the design of IoT gateway is designed. ARM microprocessor S3C2410, EM310 radio frequency module, and Ethernet DM9000A module are used to realize the home network information-processing platform. The platform utilizes existing network facilities, RF modules, and network interface modules to realize the interconnection of the home perception network through wireless or wired links. For experimental analysis, Ping the central server from (...) the IoT node B is set to twice: The first time ttl = 255 time = 1.9 ms, the second time: ttl = 255 time = 2.4 ms. After application verification, the system has the characteristics of low cost, small size, low power consumption, and vital ease of use. It can not only integrate the home Internet and the IoT gateway but also directly run application-layer communication protocols such as HTTP/mqtt between IoT nodes and Internet terminals. The design supports multi-hop communication and significantly increases the deployment range of IoT nodes without signal relay equipment, hence reducing the cost of IoT networking and the complexity of the network architecture. (shrink)

This book demonstrates the variety of ways in which the materiality of islands is intertwined in a symbiotic relationship with the capacity of the imagination to make islands the site and embodiment of a host of recurrent human desires, anxieties, and hopes.

We propose a new sequent calculus for bi intuitionistic logic which sits somewhere between display calculi and traditional sequent calculi by using nested sequents. Our calculus enjoys a simple (purely syntactic) cut elimination proof as do display calculi. But it has an easily derivable variant calculus which is amenable to automated proof search as are (some) traditional sequent calculi. We first present the initial calculus and its cut elimination proof. We then present the derived calculus, and then present a proof (...) search strategy which allows it to be used for automated proof search. We prove that this search strategy is terminating and complete by showing how it can be used to mimic derivations obtained from an existing calculus GBiInt for bi intuitionistic logic. As far as we know, our new calculus is the first sequent calculus for bi intuitionistic logic which uses no semantic additions like labels, which has a purely syntactic cut elimination proof, and which can be used naturally for backwards proof search. Keywords: Bi-intuitionistic logic, display calculi, proof search. (shrink)

This volume examines various aspects of the Indian Constitution from the perspective of political theory. The essays view the Constitution as a political or ethical document, thereby reflecting configurations of power and interests or articulating a moral vision.

We study a propositional bimodal logic consisting of two S4 modalities and [a], together with the interaction axiom scheme a ϕ → a ϕ. In the intended semantics, the plain..