Haspelmath argues that linguists who conduct comparative research and try to explain patterns that are general across languages can only consider two sources of these patterns: convergent cultural evolution of languages, which provides functional explanations of these phenomena, or innate building blocks for syntactic structure, specified in the human cognitive system. This paper claims that convergent cultural evolution and functional-adaptive explanations are not sufficient to explain the existence of certain crosslinguistic phenomena. The argument is based on comparative evidence of generalizations (...) based on Rizzi and Cinque's theories of cartographic syntax, which imply the existence of finely ordered and complex innate categories. I argue that these patterns cannot be explained in functional-adaptive terms alone. (shrink)

This article was written by Musa Jarullah Bigiyev (Rostov, 1875 – Cairo, 1949) who was a Turkish - Tatar scholar and published in Japan in 1941 in the Kaikyo Sekai– Islamic Worldjournal in Japanese.In this work, firstly Musa Jarullah Bigiyev explained the foundations of the Turkish population living within the borders of the Soviet Union, and then he expressed Turkish policies in the early 20thcentury. Musa Jarullah Bigiyev said that in the first half of 20thcentury, despite the intense efforts made (...) for the freedom of Turkish people who lived in Russia, it was not succeeded as the necessary unity could not be achieved and Russia implemented hard policy on them.In conclusion, Musa Jarullah Bigiyev finishes his work by saying that “As real Muslims, as free people and the owners of the Turkish power, we must not have the patients what will fall into Bolsheviks’ trap”. (shrink)

In this article we describe four previous Tai-Chi models based on the I-Ching and their limitations. The I-Ching, the most important ancient source of information on traditional Chinese culture and cosmology, provides the metaphysical foundation for this culture, especially Confucian ethics and Taoist morality. To overcome the limitations of the four previous Tai-Chi models, we transform I-Ching cultural system into a psychological theory by applying the cultural system approach. Specifically, we propose the Jun-zi Self-Cultivation Model, which argues that an individual (...) can become an ideal person, or jun-zi, through the process of self-cultivation, leading to good fortune and the avoidance of disasters. The state of jun-zi is that of the well-functioning self, characterized by achieving one’s full potential and an authentic, durable sense of wellbeing. In addition, we compare egoism and jun-zi as modes of psychological functioning. The JSM can be used to as a framework to explain social behavior, improve mental health, and develop culturally sensitive psychotherapies in Confucian culture. Finally, an examination of possible theoretical directions, clinical applications, and future research is provided. (shrink)

Improving nitrogen (N) fertilizer management in agricultural systems is critical to meeting environmental goals while maintaining economically viable and productive food systems. This paper applies a farm systems framework to analyze how adoption of N management practices is related to different farming operation characteristics and the extent to which fertilizer, soil and irrigation practices are related to each other. We develop a multivariate probit regression model to analyze the interdependency of these adoption behaviors from 966 farmers across three watersheds and (...) diverse cropping systems in the Central Valley of California. Our analysis demonstrates that farmers adopt varying combinations or portfolios of practices, with the most common portfolio featuring a core set of fertilizer-focused practices. Irrigation infrastructure is an especially important farm operation characteristic for encouraging adoption of innovative practice portfolios that integrate water and fertilizer management. These findings highlight the ability for a farm systems approach to improve our understanding of farmer decision-making across diverse agricultural landscapes. (shrink)

ABSTRACT This paper follows on previous papers which present and evaluate various decision procedures for modal logics. We consider new test sets and systems that have been recently proposed in the literature. This new experimental analysis confirm previous experimental results in showing that SAT based decision procedures, i.e., the procedures built on top of decision procedures for propositional satisfiability, are more efficient than tableau based decision procedures. They also confirm previous evidence of an easy-hard-easy pattern in the satisfiability curve for (...) modal K. Finally, on these tests, SAT based decision procedures are also more efficient than the recently proposed decision procedures based on translation methods. These results contradict some of the claims presented in previous papers by other authors. (shrink)

daftar-i avval. Nishastʹhā va guftigūhā -- jild-i duvvum. Mabāḥis̲-i naẓarī, tārīkhī va kārburdī -- jild-i sivvum. Insān, imāmat, siyāsat -- jild-i chahārum. Akhlāq va siyāsat.

Using the flexibility of recently developed methods for causal discovery based on Boolean satisfiability solvers, we encode a variety of assumptions that weaken the Faithfulness assumption. The encoding results in a number of SAT-based algorithms whose asymptotic correctness relies on weaker conditions than are standardly assumed. This implementation of a whole set of assumptions in the same platform enables us to systematically explore the effect of weakening the Faithfulness assumption on causal discovery. An important effect, suggested by simulation results, is (...) that adopting weaker assumptions greatly alleviates the problem of conflicting constraints and substantially shortens solving time. As a result, SAT-based causal discovery is potentially more scalable under weaker assumptions. (shrink)

