Online research in philosophy

These notes discuss formalizing contexts as first class objects. The basic relationships are: ist(c,p) meaning that the proposition p is true in the context c, and value(c,p) designating the value of the term e in the context c Besides these, there are lifting formulas that relate the propositions and terms in subcontexts to possibly more general propositions and terms in the outer context. Subcontextx are often specialised with regard to time, place and terminology. Introducing contexts as formal objects will permit (...) axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems to require further extensions to mathematical logic, ie. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic. (shrink)

Abstract This article examines the Kibbutz children's society as an ideal and as it is in reality. Following an account of the vision and theory of the children's society four case studies are reported. Two are historical: the local children's society founded in Kibbutz Ein Harod in 1924; and the attempt by Zisling of Ein Harod to found a national children's society on the basis of local models. The other two are contemporary and relate to studies in the early 1990s (...) at the integrative Anne Frank Haven at Kibbutz Sasa, and at the computerised greenhouse at the Mevo'ot Evon, the educational institution at Kibbutz Ein Shemer. The conclusion indicates how the children's society can be used as a model elsewhere. (shrink)