Style Of Interpretation Research Articles

Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms

Systems of fixpoint equations over complete lattices, consisting of (mixed) least and greatest fixpoint equations, allow one to express many verification tasks such as model-checking of various kinds of specification logics or the check of coinductive behavioural equivalences. In this paper we develop a theory of approximation for systems of fixpoint equations in the style of abstract interpretation: a system over some concrete domain is abstracted to a system in a suitable abstract domain, with conditions ensuring that the abstract solution represents a sound/complete overapproximation of the concrete solution. Interestingly, up-to techniques, a classical approach used in coinductive settings to obtain easier or feasible proofs, can be interpreted as abstractions in a way that they naturally fit into our framework and extend to systems of equations. Additionally, relying on the approximation theory, we can characterise the solution of systems of fixpoint equations over complete lattices in terms of a suitable parity game, generalising some recent work that was restricted to continuous lattices. The game view opens the way for the development of local algorithms for characterising the solution of such equation systems. We describe a local algorithm for checking the winner on specific game positions. This corresponds to answering the associated verification question (i.e., for model checking, whether a state satisfies a formula or, for equivalence checking, whether two states are behaviourally equivalent). The algorithm can be combined with abstraction and up-to techniques, thus providing ways of speeding up the computation.

Acceptability and Engagement of a Smartphone-Delivered Interpretation Bias Intervention in a Sample of Black and Latinx Adults: Open Trial.

Access to evidence-based interventions is urgently required, especially for individuals of minoritized identities who experience unique barriers to mental health care. Digital mental health interventions have the potential to increase accessibility. Previous pilot studies testing HabitWorks, a smartphone app providing an interpretation bias intervention, have found strong engagement and adherence for HabitWorks; however, previous trials' samples consisted of predominantly non-Hispanic, White individuals. This study conducted an open trial of HabitWorks in a community sample of adults who identified as Black, Hispanic or Latinx, or both. This study aims to test safety, acceptability, and engagement with the HabitWorks app for Black and Latinx adults. Black, Hispanic or Latinx adults (mean age 32.83, SD 11.06 y; 22/31, 71% women) who endorsed symptoms of anxiety or depression were asked to complete interpretation modification exercises via HabitWorks 3 times per week for 1 month. Interpretation bias and anxiety and depression symptoms were assessed at baseline and posttreatment assessments. Participants completed qualitative interviews to assess overall perceptions of HabitWorks. Of the 31 participants that downloaded the app, 27 (87%) used HabitWorks all 4 weeks. On average, participants completed 15.74 (SD 7.43) exercises out of the 12 prescribed, demonstrating high engagement. Acceptability ratings met all a priori benchmarks except for relevancy. Qualitative interviews also demonstrated high acceptability and few negative experiences. Significant improvements were found in interpretation style (t30=2.29; P<.001), with a large effect size (Cohen d=1.53); anxiety symptoms (t30=2.29; P=.03), with a small effect size (Cohen d=0.41); and depression symptoms (t30=3.065; P=.005), with a medium effect size (Cohen d=0.55). This study adds to the literature evaluating digital mental health interventions in Black and Latinx adults. Preliminary results further support a future controlled trial testing the effectiveness of HabitWorks as an intervention.

Dimensions of Hamka's Modern Sufism (A study of the verses of Maqamat in Tafsir Al-Azhar by Hamka)

Seeing the reality of today's society, moral degradation has arisen in humans, so it is essential to improve ourselves by returning humans to their existence as servants of Allah SWT. One alternative is to study and practice the teachings of Sufism. In the teachings, there are spiritual stages (maqâmât) to achieve perfection as a servant of Allah. The focus of this research is to examine Hamka's interpretation style in al-Azhar's tafsir by explaining his interpretation regarding the maqâmât verses so that the dimensions of Sufism and its relevance found in Hamka's al-Azhar tafsir are known. This research aims to find out Hamka's style and interpretation in al-Azhar's interpretation regarding the maqâmât verses and the dimensions of Sufism contained in them so that we can find out whether maqâmât is still relevant or not to be practiced in the present era. The methodology used in this research is qualitative library research (library research) with a mauḍu'i model of the Sufism approach that focuses on maqâmât verses using descriptive-analytical analysis of Hamka's Sufism thought. The results of this discussion show thatHamka's interpretation of the verses of maqâmât is in the style of Sufism by exploring the meaning of zahir and theinner meaning in which there are nuances to society (Adabi Ijtima'i) covering the socio-culture of Indonesianculture so that the dimension of Sufism contained in Hamka's interpretation is still very relevant to modern lifetoday.

