We describe a categorial system (PPTS) based on partial proof trees(PPTs) as the building blocks of the system. The PPTs are obtained byunfolding the arguments of the type that would be associated with a lexicalitem in a simple categorial grammar. The PPTs are the basic types in thesystem and a derivation proceeds by combining PPTs together. We describe theconstruction of the finite set of basic PPTs and the operations forcombining them. PPTS can be viewed as a categorial system incorporating someof (...) the key insights of lexicalized tree adjoining grammar, namely the notionof an extended domain of locality and the consequent factoring of recursionfrom the domain of dependencies. PPTS therefore inherits the linguistic andcomputational properties of that system, and so can be viewed as a middleground between a categorial grammar and a phrase structure grammar. We alsodiscuss the relationship between PPTS, natural deduction, and linear logicproof-nets, and argue that natural deduction rather than a proof-net systemis more appropriate for the construction of the PPTs. We also discuss howthe use of PPTs allows us to localize the management of resources, therebyfreeing us from this management as the PPTs are combined. (shrink)

We describe a categorial system (PPTS) based on partial proof trees(PPTs) as the building blocks of the system. The PPTs are obtained byunfolding the arguments of the type that would be associated with a lexicalitem in a simple categorial grammar. The PPTs are the basic types in thesystem and a derivation proceeds by combining PPTs together. We describe theconstruction of the finite set of basic PPTs and the operations forcombining them. PPTS can be viewed as a categorial system incorporating someof (...) the key insights of lexicalized tree adjoining grammar, namely the notionof an extended domain of locality and the consequent factoring of recursionfrom the domain of dependencies. PPTS therefore inherits the linguistic andcomputational properties of that system, and so can be viewed as a ’middleground‘ between a categorial grammar and a phrase structure grammar. We alsodiscuss the relationship between PPTS, natural deduction, and linear logicproof-nets, and argue that natural deduction rather than a proof-net systemis more appropriate for the construction of the PPTs. We also discuss howthe use of PPTs allows us to ’localize‘ the management of resources, therebyfreeing us from this management as the PPTs are combined. (shrink)

The questions of how human beings produce and comprehend language continue to engage a variety of researchers and scholars, and it is becoming increasingly clear that only interdisciplinary approaches will yield productive answers. This complex issue of discourse processing is the subject of this volume, and the contributors address it from the varying perspectives of cognitive psychology linguistics, and computer science. The chapters provide a fascinating overview of emerging theories in the new discipline of cognitive science. A useful introductory chapter (...) by the editors explains the relationships of chapters to one another and outlines the long-term implications of the work they report. (shrink)

In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible, and then introduce various operations for constructing more complex structures. An alternate approach is to start with complex (more complicated) primitives, which directly capture some crucial linguistic properties and then introduce some general operations for composing these complex structures. These two approaches provide different domains of locality, i.e., domains over which various types of (...) linguistic dependencies can be specified. The latter approach, characterized as complicate locally, simplify globally (CLSG), pushes non‐local dependencies to become local, i.e., they arise in the basic primitive structures to start with.The CLSG approach has led to some new insights into syntactic description, semantic composition, language generation, statistical processing, and psycholinguistic phenomena, all these with possible relevance to the cognitive architecture of language. In this paper, we will describe these results in an introductory manner making use of the framework of lexicalized tree‐adjoining grammar (LTAG), a key example of the CLSG approach, thereby describing the interplay between formal analysis on the one hand and linguistic and processing issues on the other hand. (shrink)

We introduce LTAG-spinal, a novel variant of traditional Lexicalized Tree Adjoining Grammar (LTAG) with desirable linguistic, computational and statistical properties. Unlike in traditional LTAG, subcategorization frames and the argument-adjunct distinction are left underspecified in LTAG-spinal. LTAG-spinal with adjunction constraints is weakly equivalent to LTAG. The LTAG-spinal formalism is used to extract an LTAG-spinal Treebank from the Penn Treebank with Propbank annotation. Based on Propbank annotation, predicate coordination and LTAG adjunction structures are successfully extracted. The LTAG-spinal Treebank makes explicit semantic relations (...) that are implicit or absent from the original PTB. LTAG-spinal provides a very desirable resource for statistical LTAG parsing, incremental parsing, dependency parsing, and semantic parsing. This treebank has been successfully used to train an incremental LTAG-spinal parser and a bidirectional LTAG dependency parser. (shrink)

