This article shows how, in recent works of cultural analysis, the concept of ‘assemblage’ has been been derived from key sources of theory and put to work to provide a structure-like surrogate to express certain prominent values of a modernist sensibility in the discourse of description and analysis. Assemblage is a sort of anti-structural concept that permits the researcher to speak of emergence, heterogeneity, the decentred and the ephemeral in nonetheless ordered social life. There are other related concepts, like collage, (...) which have been used to give these values substance in research, but currently assemblage is enjoying a popularity perhaps because of the continuing fascination of the work of Deleuze and Guattari. (shrink)

Bu makalede 16. yüzyılın sonlarında Osmanlı hareminde güçlü bir konuma gelen Kethüdâ Canfedâ Hatun’un inşa ettirdiği mimari eserler ele alınmıştır. III. Murad döneminde (1574-1595) haremin en etkin kadın banilerinden birisi olan Canfedâ Hatun’un İstanbul ve İzmit’te cami, sıbyan mektebi, hamam, çeşme, köprü, su sarnıcı gibi farklı türden yapılar inşa ya da ihya ettirdiği görülmektedir. Canfeda Hatun’un ihya ettirdiği Mimar Ayas Camii ve inşa ettirdiği Saraçhane Sebili günümüze ulaşamamıştır. Gedikpaşa’daki çeşme ise ikinci bir bani tarafından yeniden inşa edilmiştir. Makalede Canfedâ Hatun’un (...) inşa ettirdiği eserlerin mevcut durumları, mimari ve süsleme özellikleri, zaman içerisindeki değişimleri ve geçirdikleri onarımlar fotoğraflar, çizimler ve arşiv belgeleriyle ortaya konulmaya çalışılmıştır. Yapılar benzer örneklerle karşılaştırılarak mimari ve süsleme unsurları açısından değerlendirilmiştir. Bu amaç doğrultusunda öncelikle Canfedâ Hatun’un hayatına ve Osmanlı Mimarisi’nde kadın bânilere dair bilgiler verilmiştir. (shrink)

While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has only recently started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics (...) to artificial intelligence in a unified framework built upon situation-theoretic constructs. (shrink)

