We consider small-weight Cutting Planes (CP * ) proofs; that is, Cutting Planes (CP) proofs with coefficients up to $\operatorname{Poly}(n)$ . We use the well known lower bounds for monotone complexity to prove an exponential lower bound for the length of CP * proofs, for a family of tautologies based on the clique function. Because Resolution is a special case of small-weight CP, our method also gives a new and simpler exponential lower bound for Resolution. We also prove the following (...) two theorems: (1) Tree-like CP * proofs cannot polynomially simulate non-tree-like CP * proofs. (2) Tree-like (CP * proofs and Bounded-depth-Frege proofs cannot polynomially simulate each other. Our proofs also work for some generalizations of the CP * proof system. In particular, they work for CP * with a deduction rule, and also for any proof system that allows any formula with small communication complexity, and any set of sound rules of inference. (shrink)

We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead of clauses. We demonstrate polynomial-size refutations for hard tautologies like the pigeonhole principle, Tseitin graph tautologies and the clique-coloring tautologies in these proof systems. Using interpolation we establish an exponential-size lower bound on refutations in a certain, considerably strong, fragment of resolution over linear equations, as well as a general polynomial upper bound on interpolants (...) in this fragment.We then apply these results to extend and improve previous results on multilinear proofs , as studied in [Ran Raz, Iddo Tzameret, The strength of multilinear proofs. Comput. Complexity ]. Specifically, we show the following:• Proofs operating with depth-3 multilinear formulas polynomially simulate a certain, considerably strong, fragment of resolution over linear equations.• Proofs operating with depth-3 multilinear formulas admit polynomial-size refutations of the pigeonhole principle and Tseitin graph tautologies. The former improve over a previous result that established small multilinear proofs only for the functional pigeonhole principle. The latter are different from previous proofs, and apply to multilinear proofs of Tseitin mod p graph tautologies over any field of characteristic 0. We conclude by connecting resolution over linear equations with extensions of the cutting planes proof system. (shrink)

Recent data indicate that under a specific posthypnotic suggestion to circumvent reading, highly suggestible subjects successfully eliminated the Stroop interference effect. The present study examined whether an optical explanation could account for this finding. Using cyclopentolate hydrochloride eye drops to pharmacologically prevent visual accommodation in all subjects, behavioral Stroop data were collected from six highly hypnotizables and six less suggestibles using an optical setup that guaranteed either sharply focused or blurred vision. The highly suggestibles performed the Stroop task when naturally (...) vigilant, under posthypnotic suggestion not to read, and while visually blurred; the less suggestibles ran naturally vigilant, while looking away, and while visually blurred. Although visual accommodation was precluded for all subjects, posthypnotic suggestion effectively eliminated Stroop interference and was comparable to looking away in controls. These data strengthen the view that Stroop interference is neither robust nor inevitable and support the hypothesis that posthypnotic suggestion may exert a top-down influence on neural processing. (shrink)

Recent data indicate that under a specific posthypnotic suggestion to circumvent reading, highly suggestible subjects successfully eliminated the Stroop interference effect. The present study examined whether an optical explanation could account for this finding. Using cyclopentolate hydrochloride eye drops to pharmacologically prevent visual accommodation in all subjects, behavioral Stroop data were collected from six highly hypnotizables and six less suggestibles using an optical setup that guaranteed either sharply focused or blurred vision. The highly suggestibles performed the Stroop task when naturally (...) vigilant, under posthypnotic suggestion not to read, and while visually blurred; the less suggestibles ran naturally vigilant, while looking away, and while visually blurred. Although visual accommodation was precluded for all subjects, posthypnotic suggestion effectively eliminated Stroop interference and was comparable to looking away in controls. These data strengthen the view that Stroop interference is neither robust nor inevitable and support the hypothesis that posthypnotic suggestion may exert a top-down influence on neural processing. (shrink)

Classical commentary on Yogasūtra of Patañjali, work on Yoga philosophy; includes complete text of Yogasūtra.

I argue that, contrary to some critics, the notion of conscious experience is a good candidate for denoting a distinct and scientifically interesting phenomenon in the brain. I base this claim mainly on an analysis of neuropsychological data concerning deficits resulting from various types of brain damage as well as some additional supporting empirical evidence. These data strongly point to the hypothesis that conscious experience expresses information that is available for global, integrated, and flexible behavior.

Some machine learning models, in particular deep neural networks (DNNs), are not very well understood; nevertheless, they are frequently used in science. Does this lack of understanding pose a problem for using DNNs to understand empirical phenomena? Emily Sullivan has recently argued that understanding with DNNs is not limited by our lack of understanding of DNNs themselves. In the present paper, we will argue, _contra_ Sullivan, that our current lack of understanding of DNNs does limit our ability to understand with (...) DNNs. Sullivan’s claim hinges on which notion of understanding is at play. If we employ a weak notion of understanding, then her claim is tenable, but rather weak. If, however, we employ a strong notion of understanding, particularly explanatory understanding, then her claim is not tenable. (shrink)

Cognitive scientists distinguish between automatic and controlled mental processes. Automatic processes are either innately involuntary or become automatized through extensive practice. For example, reading words is a purportedly automatic process for proficient readers and the Stroop effect is consequently considered the “gold standard” of automated performance. Although the question of whether it is possible to regain control over an automatic process is mostly unasked, we provide compelling data showing that posthypnotic suggestion reduced and even removed Stroop interference in highly hypnotizable (...) individuals. Drawing on a large sample of highly hypnotizable participants, we examined the effects of suggestion on Stroop performance both with and without a posthypnotic suggestion to perceive the input stream as meaningless symbols. We show that suggestion administered to highly hypnotizable persons significantly reduced Stroop interference and derailed a seemingly automatic process. (shrink)

An amplitude controllable hyperjerk system is constructed for chaos producing by introducing a nonlinear factor of memristor. In this case, the amplitude control is realized from a single coefficient in the memristor. The hyperjerk system has a line of equilibria and also shows extreme multistability indicated by the initial value-associated bifurcation diagram. FPGA-based circuit realization is also given for physical verification. Finally, the proposed memristive hyperjerk system is successfully predicted with artificial neural networks for AI based engineering applications.

With a few yet increasing number of exceptions, the cognitive sciences enthusiastically endorsed the idea that there are basic facial expressions of emotions that are created by specific configurations of facial muscles. We review evidence that suggests an inherent role for context in emotion perception. Context does not merely change emotion perception at the edges; it leads to radical categorical changes. The reviewed findings suggest that configurations of facial muscles are inherently ambiguous, and they call for a different approach towards (...) the understanding of facial expressions of emotions. Prices of sticking with the modal view, and advantages of an expanded view, are succinctly reviewed. (shrink)

This paper argues that a notion of statistical explanation, based on Salmon’s statistical relevance model, can help us better understand deep neural networks. It is proved that homogeneous partitions, the core notion of Salmon’s model, are equivalent to minimal sufficient statistics, an important notion from statistical inference. This establishes a link to deep neural networks via the so-called Information Bottleneck method, an information-theoretic framework, according to which deep neural networks implicitly solve an optimization problem that generalizes minimal sufficient statistics. The (...) resulting notion of statistical explanation is general, mathematical, and subcausal. (shrink)

This paper presents an extended version of the Quantified Argument Calculus (Quarc). Quarc is a logic comparable to the first-order predicate calculus. It employs several nonstandard syntactic and semantic devices, which bring it closer to natural language in several respects. Most notably, quantifiers in this logic are attached to one-place predicates; the resulting quantified constructions are then allowed to occupy the argument places of predicates. The version presented here is capable of straightforwardly translating natural-language sentences involving defining clauses. A three-valued, (...) model-theoretic semantics for Quarc is presented. Interpretations in this semantics are not equipped with domains of quantification: they are just interpretation functions. This reflects the analysis of natural-language quantification on which Quarc is based. A proof system is presented, and a completeness result is obtained. The logic presented here is capable of straightforward translation of the classical first-order predicate calculus, the translation preserving truth values as well as entailment. The first-order predicate calculus and its devices of quantification can be seen as resulting from Quarc on certain semantic and syntactic restrictions, akin to simplifying assumptions. An analogous, straightforward translation of Quarc into the first-order predicate calculus is impossible. (shrink)

Although well established in developed countries, Ethics review boards in the academia, and specifically for social and behavioral sciences (SBS) research, is a relatively new, and still a controversy inducing endeavor. This study explores the establishment and functioning of ERBs in Israeli academia, serving as a case study for the challenges and progress made in ensuring ethical research practices in non-medical related spheres. A purposeful sample of 46 participants was selected, comprising ERB current or past members and SBS researchers, who (...) each interacted extensively with ERB’s evaluation processes. The participants came from all eight research universities of Israel, as well as seven large public and private academic colleges. Open, semi structured In-depth interviews were conducted in order to facilitate a critical reflective stance among the various participants, exploring their experiences, behaviors and the meanings they assign to ERB processes. Our research revealed two major themes. The first is the developmental trajectories in the construction processes of ERBs in Israel, comprised of the following stages: Initiation, expansion, opposition, and acceptance and assimilation. The second was a typology of participation throughout the ERBs’ construction process. Inspired by Merton’s strain theory, this typology includes conformists, ritualists, ideologists, control-freaks, and insurgents. The findings expose a unique perspective into the initiation, establishment, and development of ERBs, which can shed light on the role of ERBs in general, as well as point out how resistance to ERBs, as well as the different reasons for championing them, affected not only ERBs form and their legitimacy, but also their interaction with researchers. (shrink)

Ivancovsky et al. explore the relationship between curiosity and creativity, by suggesting they align through novelty-seeking mechanisms. We argue that a general mechanism linking both capacities together is question-asking: Curiosity drives question-asking that leads to creative problem solving. Yet, current findings from our lab suggest that question complexity relates to creativity, but not necessarily to curiosity, warranting further investigation.

Philosophy Compass, Volume 17, Issue 6, June 2022.

The modern ethical framework demands informed consent for research participation that includes disclosure of material information, as well as alternatives. The severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) pandemic (COVID-19) results in illness that often involves rapid deterioration. Despite the urgent need to find therapy, obtaining informed consent for COVID-19 research is needed. The current pandemic presents three types of challenges for investigators faced with obtaining informed consent for research participation: (1) uncertainty over key information to informed consent, (2) time (...) and pressure constraints, and (3) obligations regarding disclosure of new alternative therapies and re-consent. To mitigate consenting challenges, primary investigators need to work together to jointly promote urgent care and research into COVID-19. Actions they can take include (1) prior plan addressing ways to incorporate clinical research into clinical practice in emergency, (2) consider patients vulnerable with early deliberation on the consent process, (3) seek Legally Authorized Representatives (LARs), (4) create a collaborative research teams, (5) aim to consent once, despite evolving information during the pandemic, and (6) aim to match patients to a trial that will most benefit them. The COVID-19 pandemic both exacerbates existing challenges and raises unique obstacles for consent that require forethought and mindfulness to overcome. While research teams and clinician-investigators will need to be sensitive to their own contexts and adapt solutions accordingly, they can meet the challenge of obtaining genuinely informed consent during the current pandemic. (shrink)

