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.

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.

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.

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.

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)

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)

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.

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.

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

This is a review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.

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)

The main feature of NF/NFU is the notion of stratification, which sets it apart from other set theories. We define stratification and prove constructively that every stratified formula has the (unique) least assignment of types. The basic notion of stratification is concerned only with variables, but we extend it to abstraction terms in order to simplify further development. We reflect on nested abstraction terms, proving that they get the expected types. These extensions enable us to check whether some complex formula (...) is stratified without rewriting it in the basic language. We also introduce natural numbers and a variant of the axiom of infinity, in order to precisely introduce type level ordered pairs, which are crucial in simplifying the definitions in the last part of the article. Using these notions we can easily define the sets of ordinal and cardinal numbers, which we show at the end of the article. The same approach can be readily applied to NF. (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)

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)

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)

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)

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)

In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal squaring principle; more precisely, its instance for the (infinite) universe (VCSP), which is a theorem of NFU + Inf + AC. Therefore, we have a justification for proposing a new axiomatic extension of NFU, in order to obtain type-level ordered pairs almost (...) from the beginning. This axiomatic extension is NFU + Inf + AC + VCSP, which is equivalent to NFU + Inf + AC, but easier to reason about. (shrink)

This paper introduces a new theory of constant regions, which generalizes that of interstices, in nonstandard models of arithmetic. In particular, we show that two homogeneity notions introduced by Richard Kaye and the author, namely, constantness and pregenericity, are equivalent. This led to some new characterizations of generic cuts in terms of existential closedness.

A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.

The filtration method is often used to prove the finite model property of modal logics. We adapt this technique to the generalized Veltman semantics for interpretability logics. In order to preserve the defining properties of generalized Veltman models, we use bisimulations to define adequate filtrations. We give an alternative proof of the finite model property of interpretability logic with respect to Veltman models, and we prove the finite model property of the systems and with respect to generalized Veltman models.

_Health Education: Critical perspectives_ provides a socio-cultural and critical approach to health education. The book draws together international experts in the fields of health and education who deconstruct contemporary discourses and practices, and re-imagine a health education that both connects with young people and offers a way forward in addressing issues of health and wellbeing. Chapters within specifically link academic work on neoliberalism, healthism, risk and the body to wider discourses of health and health education. They challenge current practices and (...) call for a re-thinking of current health programs in education settings. A unique feature of this book is the analyses of health education from both political and applied levels across a range of international contexts. The book is divided into three sections: the social and political contexts informing health education how individual health issues articulate in education in complex ways alternative ways to think about health and health education pedagogy. The overall theme of the book offers a perspective that the current approach to health education – promoting a fear of ill health, self-surveillance and individual responsibility – can become a form of health fascism, and we need to be cognisant of this potential and its consequences for young people. The book will be of key interest to academics and researchers exploring the political context of health education. (shrink)

Sobre la base de una línea interpretativa propiciada por la misma doctrina de Plotino, este trabajo pretende estudiar el problema que conlleva el fin último del alma humana en vista de su ascenso hacia el Uno-Bien. En varios pasajes de su obra, el filósofo sostiene que, conociendo el propio sí-mismo, se puede tomar contacto con un principio supremo, anterior incluso a la potencia intelectiva, en virtud de cuya visión es dable gozar de un amor sin medida. El remate en la (...) unificación no depende en última instancia del acierto racional, sino de concordar en el mismo centro con aquello de semejante al Uno-Bien que hay en el alma. Estas distinciones abonarían la posibilidad de una unión mística dentro del sistema plotiniano. Sin embargo, desde el punto de vista epistemológico, el estatuto místico es controvertido y plantea una serie dificultades teóricas que es necesario dilucidar. Para el análisis de los tópicos mentados se desarrolla una lectura a la vez hermenéutica y crítica tanto de las fuentes como de la bibliografía erudita. (shrink)

A class of Kripke models is modally definable if there is a set of modal formulas such that the class consists exactly of models on which every formula from that set is globally true. In this paper, a class is also considered definable if there is a set of formulas such that it consists exactly of models in which every formula from that set is satisfiable. The notion of modal definability is then generalized by combining these two. For thus obtained (...) types of modal definability on the level of Kripke models, we give characterization theorems in the usual form, in terms of algebraic closure conditions. As some consequences of these, various preservation results are presented. Also, some characterizations are strengthened by replacing closure under ultraproducts with closure under ultrapowers. (shrink)

This paper starts by investigating Ackermann's interpretation of finite set theory in the natural numbers. We give a formal version of this interpretation from Peano arithmetic (PA) to Zermelo-Fraenkel set theory with the infinity axiom negated (ZF−inf) and provide an inverse interpretation going the other way. In particular, we emphasize the precise axiomatization of our set theory that is required and point out the necessity of the axiom of transitive containment or (equivalently) the axiom scheme of ∈-induction. This clarifies the (...) nature of the equivalence of PA and ZF−inf and corrects some errors in the literature. We also survey the restrictions of the Ackermann interpretation and its inverse to subsystems of PA and ZF−inf, where full induction, replacement, or separation is not assumed. The paper concludes with a discussion on the problems one faces when the totality of exponentiation fails, or when the existence of unordered pairs or power sets is not guaranteed. (shrink)

We can formalize judgments as logical formulas. Judgment aggregation deals with judgments of several agents, which need to be aggregated to a collective judgment. There are several logical formalizations of judgment aggregation. This paper focuses on a modal formalization which nicely expresses classical properties of judgment aggregation rules and famous results of social choice theory, like Arrow’s impossibility theorem. A natural deduction system for modal logic of judgment aggregation is presented in this paper. The system is sound and complete. As (...) an example of derivation, a formal proof of Arrow’s impossibility theorem is given. (shrink)

The current study aimed to investigate the extent to which familial history of reading and math difficulties have an impact on children’s academic outcomes within a 3-year longitudinal study, which evaluated their core reading and math skills after first and second grades, as well as performance on complex academic tasks after second and third grades. At baseline, parents were asked to complete the Adult Reading History Questionnaire and its adaption, Adult Math History Questionnaire, to index familial history of reading and (...) math difficulties, respectively. Preliminary findings established the psychometric properties of the AMHQ, suggesting that it is a reliable and valid scale. Correlation analyses indicated that the ARHQ was negatively associated with children’s reading skills, whereas the AMHQ was negatively related to math outcomes. Path results revealed that the ARHQ predicted children’s performance on complex reading tasks indirectly via their core reading skills, and the AMHQ was linked to complex math outcomes indirectly via core math abilities. The ARHQ was also found to be negatively correlated with measures of children’s math performance, with path findings suggesting that these relations were indirectly explained by differences in their core reading skills. These results suggest that assessing familial risk for academic difficulties may be crucial to understanding comorbid etiological and developmental associations between reading and math differences. (shrink)