Ijmā is ranked as the third shariah evidence after the Qur’ān and Sunnah in the science of Uṣūl. Shafi was the first one who made Uṣūl which had been known and used by the Islamic scholars, into a written document and who ascertained that Ijmā was the third of the shariah evidences. Kalām is one of the sciences in which Ijmā evidence is used. The scholars of Kalām used this evidence as far as the science of Uṣūl made it possible. (...) They always used it without changing any basics of religious beliefs and acceptances. That the aqidah of Ahl al-Sunnah has been supported with Ijmā which is regarded as one of naqly evidences, played an important role in eliminating suspicions which were tried to be aroused in momins’ mind. In this article, the function and importance of Ijmā evidence, which is one of the primary sources of the science of Uṣūl, in the science of Kalām and Aqidah of Ahl al-Sunnah has been studied.SummaryWhat the Qur’ān demands from us is to emphasize the spirit of unity among ummah and to keep out the factors that could trigger separation and division. Indeed, Allah emphasizes in the following verses in the Qur’ān on the protection of the unitary structure of the ummah: “And hold firmly to the rope of Allah all together and do not become divided” (Āl a-Imrān 3/103) and “And do not be like the ones who became divided and differed after the clear proofs had come to them” (Āl al-Imrān 3/105). Allah has commanded the Ulul ‘Azm Prophets to hold the religion upright and to avoid division. (al-Shūrā 42/13). The command of holding the religion upright and not to be divided in this religion means to certify what needs to be confirmed in the religion of Allah and to obey those that must be obeyed. This is also the proclamation of the principle of religion that all the prophets have consensus over.Ahl al-Sunnah understanding of Islam is identical to the understanding of the Prophet and his companions. For this reason, Ahl al-Sunna is the school that represents the main backbone of Islam. In Ahl al-Sunna, in many subjects, be it usūlî / primary or furū’ī / secondary, there has been ijmā. These ijmās are Sahaba ijmās and deductive ijmās that come from mutakallimūn (theologians) ijtihāds. Therefore, ijmā and ijtihād are closely connected to each other. Ijmā is supported by ijtihād and ijtihād is also the source of ijmā. Thus, the issue is no longer just a pure ijtihād; it turns out to be a degree that gives a solid knowledge after it has risen to some degree just after the nass/texts.Ahl al- Sunnah theologians are talking about two kinds of ijmā. The first is “ijmā taṣdīqī” (approval consensus) which is the consensus based on Sahaba İjmā. These are the ijmās that occur on the principles called ḍaruratal-diniyya (necessities of the religion), and accepted as solid proofs in religion. Issues such as the principles of faith, obligation of prayer and the fasting are the subjects that are determined by the solid/definite ijmā. Such ijmās are valid approvals on existing provisions. These ijmās based on solid nass (verses and hadiths). Such ijmās do not give any new information. The existing information is strengthened by the alliance of Muslims. In these areas, ijtihād cannot be done and Muslims do not need ijtihād on these issues. There is an consensus of Ahl al-Sunnah scholars about the unfaithfulness of the one who denies one or more of the principles which are accepted as the main obligatory principles in Islam. The other is the “deductive ijmā which the ijtihāds have roles over. This kind of ijmās, are formed as a result of mujtahids’ consensus over the same opinion on the issue of theological secondary issues. The issues related to the secondary theological issues which were open to the ijtihāds and the different results obtained on matters are not accepted as the cause of takfīr. However, depending on the subject he/she can be a sinner. Istidlālī/deductive ijmās are not considered as an independent proofs in ‘Ilm al-Kalām, rather a supportive ones and are considered as textual evidences.Since, texts that are accepted as sources give supposed information. In this regard, the Ahl al-Sunnah scholars accepted other members of the sect who have in secondary theological issues opposed the ijmā of the salaf / predecessor as Ahl al-Qibla, but named them as Ahl al-Bid’a (innovator in religion) because of their opposition to Salaf’s İjmās. Moreover, the scholars of the Ahl al-Sunnah did not see them appropriate to participate in the Ijmās, which could occur between the generations that come after Sahābas/companions.Not all disputes have been criticized in Islam. It is a blessing for the ummah to claim different opinions on the issues subject to ijtihād. Since the ummah, in this way, will bring new solutions to emerging issues and as a result, Islam will have a mechanism to produce a dynamic solution. This can only be possible through ijtihād. Dispute is to propose different views on a subject. If this view is not in the actual matters that could harm the unity of the Ummah, rather in the case of ijtihādi issues, this conflict could turn to be mercy.The reason why the methodists evaluate the ijmā within the scope of the authorized evidence is that because they think it is essential that the ijmā be based on a proof. From this point of view, the alliances that occurred in mental matters were not considered as ijmā. The theologians always tried to support their claims with nass/textual proofs. When the ijmā is realized, whether known or not, they have stated that there is certainly a religious proof behind it. Because, the provisions that were reached through ijmā, cannot be against the provisions of the Prophet.Many issues in Islamic Belief and Kalām works are supported by the mental and textual evidences as well as by deductive ijmā. However, many of the claims of Ijmās in these works reflect the inter-sect ijmās of the Ahl al-Sunnah. The sects outside the Ahl al-Sunnah were excluded. This attitude is, above all, the aim of ensuring the integrity within the sect, and trying to protect the Ahl al-Sunnah belief. Since the ijmā evidence has a function that prevents all kinds of arbitrary and divisive thoughts and turns the supposed knowledge into the qat’ī/certain one, it raises the provision to the next level just after the nass, rather than merely being a ijtihādi provision. In the case of the forerunner of the Ahl al-Sunnah, the Māturīdes and Ash‘arites have not differed in in understanding of ijmā in terms of methodology.Although they have different views on the definition and content of the ijmā, they have a common understanding of alliances of Mujtahids on the same view. The mutakallims (theologians) of Māturīdī and Ash’arī schools have used the proof of ijmā as supportive evidence in the cases related to Kalām. al-Ash’arī not only adopted the proof of ijmā but also used it in practice in. He did not make any distinction in proof of ijmā as practical, theological, methodological or sub-divisional; he used it freely in every field. Māturīdī and Ash’arī scholars decided that the ijmā could occur in religious matters and that there would be evidence when it was formed; In the case of mental issues, they have required the knowledge to be based on solid information. In the case of ijmā in purely mental issues, they have disputed over the issue. While some Ahl al-Sunnah scholars stated that since purely mental matters were certain knowledge and therefore don’t need ijmā, they also ruled that because the mujtahids could get this knowledge from religious texts, therefore ijmā could occur in mental matters as well. (shrink)

