The two cultures

Anhand von zwei Unterbereichen der künstlichen Intelligenz — den Expertensystemen und der wissenschaftlichen Entdeckung — wird aufzuzeigen versucht, daß die Beziehung zwischen der formalen und der intuitiven Kultur aus dem Gleichgewicht geraten ist. Dem Bereich der Intuition sollte größere Aufmerksamkeit gewidmet werden.

---

This article is based on a presentation given on a symposium The Art of Science, in Amsterdam, Amolf, 27 May 1987. It was organized to celebrate the 65th birthday of Prof. J. o.     

Логистическая система, исходными связками которой являются эквивалентность и дизъюнкция

- Allatum est die 5 Martii 1970     

Aids,myth, and ethics

The present paper is a commentary on an article by Larry Churchill [1]. Churchill has argued that the negative attitudes and adverse behavior we commonly encounter in connection with (suspected) AIDS patients may be understood in terms of a dualistic myth inspiring a ritual avoidance of dirt, of dirt as something that does not belong to a clean world order. The deep-seated mythical character of attitudes and behavior here makes them less accessible to the kind of rational argument commonly employed in ethics. Churchill also proposes a remedy for the (morally outrageous) dualistic mythical-ritual behavior he has focused — a remedy that may be overly intellectualistic.Three further comments are made: on the metaphorical meaning of myth, on a reductionist tendency in Churchill's deep-looking project, and on an ethically crucial ambiguity in the meaning of the other person's otherness. These (mildly critical) comments do not, however, detract from a positive overall evaluation of Churchill's basic idea that we will understand more about adverse attitudes and behavior in connection with AIDS if we think in terms of myth, ritual, dirt, and cleanliness.     

Foucault on the Case: The Pastoral and Juridical Foundation of Medical Power

This paper employs Foucaults concept of governmentality to examine critically the efforts by medical humanists to reform the medical case. I argue that these reform efforts contribute to the individualizing dimensions of medical power through the development of a pastoral technique that medicine has taken over from religious authority. Clinical experiences at this NEH Institute also revealed a juridical dimension of the medical case that treats a patients statements as suspect and in need of corroboration by evidence provided by the patients body. The combination of these pastoral and juridical dimensions of the case contributes to the normalizing power of modern medicine, and medical humanists need to be aware of their own contribution to this form of power as they reform the case.     

Независимость одной системы аксиом и правила вывода пропозиционального исчисления

- Allatum est die 5 Martii 1970     

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.     

Clinical interpretation: The hermeneutics of medicine

I argue that clinical medicine can best be understood not as a purified science but as a hermeneutical enterprise: that is, as involved with the interpretation of texts. The literary critic reading a novel, the judge asked to apply a law, must arrive at a coherent reading of their respective texts. Similarly, the physician interprets the text of the ill person: clinical signs and symptoms are read to ferret out their meaning, the underlying disease. However, I suggest that the hermeneutics of medicine is rendered uniquely complex by its wide variety of textual forms. I discuss four in turn: the experiential text of illness as lived out by the patient; the narrative text constituted during history-taking; the physical text of the patient's body as objectively examined; the instrumental text constructed by diagnostic technologies. I further suggest that certain flaws in modern medicine arise from its refusal of a hermeneutic self-understanding. In seeking to escape all interpretive subjectivity, medicine has threatened to expunge its primary subject — the living, experiencing patient.     

Ethical Reasoning And The Embodied,Socially Situated Subject

My discussion is concerned with how symbolic power constitutively structures our very identities in relation to one another and at the bodily level of lived experience. Although many accounts of the self and of subjectivity as socially situated have difficulties in their explanations of agency, Zaners work suggests a basis upon which the selfs independence from others can be understood. His phenomenology of embodied subjectivity explains how the emerging self presupposes presence with others. At the same time, however, co-presence also reveals the selfs distinct perspective and capacity for circumstantial possibilizing, that is to say, actualizing another possible than the actual. My aim is to examine critically the intersections between Zaners phenomenology and other theoretical accounts of the socially situated self. I also show how Zaners work contributes to these discussions a way of understanding the possibility of agency that is rooted in embodied experience.     

