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)

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.

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...

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 study proposes a reassessment of the social and political thought of Ziya Gökalp, the most influential ideologue of Turkish nationalism. Challenging the still ubiquitous trend which emphasizes the influence of Western ideas to explain the dominant intellectual currents of the late Ottoman Empire, this article locates Gökalp’s thought in the continuity of Ottoman-Islamic intellectual tradition. Indeed, Gökalp’s thought incorporates and appropriates many concepts, arguments and definitions present in that tradition as well as the tensions existing in the historical narratives (...) of Ottoman and Islamic history. As evidence of this continuity, the first part focuses on the dual concepts of medeniyet and hars in Gökalp’s thought and demonstrates his use of traditional vocabulary and the historical tension between Sufi Islam and orthodox-legal Islam in defining these two categories. Gökalp’s idealism and his celebration of Durkheimian sociology also rest on a particular interpretation of Sufi tradition. Accordingly, the second part deals with the political concepts Gökalp uses, particularly tecdîd, and demonstrates how Gökalp’s usage is comparable to other Ottoman authors from the eighteenth century onwards, and reflects the quest for the qualities that once made the Empire great. In the light of these findings, the article proposes a dynamic and inclusive concept of tradition and concludes with some methodological reflections on the practice of intellectual history in the late Ottoman context. Keywords: Ziya Gökalp, Sufism, Islamic revivalism, tradition, impact of the West, Ibn Khaldun, culture and civilization. (shrink)

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)

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)

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)

Atheism, which does not accept belief in God, criticizes all religions that include this belief. Especially modern period atheism tries to make many of its criticisms in the name of scientific and tries to spread its ideas with this method. The same method is followed in our country. Atheism is tried to be spread through publications such as many websites, social media accounts, articles, journals and books. The religion on which atheists focus their activi-ties in our country and make various (...) criticisms is naturally Islam. Atheists try to use science and highlight freedom of thought while voicing their claims against Islam, which the majority of the society believes in, since atheism does not have a serious equivalent in Turkish society. Criticisms of atheism regarding religion in our country are gathered in the center of Islam, Hz. Muhammad and Quran. Especially It is claimed that Hz. Muhammad never lived, therefore it is impossible to talk about an Islam and the Quran that he preached, and that the Umayyads, who became a great empire, invented Islam and Quran in their current sense in order to ensure the continuity of the state. Atheists relate these and similar claims to some parts of the Prophet's life. Therefore, there are many claims about Sîrah and they need to be examined. Until today, no Turkish study in the field of Sîrah has been determined regarding these claims made about the life of the Prophet. In this study, in order to fill the mentioned gap in the field, firstly, some claims of atheists regarding Mecca period were determined; These claims were classified according to their subjects and evaluated in terms of sîrah. Atheists, who attach importance to freedom of belief and thought and express these frequently, when turn into their ideas about Islam and Muslims from thought to action, writing, etc.; It has been observed that these sensitivities have disappeared. Specific to the period examined, it has been determined that atheists aimed to reject the Prophet and Islam completely and shaped his writings accordingly, and often did not include important details about the subjects on which they made claims. In addition, there is a lack of scientific literature and information; It is seen that many topics are distorted from their main media. (shrink)

In everyday life, situations in which we act adequately yet entirely without deliberation are ubiquitous. We use the term “situated normativity” for the normative aspect of embodied cognition in skillful action. Wittgenstein’s notion of “directed discontent” refers to a context-sensitive reaction of appreciation in skillful action. Extending this notion from the domain of expertise to that of adequate everyday action, we examine phenomenologically the question of what happens when skilled individuals act correctly with instinctive ease. This question invites exploratory contributions (...) from a variety of perspectives complementary to the philosophical/ phenomenological one, including cognitive neuroscience, neurodynamics and psychology. Along such lines we try to make the normative aspect of adequate immediate action better accessible to empirical research. After introducing the idea that “valence” is a forerunner of directed discontent, we propose to make progress on this by first pursuing a more restricted exploratory question, namely, ‘what happens in the first few hundred milliseconds of the development of directed discontent?’. (shrink)