Stephen Darwall's understanding of what kind of life is a good life, good for the person whose life it is, belongs in the same family as, among others, Scanlon's and mine. It is a family of views about well-being which descends from Aristotle, and Darwall has much of interest to say about the good life, and particularly about Aristotle's views on the subject. Many of the observations central to his position seem to me cogent, and are shared by other writers. (...) These include three important propositions: 1. that a good life, one which is good for those whose life it is, is not necessarily the same as a life which they think is good for them, nor does it necessarily consist in their desires being satisfied, nor in the satisfaction of any subset of their desires . 2. that people aim or intend to do what is worth doing, to have relationships worth having, and engage in goals worth pursuing, and so on, and that all of these, and their combination, are distinct from having a good life , and 3. that what makes the well-being of people worth pursuing, to the extent that it is, what provides reasons for those same people and for others to protect or promote it, is that people are valuable in themselves. (shrink)

Ranging over central issues of morals and politics and the nature of freedom and authority, this study examines the role of value-neutrality, rights, equality, ...

23andMe not only sells genetic testing but also uses customer data in its R&D activities and commercial partnerships. This raises questions about transparency and informed consent. Based on a online survey conducted in 2017–18, we examine attitudes of 368 customers of 23andMe toward the company's use of their data. Our findings point at divides in the context of customers' awareness of the two-sided business model of DTC genetics and their attitudes toward consent. While most of our respondents (68%) were aware (...) that 23andMe could store their data and use it for certain purposes without their consent, over 40% were not aware that using and sharing customer data was part of the business model. Views were also divided regarding what type of consent was most appropriate. We explore the implications of these divides for participatory research and for the importance of transparency and trust in commercially-driven scientific knowledge production. (shrink)