Tafsir Iqtisadi di Indonesia: Metodologi, Validitas dan Kontribusi

Abstract: This research aims to examine the works of Tafsir Iqtisadi/Tafsir on economic verses published in Indonesia from 2012 to 2023. Many of these works appeared when Sharia economics was developing, especially when PTKI opened a Sharia Economics Department in Indonesia. Have we employed the descriptive-analytical method, and historical philosophical approach, and based on the literature study, this article finds that Tafsir Iqtisadi in Indonesia is a tafsir product, which is a book and research in itself. The Tafsir Iqtisadi product is an interpretation of the Al-Quran with an economic approach. This approach is an acceptable style of interpretation and originates from the style of Tafsir Ilmi, Tafsir Ahkam and Tafsir Adabi Ijtima’i. Methodologically, the Tafsir Iqtisadi books combine tafsir bil ra'yi and tafsir bil ma'tsur. Meanwhile, the presentation of Tafsir Iqtisadi products consists of the presentation of tahlili, ijmali and maudhui. In terms of validity, Tafsir Iqtisadi can be said to be valid because it is in accordance with general interpretation methods, and also become a theological and conceptual foundation tool in developing Sharia Economics in Indonesia.

MENGULIK SEJARAH PERKEMBANGAN TAFSIR ISYARI DAN PANDANGAN PARA ULAMA

The science of the interpretation of the Qur'an continues to develop from time to time. These movements occur in various matters concerning the interpretation of the Qur'an such as methods, approaches, and also styles of interpretation. One form of interpretation that has developed is isyari interpretation. Isyari interpretation also causes problems between scholars with various views. This study aims to discuss and explore more about the history of the emergence of isyari interpretation and its development from time to time accompanied by the views of scholars at that time. The results of the analysis of this article are expected to have a positive influence, both in theory and practice. Theoretically, this research aims to provide an initial understanding and insight into the history of the emergence of isyari tafsir and its development from time to time accompanied by the views of the scholars at that time. While practically, this research is expected to be used as a basis in addressing the differences of opinion regarding the interpretation interpreted in isyari. The method used in this research is qualitative, using literature review. The main data sources used are books related to the discussion and the supporting sources are journals related to the discussion to help analyze the problem. The data processing technique used is by reading and understanding various literature related to the discussion, then analyzing the contents to get conclusions from several data sources used.

TAFSIR MASA TABIIN: MENELUSURI PUSAT STUDI DAN MENYELAMI PEMAHAMAN MUJAHID BIN JUBAIR

This paper seeks to explore the tabi’ tabi’in interpretation methodology, namely by reading it from a constructivism perspective with an analysis of intertextuality data, the writer can identify the existence of Ibn Abi Hatim interpretation which only uses the interpretation of bi al-ma’tsur as a source of interpretation, which is based on an explanation of the Prophet’s hadith, the opinions of friends, tabi’in, and the stories of israiliyyat. While the effort in explaining al-Qur’an, the method carried by Ibn Abi Hatim is the method of ijmali, which is interpreting verses of the Qur'an in a concise, concise, and not lengthy language. also used the muqaran method by quoting and comparing the opinions of friends and the tabi’in. For his interpretation style, the interpretation of Ibn Abi Hatim did not reach a certain scientific discipline style, only limited to the interpretation of geographical and traditionalist locations, namely interpreting the al-Qur’an by tending to use narrations from the hadiths of the Prophet, friends, and tabi’in.