. The problem of reconstructing digital images from degraded measurements is regarded as a problem of importance in various fields of engineering and imaging science. The main goal of denoising is to restore a noisy image to produce a visually high quality image. In this paper, we propose a novel transform domain technique that uses multispinning for image denoising. The proposed method uses multiple cyclic shifted versions of an image, where each of them would capture more detail information during decomposition. (...) Discrete wavelet transform and contourlet transform in association with multispinning is used. The results are compared with traditional transform and spatial domain techniques. The visual and quantitative evaluation suggests that the proposed method yields better results. (shrink)

The set of 60 real rays in four dimensions derived from the vertices of a 600-cell is shown to possess numerous subsets of rays and bases that provide basis-critical parity proofs of the Bell-Kochen-Specker (BKS) theorem (a basis-critical proof is one that fails if even a single basis is deleted from it). The proofs vary considerably in size, with the smallest having 26 rays and 13 bases and the largest 60 rays and 41 bases. There are at least 90 basic (...) types of proofs, with each coming in a number of geometrically distinct varieties. The replicas of all the proofs under the symmetries of the 600-cell yield a total of almost a hundred million parity proofs of the BKS theorem. The proofs are all very transparent and take no more than simple counting to verify. A few of the proofs are exhibited, both in tabular form as well as in the form of MMP hypergraphs that assist in their visualization. A survey of the proofs is given, simple procedures for generating some of them are described and their applications are discussed. It is shown that all four-dimensional parity proofs of the BKS theorem can be turned into experimental disproofs of noncontextuality. (shrink)

A diagrammatic representation is given of the 24 rays of Peres that makes it easy to pick out all the 512 parity proofs of the Kochen-Specker theorem contained in them. The origin of this representation in the four-dimensional geometry of the rays is pointed out.

It is shown how the 300 rays associated with the antipodal pairs of vertices of a 120-cell (a four-dimensional regular polytope) can be used to give numerous “parity proofs” of the Kochen–Specker theorem ruling out the existence of noncontextual hidden variables theories. The symmetries of the 120-cell are exploited to give a simple construction of its Kochen–Specker diagram, which is exhibited in the form of a “basis table” showing all the orthogonalities between its rays. The basis table consists of 675 (...) bases (a basis being a set of four mutually orthogonal rays), but all the bases can be written down from the few listed in this paper using some simple rules. The basis table is shown to contain a wide variety of parity proofs, ranging from 19 bases (or contexts) at the low end to 41 bases at the high end. Some explicit examples of these proofs are given, and their implications are discussed. (shrink)

It is shown that the 33 complex rays in three dimensions used by Penrose to prove the Bell-Kochen-Specker theorem have the same orthogonality relations as the 33 real rays of Peres, and therefore provide an isomorphic proof of the theorem. It is further shown that the Peres and Penrose rays are just two members of a continuous three-parameter family of unitarily inequivalent rays that prove the theorem.

The aged in India have conventionally enjoyed privileges within the framework of a social economy where the needs of the old remained a moral responsibility of family, kith and kin. However the present changing times have forced a shift in the approach to old age care. The old person finds him- or herself in a sticky situation, in between an insensitive state and the demands of globalization. The present paper situates this problem within the framework of globalization and systematically measures (...) the strategic response of the state to this daunting challenge, with respect to economic security and health care in particular. In the conclusion, the paper argues for a rejection of the conventional welfare approach and it advocates an integrated approach based on a coherent social development perspective within the valuation framework of social quality. (shrink)

