Even though the strong relationship between proof-theoretic and model-theoretic notions in one’s logical theory can be shown by soundness and completeness proofs, whether we can define the model-theoretic notions by means of the inferences in a proof system is not at all trivial. For instance, provable inferences in a proof system of classical logic in the logical framework do not determine its intended models as shown by Carnap (Formalization of logic, Harvard University Press, Cambridge, 1943), i.e., there are non-Boolean models (...) that satisfy its provable inferences. In the literature, this is known as the Categoricity problem or Carnap’s problem. In this paper, we will discuss the Categoricity problem (or Carnap’s problem) for three-valued logics K3 and LP. We will provide three different restrictions on admissible models that will deliver us categoricity results, some of which draw from the solutions provided for the Categoricity problem for classical logic in Belnap and Massey (Stud Log 49(1):67–82, 1990) and Bonnay and Westerståhl (Erkenntis 81(4):721–739, 2016). We will then argue that two of those solutions are philosophically well-motivated: (1) restricting the admissible models where negation is interpreted as a Strong Kleene truth-function, and (2) restricting the admissible models where a complex formula is assigned the third value when its immediate subformulas are assigned the third value. (shrink)

Frame semantics for negation on the Australian Plan accommodates many different negations, but it falls short on accommodating subminimal negation when the language contains conjunction and disjunction. In this paper, I will present a multi-relational frame semantics –multi-incompatibility frame semantics– that can accommodate subminimal negation. I will first argue that multi-incompatibility frames are in accordance with the philosophical motivations behind negation on the Australian Plan, namely its modal and exclusion-expressing nature. Then, I will prove the soundness and completeness results of (...) a subminimal logic that consists of the multi-incompatibility semantics and a proof system with operational rules that characterize subminimal negation, conjunction and disjunction. Lastly, I will prove some key correspondence theorems that relate frame conditions to certain principles that are associated with stronger negations, which will give rise to a new kite of negations that includes subminimal negation. (shrink)

The aim of this study is to explore the influence of religious beliefs on the work-related attitudes of Turkish SME (small and medium-sized enterprise) owner-managers. In this research, the emergence of pious or devout business people is considered as a phenomenon, and special attention is paid to religious transformation and secularism in Turkey. Both concepts, religion and secularism, are considered within the Turkish context. For the research, in-depth interviews were conducted with 32 Turkish business people from religious and secular backgrounds, (...) respectively. The study investigates the so-called “Islamic work ethic” values and Islamic business principles from a critical perspective and argues that they do not seem to be as significant factors as predicted in the emergence of pious or devout business people in Turkey. (shrink)

This article enlarges classical syllogistic logic with assertions having to do with comparisons between the sizes of sets. So it concerns a logical system whose sentences are of the following forms: Allxareyand Somexarey, There are at least as manyxasy, and There are morexthany. Herexandyrange over subsets (not elements) of a giveninfiniteset. Moreover,xandymay appear complemented (i.e., as$\bar{x}$and$\bar{y}$), with the natural meaning. We formulate a logic for our language that is based on the classical syllogistic. The main result is a soundness/completeness theorem. (...) There are efficient algorithms for proof search and model construction. (shrink)

The aim of this paper is to provide a contribution to the natural logic program which explores logics in natural language. The paper offers two logics called \ \) and \ \) for dealing with inference involving simple sentences with transitive verbs and ditransitive verbs and quantified noun phrases in subject and object position. With this purpose, the relational logics are introduced and a model-theoretic proof of decidability for they are presented. In the present paper we develop algebraic semantics of (...) the logics using congruence theory. (shrink)

This paper proposes a formalization of the class of sentences quantified by most, which is also interpreted as proportion of or majority of depending on the domain of discourse. We consider sentences of the form “Most A are B”, where A and B are plural nouns and the interpretations of A and B are infinite subsets of \. There are two widely used semantics for Most A are B: \ > C \) and \ > \dfrac{C}{2} \), where C denotes (...) the cardinality of a given finite set X. Although is more descriptive than, it also produces a considerable amount of insensitivity for certain sets. Since the quantifier most has a solid cardinal behaviour under the interpretation majority and has a slightly more statistical behaviour under the interpretation proportional of, we consider an alternative approach in deciding quantity-related statements regarding infinite sets. For this we introduce a new semantics using natural density for sentences in which interpretations of their nouns are infinite subsets of \, along with a list of the axiomatization of the concept of natural density. In other words, we take the standard definition of the semantics of most but define it as applying to finite approximations of infinite sets computed to the limit. (shrink)