Both Peter Sloterdijk and Richard David Precht have characteristics of the so-called media intellectuals in their gesture and appearance and also implicitly refer to the protection of human rights. Whereby Sloterdijk seems to be focused on the rights of the individual and his individual interests, a Richard David Precht is more focused on community as well as individual interests. It will be briefly outlined how they can be viewed as representatives of two media tendencies of the media public in the (...) German public - or to establish certain contradictions. (shrink)

One of the most influential figures in the history of Islamic thought is Fakhr al-Dīn al-Rāzī (d. 606/1210). The identities of mushakkik, which creates problems on many subjects, especially metaphysical and theological ones, the muhaqqiq who tries to solve the problems above the sects, and the jâmî who brings many different views together in the highest concepts, have seriously affected all the thinkers after him. Therefore, in the tradition, all schools had to inherit the philosophical and scientific dynamism that he (...) created and displayed an attitude about the problems he created and the solutions he offered. The real important motive that makes Râzî so indispensable and effective is his problematic identity (mushakkik), which carries the kalām to philosophy and philosophy to kalām, and criticizes philosophy on the basis of the kalām, and the kalām on the basis of philosophy. For this reason, when we look at the works of Râzî, who has been evaluated politically and sociologically within Ash'arism throughout his life, it is clearly seen that he is a thinker who is suitable to be embraced by different schools and to be interpreted in different ways. The fact that many Ahl as-sunnah theologians emphasized the works written by Râzî with a theological-Ash'ari theme, caused his supra-sectarian identity to be overshadowed. On the other hand, it is seen that some thinkers are making an effort to know and recognize Râzî as a philosopher-theologian and muhaqqiq. This effort is clearly seen especially in scientific figures who benefited from Kamaladdin Ibn Yûnus (d. 639/1242) in some way. Afḍal al-Dīn Khūnajī (d. 646/1248), Athir al-Din al-Abharî (d. 663/1265), Najm al-Din al-Qazwinî al-Kâtibî (d. 675/1277) can be given as examples. These personalities, on the one hand, played an active role in the spread of Râzî's scientific heritage and they were effective in bringing Râzî to the fore with his supra-sectarian identity on the other. Sirāj Al-Dīn Al-Urmawî (d. 682/1283), who inherited his scientific legacy, is among the important names who established his identity as a muhaqqiq who mostly solved supra-sectarian problems. Human actions are at the forefront of the issues in which this facility has clearly emerged. Urmawî tries to revise al-Arba'în's expressions, which seem to ignore the power and influence of human beings in terms of human actions as well as criticizing Razi's arguments very seriously. In his work Lübâb, on the one hand, he summarizes al-Erba'în of Razî he seriously criticizes Razi's Ash'ari attitude towards human actions on the other. He does this largely on the axis of the arguments that Râzî himself expressed from his encyclopedic works such as al-Matâlibu'l-'âliyya mina'l-'ilmi'l-ilâhi. It is clear that this is not an ordinary situation. Because human actions are at the forefront of the issues that determine the thinkers' conception of divinity and the relationship between God and man. In this study, Râzî's attitude on this issue and Urmavi's philosophical and theological criticisms will be tried to be determined. Thus, it is clearly seen that he is trying to establish Râzî as a muhaqqiq in the axis of human actions. (shrink)

Serious thinking about the computational aspects of situation theory is just starting. There have been some recent proposals in this direction (viz. PROSIT and ASTL), with varying degrees of divergence from the ontology of the theory. We believe that a programming environment incorporating bona fide situation-theoretic constructs is needed and describe our very recent BABY-SIT implementation. A detailed critical account of PROSIT and ASTL is also offered in order to compare our system with these pioneering and influential frameworks.

While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has just started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics to (...) artificial intelligence in a unified framework built upon situation-theoretic constructs. (shrink)

In recent decades there has been growing concern about the combined undesired consequences of rapid economic growth, based on the free market movement, and developments in science and technology. This concern has placed the sustainable development concept on the world's agenda. The notion of sustainability, which originally referred mostly to the environmental consequences of human activities, along with their economic and social aspects, has been discussed not only at the national and the global levels but also in relation to particular (...) sectors of the economy. One such sector is agriculture, which to be sustainable must be ecologically sound, economically viable, and socially responsible. Unless current trade and agricultural policies are geared to creating such a structure, sustainability will be no more than a myth in the industrialized and globalized world, while considerable numbers of people will be left struggling with hunger and poverty. Ethical, fair trade and ecologic agricultural practices, such as organic farming, have been suggested as alternatives to existing practices. However, with their current and potential size, these alternatives cannot compete with existing production and trade systems. But these alternatives nevertheless highlight the main problems of current day free trade and industrialized agriculture structures and their related solutions.This paper reviews the concepts of sustainable development and sustainable agriculture: it raises the question whether the world-wide free market economy is really free, and it considers the undesired consequences of this economy by focusing on the relationship between sustainable agriculture and agriculture-related trade policies. (shrink)

