Molla Halil’e göre insanların bu dünyada yaptıkları iyiliklere karşılık Yüce Allah onları ahirette lütfuyla nimetlendirecek ve Cennetine koyacaktır. Bu, Allah’ın insanlara bir va‘didir. Allah va‘dinden asla dönmez. Çünkü Allah’ın va‘dinden dönmesi, O’nun hakkında bir eksiklik sayılır. Ancak bu durum O’nun için vucûbiyet ifade etmez. Vucubiyet kavramı çeşitli anlamlarda kullanıldığı için anlam kargaşasına yol açabilir. Buna sebebiyet vermemek için kelamda özellikle de bu makalede “zorunluluk” anlamına kullanılacak olup bazen gereklilik anlamı da ihtiva edebilir. Allah, kötülük yapanları ise adaletiyle cezalandıracaktır. Bu da (...) Allah’ın va‘îdi olup, va‘îdi’nden dönebilir. Bu, O’nun hakkında bir noksanlığa sebebiyet vermez. Çünkü cezalandırmaktan vazgeçmesi Allah’ın merhametinin ve lütfunun bir sonucudur. Bununla birlikte ne va‘d ve ne de va‘îd Allah’a vacip değildir. Molla Halil’e göre, büyük günah insanı imandan çıkarmaz. Mu‘tezile’ye göre büyük günah işleyen kimse dünyada ne mümin olur ne de kâfir ikisinin arasında bir yerde durur. Buna da fasıklık denir. Haricîlere göre ise, ister büyük, isterse küçük olsun, her türlü günah sahibini iman dairesinden çıkarır ve küfür dairesine dahil eder. Molla Halil’e göre, ahiret hayatı ruh ve cesetle birlikte olacaktır. Bu üm-metin günahkârlarına peygamberler, şehitler ve salih kimseler şefaat edecek-tir. Mu‘tezile‘ye göre şefaat sadece iyilerin derecesinin yükselmesi içindir. Günahkârlar için şefaat olmayacaktır. Günahkâr müminler Cehenneme girseler de ebedi kalmayacaklar. Kâfirlerin azapları ise devamlı olacak ve bunlar ebedi olarak Cehennemde kalacaklardır. Biz bu makalede önce sevap ve İkâb kelimelerinin lügat ve ıstılah anlamları üzerinde duracak, sonra bu bağlamda ayet ve hadislerde verilen bilgileri ve bunların açıklamalarını ele alacağız. Daha sonra Molla Halil’in bu konulara dair görüşlerini sunmaya çalışacağız. Onun sevap ve İkâb ile ilgili tanımlarını, bunların sonuçlarına dair yaşanacakları ve varılacak yerleri ele alan yaklaşımlarını sunmaya çalışacağız. Burada farklı görüşlere sahip olmaları nedeniyle çoğunlukla Mu‘tezile’nin ve az da olsa Haricilerin görüşlerine de mukayese oluşturması için değineceğiz. Burada sadece Molla Halil’in görüşlerini değil, onun içinden geldiği Ehli Sünnetin görüşlerini, sünni kaynakları temel alarak aktarmaya çalışacağız. (shrink)
De argumenti ontologici forma logicaTractatione proposita auctores manifestant, „Argumentum Ontologicum“ St. Anselmi in 2° capitulo eius Proslogii inscriptum ut validum exponi posse (i. e. consequentiam bonam servando). Hac in interpretatione vis et notio descriptionis illae „id quo maius cogitari nequit“, qua Anselmus usus est, rite agnoscitur. Datis enim lingua formali „primi ordinis“, ut aiunt, et systemati deductivo logicae huiusmodi, in quo descriptiones definitae genuini sunt termini et ubi a sententia „datur x quod…“ signo quantitatis praefixa ad sententiam „x exsistit“ consequentia (...) non valet, et adhibendo adhuc regulas ordinarias logicae descriptionumrelationemque comparationis, quae „continua“ dicitur, exsistentia Dei sequitur duabus ex praemissis: Una quidem, „datur cogitabile aliquid, quo maius cogitari nequit“; et altera, „x non exsistente, aliquid eo maius cogitari potest“. Conclusio praedicta non potest negari, nisi una quoque harum praemissarum saltem negatur. Argumentum hoc vero nulla deductione modali utitur; et, quod notabile est, ratio ontologica Cartesii ex eo derivari potest.On the Logic of the Ontological ArgumentIn this paper, the authors show that there is a reading of St. Anselm’s ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm’s use of the definite description “that than which nothing greater can be conceived” seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence “there is an x such that…” does not imply “x exists”. Then, using an ordinary logic of descriptions and a connected greater-than relation, God’s existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if x does not exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes’ ontological argument can be derived from it. (shrink)
Journal of Mathematical Logic, Volume 22, Issue 03, December 2022. We study a new class of NP search problems, those which can be proved total using standard combinatorial reasoning based on approximate counting. Our model for this kind of reasoning is the bounded arithmetic theory [math] of [E. Jeřábek, Approximate counting by hashing in bounded arithmetic, J. Symb. Log. 74(3) (2009) 829–860]. In particular, the Ramsey and weak pigeonhole search problems lie in the new class. We give a purely computational (...) characterization of this class and show that, relative to an oracle, it does not contain the problem CPLS, a strengthening of PLS. As CPLS is provably total in the theory [math], this shows that [math] does not prove every [math] sentence which is provable in bounded arithmetic. This answers the question posed in [S. Buss, L. A. Kołodziejczyk and N. Thapen, Fragments of approximate counting, J. Symb. Log. 79(2) (2014) 496–525] and represents some progress in the program of separating the levels of the bounded arithmetic hierarchy by low-complexity sentences. Our main technical tool is an extension of the “fixing lemma” from [P. Pudlák and N. Thapen, Random resolution refutations, Comput. Complexity, 28(2) (2019) 185–239], a form of switching lemma, which we use to show that a random partial oracle from a certain distribution will, with high probability, determine an entire computation of a [math] oracle machine. The introduction to the paper is intended to make the statements and context of the results accessible to someone unfamiliar with NP search problems or with bounded arithmetic. (shrink)
A total of 944 expressed sequence tags generated 2212 EST loci mapped to homoeologous group 1 chromosomes in hexaploid wheat. EST deletion maps and the consensus map of group 1 chromosomes were constructed to show EST distribution. EST loci were unevenly distributed among chromosomes 1A, 1B, and ID with 660, 826, and 726, respectively. The number of EST loci was greater on the long arms than on the short arms for all three chromosomes. The distribution of ESTs along chromosome arms (...) was nonrandom with EST clusters occurring in the distal regions of short arms and middle regions of long arms. Duplications of group 1 ESTs in other homoeologous groups occurred at a rate of 35.5%. Seventy-five percent of wheat chromosome 1 ESTs had significant matches with rice sequences, where large regions of conservation occurred between wheat consensus chromosome 1 and rice chromosome 5 and between the proximal portion of the long arm of wheat consensus chromosome 1 and rice chromosome 10. Only 9.5% of group 1 ESTs showed significant matches to Arabidopsis genome sequences. The results presented are useful for gene mapping and evolutionary and comparative genomics of grasses. (shrink)
1. Lemmon’s stratification. By a “tense logic” I mean a system with the following features: it contains sentential variables which stand for sentences which in some cases are true at some times and false at others; it contains the usual truth-functions, whose truth-conditions are given the obvious modifications, e.g. Np is true when and only when p is false, Kpq is true when and only when both its conjuncts are; and it contains two additional functions which may be interpreted as (...) ‘It will be the case that p’ and ‘It has been the case that p’, the former being true when and only when the plain p will be true later on and the latter when and only when the plain p has been true at some earlier time. (shrink)
BackgroundSexual minority older adults experience mental health disparities. Psychiatric disorders and neuropsychiatric symptoms are risk factors for cognitive decline. Although older people in same-sex compared to mixed-sex relationships perform more poorly on cognitive screening tests, prior studies found no differences in rates of dementia diagnosis or neuropsychological profiles. We sought to explore the role of NPS on neurocognitive outcomes for SM populations. We compared cognitive performance and structural brain parameters of older adults in SSR and MSR.MethodsData were originally collected at (...) Alzheimer's Disease Research Centers. Inclusion criteria were: age of 55+ years, a study partner identified as a spouse/partner, and availability of T1-MRI brain volumes/thickness. Participants were labeled as either SSR or MSR based on their/their co-participant's reported sex. We identified 1,073 participants with structural MRI data, Mini-Mental State Exam, and Neuropsychiatric Inventory Questionnaire scores. A subset of the overall sample completed comprehensive neuropsychological assessment. Covariates included in statistical models were age, sex, education, total intracranial volume, and apolipoprotein E genotype.ResultsMultivariate general linear models showed significant diagnosis-by-relationship interaction effects on the left parahippocampal gyrus volume. After stratification by relationship group, only cognitively impaired MSR had significantly smaller left parahippocampal volumes than MSR-CU. The SSR group showed better episodic memory performance. Severity of neuropsychiatric symptoms was negatively associated with volume/thickness of bilateral fronto-temporal areas and with MMSE scores, predominantly in the MSR group.ConclusionIn our study, MSR participants presented with a more compromised cognitive profile than SSR participants. MSR-CI participants showed significantly smaller left medio-temporal volumes, a neural signature of AD. Neuropsychiatric symptoms predicted smaller fronto-temporal volumes in the MSR more consistently than in the SSR group. These findings may be due to unexplored protective factors against cognitive decline in SM elders. Indeed, social support has been proposed as a protective factor warranting future investigation. (shrink)
This article provides a critical view on the development and deployment phase of the e-ID in Belgium since 1999. It is based on extensive desk research and fifteen in depth-interviews with experts and stakeholders from government, administration, academia and industry who have been key in the development of the e-ID. The article identifies different elements that influenced, both in a positive and negative way, the societal, technical and political aspects of the Belgian e-ID. It shows that no severe problems occurred (...) during the initial deployment phase, which came to an end in 2009 providing over eight million Belgian citizens with an e-ID. The pre-existence of a National Register and the preliminary experiences with the exchange of digital information between administrative entities in the field of Social Security enabled and facilitated the development and the distribution of the e-ID. However, the research also reveals that usage of the e-ID by citizens and uptake of e-ID based services by administration and business remains limited due to multiple factors. The complex system of state structures in Belgium and as a consequence the dispersion of competences across different governmental entities makes that no unified approach to e-government and e-ID based services has been developed. From the industries’ point of view the privacy framework and the strictly regulated use of the National Registration Number provides no clear view on the allowed use of data accessible through the e-ID hampering take up in this area. (shrink)
Based on worldwide consultations with experts in science and ethics the revised CIOMS 2002 International Ethical Guidelines for Biomedical Research Involving Human Subjects provide guidance on when the use of placebo as a comparator in clinical research is ethically acceptable. The article reviews the main points of the CIOMS Guidelines and commentaries including the use of placebo in situations where the best current method is available and the relation of placebo to established effective intervention. It discusses the use of placebo (...) in externally sponsored research in low-resource countries and requirements for informed consent related to placebo studies. (shrink)
The facts aboutsuch, then, indicate not just thatsuch is a pro-adjective, but also that binding conditions apply broadly to pro-ADJs and pro-CNs, as well as to a wide range of pro-arguments. If this is true, the CN binding process accomplished by rules (40) and (41) might better be expressed in a system that uses a Cooper (1979) store mechanism. In fact, Stump (p. 144) notes that this could easily be done. Meanings of the type of∨ P n could be stored, (...) just as NP meanings are, until an appropriate binding CN phrase was encountered. Binding conditions would simply require that a∨ P n meaning not come out of storage until the derivation had emerged from its governing category. The behavior of the pro-adjectivesuch suggests that an expression of any category, if it is legitimately translatable as a variable, may be a fullfledged proform; many principles and mechanisms described to account for the widely studied pronouns in fact apply to nonargument categories. (shrink)
This paper describes the introduction of a new electronic identity card including an electronic identity (EID) for local physical and online authentication in 2006. The most significant difference to any European country is the decentralized issuing at 256 police stations employing an automatic printing machine. This is the most visible element in a high degree continuation, as the previous paper based ID cards were also personalized and issued at the police stations. Similarly the attributes defining the identity and the legal (...) framework were not changed either. While there was some delay in the planning phase, the role-out of the new eID cards was rather smooth. At the end of 2009, approx. 13 Mio Spanish citizens out of more than 46.5 Mio inhabitants (www.ine.es) were in possession of an eID card. But this does not necessarily mean that they are using the eID function for online authentication. The reasons for this application gap will be discussed with reference to online tax declaration, where the eID so far covers less than one percent of all online declarations while authentication by software certificates still make up for 98 percent. (shrink)
In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)
Case-based reasoning has long been used to facilitate instructional effectiveness. Although much remains to be known concerning the most beneficial way to present case material, recent literature suggests that simplifying case material is favorable. Accordingly, the current study manipulated two instructional techniques, incremental case presentation and forecasting outcomes, in a training environment in an attempt to better understand the utility of simplified versus complicated case presentation for learning. Findings suggest that pairing these two cognitively demanding techniques reduces satisfaction and detracts (...) from the effectiveness of the learning approach. Implications regarding the use of instructional techniques in training programs are discussed. (shrink)
In this paper, we consider the licensing of and codes of ethics that affect the accountant not in public accounting, the potential for an accountant not in public accounting encountering an ethical conflict situation, and the moral responsibility of such accountant when faced with an ethical dilemma. We review an approach suggested by the National Association of Accountants for dealing with an ethical conflict situation including that association's position on whistleblowing. We propose another approach based on the work of De (...) George (1981), in which both internal and external whistleblowing are possible alternatives, for use by management accountants in an ethical conflict situation. Finally, we consider the implications of our analysis for management accounting. While most of the analysis centers on management accountants, we note the likely applicability of the analysis to accountants in the public sector. (shrink)
Objectives To evaluate whether the requirement of “minimal risk and burden” for paediatric research without direct benefit to the subjects compromises the ability to obtain data necessary for improving paediatric care. To provide evidence-based reflections on the EU recommendation that allows for a higher level of risk. Design and setting Systematic analysis of the approval/rejection decisions made by the Dutch Central Committee on Research involving Human Subjects (CCMO). Review methods The analysis included 165 proposals for paediatric research without direct benefit (...) that were reviewed by the CCMO between January, 2000, and July, 2007. A separate, in-depth analysis of all drug studies included 18 early phase drug studies and nine other drug studies without direct benefit. Results 11 out of 165 studies were definitively rejected because the CCMO did not regard the risk and/or burden to be minimal. In three of these 11 cases (including two early phase drug studies) the requirement of minimal risk and burden was cited as the only reason for rejection. Four other early phase drug studies also involved risks and/or burdens that were not regarded to be minimal but were nevertheless approved. Conclusions The requirement of minimal risk and burden, aiming to protect research subjects, occasionally leads to rejection of protocols. Early phase drug studies relatively often do not comply with the requirement. Committees may find ways to approve important studies that formally should be rejected, but that is not a desirable solution. The regulatory framework should be revised to make such occasional exceptions to the requirement legitimate and transparent. (shrink)
Through the process of domestication the genetic make-up of farm animals can be changed by means of either selective breeding or genetic engineering. This paper is about the ethical limits to such genetic changes. It is suggested that the ethical significance of domestication has become clear recently in the light of genetic engineering, but that the problem has been there all along. Two ethical approaches to domestication are presented, genetic integrity and animal welfare. It is argued that the welfare approach (...) is superior. Finally, five ethical hypotheses based on the welfare approach are presented. (shrink)
People with mild to moderate intellectual or multiple disabilities may have serious difficulties in accessing leisure events, managing communication exchanges with distant partners, and performing functional daily activities. Recently, efforts were made to develop and assess technology-aided programs aimed at supporting people in all three areas. This study assessed a new technology-aided program aimed at helping four participants with intellectual and multiple disabilities in the aforementioned areas. The program, which was implemented following a non-concurrent multiple baseline across participants design, relied (...) on the use of a smartphone or tablet connected via Bluetooth to a two-switch device. This device served to select leisure and communication events and to control the smartphone or tablet’s delivery of step instructions for the activities scheduled. Data showed that during the baseline phase, three participants failed in each of the areas while one participant managed to access a few leisure events. During the intervention phase, all participants managed to independently access leisure events, make telephone calls, and carry out activities. These results suggest that the program might be a useful tool for helping people with intellectual and multiple disabilities improve their condition in basic areas of daily life. (shrink)
A literature search was conducted on studies of new drugs used with patients with schizophrenia reported by U.S. and non-U.S. researchers from 1966–1993, yielding 41 U.S., and a total of 24 other non-U.S. studies, among them 11 British studies. Results of the U.S. and non-U.S. studies were pooled separately and compared. Among several comparable conditions discussed, the lack of any data on suicides in the U.S. studies was observed. For a second statistical analysis of suicide rates ‘person-years’ were calculated to (...) adjust for differing washout durations. The results obtained include findings that the percentage of patients relapsing in U.S. studies was slightly lower than in non-U.S. studies ; the percentage of patients dropping out in U.S. studies was higher than in non-U.S. studies ; known location of dropout patients in U.S. studies was 1.7%, compared to 2.6% in non-U.S. studies. The most interesting finding was that no suicides were reported in U.S. studies, compared to 0.6% of patients reported in British studies. Some U.S. studies used ‘challenge doses’, such as amphetamines or L-dopa; no non-U.S. studies reported their use. Compared to U.S. studies, those by non-U.S., and particularly British, researchers appeared to report adverse events in their studies. ‘Challenge’ drugs were not used; suicides were reported. It is estimated that the probability that no patients suicided who participated in the U.S. is small—one in 500. (shrink)
Both target papers cite evidence from infancy and early childhood to support the notion of human musicality as a somewhat static suite of capacities; however, in our view they do not adequately acknowledge the critical role of developmental timing, the acquisition process, or the dynamics of social learning, especially during later periods of development such as middle childhood.
Cartesianer und Wittgensteinianer diskutieren über die logischen Grundlagen der Empfindungssprache. Mit einem Gedankenexperiment suggeriert der Cartesianer die Notwendigkeit, "private Objekte" anzunehmen. Der Wittgensteinianer deckt die "grammatische Täuschung" auf, der der Cartesianer dabei unterliegt. Nun sucht dieser, seinen Ansatz zu retten, indem er die Empfindungen des anderen als "theoretische Entitäten" (etwa im Rahmen der Himphysiologie) konstruiert: Neucartesianismus. Bestimmte empirische Befunde könnten ihn dabei aber in das Dilemma bringen, entweder seine Theorie oder seine "natürliche Einstellung" zum anderen Menschen aufzugeben. Allerdings bleibt auch (...) dem Wittgensteinianer ein ähnliches Dilemma letztlich nicht erspart. (shrink)