In this study, the relationship between adolescents' perception of God, forgiveness inclination and anger was examined. For this purpose, it was determined whether the perception of God, forgiveness inclination, the trait anger and anger expression styles of the adolescents studying in different educational institutions differ according to demographic variables and the relationship between the adolescents' perception of God, forgiveness inclination and anger was determined. The sample of the study consists of 596 10th grade students studying in different types of high (...) schools in the city center of Ankara. The Demographic Information Form, The Forgiveness Inclination Scale, The God Perception Scale, The Trait Anger and Anger Expression Style Scale were used as data collection tools. The obtained data were analyzed with the unrelated samples t test when the scale scores of the two-category variables were normally distributed and with the Mann-Whitney U test when there was no normal distribution. For variables with more than two categories, the analysis of variance (ANOVA) was used in cases where the scale scores were normally distributed, and the Kruskal-Wallis H test was used in cases where the normal distribution could not be determined. As a result of the research, statistically significant differences were found in the scores of the sub-dimensions of the scales applied according to the demographic variables. In addition between the Forgiveness Inclination Scale distancing sub- dimension and trait anger, anger-out dimensions; It was determined that there was a positive, moderately statistically significant relationship between the forgiveness inclination scale revenge sub- dimension and trait anger, anger-in, anger-out dimensions. The findings were discussed in the light of the literature. (shrink)

Investing in research is a long-term, risky proposition. In agriculture, it could take fifteen years or more for a research finding to show an improvement in a farmer’s field. Yet, research institutions, like other organizations it needs to be evaluated. For more than twenty years, independent panels of outside experts have evaluated each of the international research centers that the Consultative Group of International Agricultural Research (CGIAR) supports. This paper examines the evolution of this review system, outlines the key methodological (...) challenges faced, and draws lessons for others engaged in evaluating research institutions. It notes that the scope of the CGIAR reviews have been broadened over time in response to users’ concerns. Reviews now cover four dimensions of performance: research results, quality and relevance of research, vision and strategic directions, and management efficiency. The methodological challenges faced in measurement, valuation, and attribution are reviewed, along with practices found to be helpful in addressing these concerns. The paper concludes that the panel approach to institutional evaluation has served CGIAR’s needs well, and recommends it as an evaluation technique for integrating quantitative and qualitative dimensions of institutional performance. (shrink)

Today’s societies face the minorities that want recognition and respect for cultural differences. Kymlicka names it the challenge of multiculturalism. It is considered that identity and recognition problems have recently come to the fore because of a transformation in the perception of subject, truth, reason caused by postmodernism. Kymlicka claims that even if it is more difficult to live together today, it is not because of the so-called post-truth age. In his opinion, we have never reached absolute common grounds before, (...) either. So, it is not true that we cannot get common grounds by we do not believe metaphysical truths anymore. He already believes that a sense of justice does not count on the metaphysical truths, but it can be based on social identities and a sense of belonging. So, he thinks that an overlapping consensus is possible. However, I will defend a different perspective about pluralism and living together. I think that modus vivendi is an undeniable universal fact. For this reason, an overlapping consensus as a model of living together can only be possible domestically at the expense of a global modus vivendi. (shrink)

This paper presents the content of this thematic issue of Diogenes on Asian studies in Turkey. It explains the origins of this set of papers in light of relevant scholarship, relates it to current academic work in the field, and provides a rationale for issuing a volume on Asian scholarship in Turkey.

This paper presents the content of this thematic issue of Diogenes on Asian studies in Turkey. It explains the origins of this set of papers in light of relevant scholarship, relates it to current academic work in the field, and provides a rationale for issuing a volume on Asian scholarship in Turkey.

This paper presents the content of this thematic issue of Diogenes on Asian studies in Turkey. It explains the origins of this set of papers in light of relevant scholarship, relates it to current academic work in the field, and provides a rationale for issuing a volume on Asian scholarship in Turkey.

