scholarly journals Axiomatizing Hybrid XPath with Data

2021 ◽  
Vol Volume 17, Issue 3 ◽  
Author(s):  
Carlos Areces ◽  
Raul Fervari
Keyword(s):  
Large Family ◽  
Data Models ◽  
Axiomatic System ◽  
Equivalence Relations ◽  
Completeness Result ◽  
The Status ◽  
Tree Models ◽  
Abstract Data ◽  
The One ◽  
Axiomatic Systems

In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we present HXPath=, a multi-modal version of XPath with data, extended with nominals and the hybrid operator @. Then, we introduce an axiomatic system for HXPath=, and we prove it is strongly complete with respect to the class of abstract data models, i.e., data models in which data values are abstracted as equivalence relations. We prove a general completeness result similar to the one presented in, e.g., [BtC06], that ensures that certain extensions of the axiomatic system we introduce are also complete. The axiomatic systems that can be obtained in this way cover a large family of hybrid XPath languages over different classes of frames, for which we present concrete examples. In addition, we investigate axiomatizations over the class of tree models, structures widely used in practice. We show that a strongly complete, finitary, first-order axiomatization of hybrid XPath over trees does not exist, and we propose two alternatives to deal with this issue. We finally introduce filtrations to investigate the status of decidability of the satisfiability problem for these languages.

scholarly journals Synthesizing Normal and Non-Normal Modal Logics in Philosophical Epistemology Axiomatic System Modeled by the Logic Square and Hexagon of Opposition

2019 ◽  
pp. 894-907
Author(s):  
Vladimir O. Lobovikov
Keyword(s):  
Axiom System ◽  
Difficult Problem ◽  
Modal Logics ◽  
Axiomatic System ◽  
Border Line ◽  
History Of ◽  
The One ◽  
Definition Of ◽  
Axiomatic Systems ◽  
Normal Modal Logics

The paper aims at coping with the difficult problem of rationally uniting astonishingly huge amount of qualitatively different modal logics. For realizing this aim artificial languages of symbolic logic and the axiomatic methodology are used. Therefore, the method of constructing and studying formal logic inferences within the axiom system under investigation is exploited systematically. Inventing and elaborating a hitherto not-considered axiomatic system of epistemology uniting normal and not-normal modal logics is the new nontrivial scientific result of this work. History of philosophy and systematical philosophy, formal ethics and formal aesthetics, philosophical epistemology and analytical theology, philosophy of law and philosophy of science are among the important fields of application of the nontrivial abstract-theoretic principles demonstrated in this paper. Using the above-indicated machinery the author has arrived to the following main conclusion: the famous philosophical principles of utilitarianism, hedonism, optimism, pragmatism, fideism, falsifiability, verifiability, “Hume’s Guillotine”, “naturalistic fallacies” et al have not absolutely indefinite (unlimited) but quite definite (limited) sphere of relevant applicability; the precise formal definition of the border-line of mentioned sphere of relevance is the axiomatic one submitted and discussed in the paper. This general conclusion is instantiated in the text by several particular conclusions concerning explication and clarification of specific philosophical ideas and principles, for example, the one of kalokagathia. The author concludes that constructing and investigating the axiomatic systems of universal philosophical epistemology is indispensable for adequate representing human knowledge in artificial intellectual systems, for instance, in autonomous AI‑robots

The Futurists. Experts in World Futures

2018 ◽  
Author(s):  
Jenny Andersson
Keyword(s):  
Cold War ◽  
Status Quo ◽  
The Other ◽  
Futures Studies ◽  
The Future ◽  
The Status ◽  
The One ◽  
The Cold War ◽  
Images Of The Future ◽  
The Way

Alvin Toffler’s writings encapsulated many of the tensions of futurism: the way that futurology and futures studies oscillated between forms of utopianism and technocracy with global ambitions, and between new forms of activism, on the one hand, and emerging forms of consultancy and paid advice on the other. Paradoxically, in their desire to create new images of the future capable of providing exits from the status quo of the Cold War world, futurists reinvented the technologies of prediction that they had initially rejected, and put them at the basis of a new activity of futures advice. Consultancy was central to the field of futures studies from its inception. For futurists, consultancy was a form of militancy—a potentially world altering expertise that could bypass politics and also escaped the boring halls of academia.

The Christian Church in the Last Seventy Years

1943 ◽  
Vol 12 (1) ◽  
pp. 28-34
Author(s):  
Kenneth Scott Latourette
Keyword(s):  
Large Volume ◽  
The Other ◽  
Recent History ◽  
Christian Church ◽  
The Past ◽  
Other Hand ◽  
The Status ◽  
The One ◽  
The Church

A strange contrast exists in the status of the Christian Church in the past seventy years. On the one hand the Church has clearly lost some of the ground which once appeared to be safely within its possession. On the other hand it has become more widely spread geographically and, when all mankind is taken into consideration, more influential in shaping human affairs than ever before in its history. In a paper as brief as this must of necessity be, space can be had only for the sketching of the broad outlines of this paradox and for suggesting a reason for it. If details were to be given, a large volume would be required. Perhaps, however, we can hope to do enough to point out one of the most provocative and important set of movements in recent history.

