A connectionist model of visual-word recognition that accounts for interactions between mask size and word length

Summary A connectionist model is described, which accounts for data showing a mask appropriateness effect in word and letter recognition. In a backward-masking paradigm, if the letter fragment masks that are used are of a similar size to the word or word fragment they are masking, performance is better than if the masks are longer or discontinuous (Jordan, 1990). The model simulates these effects by adding to the familiar architecture of the interactive activation model length units, which are stimulated whenever word units of a particular letter length are active, and mask units, which are stimulated by masks of particular sizes and in turn stimulate length units. Detailed predictions of the model are examined for both forward and backward masking, and are found to be in good accord with the data.     

On the logic of conscious belief

In this paper we are discussing a version of propositional belief logic, denoted by LB, in which so-called axioms of introspection (B BB and B B B) are added to the usual ones. LB is proved to be sound and complete with respect to Boolean algebras equipped with proper filters (Theorem 5). Interpretations in classical theories (Theorem 4) are also considered. A few modifications of LB are further dealt with, one of which turns out to be S5.     

Lexical insertion,inflection, and derivation: Creative processes in word production

This study examines the distinction between creative and noncreative behavior as applied to the production of words and sentences. Under one hypothesis words such as governor and government are stored as independent units and produced by rote, but under another these nouns are not produced as fully integrated units but are generated by rules for combining stems (govern) and affixes (-ment and -or). Analyses of German and English speech errors supported the generation-by-rule thesis and indicated that word stems, prefixes, and suffixes must be separately stored in the internal lexicon and marked as to syntactic function in combining with other word components. The data also suggested a three-stage model of lexical processes in the production of speech: a lexical insertion stage whereby abstract lexical formatives are called on or introduced into sentences by means of abstract syntactic and semantic features; a rule application stage whereby feature agreement rules are applied to the formative and then inflectional, derivational, and phonological rules are applied to derive the phonetic string; finally a serial output stage whereby the phonetic string is translated into serially ordered motor commands.This research was supported by NIMH Grant RO 19964 to Donald Mackay.     

A deontic logic of action

