Sufism has two main dimensions: vertical (God's pleasure) and horizontal (harmony with nature, society and local wisdom). In reality, many Sufis are considered less concerned about the balancing between vertical and horizontal dimensions. The research explores the concepts and practices of hybrid Sufism undertaken by Kyais (religious leaders) and their followers in improving quality of life. Ethnography was used for exploring the mindset and activities of Kyai and his followers. This study involved four Kyais in Java and Kalimantan, Indonesia. Research (...) data were obtained through participant observations, in-depth interviews and documentation. The data were analysed by Spadley's ethnographic steps as follows: (1) domain analysis, (2) taxonomy analysis, (3) componential analysis and (4) cultural-thematic analysis. The results showed that hybrid Sufism could improve quality of life. Hybrid Sufism can better appreciate and interpret local wisdom with an attitude of preserving nature and a positive understanding of worldly wealth, increasing the hard work ethos to achieve material-spiritual qualities. CONTRIBUTION: This article shows that hybrid Sufism encourages the life of Sufis in harmony between vertical and horizontal aspects. This understanding and lifestyle give rise to respect for others, being friendly to the environment and interpreting life and local wisdom. (shrink)

Sufism has two main dimensions: vertical (God's pleasure) and horizontal (harmony with nature, society and local wisdom). In reality, many Sufis are considered less concerned about the balancing between vertical and horizontal dimensions. The research explores the concepts and practices of hybrid Sufism undertaken by Kyais (religious leaders) and their followers in improving quality of life. Ethnography was used for exploring the mindset and activities of Kyai and his followers. This study involved four Kyais in Java and Kalimantan, Indonesia. Research (...) data were obtained through participant observations, in-depth interviews and documentation. The data were analysed by Spadley's ethnographic steps as follows: (1) domain analysis, (2) taxonomy analysis, (3) componential analysis and (4) cultural-thematic analysis. The results showed that hybrid Sufism could improve quality of life. Hybrid Sufism can better appreciate and interpret local wisdom with an attitude of preserving nature and a positive understanding of worldly wealth, increasing the hard work ethos to achieve material-spiritual qualities. CONTRIBUTION: This article shows that hybrid Sufism encourages the life of Sufis in harmony between vertical and horizontal aspects. This understanding and lifestyle give rise to respect for others, being friendly to the environment and interpreting life and local wisdom. (shrink)

Axiomatic proof/refutation systems for the paraconsistent modal logics: KN4 and KN4.D are presented. The completeness proofs boil down to showing that every sequent is either provable or refutable. By constructing finite tree-type countermodels from refutations, the refined characterizations of these logics by classes of finite tree-type frames are established. The axiom systems also provide decision procedures for these logics.

A unified and modular falsification-aware single-succedent Gentzen-style framework is introduced for classical, paradefinite, paraconsistent, and paracomplete logics. This framework is composed of two special inference rules, referred to as the rules of explosion and excluded middle, which correspond to the principle of explosion and the law of excluded middle, respectively. Similar to the cut rule in Gentzen’s LK for classical logic, these rules are admissible in cut-free LK. A falsification-aware single-succedent Gentzen-style sequent calculus fsCL for classical logic is formalized based (...) on the proposed framework. The calculus fsCL is obtained from the existing falsification-aware single-succedent Gentzen-style sequent calculus GN4 for Nelson’s paradefinite (or paraconsistent) four-valued logic N4 by adding the rules of explosion and excluded middle. A falsification-aware single-succedent Gentzen-style sequent calculus GN3 for Nelson’s paracomplete three-valued logic N3 is also obtained from GN4 by adding the rule of explosion. The cut-elimination theorems for fsCL, GN3, and some of their neighbors as well as the Glivenko theorem for fsCL are proved. (shrink)

In recent research, some of the present authors introduced the concept of an $n$-dimensional Boolean algebra and its corresponding propositional logic $n\textrm{CL}$, generalizing the Boolean propositional calculus to $n\geq 2$ perfectly symmetric truth values. This paper presents a sound and complete sequent calculus for $n\textrm{CL}$, named $n\textrm{LK}$. We provide two proofs of completeness: one syntactic and one semantic. The former implies as a corollary that $n\textrm{LK}$ enjoys the cut admissibility property. The latter relies on the generalization to the $n$-ary case (...) of the classical proof based on the Lindenbaum algebra of formulas and Boolean ultrafilters. (shrink)