Much has been written about the global convergence on constitutional supremacy. Yet, a closer look suggests that while constitutional convergence trends are undoubtedly extensive and readily visible, expressions of constitutional resistance or defiance may in fact be regaining ground worldwide. This may point to a paradox embedded in global constitutionalism: the more expansive constitutional convergence trends are, the greater the likelihood of dissent and resistance are. In this article, I chart the contours of three aversive responses to constitutional convergence: neo-secessionism, (...) nullification, and deference to local authority, and draw on an array of comparative examples to illustrate the distinct logic and characteristics of each of these responses. Taken together, these increasingly common expressions of defiance provide ample evidence that global constitutionalism is not the only game in town. Neo-secessionism, nullification, and other forms of constitutional dissent and “opting out” may thus be viewed as a reaction against the centralization of authority and the decline of the local in an increasingly—constitutionally and otherwise—universalized reality. (shrink)

We outline a framework for analyzing episodes from the history of science in which the application of mathematics plays a constitutive role in the conceptual development of empirical sciences. Our starting point is the inferential conception of the application of mathematics, recently advanced by Bueno and Colyvan. We identify and discuss some systematic problems of this approach. We propose refinements of the inferential conception based on theoretical considerations and on the basis of a historical case study. We demonstrate the usefulness (...) of the refined, dynamical inferential conception using the well-researched example of the genesis of general relativity. Specifically, we look at the collaboration of the physicist Einstein and the mathematician Grossmann in the years 1912--1913, which resulted in the jointly published ``Outline of a Generalized Theory of Relativity and a Theory of Gravitation,'' a precursor theory of the final theory of general relativity. In this episode, an independently developed mathematical theory, the theory of differential invariants and the absolute differential calculus, was applied in the process of physical theorizing aiming at finding a relativistic theory of gravitation. We argue that the dynamical inferential conception not only provides a natural framework to describe and analyze this episode, but it also generates new questions and insights. We comment on the mathematical tradition on which Grossmann drew, and on his own contributions to mathematical theorizing. We argue that the dynamical inferential conception allows us to identify both the role of heuristics and of mathematical resources as well as the systematic role of problems and mistakes in the reconstruction of episodes of conceptual innovation and theory change. (shrink)

