Micro-economic models of problem choice in basic science

This paper describes the way in which a certain representation of basic scientific knowledge can be coupled with traditional microeconomic analysis to provide an analysis of rational research planning or agenda setting in basic science. Research planning is conceived as a resource allocation decision in which resources are being allocated to activities directed towards the solution of basic scientific problems. A structuralist representation of scientific knowledge is employed to provide a relatively precise characterization of a basic scientific problem.The research reported here was partially supported by a grant from the EXXON Foundation.     

Some aspects of eloquence in Descartes's works

In Descartes's philosophy, communicating scientific and philosophical truth does not represent a problem that can be traced back to humanistic rhetoric, meant as the art of persuasion. Descartes states his belief in the eloquence of reason: a clear, precise, and adequately expressed thought cannot fail to convince the listener. This is the measure of the distance between the level of truth and the level of opinion. However, the moment of confrontation with the public is also the very moment when the truth of the new knowledge enters into conflict with other, different conceptions. Education and history influence communication with the result that the distinction between intellectual conviction and persuasion becomes less straightforward. Rational eloquence, as Descartes is well aware, must be articulated in such a way as to avoid any possible language equivocation and to adopt exposition strategies ensuring effective access to readers. The aim of this paper is to illustrate some aspects of this tension as expressed by the writer Descartes with reference to a number of texts (from the Regulae to the Meditationes) that were essential for the elaboration and dissemination of his philosophy.     

Inverses for Normal Modal Operators

Given a 1-ary sentence operator , we describe L - another 1-ary operator - as as a left inverse of in a given logic if in that logic every formula is provably equivalent to L. Similarly R is a right inverse of if is always provably equivalent to R. We investigate the behaviour of left and right inverses for taken as the operator of various normal modal logics, paying particular attention to the conditions under which these logics are conservatively extended by the addition of such inverses, as well as to the question of when, in such extensions, the inverses behave as normal modal operators in their own right.     

A reduction rule for Peirce formula

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P ⁽⁽⁾⁾. It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another reduction rule which simplifies of (( ) ) into an atomic type.This work was partially supported by a Grant-in-Aid for General Scientific Research No. 05680276 of the Ministry of Education, Science and Culture, Japan and by Japan Society for the Promotion of Science. Hiroakira Ono     

The responsive order: A new empiricism

The uniqueness of logic is upheld and contrasted with twenty roles of a wider responsive order that includes us and our procedures. Empirical responses are precise, but different in different approaches. Procedures and findings are independent of (not separable from) their concepts. Two-way feedback obviates a top-down derivation of findings from assumptions, hypotheses, history, or language. The postmodern problems of interpretation, conditions of appearances and relativism involve the ancient error of making perception the model-instance of experience. Instead, bodily interaction functions in language and precedes perception and interpretation. Logic, space time locations and individuated referents involve positional relations derived from comparing. Beyond Kuhn, Feyerabend, Newton and Einstein, if we can give interaction priority over comparing, the responsive objectivity of both can be upheld. A new empiricism, neither naive nor constructivist, uses the words order, explication, truth, and exactly to build on Wittgenstein and on Dilthey's hermeneutic. Natural language is metaphor-like, originally crossed. Logic must ignore its assumptions. It must render everything as a machine and drop humans and animals out. A new discipline is proposed, to move between the logical and the responsive orders, to deal with the machine/human interface and the social uses of science such as bioengineering.     

Partially-Ordered (Branching) Generalized Quantifiers: A General Definition

Following Henkins discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or cardinality quantifiers, e.g., most, few, finitely many, exactly , where is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a general definition of monotone-increasing (M) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwises 1979 analysis of the basic case of M POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages.     

Belief change as change in epistemic entrenchment

In this paper, it is argued that both the belief state and its input should be represented as epistemic entrenchment (EE) relations. A belief revision operation is constructed that updates a given EE relation to a new one in light of an evidential EE relation, and an axiomatic characterization of this operation is given. Unlike most belief revision operations, the one developed here can handle both multiple belief revision and iterated belief revision.The authors are thankful to John G. Bennett, Henry E. Kyburg, Jr., Norman Foo, Pavlos Pepas, Maurizio Pagnucco, Bob Hadley, members of the Knowledge Systems Group at the University of Sydney and participants of the AI'93 workshop on Belief Revision: Bridging the Gap Between Theory and Practice at Melbourne where a version of this paper was presented, for their suggestions. The authors also express their gratitude to the two anonymous referees for Synthese for their excellent comments and suggestions. Of course it is only the authors that are responsible for the errors that remain.     

Quantum Logic as a Fragment of Independence-Friendly Logic

The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation . Then in a Hilbert space turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von Neumann quantum logic can be interpreted by taking their disjunction to be ¬(A & B). Their logic can thus be mapped into a Boolean structure to which an additional operator has been added.     

Children's knowledge of prepositional phrase structure: An experimental test