Humanist ideas in education have been promoted by both Western thinkers and classical wisdom texts of Asia. Exploring this connection, I examine the educational philosophy of an iconic ancient Tamil text, the Thiruvalluvar Kural, by juxtaposing it with a contemporary humanist classic, Paulo Freire’s Pedagogy of the Oppressed. As this comparative study reveals, both texts offer humanist visions of relevance to education, politics, and society. Notably, however, the Kural takes what might be described as a more mainstream humanist stance vis-à-vis (...) Freire’s radical humanist approach. Nevertheless, both educational philosophies share a common humanist bond representing important breakthroughs within their own given contexts. More specifically, the Kural supports a shift in consciousness and social practices away from caste rigidity, superstition, and pre-humanist beliefs while Freire championed transitioning from rigid, top-down and alienating educational delivery models and economic systems to learning processes and societies that are more democratized, dialogic and egalitarian. (shrink)

The author has sought to remove a confusion regarding the state of liberation, (which is the avowed goal of indian philosophy), Arising from a failure to distinguish between two states both called 'samadhi.' in one sense, 'samadhi' is a state of deep contemplation wherein the mind is made to concentrate on a particular object, To the exclusion of all other thoughts. Another state, Called 'nirvikalpa samadhi,' comes into being when the mind is perfectly silent, Yet watchful and sensitive, Without any (...) effort to concentrate. This state of liberation remains ever undisturbed by whatever one does on the psycho-Biological plane. (shrink)

We present an implementation of a discourse parsing system for alexicalized Tree-Adjoining Grammar for discourse, specifying the integrationof sentence and discourse level processing. Our system is based on theassumption that the compositional aspects of semantics at thediscourse level parallel those at the sentence level. This coupling isachieved by factoring away inferential semantics and anaphoric features ofdiscourse connectives. Computationally, this parallelism is achievedbecause both the sentence and discourse grammar are LTAG-based and the sameparser works at both levels. The approach to an (...) LTAG for discourse has beendeveloped by Webber and colleagues in some recent papers. Our system takes a discourseas input, parses the sentences individually, extracts the basic discourseconstituent units from the sentence derivations, and reparses the discoursewith reference to the discourse grammar while using the same parser usedat the sentence level. (shrink)

Market-based social governance schemes that establish standards of conduct for producers and traders in international supply chains aim to reduce the negative socioenvironmental effects of globalization. While studies have examined how characteristics of social governance schemes promote socially responsible producer behavior, it has not yet been examined how these same characteristics affect consumer behavior. This is a crucial omission, because without consumer demand for socially produced products, the reach of the social benefits is likely to be limited. We develop a (...) comprehensive model that links twocharacteristics of market-based social governance schemes—(1) stringency and enforcement of requirements, and (2) promotion—to two conditions required for governance schemes to generate significant social benefits: (1) socially responsible behavior of participating firms; and (2) consumer demand for socially produced products which, in turn, expands products produced according to social governance schemes, and thus, the quantity of social benefits. We discuss market-based social governance schemes in the context of fair trade coffee. (shrink)

This chapter argues that governments have a duty to take reasonably effective and humane steps to minimize the occurrence of unauthorized migration and stay. While the effects of unauthorized migration on a country’s citizens and institutions have been vigorously debated, the literature has largely ignored duties of fairness to would-be immigrants. It is argued here that failing to take reasonable steps to prevent unauthorized migration and stay is deeply unfair to would-be immigrants who are not in a position to bypass (...) visa regulations. Importantly, the argument here is orthogonal to the debate as to how much and what kinds of immigration ought to be allowed. (shrink)

In evolutionary psychology predictions, women’s mate preferences shift between fertile and nonfertile times of the month to reflect ancestral fitness benefits. Our meta-analytic test involving 58 independent reports (13 unpublished, 45 published) was largely nonsupportive. Specifically, fertile women did not especially desire sex in short-term relationships with men purported to be of high genetic quality (i.e., high testosterone, masculinity, dominance, symmetry). The few significant preference shifts appeared to be research artifacts. The effects declined over time in published work, were limited (...) to studies that used broader, less precise definitions of the fertile phase, and were found only in published research. (shrink)

