Locke's conceptualization of sovereignty and its uses, combining theological, social, and political perspectives, testifies to his intellectual profundity that was spurred by his endeavour to re-traditionalize a changing world. First, by relying on the traditional, personalistic notion of polity, Locke developed a concept of sovereignty that bore the same sense of authority as the “right of commanding” attributable only to real persons. Second, he managed to reconcile the unitary nature of sovereignty with the plurality of its uses, mainly through a (...) conception of the dual, vertical separation of functions, which implied degrees rather than kinds of sovereignty. While absolute sovereignty belongs to God, Locke argued, relative sovereignty, separated into “potential” and “actual” sovereignty, is vested in the community on the grounds of the Edenic testament with God. The community, established by a fundamental, single contract, is divided into “society”—to fulfil the function of legislation, which signifies the potential sovereignty of the community, so as to cultivate common law , and into “government”—to undertake the execution, which signifies the actual sovereignty of the king, of common law so as to procure common wealth. (shrink)

Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.

In the ordinary modal language, KD is the modal logic determined by the class of all serial frames. In this paper, we demonstrate that KD is nullary.

The aim of this study, which is a field reseach, is to determine the level of religiosity and subjective well-being (SWB) of patients with chronic renal failure who are receiving hemodialysis treatment with a descriptive approach and by using socio-psychological methods and to try to determine the relationship between their religiosity and subjective well-being. The sample of the study consists of 205 individuals who were determined by stratified random sampling method from the patients treated in Turkish Ministry of Health, Hitit (...) University Çorum Erol Olçok Training and Research Hospital and Çorum District Dialysis Units. 54.1% (n=111) of the participants are males and 45.9% (n=94) are females. Data was collected via a “Religiosity Inventory”, developed by Kula, and “Subjective Well-Being Scale”, developed by Dost, to determine participants’ religiosity and subjective well-being as well as a personal information form to determine demographic characteristics. Statistical analysis of the data showed significant differences and relationships between demographic variables, religiosity, and subjective well-being. Moreover, a statistically significant relationship between the levels of religiousness and subjective well-being of the participants was found and that religiosity accounts for 31.9% of subjective well-being variance. The findings of the study show that the major hypotheses and sub-hypotheses have statistically been validated and that religiosity is a significant and important predictor of subjective well-being.Summary: Throughout history, existential questions and the answers sought for these questions have remained important for human beings. Human beings have always wondered about life, meaning of life, death, after death and pursued meaning systems that will satisfy this curiosity. While various thinkers and philosophers put forward opinions about the secrets of life; religion has presented the transcendent dimension to the individual as a source of meaning. Thus, the individual has found the definitive answer to many of his questions about existence in religion, and this sense of certainty has contributed positively to his psychological well-being. However, human beings may also face disasters, diseases or adversities in the natural flow of life and sometimes unexpectedly, such situations make them desperate. Desperation creates a feeling of loneliness in the person and this can trigger a sense of meaninglessness for him. The feeling of vacuum in the inner world of the individual who struggles with difficulty or the sense of meaninglessness somehow affects his subjective well-being.From this perspective the subject of the study is the effect of religiosity levels on subjective well-being of individuals who are struggling with chronic renal failure and have experienced a compelling treatment process such as hemodialysis. The aim of this study is to determine the level of religiosity and subjective well-being of these patients. The sample of the study consists of 205 individuals who were determined by stratified random sampling method from the patients treated in Turkish Ministry of Health, Hitit University Çorum Erol Olçok Training and Research Hospital and Çorum District Dialysis Units.The major hypothesis of the study is “The religiosity levels of hemodialysis patients have a significant effect on their subjective well-being.” Further sub-hypotheses are as follows: 1. Women’s religiosity is higher than men’s. 2. There is a significant relationship between the perception of subjective happiness and religiosity levels of the participants. The subjective happiness perception levels of the individuals with high religiosity scores are also high. 3. There is no significant difference between the SWB levels of the participants according to gender variable. 4. There is a significant relationship between the perception of subjective religiosity and SWB levels of participants. According to this; subjective well-being increases as the person’s self-religious perception levels increase.5. There is a significant positive relationship between the religiosity scores of the participants and SWB scores. 6. Religiosity is a significant predictor of subjective well-being. Thus; the SWB level is expected to increase as the religiosity scores increase.The data of the study was obtained by using Personal Information Form prepared by the researcher, Kula’s Religiosity Inventory and Dost’s Subjective Well-Being Scale. The study was conducted in hospitals. After getting the necessary legal permissions and consent of the patients, the patients were informed about the study and the study was conducted on a voluntary basis. The questionnaires were applied by the researcher in person through face-to-face interviews with patients in hospitals, sometimes on weekdays and sometimes on Saturdays. Together with the physician of the hemodialysis unit, district hospitals were visited to reach the target group receiving treatment in these districts.In accordance with the relational screening model, the data of the study was analyzed with SPSS 16.0 package program. The mean (x̄) and standard deviation (ss) scores of the Religiosity Inventory and Subjective Well-Being Scale were calculated according to independent variables and tables were created. The significance of the difference between the two means obtained from two independent sample groups was determined by independent samples t-test for independent samples. One-way Varayns analysis (ANOVA) was used to test hypotheses about whether there was a difference between the means of more than two sample groups. In case of significant differences between means, LSD test and Tamhane’s T2 test from post-hoc multiple comparison tests were usedand the direction of the differences were determined as such. To determine the relationship between two continuous variables, religiosity and subjective well-being, Pearson Moments Correlation Analysis technique was used, and Simple Linear Regression analysis was performed to determine how much religiosity explains the changes observed in the dependent variable. The significance of the obtained statistics was tested at 0.05 level and bidirectional and the analysis values were presented in sequential tables in accordance with the purpose of the research. It is possible to summarize the findings of the study as follows:• 45.9% (n=94) of the sample are women and 54.1% (n=111) are men. According to subjective evaluations, 55.6% of the sample considers themselves as happy and very happy and 79.5% defines themselves as religious and very religious. According to the findings, subjective religiosity perception is higher in patients than subjective happiness perception. • The sample group has a high level of religiosity ( x̄ =4,3713).• There is a significant difference between gender and general religiosity (t=2,933; p=,004; p 0.05). However there is a difference in the SWB averages of male and female participants, women scored higher (x̄=3,8309) in SWB than men (x̄=3,7135). • A significant relationship has been found between subjective religiosity perception and SWB level of the sample (F=12,345; p=,000, p<0.05). SWB levels increased with increasing subjective religiosity. Further, there is a significant relationship between “slightly religious” (x̄=3,3439), “religious” (x̄=3,7737) and “very religious” (x̄=4,1363) groups and SWB level. There is also a steady increase in the mean scores of SWB from “not at all religious” to “very religious”. • A positive and moderately significant relationship has been found between general religiosity and general SWB (r=,565, p<0.01). • According to the results of regression analysis to determine whether total religiosity in HD patients is a significant predictor of subjective well-being; religiosity explaines 31.9% of the variance in subjective well-being. This result shows that one of the important determinants of SWB in HD patients is religiousness. Religiosity is a significant and important predictor of subjective well-being, and increased religiosity directly affects the SWB levels of HD patients. In addition, the basic hypothesis and sub-hypotheses were validated statistically at the end of the study. (shrink)