A test of prepositional phrase structure in 4- to 6-year-old children's language is reported. Children's productions of PP and verb-particle sequences were elicited. Children produced pronominal and full NP objects of sequences corresponding to PPs and verb-plus-particle in the adult grammar. Prepositions freely took both pronominal and full NP objects (He's jumping over it. He's jumping over the table). In particle verb constructions, pronominal objects were placed immediately after the verb in all but a few cases (He's pushing it overnot He's pushing over it). With full NP objects, the preference was to place the verb after the particle (He's pushing over the table). These facts support an analysis in which if the child constructs a PP-over-P—NP structure for prepositional phrases but not for verb-particle sequences, and follows adultlike rules for these structures.This research was supported in its initial stages by NIH grant No. HD90647-03 to T. Roeper and S.J. Keyser and was completed while the author was supported in part by grants from the Graduate School Research Committee of the University of Wisconsin-Madison and from the Spencer Foundation through the University of Wisconsin School of Education.     

The Deep Structure of Group Life: Unconscious Dimensions

There is a reconsideration and renaissance of interest in expanded conceptions of unconscious processes as they affect individuals and groups (Grotstein, 1999). Recent focus on social unconscious (Hopper, 1996) and cultural unconscious processes (Henderson, 1988) and the nature of intersubjectivity (Harwood and Pines, 1998) raise questions about the location of group analysis. This paper considers the deep structure of group life by examining four functions of the unconscious: repressive, conservative, creative, and mythopoetic (Ellenberger, 1970). On an individual level of analysis, these functions are equated respectively with formative ideas about the: personal–subjective, social–political, intersubjective–cultural and collective–objective unconscious. Group level analogs, as they develop and affect groups and their members, are explored as synthetic, shared, symbolicy and synchronous unconscious processes.     

A longitudinal study of the marriage role expectations of college women: 1961–1984

The marriage role expectations of female university students enrolled in an introductory marriage and family course at the University of Kentucky in 1961 (N=72), 1972 (N=58), 1978 (N=115), and 1984 (N=81) were compared. The 1972 group was found to be significantly more egalitarian than the 1961 group in overall marriage role expectations and on all subscales except authority. The 1978 and 1984 groups were significantly more egalitarian than the 1961 group on overall marriage role expectations and on all seven of the subscales: authority, homemaking, child care, personal characteristics, social participation, education, and employment and support. The 1978 group was significantly more egalitarian than the 1972 group only on authority and homemaking, with no significant differences on the other five subscales or on overall role expectation score. The 1984 group was significantly more egalitarian than the 1972 group only on authority, homemaking, and child care, and was slightly (not satistically significant) more traditional on personal characteristics and social participation. There were no significant differences between the 1978 and 1984 groups on overall expectation or on any of the subscales. In fact, the 1984 group was slightly more traditional on homemaking, personal characteristics, social participation, employment and support, and overall expectations. The data from this study showed the greatest gain in egalitarian trends to be between 1961 and 1972, with a continuation of the trends at a somewhat slower rate of change between 1972 and 1978, and a discontinuation of the trend toward more egalitarian expectations between 1978 and 1984.The data were collected in February 1961, January 1972, September 1978, and September 1984. Special acknowledgement and appreciation are expressed to Jessie Ringo (retired), University of Kentucky, for making the 1961 data available for this study.     

Difficult Patients in Group Analysis: The Personification of (ba) I:A/M

Following a discussion of the treatment of difficult patients in group analysis, two theories are proposed concerning a fourth basic assumption in the unconscious life of groups, called Incohesion: Aggregation/Massification or (ba) I:A/M and the personification of basic assumption processes, in particular that of (ba) I:A/M by difficult patients. These theories are illustrated with clinical data. Special attention is given to crustacean and amoeboid forms of encapsulation as a defence against the fear of annihilation within the context of the traumatogenic process. It is suggested that for difficult patients the treatment of choice is dyadic psychotherapy/psychoanalysis followed by group analysis.     

Deceit as a function of sex of subject and target person

Thirty male and female undergraduates were run in same- and opposite-sex pairs to determine if the extent of experimentally sanctioned deceit would be influenced by sex pairings and potential for harm to another's self-esteem. Ss, who all believed they were playing the role of a teacher in a learning experiment, were instructed to provide false feedback (lie) at least three times during 30 trials to a learner, the other S. Consistent with hypotheses derived from a consideration of the potential harm to another's self-esteem and a suggested norm of white lying, perceived relative importance of male and female sex roles, and greater female concern for the social welfare of others, it was found that white lies occurred significantly more often than lies, that males were significantly more likely to give false feedback than females, that females were the target of false feedback significantly more often than males, and that the interaction between sex of S and sex of target person was also significant in that males lied to females more than any other sex pairing.This research was partially supported by the New Mexico Highlands University Institute of Scientific Research. A brief version of this report was presented at the Rocky Mountain Psychological Association meeting, Denver, May, 1974.     

The artist as transgressor in Mandel'štam's poetry

In Mandel'tam's writing, artistic creativity is described as based on the indispensable yet contradictory modes of compliance and deviation. The artist, by his artistic nature, must be an obedient disciple to the tradition that inspires him, and, at the same time, a violator who renders what inspires him in an individual form. Thus, art implies iterability through novelty. In the totalitarian state, this double nature of art acquires a sinister context and brings the artist to an unavoidable conflict with the state. He has a choice between a servile compliance with the state's command and artistic independence. If the artist complies, he loses his ingenuity; if, on the other hand, he has the courage to break away from the established order, his fate is martyrdom. The criteria of truth and falsehood, the issue of loyalty, of compromise and collaboration or resistance become most relevant. Such words as outcast or non-contemporary acquire the meaning of non-collaborationist or enemy of the people. In the totalitarian state a genuine artist is viewed as a law-breaker, and his art leads him to crime. The notions of compliance and deviation cease being merely aesthetic terms and assume in Mandel'tam's poetry complex, subtle and tragic overtones.I would like to express my gratitude to John Barnstead, Thomas Blakeley, James Doull, Elena Glazov-Corrigan, Gregory Glazov, Leonard Kazdan, Peter Kussmaul, Malcolm Ross, Detlev Steffen, and Ieva Vitins for their valuable criticism, suggestions, and revisions of my English.     

Completeness theorem for dummett's LC quantified and some of its extensions

Dummett's logic LC quantified, Q-LC, is shown to be characterized by the extended frame Q⁺, ,D, where Q⁺ is the set of non-negative rational numbers, is the numerical relation less or equal then and D is the domain function such that for all v, w Q⁺, D_v and if v w, then D _v . D _v D _w . Moreover, simple completeness proofs of extensions of Q-LC are given.     

Does Alternating Between Masculine and Feminine Pronouns Eliminate Perceived Gender Bias in Text?

This study explores whether alternating betweenthe pronouns he and she ina text is an effective way to avoid sexist language.Participants were psychology students at a largemidwestern university and were predominately White and frommiddle-class backgrounds. Students read two versions ofan essay, one that alternated between masculine andfeminine pronouns and one that exclusively used paired, he or she-type pronouns. Readersperceived the alternating version to be biased in favorof females and lower in overall quality than the pairedversion. However, the alternating version appeared to be more effective at combating sexism,suggesting an alternating strategy may be desirable forauthors with this goal. If the author is not primarilyconcerned with increasing readers' awareness of gender issues, techniques such as pluralization or thesingular they may be moreappropriate.     

Modal Logics of Succession for 2-Dimensional Integral Spacetime

We consider the problem of axiomatizing various natural successor logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the standard modal language (i.e. the language containing and ) is not finitely axiomatizable.     

Children's judgment and recall of causal connectives: A developmental study of “because,” “so,” and “and”

The present study examined the acceptability judgments and recall performance of children aged 6,9, and 11 years with sentences expressing psychological cause-effect relations. Thirty-two sentences containing because medially, because initially, so, and and were generated from four clause pairs. Both probable and improbable event orders were used. The results indicated that children preferred because to so or and for statements of psychological causality. However, on both tasks, first and third graders frequently failed to attend to the temporal ordering specified by each sentence construction. The younger children also tended to judge all sentences acceptable, suggesting that they were concerned only with the probable association of event pairs, and not with the usual order of the events. Order of mention strategies did not occur in any group, suggesting that they arise only when children cannot make interpretations based on probable order of events. The data also indicated that the recall task is an unreliable index of rules for comprehension and production.This article is based on research conducted by the first author as partial fulfillment of the Ph.D. requirements for the Department of Educational Policy Studies, University of Wisconsin.     

Influence and development: Two basic paradigms of education

The article discusses two basic paradigms of western educational theory, namely the concept of influence and the concept of development. Two historical contextes are analyzed, John Locke's theory of human learning and Jean-Jacques Rousseau's theory of natural development. Both theories are rejected in favour of a position beyond influence and development. This position of a theory of education (Erziehung) is marked with the term moral communication.An earlier and slightly different version of this article was presented to the International Symposion The Crisis of Schools (Corsendonck/Belgium, March 1992). It was translated from the german original by Annette Roeder. The final draft is my own.     

Managerial Stress, Locus of Control, and Job Strain in Taiwan and UK: A Comparative Study

This study investigated managerial stress in Taiwan and UK using the Occupational Stress Indicator-2 (OSI-2) and the Work Locus of Control (WLCS) scale. Results showed that the reliability and validity of the measures used were acceptable and comparable in the two samples. There were similarities as well as differences in managerial stress in the two countries. Recognition and Managerial role were important predictors of strain for the Chinese managers, whereas Relationships, Organizational climate, and Personal responsibility were important predictors of strain for UK managers. There were consistent moderating (vulnerability) effects of internal control for the Taiwanese managers. Results corroborated some previous studies conducted in the West. However, caution was also suggested for generalizing Western-originated concepts and theories across cultural boundaries.