We describe approximation algorithms for MAX SAT with performance ratios arbitrarily close to 1, in particular, when performance ratios exceed the limits of polynomial-time approximation. Namely, given a polynomial-time α-approximation algorithm , we construct an -approximation algorithm . The algorithm runs in time of the order ck, where k is the number of clauses in the input formula and c is a constant depending on α. Thus we estimate the cost of improving a performance ratio. Similar constructions for MAX 2SAT (...) and MAX 3SAT are also described. Taking known algorithms as , we obtain particular upper bounds on the running time of. (shrink)

Purpose The purpose of this paper is to present the conceptual model of an innovative methodology (SAT) to assess the social acceptance of technology, especially focusing on artificial intelligence (AI)-based technology. -/- Design/methodology/approach After a review of the literature, this paper presents the main lines by which SAT stands out from current methods, namely, a four-bubble approach and a mix of qualitative and quantitative techniques that offer assessments that look at technology as a socio-technical system. Each bubble determines the social (...) variability of a cluster of values: User-Experience Acceptance, Social Disruptiveness, Value Impact and Trust. -/- Findings The methodology is still in development, requiring further developments, specifications and validation. Accordingly, the findings of this paper refer to the realm of the research discussion, that is, highlighting the importance of preventively assessing and forecasting the acceptance of technology and building the best design strategies to boost sustainable and ethical technology adoption. -/- Social implications Once SAT method will be validated, it could constitute a useful tool, with societal implications, for helping users, markets and institutions to appraise and determine the co-implications of technology and socio-cultural contexts. -/- Originality/value New AI applications flood today’s users and markets, often without a clear understanding of risks and impacts. In the European context, regulations (EU AI Act) and rules (EU Ethics Guidelines for Trustworthy) try to fill this normative gap. The SAT method seeks to integrate the risk-based assessment of AI with an assessment of the perceptive-psychological and socio-behavioural aspects of its social acceptability. (shrink)

O složenoj koncepciji kategorije »vremena« u Šopovu djelu, napose u njegovoj kozmičkoj fazi, napisane su važne i temeljne rasprave. Ovaj prilog istražuje prozu Nikole Šopa koja prethodi kozmičkoj fazi, kako bi se rekonstruirao razvitak koji je pjesnika doveo do toga da se udalji od »zemaljskog vremena« i da zasnuje »kozmičko vrijeme«. Sat kao konkretan instrument za mjerenje, toliko prisutan kao diskretni protagonist na stranicama Šopovih djela, čini vodeću nit ove analize. To je onaj »zemaljski sat« kojega se pjesnik, dospjevši u (...) svemir, želi osloboditi, ne znajući što činiti s njime: » nekome u džepu skriven kuca zemaljski sat. / Netko ga krije. / Netko još mjeri po starinski. / Tko je, da je, što će mu ta sprava« . Ali to je i sat koji još od prvih pjesama u prozi gubi značajke običnog predmeta da bi bio obdaren metafizičkim svojstvima. (shrink)

This paper deals with the problem of verification of game-like structures by means of symbolic model checking. Alternating-time Temporal Epistemic Logic (ATEL) is used for expressing properties of multi-agent systems represented by alternating epistemic temporal systems as well as concurrent epistemic game structures. Unbounded model checking (a SAT based technique) is applied for the first time to verification of ATEL. An example is given to show an application of the technique.

Study on being with the reference of Indic philosophy and modern perspective.

Compendium, with Kr̥ṣṇālaṅkāra commentary of Acyutakr̥ṣṇānandatīrtha, on the fundamentals of Advaita philosophy.

These are the very last words of Eumolpus' testament. The editors all print them thus, but I suspect a hidden corruption in devoverint. The text may seem to have an acceptable meaning, but only on a superficial reading inattentive to the whole context. A certain exegetical discomfort becomes noticeable if the translations are compared: Ernout renders ‘maudire mon âme’, Ehlers in Müller's second and third editions translates ‘sie meinen letzten Atemzug herbeiwünschten’ , and Cesareo- Terzaghi's edition prefers to render with (...) a nuance of the future ‘con quel cuore stesso con cui mi avranno maledetto l'anima’. Obviously, devovere is being understood as synonymous with exsecrari. This is an attested secondary meaning, ‘curse’, ‘execrate’, which developed from the technical religious one connected with the ritual of devotio. According to this interpretation, the captatores cursed the fact that Eumolpus, apparently a sick man on the verge of death, continued to live longer than they could reasonably have expected when they began to court him. But the expression does not seem adequate for conveying this meaning: instead, we would expect something like vitam meam devoverint or me et caput meum devoverint or, better, me ad mortem devoverint, or similarly explicit expressions. (shrink)

Treatise on the duties on Jaina laymen ; Sanskrit text with Gujarati translation and explanation.