The word “privilege” has become a part of our everyday conversations. However, it is not evident whether the various interlocutors in discussions on privilege are using it in the same sense. While different instances of privilege like white, male, or caste privilege have been discussed in contemporary academic discourses, we believe there is a lack of clarity regarding the notion of privilege. We critically analyse existing accounts of privilege to show that they leave some room for improvement. We offer an (...) alternative account of privilege as “entitlements that fail to track deserts” that circumvents prevalent definitional ambiguities and emphasises the inherent undeserving nature of privilege. The hitherto underexplored links between privileges, deserts, entitlements, and rights can help us formulate a more accurate grasp of privilege. (shrink)

P¯an.ini’s grammar includes several types of metarules which determine how its operational rules apply. Among them are “traffic rules” which constrain how rules interact with each other in grammatical derivations. These are typically formulated as designating a rule or class of rules asiddha “not effected” (or asiddhavat “as if not effected”) with respect to another rule or class of rules. For economy, the rules so designated are grouped into several sections, whose headings collectively declare them to be asiddha(vat). The biggest (...) such section, under the famous heading 8.2.1 p ¯urvatr¯asiddham, extends from 8.2.1 through the end of the grammar (8.4.68), and is hence called the Trip¯ad¯ı ‘Three Sections’. (shrink)

This paper brings a developmental perspective to the discussion of a longstanding issue surrounding the proper characterization of presuppositions. On an influential view (Stalnaker in Synthese 22(1–2):272–289, 1970; Stalnaker, in Milton, Unger (eds) Semantics and philosophy, New York University Press, New York, 1974; Karttunen in Theor Linguist 1:181–194, 1974), formal presuppositions reflect admittance conditions: an utterance of a sentence which presupposes _p_ is admitted by a conversational context _c_ only if _p_ is common ground in _c_. The theory distinguishes two (...) modes of satisfying this formal requirement: (i) presuppositions may have common ground status prior to utterance, or (ii) they may achieve common ground status post hoc, via accommodation, an adjustment of the common ground by cooperative listeners so as to meet the requirements of an uttered sentence. While intuitive and general, the theory has been criticized (among other things) on methodological grounds (see e.g. Gazdar in Pragmatics: implicature, presupposition and logical form, Academic Press, New York, 1979): the availability of accommodation makes it difficult to empirically examine the notion of presupposition as admittance conditions because a central tenet—pragmatic infelicity results whenever _c_ does not entail _p_—may be masked due to the pragmatic sophistication of language users. In this paper, we argue that child language presents an opportunity to avoid this intrinsic difficulty. In a series of behavioral experiments, we show that young children generate a default expectation that the presuppositions of an asserted sentence have common ground status prior to utterance. Furthermore and more tellingly, we also find that even when accommodation is the preferred option for adults, children fail to accommodate presuppositions in an adult-like manner. This pattern of behavior, we argue, is expected under the admittance theory: in a population where the interference from accommodation is reduced, the impact of failing to satisfy the formal admittance conditions becomes directly observable. (shrink)

It is widely recognized that conceptual and theoretical innovations and the employment of new instruments and experimental techniques are important factors in explaining the growth of scientific knowledge in chemistry. This study examines another dimension of research in chemistry, collaboration and co-authorship. I focus specifically on Theodore Richards’ career and publications. During the period in which Richards worked, co-authorship was beginning to become more common than it had been previously. Richards was the first American chemist to be awarded a Nobel (...) Prize and he was at the forefront in this new trend in chemistry. He collaborated more than was typical for his time, with many scientists, in different sized groups, and he often had persistent collaborative relationships, extending over a number of years. Further, it appears that these collaborations benefited Richards, his collaborators, and the field of chemistry as a whole. (shrink)

