Clocks,Creation and Clarity: Insights on Ethics and Economics from a Feminist Perspective

This essay discusses the origins, biases, and effects on contemporary discussions of economics and ethics of the unexamined use of the metaphor an economy is a machine. Both neoliberal economics and many critiques of capitalist systems take this metaphor as their starting point. The belief that economies run according to universal laws of motion, however, is shown to be based on a variety of rationalist thinking that – while widely held – is inadequate for explaining lived human experience. Feminist scholarship in the philosophy of science and economics has brought to light some of the biases that have supported the mechanistic worldview. Possible alternatives to the an economy is a machine include an economy is a creative process and an economy is an organism. Such metaphors are intellectually defensible as guides to scientific inquiry and provide a richer ground for moral imagination.     

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.     

Distinctions between subgroups of asthmatic children: Parental reactions to experimental separation

Parental reactions to experimental separation were analyzed for two groups of asthmatic children, those for whom behavioral factors were judged highly relevant to asthma and those for whom such factors appeared unimportant. The former group of 13 (predicted positives) had shown a highly significant improvement in asthma during separation from their families; the latter group of 12 (predicted negatives) had not. Coding of standardized interviews conducted around the time of separation disclosed that parents (mothers, especially) of predicted positives scored significantly higher than parents of predicted negatives on such scales as fussing over the child at the time of leave taking, missing child, experiencing pain and discomfort during the separation, being anxious over child's welfare, etc. Psychological test data did not discriminate between the parents' or childrens' groups as clearly as the more focused separation interviews but the test results were consistent with interview differences. The separation elicited very strong emotional reactions from several mothers.This study was supported by United States Public Health Service Grant No. HD01060 from the National Institute of Child Health and Human Development. Kirk Brady, John Means, loan Muser, and Claire Purcell contributed to data collection and/or data analysis.     

On a problem of P(α, δ, π) concerning generalized Alexandroff s cube

Universality of generalized Alexandroff's cube plays essential role in theory of absolute retracts for the category of , -closure spaces. Alexandroff's cube. is an , -closure space generated by the family of all complete filters. in a lattice of all subsets of a set of power .Condition P(, , ) says that is a closure space of all , -filters in the lattice ( ), .Assuming that P (, , ) holds, in the paper [2], there are given sufficient conditions saying when an , -closure space is an absolute retract for the category of , -closure spaces (see Theorems 2.1 and 3.4 in [2]).It seems that, under assumption that P (, , ) holds, it will be possible to givean uniform characterization of absolute retracts for the category of , -closure-spaces.Except Lemma 3.1 from [1], there is no information when the condition P (, , ) holds or when it does not hold.The main result of this paper says, that there are examples of cardinal numbers, , , such that P (, , ) is not satisfied.Namely it is proved, using elementary properties of Lebesgue measure on the real line, that the condition P (, ₁, 2 ) is not satisfied.Moreover it is shown that fulfillment of the condition is essential assumption in, Theorems 2.1 and 3.4 from [1] i.e. it cannot be eliminated.     

Richard Zaner’s Phenomenology of the Clinical Encounter

The clinical ethics propounded by Richard Zaner is unique. Partly because of his phenomenological orientation and partly because of his own daily practice as a clinical ethicist in a large university hospital, Zaner focuses on the particular concrete situations in which patients and their families confront illness and injury and struggle toward workable ways for dealing with them. He locates ethical reality in the clinical encounter. This encounter encompasses not only patient and physician but also the patients family and friends and indeed the entire lifeworld in which the patient is still striving to live. In order to illuminate the central moral constituents of such human predicaments, Zaner discusses the often-overlooked features of disruption and crisis, the changed self, the patients dependence and the physicians power, the violation of personal boundaries and their necessary reconfiguring, and the art of listening.     

Test of the violation of local realism in quantum mechanics with no use of Bell's inequalities

A novel and versatile polarization-entanglement scheme is adopted to investigate the violation of the EPR local realism for a non-maximally entangled two-photon system according to the recent nonlocality proof by Lucien Hardy. In this context the adoption of a sophisticated detection method allows direct determination of any element of physical reality (viz., determined with probability equal to unity in the words of Einstein, Podolsky and Rosen) for the pair system within complete measurements that are largely insensitive to the detector quantum-efficiencies and noise.     

A game-based formal system for Ł∞

A formal system for , based on a game-theoretic analysis of the ukasiewicz prepositional connectives, is defined and proved to be complete. An Herbrand theorem for the predicate calculus (a variant of some work of Mostowski) and some corollaries relating to its axiomatizability are proved. The predicate calculus with equality is also considered.     

The elimination of de re formulas

It is shown that de re formulas are eliminable in the modal logic S5 extended with the axiom scheme x x.     

Sprachverstehende maschinen

In this paper the author tries to disentangle some of the problems tied up in John Searle's famous Chinese-room-argument. In a first step to answer the question what it would be for a system to have not only syntax, but also semantics the author gives a brief account of the functioning of the language understanding systems (LUS) so far developed in the framework of AI research thereby making clear that systems like Winograd's SHRDLU are indeed doing little more than mere number crunching. But things would be entirely different, the author argues, if the database of a LUS were built up by the system itself via some perceptual component-at least, if this perceptual component had the capacity to distinguish objects having a certain property F from objects which do not. For in this case the system could store an internal representation of the fact that the object has the property F in its database if and only if the object in fact has that property. And this would be a good basis for calling such a system a genuine LUS. But Searle has objected to a very similar account of J. Fodor that nothing could be further from true language understanding. The reason for this complaint seems to be that Searle holds the view that a true LUS must e.g., know that the word hamburgers refers to hamburgers and that he moreover claims that this knowledge must be explicit or that the system must be aware of the reference of hamburgers to hamburgers. The author argues that this is asking too much. For it seems plausible to say that a system is able to understand e.g., the word hamburger even if it has only implicit knowledge of the fact that hamburger refers to hamburgers in the sense that it has the capacity to tell hamburgers from non hamburgers and the capacity to bring the word hamburger together just with objects of the former kind.     

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.     