This paper presents the content of this thematic issue of Diogenes on Asian studies in Turkey. It explains the origins of this set of papers in light of relevant scholarship, relates it to current academic work in the field, and provides a rationale for issuing a volume on Asian scholarship in Turkey.

This paper outlines the development of Asian studies in Turkey from their early years to 2022. A particular focus is put on the development of academic programs at Bogazici University and on the international academic partnerships it entailed. The author argues that the end of the Cold War, the “rise of Asia” in public opinion, the new Asia initiative of the Ministry of Foreign Affairs, as well as the global attraction due to international employment opportunities, represent multiple factors that have (...) accelerated interest in Asian Studies in Turkey. (shrink)

The purpose of this paper is to contribute to the natural logic program which invents logics in natural language. This study presents two logics: a logical system called d R containing transitive verbs and a more expressive logical system R containing both transitive verbs and intersective adjectives. The paper offers three different set-theoretic semantics which are equivalent for the logics.

Tarımsal üretim pek çok ekonomide olduğu gibi Türkiye’de de önemli bir paya sahiptir. Özellikle fındık, çay ve yaş meyvelerin üretimi yakın tarihe kadar bilinçsizce gerçekleştirilse de günümüzde üretim imkânlarının gelişmesi sayesinde az maliyetle yüksek verim alınabilmektedir. Fakat başta miras yoluyla arazilerin bölünmesi, köyden şehre göç olmak üzere çeşitli nedenlerden dolayı ya tarım arazileri sahipleri tarafından terk edilmekte ya da yarıcılığa verilmek suretiyle işlenmeye devam edilmektedir. Halk arasında yarıcılık olarak bilinen bu ortaklıkların temeli, fıkıhtaki müzâraa ve müsâkāt ortaklıklarına dayanmaktadır. Bu çalışmanın (...) amacı halk arasında yarıcılık olarak bilinen ve uygulanan müsâkāt ortaklıklarının fındık bahçelerinde nasıl yapıldığını tespit etmek ve fıkhi problemlere neden olan uygulamadaki aksaklıkların giderilmesi için öneriler geliştirmektedir. Nitel araştırma yönteminin benimsendiği araştırmada, araştırma deseni olarak fenomenolojik yaklaşım kullanılmıştır. Araştırmamızın veri toplama yöntemi yarı yapılandırılmış görüşme ve doküman incelemesidir. Araştırmanın çalışma grubu kartopu örnekleme yöntemiyle seçilen ve daha önce müsâkāt akdi yapmış fındık bahçesi sahibi veya fındık bahçesinin mahsulüne ortak olmuş 8 kişiden oluşmaktadır. Çalışmanın, klasik fıkıhla irtibatının yanı sıra, halk arasında güncel bir uygulamanın nasıl yapıldığını ayrıntılarıyla ortaya koyması açısından sosyolojik, tarımsal üretimi konu edinmesi açısından ise tarım ekonomisini ilgilendiren boyutları bulunmaktadır. Agricultural production has an important role in the Turkish economy as in many countries. However, the hazelnuts, tea and fresh fruits have been produced through inefficient methods for a long time. With the development of technology and new techniques, farmers have started to produce more efficient agricultural production with low costs. The basis of these partnerships, known as sharecroppers among the farmers, is based on muzara’ah and musaqat partnerships in Islamic Law. However, today it is not known whether these partnerships are made in accordance with the conditions of muzara’ah and musaqat agreements. In this study, we investigate how musaqat partnerships are made over hazelnut production, and we also try to detect problems that appear during the partnership. In addition, we offer suggestions to eliminate the detected problems. When the literature on musaqat is examined, it is seen that this partnership agreement is not the subject of research separately, and that the issue is generally discussed in some fiqh issues that concern partnership agreements. During the literature review, it was seen that today there are no studies on how the partnership contract is fulfilled and what problems emerge in terms of Islamic law. The fact that this study directly focuses on the current practices of musaqat partnership and identifies the emerging fiqh problems will fill a gap in the literature. (shrink)

We introduce a novel set-intersection operator called ‘most-intersection’ based on the logical quantifier ‘most’, via natural density of countable sets, to be used in determining the majority chara...