In [5] Phillips proved that one can obtain the additive group of any nonstandard model *ℤ of the ring ℤ of integers by using a linear mod 1 function h : F ℚ, where F is the α-dimensional vector space over ℚ when α is the cardinality of *ℤ. In this connection it arises the question whether there are linear mod 1 functions which are neither addition nor quasi-linear. We prove that this is the case.

It is already known that unifiable formulas in normal modal logic |$\textbf {K}+\square ^{2}\bot $| are either finitary or unitary and unifiable formulas in normal modal logic |$\textbf {Alt}_{1}+\square ^{2}\bot $| are unitary. In this paper, we prove that for all |$d{\geq }3$|⁠, unifiable formulas in normal modal logic |$\textbf {K}+\square ^{d}\bot $| are either finitary or unitary and unifiable formulas in normal modal logic |$\textbf {Alt}_{1}+\square ^{d}\bot $| are unitary.

The unification problem in a normal modal logic is to determine, given a formula.

Contact Logics provide a natural framework for representing and reasoning about regions in several areas of computer science. In this paper, we focus our attention on reasoning methods for Contact Logics and address the satisfiability problem and the unifiability problem. Firstly, we give sound and complete tableaux-based decision procedures in Contact Logics and we obtain new results about the decidability/complexity of the satisfiability problem in these logics. Secondly, we address the computability of the unifiability problem in Contact Logics and we (...) obtain new results about the unification type of the unifiability problem in these logics. (shrink)

The product of two |$\textbf {Alt}$| logics possesses the polynomial product finite model property and its membership problem is |$\textbf {coNP}$|-complete. Using a reduction from an undecidable domino-tiling problem, we prove that its admissibility problem is undecidable.

ABSTRACT We1 study unification of formulas in modal logics and consider logics which are equivalent w.r.t. unification of formulas. A criteria is given for equivalence w.r.t. unification via existence or persistent formulas. A complete syntactic description of all formulas which are non-unifiable in wide classes of modal logics is given. Passive inference rules are considered, it is shown that in any modal logic over D4 there is a finite basis for passive rules.

We study quasi-characterizing inference rules (this notion was introduced into consideration by A. Citkin (1977). The main result of our paper is a complete description of all self-admissible quasi-characterizing inference rules. It is shown that a quasi-characterizing rule is self-admissible iff the frame of the algebra generating this rule is not rigid. We also prove that self-admissible rules are always admissible in canonical, in a sense, logics S4 or IPC regarding the type of algebra generating rules.