ABSTRACT:We extend the Base of the Pyramid (BoP) poverty-alleviation approach by recognizing the poor as valuable suppliers—specifically of intellectual property. Although the poor possess huge reserves of intellectual property, they are unable to participate in global knowledge networks owing to their illiteracy and poverty. This is a crippling form of social exclusion in today’s growing knowledge economy because it adversely affects their capabilities for advancement at several levels. Providing the poor access to global knowledge networks as rightful participants—as suppliers of (...) intellectual property—leads to poverty alleviation as a result of their increased social inclusion, not only through economic benefits, but also through the poor’s improved well-being as a result of their increased self-esteem and dignity. Using concepts from social network theory, we develop a poverty-alleviation approach to harness and integrate the intellectual property of the poor into global knowledge networks through trust-based partnerships among the poor, non-governmental organizations, and multinational corporations. (shrink)

“Doğal din” terimi, bazen doğanın kendisinin ilahi olduğu bir panteistik doktrine atıfta bulunur. “Doğal teoloji” terimi ise aksine, başlangıçta gözlemlenen doğal gerçekler temelinde (ve bazen) Tanrı’nın varlığını savunmaya yönelik projeye atıfta bulunur. Bununla birlikte çağdaş felsefede, hem “doğal din” hem de “doğal teoloji” genel olarak, dinî veya teolojik konuları araştırmak için insana, “doğal” olan bilişsel yetilerini – akıl, algı, içgözlem- kullanma projesini ifade eder. Doğal din veya teoloji, mevcut anlayış üzerine, doğayla ilgili ampirik araştırmalarla sınırlı olmamakla birlikte ayrıca panteistik bir (...) sonuçla da bağlantılı değildir. Bununla birlikte o, özel doğal olmayan yetilere (ESP, telepati, mistik deneyim) veya doğaüstü bilgi kaynaklarına (kutsal metinler, vahiy teolojisi, inanç otoriteleri, doğrudan doğaüstü iletişim) hitap etmekten kaçınır. Genel olarak, doğal din veya teoloji (bundan böyle “doğal teoloji” olarak anılacaktır), diğer felsefi ve bilimsel girişimlerle aynı rasyonel inceleme standartlarına uymayı amaçlamaktadır ve aynı değerlendirme ve eleştiri yöntemlerine tabidir. (shrink)

The Papers In This Volume, Presented At A Seminar Organised By The Gurukula Kangri Viswavidyalaya, Offer A Kaleidoscopic View Of Myriad Aspects Of Himalayan Eco-System Like Causes Of Its Degradation, Impact Of Hydroelectric To Deforestation And Role Of Wild Life. The Deliberations Also Highlight The Relevance Of Vedic Philosophy In Conserving The Fragile Himalayan Eco-System.

Modal ontolojik argüman, Tanrı’nın varlığını sadece bilfiil gerçek olan bu dünyada değil, bütün mümkün dünyalarda göstermeye yönelik bir argümandır. Anselm’in (1033-1109) Proslogion adlı eserinin 3. bölümünde “kendisinden daha büyüğü düşünülemeyen” şeklinde tanımlanan; Tanrı’nın var olmamasının da düşünülemeyeceğini, bu yüzden de varolmamasının imkansızlığı üzerinde kurulu yeni bir argüman bulunduğunu öne süren bazı araştırmacılar, bu argümanı mümkün dünyalar semantiği yardımıyla formüle edip, “modal ontolojik argüman” şeklinde adlandırmışlardır. Çok farklı şekillerde formüle edilmiş bu argüman kabaca Tanrı’nın mümkünse zorunlu olması, dolayısıyla bilfiil gerçek olan (...) bu dünyada da var olması gerektiğini savunur. (shrink)

There has recently been a growth in research that examines how corporations respond to allegations of unethical actions. Although scholars have gained much insight about the range of responses available to and used by organizations, there has been almost no study of why firms choose one response over another. In this article, the authors present a framework of likely organizational response choices to allegations of wrongdoing; we propose that response choices are based on the degree of reputational risk from stakeholder (...) withdrawal of support and on perceived threats to the firm’s primary or secondary identity. (shrink)