Juhūdu KH. Ahmad Haris Shodaqo fī Nashri Al-Ahādis Al-Sūfiyah fī Indonesia

This article aims to explain the effort of KH. Ahmad Haris Sodaqo in the publish of sufistic orientation and approach in interaction with the sunna of Prophet Muhammad, the Messenger of Allah, and interpreting the hadith literature and traditions. It is distributed, shared and promoted by contemporary Nusantara Scholar, namely KH. Ahmad Haris Sodaqo from Semarang, Central Java, in his translate, the book elucidates hadiths of Tasawuf which offer advice for those seeking to understand of the heart and how to treat the pattern of explanation, steeped in Sufism, is Hadith students studying whether Sufism contradicts the Hadith The author employs an analytical methodology, combining literature review with classical and contemporary hadith literacy, to the sources from which the traditions are rawn. The researcher utilized the method of scholars Imam al-Iroqi, in analyzing the traditions from of the book of Ihya Ulumiddin. In evaluating the traditions, the researcher consider the opinions of jarh wa ta'adil scholars such as Tirmidzi, Hakim, Daruquthni, al-Iroqi, al-Haisami, ad-Dzahabi, al-Midzi, Ibn Hajar al-Asqolani, and modern scholars such as ar-Nauth. The research results both in terms of quantity and quality of Hadiths, a rich Sufistic content in the style of presentation and pattern interpretation. This orientation and interpretation promote moderation among Muslims, guiding them to adopt a way in life.

CONFLICTS OF LOVE AND JUSTICE IN “MUKADDAS” BY ODIL YAQUBOV

In this article, “Mukaddas” by Adil Yakubov has been analyzed. Some matters are discussed in the article, such as conflicts of love and justice of this story. Opinions are expressed about the author’s unique style of events interpretation in it.

An Exploratory Study About Child-Friendly Trips

The main idea of child-friendly tourism is to consider children's physical and psychological health in all kinds of travel and holiday experiences. Also, it aims to arrange activities in line with children's development skills. Child-friendly trips are an essential part of these skills, as they support personal, sociocultural, and physical contexts for children. Tour guides are one of the most critical companions that support these contexts. This paper tries to uncover how child-friendly trips are done from the perspective of tour guides. It aims to reveal child-friendly trip interpretation, child-friendly tour guides' features, and difficulties. A qualitative research method was used, and tour guides who made domestic and daily child-friendly trips in TURKEY attended the study. Twenty-two semi-structured interviews based on content analysis were examined. The findings revealed that although child-friendly trips have the same characteristics as other group tours, they have different interpretation styles. Tour guides should have specific attributions to successfully affect the children and slog on the trip. Child-friendly tourism literature is a developing field of study with some theoretical gaps. This study contributes to the literature by offering a broader perspective of child-friendly trip context regarding tourist guides.

Liszt’s Étude S.136 no.1: audio data analysis of two different piano recordings

In this paper, we review the main signal processing tools of Music Information Retrieval (MIR) from audio data, and we apply them to two recordings (by Leslie Howard and Thomas Rajna) of Franz Liszt’s Étude S.136 no.1, with the aim of uncovering the macro-formal structure and comparing the interpretative styles of the two performers. In particular, after a thorough spectrogram analysis, we perform a segmentation based on the degree of novelty, in the sense of spectral dissimilarity, calculated frame-by-frame via the cosine distance. We then compare the metrical, temporal and timbrical features of the two executions by MIR tools. Via this method, we are able to identify in a data-driven way the different moments of the piece according to their melodic and harmonic content, and to find out that Rajna’s execution is faster and less various, in terms of intensity and timbre, than Howard’s one. This enquiry represents a case study able to show the potentialities of MIR from audio data in supporting traditional music score analyses and in providing objective information for statistically founded musical execution analyses.

Mengenal Para Mufassir pada Generasi Tabi’in Beserta Contoh Ayat Al-Quran Berdasarkan Corak Penafsiranya