The Vietnam veteran and his preschool child: Child rearing as a delayed stress in combat veterans

Integral to a successful readjustment following his Vietnam combat experience, is the veteran's ability to make the transition from the reflex of combat aggressiveness, to adaptive, nondestructive aggression in his current life. Child rearing has been observed to stress the veteran's working through of this very necessary, though often difficult, transition. Specifically, the activity and agression of the terrible two's and the preschool child, particularly males, reawakens the painful affects of combat aggression and sadism. Attempts to control the aggressiveness in his children and himself may lead to maladaptive coping and symptom breakthrough in the veteran, his child and/or his family unit. Two case examples, one brief, one more detailed, illustrate this observation.Paper read at Symposium on War Babies: Delayed Effects of Warmaking, Disaster and Persecution on Children, Xth International Congress of Child and Adolescent Psychiatry, Dublin, July 26, 1982.     

Accepting inconsistencies from the paradoxes

It has been proposed that the law of non-contradiction be revised to permit the simultaneous truth and falsity of the key sentences of the logical paradoxes, e.g., This sentence is false. In an attempt to show to what extent this bizarre suggestion of inconsistent models or truth-value gluts is a coherent suggestion it is proved that a first-order language for number theory can be semantically closed by having its own global truth predicate under some non-standard interpretation and thus that it actually can contain the Liar sentence. It is proved that in this interpretation the Liar sentence is both true and false, although not every sentence is.     

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.     

Semantic analysis of natural kind terms

This paper develops a model theoretic semantics for so called natural kind terms that reflects the viewpoint of (Kripke, 1980) and (Putnam, 1975). The semantics generates a formal counterpart of the K-mechanism investigated in (Salmon, 1981) and in unpublished work by Keith Donnellan.I would like to thank David Anderson, Bernard Linsky, Hilary Putnam, Nathan Salmon, Edward Zalta, and the participants of the 1992 SEP conference for much helpful discussion and encouragement regarding the project of this paper.     

Intuitionistic uniformity principles for propositions and some applications

This note deals with the prepositional uniformity principlep-UP: p x N A (p, x) x N p A (p, x) ( species of all propositions) in intuitionistic mathematics.p-UP is implied by WC and KS. But there are interestingp-UP-cases which require weak KS resp. WC only. UP for number species follows fromp-UP by extended bar-induction (ranging over propositions) and suitable weak continuity. As corollaries we have the disjunction property and the existential definability w.r.t. concrete objects. Other consequences are: there is no non-trivial countable partition of;id is the only injective function from to; there are no many-place injective prepositional functions; card () is incomparable with the cardinality of all metric spaces containing at least three elements.     

Some modifications of Scott's theorem on injective spaces

D. Scott in his paper [5] on the mathematical models for the Church-Curry -calculus proved the following theorem.A topological space X. is an absolute extensor for the category of all topological spaces iff a contraction of X. is a topological space of Scott's open sets in a continuous lattice.In this paper we prove a generalization of this theorem for the category of , -closure spaces. The main theorem says that, for some cardinal numbers , , absolute extensors for the category of , -closure spaces are exactly , -closure spaces of , -filters in , >-semidistributive lattices (Theorem 3.5).If = and = we obtain Scott's Theorem (Corollary 2.1). If = 0 and = we obtain a characterization of closure spaces of filters in a complete Heyting lattice (Corollary 3.4). If = 0 and = we obtain a characterization of closure space of all principial filters in a completely distributive complete lattice (Corollary 3.3).     

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.     

Hick's interpretation of religious pluralism

Conclusion There is no question that Hick's theory rests upon multiple assumptions about a singular, transcendental grounding and the fundamental equality of the various religions that cannot be inductively verified beyond all doubt. That need not mean, however, that the attractiveness of his theory derives solely from the peculiar charm of supposing that the One and the Many are no more at odds in the realm of religion than anywhere else. For Hick's assumptions are not just an exercise in wishful thinking or wild speculation. They are based upon experience from within what he calls the benign circle of faith. Because the reality experienced is ambiguous, acceptance or rejection of his views will, of course, be a matter of choice. And, admittedly, this choice will be dictated not so much by a weighing of empirical evidence that might prove the various religions to be exactly as he sees them, as by a consideration of what we have been surveying in the preceding pages, namely, the import of seeing things as Hick does.

---

     

A calculus for the common rules of ∧ and ∨

We provide a finite axiomatization of the consequence , i.e. of the set of common sequential rules for and . Moreover, we show that has no proper non-trivial strengthenings other than and . A similar result is true for , but not, e.g., for ⁺.To the memory of Jerzy Supecki     

Dowód aksjomatyzowalności pewnychn-wartościowych rachunków zdań

Praca ta zostaa wykonana pod kierunkiem prof. drJerzego Supeckiego. Jej szczególny przypadek dotyczcyn-wartociowego rachunku zda o jednej wartoci wyrónionej by referowany w Warszawie na zjedzie Grupy Logiki Instytutu Filozofii i Socjologii PAN. Streszczenie tego referatu [5] zostao wydrukowane w Sprawozdaniach Wydziau Nauk Spoecznych PAN.Allatum est die 19 Aprilis 1963