This article offers an analysis of the cognitive role of diagrammatic movements in the theater. Based on the recognition of a theatrical work’s inherent ability to provide new insights concerning reality, the article concentrates on the way by which actors’ movements on stage create spatial diagrams that can provide new insights into the spectators’ world. The suggested model of theater’s epistemology results from a combination of Charles S. Peirce’s doctrine of diagrammatic reasoning and David Lewis’s theoretical account of the truth (...) value of counterfactual conditionals. I argue that in several theatrical works – in particular those whose central image is dominated by movements – the relation of what Lewis names “comparative overall similarity” between the fictional and the actual world is based on diagrammatic homology. The cognitive process involved in deciphering them is, hence, based on diagrammatic reasoning. The main emphasis of the analysis is on the previously unnoticed but important cognitive role of observation in the theater: the idea that observation takes an active role in the reasoning process that enables the spectators to form new knowledge about their actual world. Samuel Beckett’s plays Quad and Come and Go serve here as case studies. (shrink)

Many mawlids (mawlid al-nabī) have been written as a reflection of the love for the prophet Muhammad. Süleymān Çelebi’s (d. 825/1422) Wasila al-nacāt, has been seen as the founding work in Turkish literature in this category. The effect of Wasila al-nacāt has continued for centuries, and inspired many other mawlids. One of them is Enverī Erzincānī’s work named Mawlūd al-sharīf (Sumbul al-gulzār al-kalām al-kadīm). In literature tradition, mawlids are written in masnawī in ​​verse form, Mawlūd al-sharīf was written in style. (...) ode. In this respect, the work can be seen as an exception between the other ones. Another remarkable aspect of the work is the similarity between the two stories in Nasibī al-mawlid which is estimated to be written in XV. or XVI. century. Until now, no academic work has been done about Mawlūd al-sharīf. The sources that provide information about Mawlūd al-sharīf report about, two copies, one in Çorum Hasanpasha Manuscript Library (Çorum Hasanpaşa Yazma Eserler Kütüphanesi) and the other in Kastamonu Manuscript Library (Kastamonu Yazma Eserler Kütüphanesi). Research showed that the copy in Kastamonu was in fact another copy of Wasila al-nacāt another copy of Mawlūd al-sharīf was also found in the Çorum Hasanpasha Manuscript Library (Çorum Hasanpaşa Yazma Eserler Kütüphanesi). The number of couplets of Mawlūd al-sharīf has increased to 202 with the finding of the second copy. About the author of the work that is approximatly written in the XVII. or XVIII. century no information could be found. This study, introduces the Mawlūd al-sharīf and its authors, compares it with Wasila al-nacāt and presents an critical analysis of the text.Summary: The term mawlid means birth, birth time and place of birth. It was used to describe works such as the birth of the Prophet, miracles and the death of the Prophet. Next to these there also many mawlids about the lifes of Fatīma the daughter of the Prophet and her husband Alī, and few about the lifes of a spiritual guide. The first examples of this type seen in Arabic literature are Ibn Dihya al-Kalbī (d. 633/1235), Muhammad al-Azafī (d. 633/1236) and Cafar b. Hasan al-Barzancī (d. 1177/1764); Muhammad b. Masūd el-Kāzarūnī (d. 758/1356) and Sūzanī (d. 569/1173). The celebrations related to mawlid have turned into ceremonial form in the era of the Fatimies. The Fatimies held, Mawlid-al-Alī, Mawlid al-Hasan, Mawlid al-Husayin and Mawlid al-Fatīma ceremonies next to the Prophet’s. The first mawlid ceremony in the form of today was seen in the time of Muzaffar al-Dīn Gokboru (d. 630/1233).Different ideas have been put forward about the first mawlid text in Turkish literature, but Süleymān Çelebi’s Wasila al-nacat has been accepted as a pioneer work in the recognition and love of this kind. Many mawlids were written with the influence of Wasila al-nacat. The likeness of the content and the motifs of the majority of mawlids to Wasila al-nacat is interpreted as a strong sign indicating its importance in this genre. The translation of Wasila al-nacat into Arabic, Circassian, Greek, Kurdish, Tatar, Sawamish, English, German, Albanian, Bosnian... languages ​​should be considered as a factor that exposes its breadth.It is estimated that around 200 Turkish mawlids have been written, but this number is increasing with new studies. One of these mawlids is the work of Enverî Erzincānī called Mawlūd al-sharīf Ethem Erkoç and Mehmet Fatih Köksal are the researchers who have been aware of the existence of this work for the first time. Both researchers mention that the work has 142 couplets and the only copy is that in the Çorum Hasanpasha Writing Works Library (Çorum Hasanpaşa Yazma Eserler Kütüphanesi). In his work called Mawlid-nāma Köksal states that there is a second copy of the work, but the copy of Kastamonu, which is known as the second copy, is actually a copy of Wasila al-nacat. In the present study, another more bulky version of Mawlūd al-sharīf was recorded in Çorum Hasanpasha Manuscript Library (Çorum Hasanpaşa Yazma Eserler Kütüphanesi). In the catalogs of the National Library (Milli Kütüphane) and Çorum Hasanpasha Manuscript Library (Çorum Hasanpaşa Yazma Eserler Kütüphanesi), the mawlid is indicated as Persian; the reason fort his mistake might be, the fact that the first twelve of the text is Persian.Although there were many poets who used the pseudonym Enverī there is no poet in Turkish literature, who was from Erzincan and wrote a mawlid with the same pseudonym. It was understood that the poet was a sayyid.In five places the author’s name or pseudonym is mentioned. His work shows that he is from Erzincān and that he has a mawlid. As a mawlid poet Enverī, adopted a quite ambitious style. He praises himself for writing in Persian, being the best Persian speaker in this area, and boasted his pure character and wise poetry.In the headlines of the copies the work is called Mawlūd al-sharīf / Sunbul al-gulzār al-kalām al-kadīm. Therefore, it would be more appropriate to consider the work as a double name sage. The copies do not include a record of the copyright date of the work. According to the second copy, which is shorter and which has the impression that it is incomplete, the work was copied in 1249/1833. It can be said that the Mawlid was written in the XVII. or XVIII. century because of its language and style.In the mawlid tradition of writing mawlid, generally masnawī form was preferred. Rarely some mawlids were conposed in verse styles. One of these works, which are two for now, is the one in which Çizmeci-zāde Vehbī wrote the couplets of Wasila al-nacat in sixth verse form. The other one is the Mawlūd al-sharīf of Enverī Erzincān. Mawlūd al-sharīf was written entirely in the form of an ode, except of two stories with 48 couplets must have been added later. The work with 202 couplet was separated from Wasila al-nacat and other mawlids in terms of starting with a Persian tawhid and using the style of an ode. Because of the small number of citations, the subjects described in Wasila al-nacat have not been contacted or have been summarized. Mawlūd al-sharīf is one of the shortest ones. Because of the small number of couplets of Mawlūd al-sharīf, the subjects described in detail in Wasila al-nacat are either not mentioned or only summarized. The work, consists of two major sections: The birth of the Prophet and the miracle of miraj. The remarkable feature of Mawlūd al-sharīf is that the two stories told are identical to the stories in Nasībī Mawlid (XV. or XVI. century). The first story tells how, a Jewish couple living in Baghdad became Muslims because of their respect for the mawlid ceremony. The second story tells about, a young named Alī who organized a mawlid ceremony with little money left from his mother and therefore died with faith. Surprisingly, this similarity is seen in the content and narrative forms of the stories in both texts. The fact that the comparative stories are almost the same makes on think of the possibilities of imitating, quoting or saving rather than an impression of the author by the previous text. Taking into account the chronological time, it seems more likely to accept the quotations in the Mavlūd al-sharīf as duplicating. Writing the stories in Mawlūd al-sharīf after the main chapters and the line differences in the rulers reinforce the impression that the stories are added later. (shrink)