Eternal Guests, Mimics, and Dönme: The Place of German and Turkish Jews in Modern Turkey

2007 ◽  
Vol 37 ◽  
pp. 5-30 ◽  
Author(s):  
Kader Konuk
Keyword(s):  
Critical Role ◽  
The Other ◽  
Turkish Republic ◽  
German Jews ◽  
Other Hand ◽  
Turkish Culture ◽  
The Status ◽  
Modern Turkey ◽  
The One ◽  
European Civilization

AbstractThe place of Jews was highly ambiguous in the newly founded Turkish Republic: In 1928 an assimilationist campaign was launched against Turkish Jews, while only a few years later, in 1933, German scholars—many of them Jewish—were taken in so as to help Europeanize the nation. Turkish authorities regarded the emigrants as representatives of European civilization and appointed scholars like Erich Auerbach to prestigious academic positions that were vital for redefining the humanities in Turkey. This article explores the country's twofold assimilationist policies. On the one hand, Turkey required of its citizens—regardless of ethnic or religious origins—that they conform to a unified Turkish culture; on the other hand, an equally assimilationist modernization project was designed to achieve cultural recognition from the heart of Europe. By linking historical and contemporary discourses, this article shows how tropes of Jewishness have played—and continue to play—a critical role in the conception of Turkish nationhood. The status of Erich Auerbach, Chair of the Faculty for Western Languages and Literatures at İstanbul University from 1936 to 1947, is central to this investigation into the place of Turkish and German Jews in modern Turkey.

Varia: Attribution, predication, apposition – Part second

Proglas ◽  
2020 ◽  
Vol 29 (2) ◽  
Author(s):  
Anton Getsov ◽  
◽  
◽  
Keyword(s):  
Critical Review ◽  
Complex Interaction ◽  
The Other ◽  
Main Argument ◽  
Other Hand ◽  
Grammatical Relation ◽  
The Status ◽  
Syntactic Status ◽  
The One ◽  
Syntactic Relations

The paper is part of a series of publications that set out to examine various aspects in the analysis of appositive constructions. The purpose of this particular study is to reveal the multidimensional, diverse, and complex interaction between three types of syntactic relations – attributive, predicative, and appositive. The study offers a critical review of various theories on the status of the grammatical relation between the components of non-detached (close) appositive constructions. The main argument of this paper is that determining this status, on the one hand, is a function of the morphological and semantic characteristics of the components of the construction, while, on the other hand, it determines their syntactic status.

Contemporary Readings of Sahih Al-Bukhari Its Schools, its Starting Points, Examples of its Challenges at Sahih

2021 ◽  
Vol 4 (Special Issue) ◽  
pp. 372-402
Author(s):  
Medebbeur Halim
Keyword(s):  
Analytical Method ◽  
Scientific Paper ◽  
Scientific Center ◽  
Comprehensive View ◽  
General Methodology ◽  
The People ◽  
Deductive Method ◽  
The Status ◽  
The One ◽  
Modern Era

Sahih al-Bukhari is considered the most important hadith reference among Sunnis, and by this the importance of the study related to it appears, and the sahih has been of high standing throughout the ages. But in the modern era, he began to delve into it in terms to the inappropriateness of his hadiths in protest, and this scientific paper will monitor the features of contemporary readings by stating their methods, types, and derivation. The importance of the study: on the one hand the need to know these contemporary reading to monitor them and highlight their role in challenging the Sahih and the Sunnah in general. Methodology of the study: the paper relied on the inductive analytical method by collecting data and analyzing it according to the nature of the study. With the use of the deductive method by taking a comprehensive view of these contemporary readings. Problem the study: what are the most important contemporary readings of Sahih al-Bukhari as a stab and insult? What are types, methods, and derivation of these readings? What are the applied images outlined in the appeal against Sahih al- Bukhari? To answer this, it was necessary to develop five sections. Namely: the status of Sahih al-Bukhari among the people of hadith, the emergence of contemporary readings of Sahih al-Bukhari, the most important contemporary schools of contention in Sahih al-Bukhari, pictures of conclusion with findings and recommendations. The results of the paper are represented in the necessity to pay attention to all the sciences of the Sunnah, to intensify studies on Sahih al- Bukhari, and the call to establish a global scientific center to monitor and confront contemporary readings of the Sunnah.

"THE SYNTHESIS OF WAR AND THEATRE": SOCIO-HUMANITARIAN DISCOURSE ON THE ESSENCE OF TERRORISM

2020 ◽  
pp. 10-23
Author(s):  
Irina V Malygina ◽  
◽  
Anna V Malygina ◽  
Keyword(s):  
International Terrorism ◽  
Complex Nature ◽  
Cultural Resources ◽  
Self Presentation ◽  
The Status ◽  
World Cultural Heritage ◽  
The One ◽  
Strategic Object ◽  
The Given