The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where and are terms the atomic formulas have the form = ( is the same as ), Forb ( is forbidden) and Perm ( is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given and an axiomatic system is provided for which they are characteristic.The closure principle, that what is not forbidden is permitted is shown to hold at the level of outcomes but not at the level of events. In the two final sections some other operators are considered and a semantics in terms of action games.     

Modifying Violent Communities by Enhancing Altruism: A Vision of Possibilities

A model for diagnosing and treating violent communities is outlined. The treatment consists of enhancing a form of pragmatic altruism by building relationships and mutual understanding between community leaders who are derived from task groups called community stabilizing systems, defined as groups essential for peaceful, creative stability in a community. Two examples of an intervention derived from this theory are described.     

The liar: What paradox?

Most philosophers believe that the Liar Paradox is semantical in character, and arises from difficulties in the predicate true. The author argues that the paradox is pragmatic, not semantic, and arises from violations of essential conditions that define statement-making speech acts. The author shows that his solution to the paradox will not only handle the classical Liar sentences that are necessarily or intrinsically paradoxical, but also sets of Kripke-sentences that are contingently paradoxical.     

Three views of demonstrative reference

Three views of demonstrative reference are examined: contextual, intentional, and quasi-intentional. According to the first, such reference is determined entirely by certain publicly accessible features of the context. According to the second, speaker intentions are criterial in demonstrative reference. And according to the third, both contextual features and intentions come into play in the determination of demonstrative reference. The first two views (both of which enjoy current popularity) are rejected as implausible; the third (originally proposed by Kaplan in Dthat) is argued to be highly plausible.     

Formalization of the basic concepts of animal ecology

Summary Formal definitions of the following concepts of animal ecology are given: environment, niche, locality, local population, natural population, community, ecosystem. Five primitive (undefined) notions are used including animal, offspring and habitat, the latter in the sense of Charles Elton. The defining equations for the environment of one animal are first given, then niche (in the Elton sense) is formally defined in terms of the environment. The fifth primitve notion habitat is then introduced in order to define the remaining concepts.     

The treatment of adolescents and their families in cultural transition: Issues and recommendations

Increasing numbers of immigrant families with adolescent children are seeking therapy because of intergenerational conflicts specific to the adolescent separation-individuation phase of the life cycle and transitional problems related to immigration and cultural transition. Three types of adolescent immigrants are identified and discussed: Immigrants (subtypes Reluctants and Optimists), Immigrant-Americans, and Americans. Therapists' issues which can negatively affect therapy with such adolescents and families are also discussed. Effective therapy with immigrant families requires that family therapists become more culturally sensitive, therapeutically flexible, and accepting of family values to which they may be diametrically opposed. Recommendations for therapy are offered.Dr. Baptiste is himself an immigrant. The experiences and observations discussed here are culled from his work with immigrant families and children over the past 19 years in the District of Columbia, Massachusetts, Indiana, and New Mexico.Portions of this article will appear in a chapter Psychotherapy with adolescent immigrants and their families in cultural transition in B. Settles and D. Hanks (Eds.),Families on the move: Emigration, immigration, migration and mobility. Sage Publications, 1990, and are used here with permission.     

THE PHENOMENOLOGY OF MATHEMATICAL BEAUTY

It has been observed that whereas painters and musicians are likely to be embarrassed by references to the beauty in their work, mathematicians instead like to engage in discussions of the beauty of mathematics. Professional artists are more likely to stress the technical rather than the aesthetic aspects of their work. Mathematicians, instead, are fond of passing judgment on the beauty of their favored pieces of mathematics. Even a cursory observation shows that the characteristics of mathematical beauty are at variance with those of artistic beauty. For example, courses in art appreciation are fairly common; it is however unthinkable to find any mathematical beauty appreciation courses taught anywhere. The purpose of the present paper is to try to uncover the sense of the term beauty as it is currently used by mathematicians.     

Time,quantum mechanics,and decoherence

State-reduction and the notion of actuality are compared to passage through time and the notion of the present; already in classical relativity the latter give rise to difficulties. The solution proposed here is to treat both tense and value-definiteness as relational properties or facts as relations; likewise the notions of change and probability. In both cases essential characteristics are absent: temporal relations are tenselessly true; probabilistic relations are deterministically true.The basic ideas go back to Everett, although the technical development makes use of the decoherent histories theory of Griffiths, Omnès, and Gell-Mann and Hartle. Alternative interpretations of the decoherent histories framework are also considered.I would like to thank Abner Shimony for valuable criticism.     

On some structural aspects of physical problems

Bachelard's concept of the problématique is used in order to classify physical problems and their interrelations. This classification is effectuated along two dimensions. Along the horizontal dimension, physical problems are divided into the kinds that the different modes of physics' development define. These modes are themselves determined by the interplay among the conceptual system, the object and the experimentation transactions specific to physics. Along the vertical dimension, physical problems are classified according to the different stages of maturation they have to undergo before the process of their solution is effectively undertaken. To determine these maturation stages, the Althusserian conception of ideology is used. The interrelations between physical problems are examined through the introduction and elaboration of the notion interdependence network.It is a pleasure to thank Marcello Pera and Kostas Gavroglou for their very helpful comments and criticisms.     

Sets and Classes as Many

In this paper the view is developed that classes should not be understood as individuals, but, rather, as classes as many of individuals. To correlate classes with individuals labelling and colabelling functions are introduced and sets identified with a certain subdomain of the classes on which the labelling and colabelling functions are mutually inverse. A minimal axiomatization of the resulting system is formulated and some of its extensions are related to various systems of set theory, including nonwellfounded set theories.     

Philosophie der Arrieregarde

Bulgarian philosophical life is particularly poor and fruitless. As well as in all communist countries the development of Bulgarian Marxism-Leninism was marked by some very sharp controversies between dogmatics and revisionists. Bulgarian Orthodoxes are particularly militant and intolerant and on the contrary, revisionists are in reality very moderate and rather conservative. Therefore the deviations are insignificant and the degree of the destalinization is very small.     

The Metaethical Paradox of Just War Theory

The traditional requirements upon the waging of a just war are ostensibly independent, but in actual practice each tenet is subject ultimately to the interpretation of a legitimate authority, whose declaration becomes the necessary and sufficient condition. While just war theory presupposes that some acts are absolutely wrong, it also implies that the killing of innocents can be rendered permissible through human decree. Nations are conventionally delimited, and leaders are conventionally appointed. Any group of people could band together to form a nation, and any person could, in principle, be appointed the leader of any nation. Because the just war approach assumes absolutism while implying relativism, the stance is paradoxical and hence rationally untenable.     

Predicate Logics on Display

The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem's modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap's display logic by introduction rules for the existential and the universal quantifier. These rules for x and x are analogous to the display introduction rules for the modal operators and and do not themselves allow the Barcan formula or its converse to be derived. En route from the minimal modal predicate logic to full first-order logic, axiomatic extensions are captured by purely structural sequent rules.     

“Scientific atheism” in the era of perestrojka

Conclusions It could be argued that some in the military, like certain local officials, are the last holdouts against the reform's ideological thaw toward religion, though Kharev's October–November, 1989, interview inOgonëk makes clear that there are still some higher-level forces in the apparatus who remain opposed to some of the changes. It could be that some of the reformers themselves are concerned about the pace of change. Even in their minds the thaw undoubtedly has limits. They may view the present controversy over restructuring scientific atheism and redefining socialism's attitude toward religion as a necessary and desirable part of the dialectical process. Thus, while encouraging a tactical and more humane detente toward religion, they have not yet moved to eliminate the basis for ideological hostility toward it. They simply want that hostility to be better channeled and controlled, while exploiting the political benefits that their new-found truce with religion offers. Looking at Gorbachevism, Soviet émigré observer Aleksandr Zinov'ev believes that the reform process in the sphere of internal political activity concerns only separate phenomena ... but by no means the very foundations of the social system, the system of power and ideology. That system, he believes, is not yet fundamentally changing in those terms. The final answer remains to be seen.The views expressed are those of the author and are not official views of the U.S. Government nor any department or agency.     

Synonymous Logics

This paper discusses the general problem of translation functions between logics, given in axiomatic form, and in particular, the problem of determining when two such logics are synonymous or translationally equivalent. We discuss a proposed formal definition of translational equivalence, show why it is reasonable, and also discuss its relation to earlier definitions in the literature. We also give a simple criterion for showing that two modal logics are not translationally equivalent, and apply this to well-known examples. Some philosophical morals are drawn concerning the possibility of having two logical systems that are empirically distinct but are both translationally equivalent to a common logic.     

On finite approximability of ψ-intermediate logics

The aim of this note is to show (Theorem 1.6) that in each of the cases: = {, }, or {, , }, or {, , } there are uncountably many -intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each : either all -intermediate logics are finitely approximate or there are uncountably many of them which lack the property.     

A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.