Turkish-Islamic literature contains numerous religious literar writings. In the existing literature, it can be seen that many kinds such as tawhīd, munājāt, nʿat, mawlid, hilya, hijrah-nāma, shafāʿat-nāma, miʿrāj, qisas al-anbiya, ramaḍāniyya, and al-asmā al-ḥusnā were written. Al-Asmā al-ḥusnā, written in the form of poetry and prose, were mostly sharḥ or their khawaṣṣ were explained. Çihil-nām al-Manẓūm, which is mentioned in the study, was written as khawaṣṣ al-asmā al-ḥusnā. The work is a poet entitled as Fażāyī. Manuscript was written in the (...) last quarter of the fifteenth century, and thus, it is presumed that the poet lived in the same century. This work has been identified in a manuscript. In addition, the poet’s Hadiyyat al-aḥbāb, der-Bayān al-maqāmāt al-darwīshān, Kitāb al-sharʿiyyat al-arbāb, and Ghazaliyyāt al-Darwīsh Fażāyī four other works have been identified. In the writings of the asmā al-ḥusnās, the names of ninety-nine were emphasized. In this study, the forty names of God are expressed. The text presented is a continuation of the tradition of writing some prose works written in Arabic and Persian. Çihil-nām al-Manẓūm, written in Arabic prose and known as Asmā al-Idrīsiyya it can be seen as a free stsyle translation of the prophet Idrīs. Forty names in the content of the work, their proper-ties, when, how much and how to read is explained. In this study, firstly the information about the subject of Qurʾān, hadith, Arabic, Persian and Turkish literature in the beautiful names of God is provided. Then, the information about the poet Fażāyī was given. Çihil-nām al-Manẓūm was introduced and the transcriptional form of the text was given.SummaryOne of the reasons that deeply affect a nation is the change of religion. This change did not only affect the individual but also influenced the society in which he was born and grew. One of the nations with strong influence is the Turks. Turks, after Islamization, have estab-lished a new civilization. One of the areas where this Islamic civilization reflects is the literary aspect of society. In this literature, which has begun to be formed, religious genres such as tawhīd, munājāt, nʿat, mawlid, hilya, hijrah-nāma, shafāʿat-nāma, miʿrāj, qisas al-anbiya, ramaḍāniyya, have been revealed. One of them is about God. Religious literary writings about God were written in the form of tawhīd and munājāts, which consist of one or more prophets found at the head of the dīwāns, or as the annotations of asmā al-ḥusnā or as khawaṣṣ asmā al-ḥusnā.In time, the need for some Turkish literary and scientific works to be translated into a different language were born. It can be seen that with some changes such as subtraction and addition, texts are rewritten or poetic works are translated into prose. The original of our research subject Çihil-nām al- Manẓūm’s is written in Arabic and prose. Çihil-nām al-Manẓūm, it is a munājāt of the work known as Asmā al-Idrīsiyya, which describes the call of prophet Idrīs.Asmā al-ḥusnā is a religious term used mostly to describe the attributes and names of God. In the Qurʾān, there is no information about the number of asmā al-ḥusnā mentioned as a concept. However, the number of the names of God in the Qurʾān is 155. This number is differ-ent in ḥadīths. It is widely accepted that the number of asmā al-ḥusnā is 99. Some Islamic schol-ars have argued against such restricting statements, arguing that ninety-nine names, such as the hiding of the Night of Qadr, were hidden in all Divine names during the month of ramaḍān, while others suggested that the number of ninety-nine was large number of asmās (names).The first examples of asmā al-ḥusnā were written in Arabic literature. Some of them are not detached: Abū Manṣūr al-Māturidī (d. 333/944) Kitāb al-Tawḥīd, Abū ʿAbdullāh al-Ḥalīmī (d. 403/1012) al-Minhāj fī shuʿabiʾl īmān, Taḳī al-Dīn Ibn Taymiyya (d. 728/1328) al-Īmān. A part of asmā al-ḥusnās is also a single work: Abū Isḥāq al-Zajjaj (d. 311/923) Tafsīr al-asmāi’llāh al-ḥusnā, Aḥmad b. Husayin al-Bayhaḳī (d. 458/1066) al-Asmā al-ṣifāt and ʿAbd al-karīm b. Havāzin al-Quşayrī (d. 465/1072) Sharḥ al-asmāi’llāh. In addition to Arabic, it is useful to talk about some of the asmā al-ḥusnās which is written in Persian. Muḥammed al-Shrāzī al-Nishāburī (d. 904/1498) al-Risāla der-asmā al-ḥusnā, Çarkhī Yaʿḳūb b. ʿOthmān (d. 851/1447) Sharḥ al-asmāi’llāh and ʿAbd al-Raḥmān Aḥmad al-Jāmī (d. 898/1492) Muʿammā al-Jāmī.Islamic nations have created an enormous collection of literature about God. Among them, asmā al-ḥusnās has a special importance. Many asmā al-ḥusnā were written in Turkish literature. The most famous among the verses of Ibn Isa b. Majduddīn ʿĪsā Saruḥanī (d. 967/559) is Sharḥ al-asmā al-ḥusnā. Other than that, Ḥusayin b. Aḥmad Sirozī (d. 1000/1401) Sharḥ asmā al-ḥusnā, Aḥmad Shākir Pasha (d. 1234/1818) Rawḍ-ı Ward, Ibrahim Mahdī (d. 1345/1926) al-Kanz al-asmā fī sharḥ al-asmā al-ḥusnā and Bijaqji-zāda Ismā‘īl Haqqi b. ʿOthmān (ö.1352/1933) Asmā al-ḥusnā’s naẓman tafsīr this work is shown among the major works written in this field. Again, the works of the late Sheykh-oghlu Muṣṭafā (d. 817/1414) Khawaṣṣ al-asmā al-ḥusnā, Ṣubḥī al-Bursawī (n.d.) Sharḥ al-manẓūm al-asmā al-ḥusnā, Ḥākim Sayyid Maḥmad Afandi (d. 1184/1770) Sharḥ manẓūm al-asmā al-ḥusnā, Lāmiʿ Jelebi (d. 938/1532) Sharḥ al-muʿammayāt ʿalā asmā al-ḥusnā, Ḥamdī Afandi (n.d.) Sharḥ al-manẓūm al-asmā al-ḥusnā, Naḥīfī (d. 1151/1738) Manẓūm al-asmā al-ḥusnā, ʿAbd al-Majīd b. Naṣūḥ Ṭosyavī (d. 996/1588) Sharḥ al-asmā al-ḥusnā can be listed among other notable works.In this study, a khawaṣṣ al-asmā al-ḥusnā is examined. Khawaṣṣ; khāṣṣ and khāṣṣa are the plural of the words khawaṣṣ al-wukalā, khawaṣṣa al-balda, the properties of some drugs, khawaṣṣa al-Qurʾān al-karīm, khawaṣṣa al-ism al-aʿẓam; a force that is found in something and not from others means special case. The verses of the Qurʾān, the rings, the hours of the days, some prayers, the names of God have some of the accents. It is believed that the desire of the person who reads them in certain conditions, in a certain amount, or in any manner, in specific hours, will occur. The fact that the concept of khawaṣṣ met these meanings allowed him to acquire scientific knowledge and to call it “khawaṣṣ science” characteristic in the literature.The works that deal with the Qurʾān and the asmā al-ḥuṣnā are written. Some of these works written in Arabic and Turkish literature are: Risāle fī khawaṣṣ al-asmā al-ḥusnā: Zunnūn al-Miṣrī, Khawaṣṣ al-Qurʾān: Ghazālī, ʿIḳdu al-manẓūm fī khawaṣṣ al-ḥurūf: Muḥyī al-Dīn al-ʿArabī, Asmā al-Idrīsiyya: Shāb al-Dīn al-Suhrawardī, Khawaṣṣ al-asmā al-ḥusnā: Shakh-oghlu Muṣṭafā, Sharḥ al-manẓūm al-asmā al-ḥusnā: Ṣubḥī al-Bursawī, Sharḥ al-asmā al-ḥusnā: Ibn ʿIsā b. Majd al-Dīn Ṣaruhanī, Manẓūm al-asmā al-ḥusnā sharḥ: Ḥākim Sayyid Maḥmad Afandi, Manẓūm al-asmā al-ḥusnā: Naḥīfī, Sharḥ al-asmā al-ḥusnā and khawaṣṣuhā: Imām Shabrāwī.One of the works in which asmā al-ḥusnā was described is attributed to prophet Idrīs. Among the miracles of prophet Idrīs, there have been intresting miracoulus performances such as possessing the knowledge of astronomy, fortune, mathematics, plants, writing, sew-ing, using the scales and strange art. The mysterious secrets were revaled to him in 30 ṣuḥuf. His major miracles are governing spiritual beings, knowing the properties of the beings and possessing the knowledge of various unknown things. Again, he wrote a book about the char-acteristics of letters. Aristotle later wrote a commentary using the majority of the information found in this book. Some of the works are written to narrate the Prophet Idrīs’s praising God with forty names:Muḥammad al-Tunisian, al-Ravḍatu al-Sundusiyya fī asmā al-ḥusnā al-Idrīsiyya al-Suhrawardiyya; Shāb al-Dīn Yaḥya b. Ḥabash al-Suhrawardī, Çihil-nām. Among these, the most famous is the work called Asmā al-Idrīsiyyā, written by Suhrawardī. Here, in addition to the asmā al-ḥusnā (forty names), prayers, prayers, conquests, their meanings, and the merits of reading them are explained. The book is written in Arabic. Many copies of this work have been identi-fied. Here are a few of these: Sulaymāniyya Hagia Sophia, K. 1870; Sulaymāniyya, Hagia Sophia, 377; Bāyazıd State Library 1314; National Library A005133-03 23b-33a; Adana Public Library 140; National Library, 06 Mil Yz A 9084/6.The works describing Asmā al-Idrīsiyya were written as prose. The work examined in this study was written as a manuscript. Çihil-nām-ı Manẓūm is distinguished from the others in this respect. Another point that makes the study important is the fact that Çihil-nām-ı Manẓūm has a very old period, this is written in the fifteenth century. (shrink)