The article reveals the heuristic potential of social and humanitarian knowledge in understanding the complex nature of terrorism. The given research optics allows to expand traditional frameworks of considering terrorism as a phenomenon caused by political, ideological and economic factors; to reveal and substantiate deep cultural and mental reasons of the given phenomenon; make sense of terrorism as a destructive form of cultural identity. The cultural and historical origins of modern terrorism, which is closely connected with radical Islam, are analyzed in the civilizational system of coordinates “West–East”. The system of argumentation is based on scientific concepts and current artistic practices that interpret the causes of inter-civilizational tension resulting in international terrorism. The change of the status of the artist in the “epoch of terrorism” is analyzed; the theme of theatricalization and aestheticization of terrorist actions and the role of media in these processes are problematized. As a newest trend, which has not received any serious theoretical reflection, the text considers the phenomenon conditionally designated as “sublimation of terrorist activity into a symbolic sphere”, which is manifested in the destruction of monuments of world cultural heritage, in the orientation to culture as a new strategic object of terrorist attacks, on the one hand, and the use of cultural resources for self-presentation and promotion of their ideology by terrorist organizations, on the other

scholarly journals DET ZOOFILE ÅRHUNDREDE

1996 ◽  
Author(s):  
Anne Knudsen
Keyword(s):  
20Th Century ◽  
Moral Status ◽  
Logical Consequence ◽  
The Other ◽  
Other Hand ◽  
The Status ◽  
The One ◽  
Point Of Departure

Anne Knudsen: The Century of Zoophilia Taking as her point of departure the protests against a dying child having his last wish fulfilled because his wish was to kill a bear, the author argues that animals have achieved a higher moral status than that of humans during the 20th century. The status of animals (and of “nature”) is seen as a consequence of their muteness which on the one hånd makes it impossible for animals to lie, and which on the other hånd allows humans to imagine what animals would say, if they spoke. The development toward zoophilia is explained as a a logical consequence of the cultural naturalisation of humans, and the author draws the conclusion that we may end up entirely without animals as a category. This hypothetical situation will lead to juridical as well as philosophical complications.

scholarly journals RAWI MURJI’AH IN S{AH{Id bin ‘Abd al-Rah}ma>n’s Transmission in S{ah{i>h} al-Bukha>ri>)

2020 ◽  
Vol 4 (2) ◽  
Author(s):  
Ihsan Humaedi
Keyword(s):  
Analytical Study ◽  
Literature Study ◽  
The Status ◽  
The One

This article will discuss the hadith narratives of a person who is considered an expert bid'ah and Imam al-Bukha> ri> load it into the book al-S}ah}i>h}. Using the literature study, this article found that among the hereditary experts contained in S{ah{i>h} al-Bukha>ri is the one named 'Abd al-H{ami>d bin ‘Abd al-Rah}ma>n al-H{imma>ni> indicated includes the Murji'ah group and the scholars differing in their views on the status of the heresy experts, some of them claiming to reject the heresy of the heresy because the requirements of the hadith s}ah}i>h} are not fulfilled that is in the 'adl aspect. Some other scholars see that it can be accepted by bid'ah expert transmission with a condition; rawi do not include people who are considered to lie and transmission does not have a motive for heresy. Then this paper will discuss the transmitter named 'Abd al-H{ami>d bin 'Abd al-Rah}ma>n al-H{imma>ni and his transmission in the book al-S}ah}i>h} accordingly with the concept of assessment of heresy experts.

scholarly journals Image and exposure: Envisioning genetics as a forensic-surveillance matrix

2013 ◽  
Vol 11 (3) ◽  
pp. 237-251
Author(s):  
Erin Kruger
Keyword(s):  
National Security ◽  
Criminal Law ◽  
Genetic Data ◽  
Crime Scene ◽  
Dna Profiling ◽  
Diverse Range ◽  
The Status ◽  
Legal Domain ◽  
The One ◽  
Identification Model

This paper takes the ‘visual’ as the primary subject to engage in a dialogue about surveillance by drawing upon the specific case of the genetic image. Specifically, the genetic image has shifted from the ‘one gene for one identification’ model used in the criminal law to, what are now, categorical, contextual and pattern-based configurations of DNA profiling that are able to compare multiple genetic samples in a singular image. The ability to profile genetics for law and security purposes is, thus, protracting well beyond the confines of the criminal legal domain (i.e. the crime scene, forensic laboratory, courtroom) and into the realm of surveillance: national security, defense, immigration, military and even humanitarian domains. Such a notable transition in visual profiling has also been met with a synonymous reformation in the status of genetic data as it converts from evidence in the realm of criminal law to, now, intelligence in the surveillance-based contexts noted above. This visual reclassification of genetic data reorients DNA to an informing, as opposed to an identifying role. Finally, how experts, scientists, legalists and other relevant practitioners conceive and represent ‘truth’ and ‘trust’ in light of an increasingly diverse range of genetic imagery is subject for discussion.

Sign in / Sign up

Export Citation Format

Share Document