Tafsir is the science of understanding the verses of the Al-Quran which functions as mubayyin (explanation) of the meaning and significance of the contents of the verses of the Al-Quran so that the meaning can be understood and comprehended by all groups and becomes a guide or guidance in life for Muslims. The development of Al-Quran interpretation began during the time of Rassulullah SAW and continued to develop from the time of the companions, tabi'in to the modern era. This research discusses the biographies of tabi'in and also includes several examples of interpretations of Al-Quran verses based on these interpretations. This research aims to get to know the mufasssir during the tabi'in period and find out traces of their biographies and find out examples of interpretations of Al-Quran verses based on interpretive styles. This research method uses qualitative methods and literature studies and examines tafsir books, hadith books, Islamic book references, language book references and portal media such as journals. The results of this research serve as a guide for Muslims to learn more about tabi'in biographies and upgrade the interpretation of verses by including examples of interpretations of verses based on their style.

Mapping Quranic Exegesis in West Java: Influential Figures and Linguistic Insights

This article delves into an exploration of Tafsir Al-Quran works by influential scholars from the West of Java. Unlike traditional geographic delineations, this study does not restrict its focus to the administrative boundaries of West Java as a province but extends to broader regions in the western part of the island. The investigation employs a qualitative research methodology, primarily engaging in library research which involves the comprehensive collection and analysis of data from authoritative books on the subject. Moreover, the study is enriched by a manuscript study approach, where ancient and contemporary Tafsir texts authored by scholars from this region are examined in detail. Through this meticulous research, the study has uncovered numerous Tafsir works, each bearing the unique interpretative style of its author. The findings highlight the intellectual and theological contributions of these scholars, emphasizing the diversity and richness of Islamic scholarship in western Java. One of the distinctive features of these Tafsir works is their linguistic variety. The texts are found in Arabic, which is widely used in Islamic scholarly writings, as well as in Sundanese and Indonesian, which reflects the local linguistic and cultural integration into Islamic scholarship.The study not only sheds light on the specific Tafsir works and the scholars behind them but also paints a broader picture of the religious and cultural landscape in western Java. This approach provides valuable insights into how regional characteristics influence religious interpretation and contribute to the broader discourse in Islamic studies. The research is pivotal for scholars interested in regional Islamic studies, comparative religion, and the interplay between language, culture, and religious scholarship.