We describe a novel approach to the analysis of pronominal anaphora in Turkish. A computational medium which is based on situation theory is used as our implementation tool. The task of resolving pronominal anaphora is demonstrated in this environment which employs situation-theoretic constructs for processing.

Formalizing commonsense knowledge for reasoning about time has long been a central issue in AI. It has been recognized that the existing formalisms do not provide satisfactory solutions to some fundamental problems, viz. the frame problem. Moreover, it has turned out that the inferences drawn do not always coincide with those one had intended when one wrote the axioms. These issues call for a well-defined formalism and useful computational utilities for reasoning about time and change. Yoav Shoham of Stanford University (...) introduced in his 1986 Yale doctoral thesis an appealing temporal nonmonotonic logic and identified a class of theories, causal theories, which have computationally simple model-theoretic properties. This paper is a study towards building upon Shoham's work on causal theories. We concentrate on improving computational aspects of causal theories while preserving their model-theoretic properties. (shrink)

We extend causal theories and study actions in domains involving multiple agents. Causal theories, invented by Yoav Shoham, are based on a temporal nonmonotonic logic and have computationally tractable aspects. Since Shoham's formalism does not provide an adequate mechanism for representing simultaneous actions and specifying their consequences, we introduce the notion of counteractions while preserving the efficiency and model-theoretic properties of causal theories.

According to truth-conditional semantics, to explain the meaning of a statement is to specify the conditions necessary and sufficient for its truth. This book develops a more radical mentalist semantics by shifting the object of semantic inquiry. Classical semantics analyzes an abstract sentence or utterance such as "Grass is green"; in attitudinal semantics the object of inquiry is a propositional attitude such as "Speaker so-and-so thinks grass is green".

After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.

Situation theory has been developed over the last decade and various versions of the theory have been applied to a number of linguistic issues. However, not much work has been done in regard to its computational aspects. In this paper, we review the existing approaches towards 'computational situation theory' with considerable emphasis on our own research.

Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.

Quote marks, I claim, serve to select from the multiple ostensions that are produced whenever any expression is uttered; they act to constrain pragmatic ambiguity or indeterminacy. My argument proceeds by showing that the proffered account fares better than its rivals-the Name, Description, Demonstrative, and Identity Theories. Along the way I shall need to explain and emphasize that quoting is not simply the same thing as mentioning. Quoting, but not mentioning, relies on the use of conventional devices.

Moral philosophers widely believe that it is a part of the MEANING of 'ought' statements that they imply 'can' statements. To this thesis I offer three challenges, and then I conclude on a broader methodological note. (1) Epistemological Modal Argument: for all we know, determinism is true; determinism contradicts “ought implies can”; therefore we don’t know that 'ought' implies 'can'. (2) Metaphysical Modal Argument: determinism is conceptually possible; determinism contradicts “ought implies can”; therefore “ought implies can” is not an analytic (...) truth. (3) Semantic Argument: “You ought to X” is equivalent to “Do X!”; but “Do X!” does not entail that you can X, according to leading analyses of the imperative. (4) My two modal arguments are epistemologically significant, for they illustrate a general method for refuting a whole class of argument. (shrink)

We study combinatorial principles known as stick and club. Several variants of these principles and cardinal invariants connected to them are also considered. We introduce a new kind of side by-side product of partial orderings which we call pseudo-product. Using such products, we give several generic extensions where some of these principles hold together with ¬CH and Martin's axiom for countable p.o.-sets. An iterative version of the pseudo-product is used under an inaccessible cardinal to show the consistency of the club (...) principle for every stationary subset of limits of ω1 together with ¬CH and Martin's axiom for countable p.o.-sets. (shrink)

Planlama --- bir amaca ulaşmak üzere bir aksiyonlar bütünü tasarlamak --- yapay zekadaki en temel problemlerden biridir. Bu yazıda, robotikte planlama konusuna mantıkçı (logicist) yaklaşım ele alınmaktadır. [Planning --- devising a plan of action to reach a given goal --- is a fundamental problem in AI. This paper reviews the logicist approach to planning in robotics.].