Positive modal logic

We give a set of postulates for the minimal normal modal logicK ₊ without negation or any kind of implication. The connectives are simply , , , . The postulates (and theorems) are all deducibility statements . The only postulates that might not be obvious are

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.     

Analityczne komponenty definicji arbitralnych

Tre: Wstp. I. Definicje arbitralne. II. Syntetyczne konsekwencje definicji arbitralnych III. Analityczne i rzeczowe komponenty definicji arbitralnych. IV. Zdania analityczne.Artyku ten w nieznacznym tylko stopniu róni si od pracy doktorskiej, któr przedstawiem w 1962 r. Jak najuprzejmiej dzikuj Prof. Dr M. Kokoszyskiej-Lutman, Prof. Dr J. Supeckiemu oraz Doc. Dr M. Przeckiemu za szereg uwag i wskazówek, z których tak wiele skorzystaem przygotowujc ostateczn redakcj pracy.     

Variations in use of the term “or”

Two studies showed that adults' responses to questions involving the term or varied markedly depending upon the type of question presented. When presented with various objects (A's and B's) and asked to circle all things which are A or B subjects tended to circle A's as well as B's, whereas when asked to circle all the A's or B's subjects showed a relatively stronger tendency to circle one or the other. Moreover the nature of the sets of objects (As and Bs) influenced behavior as well. There was also evidence that the effects due to question wording or set type transferred.     

Indeterminiertheit,Iterabilität und Intentionalität

In his recent paper Indeterminacy, empiricism, and the first person John R. Searle tries to refute Willard V. O. Quine's famous indeterminacy of translation thesis by arguing that this thesis is in fact areductio ad absurdum of Quine's own linguistic behaviorism. Searle accuses Quine of being (irrationally) antimentalistic and suggests that the absurdity of Quine's thesis might be avoided if a full-fledged intentionality were tolerated in the debate on meaning. — This anti-Quinean approach in some respects reminds of the improbable debate between Searle and Jacques Derrida ten years ago, when Derrida had split and deferred intentionality by showing that the essential iterability of signs inevitably infects every intentional act with an unremovable non-presence.In this paper it is argued that Searle's attacks on Quine and Derrida have both failed — and that there are structural similarities between these two failures which reveal some interesting parallels between Quine's and Derrida's philosophy.     

Is the mind-body interface microscopic?

This paper puts forward the hypothesis that consciousness might be linked to matter in a way which is more sophisticated than the traditional macroscopic Cartesian hypothesis suggests.Advances in the biophysics of the nervous system, not only on the level of its macroscopic functioning but also on the level of individual ion channels, have made the question of how finely consciousness is tied to matter and its dynamics more important. Quantum mechanics limits the attainable resolution and puts into doubt the idea of an infinitely fine-woven attachment. A recent approach to physics rekindles such a rationalist hope. Endophysics focuses on the global implications of microscopic computer simulations of chemical and biophysical processes. A complete artificial universe can be set up in the computer. It produces non-classical and nonlocal effects inside — on the interface that exists between an internal observer (fluid neuron) and the rest of the world. This interface is finer than any brain property to which the status of the mind-body interface has been attributed hitherto. A new class of experiments becomes possible in the artificial world and, by analogy, in the real world. Magnetic resonance imaging experiments, routinely performed under open-loop conditions, can be repeated under psychophysical (closed-loop) conditions — in search for microscopically induced changes in the perceived and measured structure of the world.     

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).     

Cooperation,Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems.     

Between Science and Nature: Interpreting Lactation Failure in Elizabeth von Arnim's The Pastor's Wife

Interpreting a scene of lactation failure allows us to represent breast-feeding as a contested social practice. This essay reads a novelistic scene of lactation failure in the context of the decline of breast-feeding in the twentieth century. The protagonist's ignorance of the female experiences of pregnancy, childbirth, and lactation is an effect of her objectification within the opposition between science and nature. Unnatural as a woman because she is a natural individual, the pastor's wife exemplifies the dilemmas of breast-feeding as a biosocial practice of maternity in a technological society which features the breakdown of traditional female networks in which knowledge about maternity and breast-feeding are circulated.