EPISTEMOLOGY OF SUFISM IN SUFI INTERPRETATION (ANALYSIS OF THE PATTERNS OF THEORETICAL (NAZHARI) AND PRACTICAL ('AMALI) SUFI EXEGESIS)

Sufi tafsir is a form of interpretation of verses from the Qur'an carried out by Sufis, with a focus on the dimensions of Sufism both in the practice of 'amalî and aspects of nazharî. This research reveals the history of Sufi interpretation and the essential differences between two styles of Sufi interpretation, namely nazharî and 'amalî Sufi interpretation by exploring the epistemology of Sufism in the interpretation process because the author highlights the inaccuracy of general understanding in detailing the fundamental differences between these two styles of Sufi interpretation. The aim of the research is to contribute to a deeper understanding of Sufi interpretation styles and help to detail fundamental differences in the context of Sufism epistemology. By using library research methods and a qualitative approach, the research results show that based on Sufism epistemology, the explanation of levels of meaning in Sufi interpretation is based on extracting meaning (the context of discovery) and explaining meaning (the context of justification). The distinction between the Sufi nazharî and 'amalî interpretation styles lies in the context of justification and the presence of esoteric and exoteric meanings. As for the context of discovery, both are based on mukâsyafah/sufi spiritual experience.

Bughat dalam Perspektif Al-Qur’an: Studi Komparasi Tafsir Al-Azhar Karya Buya Hamka dan Tafsir Al-Misbah Karya Quraish Shihab

Bughat in the Perspective of the Al-Qur'an (Comparative Study of Tafsir Al-Azhar by Buya Hamka and Tafsir Al-Misbah by Quraish Shihab)" is the result of literature research aimed at answering various questions regarding the meaning of bughat in Al-Qur'an. Qur'an, how Buya Hamka and Quraish Shihab interpret bughat in the Qur'an, and what influence bughat has on aspects of people's lives. The data in this research uses qualitative research techniques, namely data is collected and quoted by analyzing the interpretive science approach. This approach uses a comparison method between two Mufassir, namely Buya Hamka and Quraish Shihab. The primary data source in this research is the verses of the Al-Qur'an using QS. Al-Hujurat verse 9 as the main object of study is supplemented with other verses in the Al-Qur'an. From this research we can conclude that, bughat is an act that exceeds the limits and is unjust carried out by individuals or groups or groups. The topic of this research is a very important topic to study because if it is not understood systematically it will be fatal and the seeds of violence against the state and religion will emerge. Furthermore, these two Mufassir gave an interpretation of the meaning of bughat which was not much different because the style of interpretation they used was adabi ijtima'i. Buya Hamka interprets bughat as someone who persecutes. Meanwhile, Quraish Shihab interprets bughat as an individual or group who goes beyond limits, violates the law and tries to seize power. The verses in the Qur'an when discussing bughat are not only about politics and power. However, there are also social, legal, cultural, economic problems and even all aspects. This proves that the scope of bughat is very broad and is closely related to aspects of life in society. So attention needs to be paid to prevent social conflicts like this from occurring in society.

CORAK TAFSIR MAQASIDI DALAM TAFSIR AL-TAHRIR WA AL-TANWIR

Ibn ‘Ashur was a famous commentator in the 14th century H. The book Tafsir al-Tahrir wa al-Tanwir by Ibn ‘Ashur was the leading tafsir in Tunis. The book of Tafsir Ibn ‘Ashur is classified as a moderate commentary. In interpreting the Qur'an, Ibn ‘Ashur was more inclined to use ratios compared to the Prophet's interpretation. For the reason that there are far more verses that have not been interpreted by the Prophet than those that have been interpreted, so it is necessary to hold ijtihad. The Book of Tafsir al-Tahrir wa al-Tanwir is not only an interpretation of the Al-Qur'an, but also a linguistic book. This book of tafsir is used by tafsir scholars, especially in analyzing the language of the verses of the Koran. The aim of this research is to determine the style of interpretation of maqasidi in the book of tafsir al-Tahrir wa al-Tanwir. The method used by the author for this research is a literature review (library research). There are those who think that Ibn 'Ashur's interpretation is based on ijtima'i adab, in his interpretation he focuses on revealing the balaghah and miracles of the Qur'an in explaining the meaning and content in accordance with natural law, improving the social life of the people, and so on.

Association between interpretation flexibility and emotional health in an anxious sample: The challenge of measuring flexible adoption of multiple perspectives

Interpreting ambiguous situations in a rigidly negative manner contributes to emotional disorders. Although negative interpretation biases have been well studied in relation to anxiety and depression, the relationship between interpretation flexibility (vs. rigidity) and emotional health remains understudied. The present study is a secondary analysis to test the hypothesis that higher interpretation flexibility is associated with better emotional health, as indicated by lower anxiety and depression levels, and higher quality of life. Here, interpretation flexibility focuses specifically on the ability to recognize multiple possible interpretations within and across ambiguous situations. Using baseline data from N = 939 high trait-anxious community participants who enrolled in an online anxiety intervention, multiple ways of computing interpretation flexibility were applied to help the field learn how different operationalizations can lead to varied conclusions about the connection between interpretation flexibility and emotional health. Using two measures of interpretation style, four approaches (some pre-registered , some exploratory) to computing interpretation flexibility were tested using an internal replication analytic approach. Results varied across type of approach, but in general, contrary to hypotheses, results indicated that higher interpretation flexibility was either unrelated to, or associated with higher, anxiety, and depression, and lower quality of life.

Penyatuan Istilah dalam Studi Ilmu Tafsir (Eksplorasi Keragaman Istilah Metodologi dalam Tafsir)

Standardization of Terminology in Tafsir Studies (Exploring the Diversity of Methodological Terminology in Tafsir)This article aims to find to offer a uniformity of terms in the science of exegesis. This study uses a qualitative method by implementing library research with content analysis. The results of this study indicate that the causes of differences in the use of terms in the science of interpretation are due to differences in paradigms and the use of terms that do not come from the interpreter and the original source. Thus, a more mature study is needed on the use of technical terms and the constructs of the science of interpretation itself. Meanwhile, the offer of terms and construction of the science of interpretation focuses on the study of the sources of interpretation, the method of interpretation and the style of interpretation, because these three are the essence and basis of the science of interpretation. The conclusion of the research proves that in the study of exegesis there are differences in the use of terms that come from restrictions on different definitions in the discussion of sources, methods and styles of interpretation. It takes a uniform use of terms to facilitate learning interpretation and several other sciences related to it. This study recommends that further research be carried out on other technical terms in the study of interpretation.

Unveiling the Method of Interpretation by Abdurrahman bin Nasir as-Sa'di in the Book 'Taisir al-Karim al-Rahman fi Tafsir Kalam al-Mannan’

This study aims to describe the methodology of interpretation utilized by Abdurrahman bin Nasir as-Sa'di in his book "Taisir al-Karim al-Rahman fi Tafsir Kalam al-Mannan." It seeks to identify the sources, methods, form, style, and interpretation techniques employed within the book. The research approach employed is library research, utilizing an exegetical approach. The primary data source for this study is the book "Taisir al-Karim al-Rahman fi Tafsir Kalam al-Mannan," with additional supporting data derived from books on ulum al-Qur'an and other interpretations. The data analysis method employed in this study is content analysis. The findings of this study reveal that Abdurrahman bin Nasir as-Sa'di's methodology of interpretation in the Qur'an incorporates various ijmali methods. The forms of interpretation used are bi al-ma'sur (based on transmitted reports) and bi al-ra'yi (based on personal judgment) with a direct approach, while the style of interpretation is Adabi Ijtima'i (literary and collective). The sources of interpretation include the Qur'an, Hadith, statements of the companions, consensus of scholars, ulum al-Qur'an, and Arabic language. The interpretation encompasses textual, linguistic, systemic, logical, sociohistorical, teleological, and Sunni perspectives.

Recitation in the Context of “Ḥamzah’s Recitation" from the Perspective of Nasafī: Content Analysis

The purpose of this article is to focus on the recitation of Ḥamza ibn Habib al-Zayyat (d. 156/773), by highlighting reading variations in the enriched commentary of Abū al-Barakāt Nasafī’s (d. 710/1310) at a micro-level. The research is confined to passages in this tafsir where the term "Ḥamza's recitation (قراءة حمزة)" is mentioned. The fact that such research has not been conducted before is the evidence of its originality. The content analysis method, focusing on "message content" features, has been used to evaluate the acquired data. According to the findings of the research, the names of Ḥamza and his student Alī (al-Kisā'ī) frequently appear in Nasafī's commentary. The inclusion of Ḥamza's recitation in Nasafī’s commentary is in line with Nasafī's methodology and style of interpretation. Furthermore, this research contributes to the literature on Nasafī's commentary and emphasizes the significance of Ḥamza's recitation in Nasafī's interpretation.

Wawasan Al-Qur’an Tentang Teknologi

This paper aims to discuss Al-Qur'an Insights on Technology, a Thematic Interpretation (maudhu'i) study and can answer contemporary problems associated with the Al-Qur'an. This research is research based on literature (library research). The aim is to find evidence of the existence of Al-Qur'an Insights about technology in the Al-Qur'an. where this topic is a very interesting topic as material for scientific study in the style of scientific interpretation using the thematic interpretation method approach (maudu'i). is in the Al-Qur'an itself, including: First, Surah Hud verse 37, Second, Surah An-Nahl verse 14, Third, Surah Al Kahfi verse 96, Fourth, Surah Al Anbiya verses 79-80; Fifth, Surat Al-Anbiya verse 80 Sixth, Surat An-Naml verse 44, Seventh, Surat Saba verse 10, Eighth, Surat Ar Rahman verse 33, and Ninth, Surat Al Hadid verse 25.