The present paper provides an analysis of Euler’s solutions to the Königsberg bridges problem. Euler proposes three different solutions to the problem, addressing their strengths and weaknesses along the way. I put the analysis of Euler’s paper to work in the philosophical discussion on mathematical explanations. I propose that the key ingredient to a good explanation is the degree to which it provides relevant information. Providing relevant information is based on knowledge of the structure in question, graphs in the present (...) case. I also propose computational complexity and logical strength as measures of relevant information. (shrink)

Remote state preparation is generation of a desired state by a remote observer. In spite of causality, it is well known, according to the Reeh–Schlieder theorem, that it is possible for relativistic quantum field theories, and a “physical” process achieving this task, involving superoscillatory functions, has recently been introduced. In this work we deal with non-relativistic fields, and show that remote state preparation is also possible for them, hence obtaining a Reeh–Schlieder-like result for general fields. Interestingly, in the nonrelativistic case, (...) the process may rely on completely different resources than the ones used in the relativistic case. (shrink)

The present paper provides an analysis of Euler’s solutions to the Königsberg bridges problem. Euler proposes three different solutions to the problem, addressing their strengths and weaknesses along the way. I put the analysis of Euler’s paper to work in the philosophical discussion on mathematical explanations. I propose that the key ingredient to a good explanation is the degree to which it provides relevant information. Providing relevant information is based on knowledge of the structure in question, graphs in the present (...) case. I also propose computational complexity and logical strength as measures of relevant information. (shrink)

Michael Weisberg and Kenneth Reisman argue that the Volterra Principle can be derived from multiple predator-prey models and that, therefore, the Volterra Principle is a prime example for robustness analysis. In the current article, I give new results regarding the Volterra Principle, extending Weisberg’s and Reisman’s work, and I discuss the consequences of these results for robustness analysis. I argue that we do not end up with multiple, independent models but rather with one general model. I identify the kind of (...) situation in which this generalization approach may occur, and I analyze the generalized Volterra Principle from an explanatory perspective. (shrink)

Practical Reason and Norms focuses on three problems: In what way are rules normative, and how do they differ from ordinary reasons? What makes normative systems systematic? What distinguishes legal systems, and in what consists their normativity? All three questions are answered by taking reasons as the basic normative concept, and showing the distinctive role reasons have in every case, thus paving the way to a unified account of normativity. Rules are a structure of reasons to perform the required act (...) and an exclusionary reason not to follow some competing reasons. Exclusionary reasons are explained, and used to unlock the secrets of orders, promises, and decisions as well as rules. Games are used to exemplify normative systems. Inevitably, the analysis extends to some aspects of normative discourse, which is truth-apt, but with a diminished assertoric force. (shrink)

The 19th century saw the rise of Biblical Criticism in German universities, culminating in Wellhausen s radical revision of the history of biblical times and religion. For German-Jewish intellectuals, the academic discipline promised emancipation from traditional Christian readings of Scripture but at the same time suffered from what was perceived as anti-Jewish bias, this time in scholarly robes. Reclaiming the Hebrew Bible describes the German-Jewish strategies to cope with Biblical Criticism varying from an enthusiastic welcome, through modified adoption, to resolute (...) rejection.". (shrink)