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.     

A hermeneutics of the natural sciences? The debate updated

The initial obstacle to the development of a hermeneutics of the natural sciences has been the inadequate translation, and thus misunderstanding, of the basic terms of Heidegger's ontological analysis ofthe protopractical human situation and its progressive technicization. Pragmatism's parallel analyses of the problem situation of scientists has promoted a more idiomatically English vocabulary. But 1) Gadamer's exclusion of domains and disciplines working with technical methods from his universal hermeneutics continues to be influential, this in spite of the genesis of his project in Helmholtz's insights into the process of scientific discovery. 2) Markus thus depicts a distinctly different style of production, transmission, and reception of the technological texts of natural science. 3) Rouse's 1987 extension of pragmatic hermeneutics into the incipient politics of knowledge/power relations in laboratory science presents the usual frightening prospects connected with laboratory experimentation impacting on disciplinary social institutions. 4) Rouse's 1996 analysis of scientific practices in local narrative situations eschews the banner of hermeneutics and instead proposes to examine scientific-technological work by way of interdisciplinary cultural studies, once the traditional loci of hermeneutic methodology. 5) A hermeneutic phenomenology of the natural sciences thus finds itself fundamentally challenged with respect to its rightful topics and roles in the analysis of increasingly technicized disciplines and domains.     

Supposition as Quantification versus Supposition as Global Quantificational Effect

This paper follows up a suggestion by Paul Vincent Spade that there were two Medieval theories of the modes of personal supposition. I suggest that early work by Sherwood and others was a study of quantifiers: their semantics and the effects of context on inferences that can be made from quantified terms. Later, in the hands of Burley and others, it changed into a study of something else, a study of what I call global quantificational effect. For example, although the quantifier in ¬xPx is universal, it can be seen globally as having an existential effect; this is because the formula containing it is equivalent to x¬Px. The notion of global effect can be explained in terms of the modern theory of normal forms. I suggest that early authors were studying quantifiers, and the terminology of the theory of personal supposition is a classification of kinds of quantifiers. In this theory, to say that a term has distributive supposition is to say, roughly, that it is quantified by a universal quantifying sign. Later authors turned this into a theory of global quantificational effect. In the later theory, to say that a term has distributive supposition is to say that the overall effect is as if the term were universally quantified with a quantifier taking (relatively) wide scope. The difference between these two approaches is illustrated by the fact that the term man is classified as having distributive ("universal") supposition in Not every man is running in the earlier theory, whereas in the later theory that term does not have distributive supposition; it has determinate ("existential") supposition. In the paper I explain these options, and I argue from several texts that the earlier and later medieval theories actually worked like this. In an appendix I make further efforts to clarify the obscure early accounts, as well as the nineteenth century "doctrine of distribution". The last section of the paper discusses the "purpose(s)" of supposition theory.     

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

- Allatum est die 5 Martii 1970     

Listening to a different voice: A feminist critique of Gilligan

A critical examination of Carol Gilligan's study of psychological theory and women's development, this essay begins by exploring her concerns about malebiased developmental theorizing. I consider in detail Gilligan's criticisms of Sigmund Freud and her own empirical studies of moral development, as they relate to the work of L. Kohlberg. After defending Freud to some degree, I propose various (less theoretical but intuitively plausible) alternative interpretations of her data-interviews with males and females about hypothetical ethical dilemmas and with females about actual abortion decisions. I contend that Gilligan is too willing to concede the adequacy of Kohlberg's categories for fathoming the moral reasoning of males and that she may, in consequence, exaggerate differences between males and females. Noting the ironic similarities between Gilligan's claims and Schopenhauer's misogyny, I suggest that there may be something undesirably self-limiting about the different course of development she sketches. To move toward a morally preferable, feminism-compatible version of an ethic of care, I recommend that it be extended — by the imagination — beyond the here and now and that it not be restricted to existing webs of personal relationships.     

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

- Allatum est die 5 Martii 1970     

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.     

The relationship between perceived surface-lightness and perceived illumination

Summary An attempt was made to specify the relationship between perceived surface lightness and perceived illumination under the stimulus conditions where different combinations of albedo and illuminance gave 10 approximately equal-luminance levels of a test field (TF) on three different (black-, gray- and white-appearing) backgrounds. Two types of category judgments for TF-lightness and overall illumination were made on the total of 94 TFs by 5 Ss. The results indicated that under the condition where achromatic surface colors appear, the perceptual scission which produces two different perceptual dimensions (lightness and perceived illumination) from one sort of stimulation (luminance) was clearly observed. The relation between the two judgments was consistent with the lightness-illumination invariance hypothesis: As lightness judgments (A) changed from darker to lighter, illumination judgments (I) shifted form brighter to dimmer, the sum of A and I being kept nearly invariant for a given luminance of the TF; the psychological relationship between lightness and illumination, A+I, changed as a linear function of the photometric combination of albedo and illuminance, log A+log I. It was also found that the albedo of the background was an important factor determining the extent of perceptual scission between lightness and illumination.     

Creating “Maneuvering Room”: A Grounded Theory of Language and Influence in Marriage and Family Therapy

Influence in psychotherapy has been described as a characteristic of the therapist, a characteristic of the therapeutic relationship, and a negotiated process. This study combines grounded theory and task analysis to explore language patterns in facilitating change in family therapy. Thirty-one episodes of therapy were analyzed, resulting in the emergent concept of creating maneuvering room. Therapists introduce uncertainty into clients beliefs about problems then offer new ways of defining problems by speaking from three dimensions: therapist as expert or non-expert, therapist as participant or observer, or family members experiences as similar or different. The findings of this study support a possible common factor in family therapy.     

Promoting perspective coordination by dilemma discussion. The effectiveness of classroom group discussion on interpersonal negotiation strategies of 12-year-old students

Promoting social competence and social cognition is an important aim of education and socialization. According to theories of social cognitive and moral development, social cognition may be promoted by adolescent peer interaction. In this study, social cognition is theoretically conceptualized by the interpersonal negotiation strategies model of Selman which distinguishes levels of perspective coordination and steps of information processing (identification of a problem, generating negotiation strategies, selection of a strategy, evaluation). In a pre-post control group design this study investigated whether dilemma discussions among peers lead to higher individual levels of perspective coordination compared to an individualistic condition. Members of the discussion-condition exhibited higher gain scores in perspective coordination compared to the control group regarding the information processing steps generating strategies and strategy selection. In order to analyze verbal interaction in the discussion groups, an integrative coding schedule was developed. In addition, trait-like argumentative motives of the participants were assessed. The results of multilevel analyses suggest that progress in posttest-perspective coordination is mediated by the groups consensual solution of the dilemma as well as by an explanation-oriented discussion style, but only if the latter is accompanied by a trait-like subject- and consensus-oriented argumentative motive. Theoretical and practical conclusions are drawn.     

Third Men: The Logic of the Sophisms at Arist. SE 22, 178b36–170a10

This article aims at elucidating the logic of Arist. SE 22, 178b36–179a10 and, in particular, of the sophism labelled "Third Man" discussed in it. I suggest that neither the sophistic Walking Man argument, proposed by ancient commentators, nor the Aristotelian Third Man of the , suggested by modern interpreters, can be identified with the fallacious argument Aristotle presents and solves in the passage. I propose an alternative reconstruction of the Third Man sophism and argue that an explanation of the lines regarding the identity of Coriscus and Coriscus the musician (178b39–179a3) is indispensable for its correct understanding, since they hint at another sophism in some important aspects analogous. Finally, I show that two contradictions concerning spotted by scholars in the passage are only apparent and can be dissolved once the assumption that the anti-Platonic Third Man argument is at stake here is discarded, and once the passage is read in the light of its agonistic context.     

Some notes on the nature of methodological indeterminacy

This paper is an attempt to extend the meaning of the concept of indeterminacy for the human sciences. The authors do this by coining the term methodological indeterminacy and arguing that indeterminacy is better understood when linked to specific methodological techniques. Paradoxically, while specific research techniques demonstrate that the issue of indeterminacy is complex, yielding the possibility of types and degrees, it does not eliminate the problem of translation first raised by Quine. However, the authors go on to argue that, from a research perspective, indeterminacy can and must be approached in such a way that it is possible to reduce cases of it, even though never completely eliminating it in the human sciences.     

The relevance of Habermas' communicative turn

This paper points out the way in which educational and communicative action (Habermas) are to be related. It is shown that earlier attempts to put Habermas ideas to use have led to a dead end because they do not realize clearly that the new basic notion introduced by Habermas, namely communicative action, is the expression of a communicative turn. It is argued that Habermas' concept expresses a radical new attempt to grasp the intersubjective character of social action. Next implications of this communicative turn for the concept of education as a social praxis are indicated. Education can be conceived of as a praxis responding to the vulnerability of a communicative self.     

Happiness and virtue in Socrates' moral theory

Conclusion In Section IV above we start with texts whose prima facie import speaks so strongly for the Identity Thesis that any interpretation which stops short of it looks like a shabby, timorous, thesis-saving move. What else could Socrates mean when he declares with such conviction that no evil can come to a good man (T19), that his prosecutors could not harm him (T16(a)), that if a man has not been made more unjust he has not been harmed (T20), that all of happiness is in culture and justice (T16(a)), that living well is the same as living justly (T15)? But then doubts begin to creep in. Recalling that inflation of the quantifier is normal and innocuous in common speech (that job means everything to him, he'll do anything to get it, will stick at nothing) we ask if there is really no chance at all that no evil in T19, not harmed in T20 might be meant in the same way? The shift from no harm at T16(a) to no great harm at T16(b), once noticed, strengthens the doubt. It gets further impetus in T21(b) when to explain how all of happiness is in culture and justice he depicts a relation (that recurs more elaborately in T22) which, though still enormously strong, is not quite as strong as would be required by identity. The doubt seeps into T15 when we note that current usage did allow just that relation as a respectable use of the same.At that point we begin to wonder if resort to the Identity Thesis might not be just a first approximation to a subtler, more finely nuanced, doctrine which would give Socrates as sound a foundation for what we know he wants to maintain at all costs - the Sovereignty of Virtue - without obliterating the eudaemonic value of everything else in his world. We cast about for a credible model of such a relation of virtue to happiness and hit on that multicomponent pattern sketched on p. 9 above. We ascertain that this will afford a comprehensively coherent eudaemonist theory of rational action, while its rival would not, and will fit perfectly a flock of texts in Section V which the latter will not fit at all. Are we not entitled to conclude that this is our best guide to the true relation of virtue to happiness in Socrates' thought - the one for which he would have declared if he had formulated explicitly those two alternative theses and made a reasoned choice between them?The Socrates of this paper is the protagonist of Plato's earlier dialogues. I list these (by self-explanatory abbreviations), borrowed from T. Irwin, Plato's Moral Theory [1974] (hereafter PMT): Ap., Ch., Cr., Eud., Eu., G., HMa., HMi, Ion, La., Ly., Pr., R., I. I assume, but shall not argue here, that in this segment of his corpus, Plato aims to recreate the doctrines and arguments of his teacher in dramatic scenes, all of which (except for the Ap.) may be, and most of which undoubtedly are, fictional; I shall be referring these works, under this proviso, as Plato's Socratic dialogues. (I did not include the Menexenus in the above list, since the parody of a funeral oration in this dialogue is implicitly dissociated from Socrates.)     

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.     

Hussearle's Representationalism and the “hypothesis of the Background”

John Searle's hypothesis of the Background seems to conflict with his initial representationalism according to which each Intentional state contains a particular content that determines its conditions of satisfaction. In Section I of this essay I expose Searle's initial theory of Intentionality and relate it to Edmund Husserl's earlier phenomenology. In Section II I make it clear that Searle's introduction of the notion of Network, though indispensable, does not, by itself, force us to modify that initial theory. However, a comparison of this notion to the notion of horizon from Husserl's later phenomenology and an interpretation of Husserl's conception of the determinable X as providing a solution to the problem of perceptual misidentification lead me to conclude that in his discussion of 'twin examples' Searle had better modified his initial theory. Finally, I critically examine Searle's claim that anyone who tries seriously to follow out the threads in the Network will eventually reach a bedrock of non-Intentional capacities. In Section III I show in detail, partly in a rather Husserlian vein, that Searle's four official arguments for the Background thesis, though containing some very valuable contributions to a theory of linguistic skills, are not convincing at all if they are to be understood as going beyond the scope of (Hus)Searle's 'content-cum-Network' picture of Intentionality. The upshot of these considerations is that the Background thesis should be read as a thesis concerning the causal neurophysiological preconditions of human Intentionality rather than concerning the logical properties of Intentional states in general. Recently Searle himself has come to the same result, but he does not say for which reasons. The present essay makes it clear why Searle just had to arrive at this important result.     

The subjective vertical under ‘dry’ and ‘wet’ conditions at clockwise and counterclockwise changed positions and the effect of a parallel-lined background field

Summary The dependence of the subjective vertical (SV, the angle between a subjective vertical line and body median plane) on the gravity vertical (body tilt position, angle ) and on the optical vertical (i.e., a field of parallel lines seen as background to the line to be adjusted) was investigated. The SV was measured under dry and wet conditions at different degrees of body tilt attained in either clockwise (CW) or counterclockwise (CCW) progression.The measured difference in between field-of-lines left and right of the line is smallest at the upright position (=O°) and largest at =150°/165°. All body positions show a -difference between CW and CCW attainment (hysteresis), this too being least at upright and greatest at inverted body positions.These results, and changes of with test time, are discussed relative to the hypothesis that efficiency of the statolith organs decreases with body tilt increase, favouring increase of interference of somatoreceptors and the optical reference.     

Stuffed Cabbage in the Old New School Cafeteria

The purpose of this lecture is to celebrate the memory of Aron Gurwitsch by examining and enlarging the domain of phenomenological clarification of some elements of what Gurwitsch called the logic of reality. Chief among those elements are the nature of the taken-for-grantedness of our existential belief, the difference between presentive and non-presentive indices of reality and the ground for the self-illumination of the world of working.     

Three theories of nominalized predicates

By the term nominalization I mean any process which transforms a predicate or predicate phrase into a noun or noun phrase, e.g. feminine is transformed into feminity. I call these derivative nouns abstract singular terms. Our aim is to provide a model-theoretic interpretation for a formal language which admits the occurrence of such abstract singular terms.     

On superintuitionistic logics as fragments of proof logic extensions

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructedIn this diagram the maps, x and are isomorphisms, thereforex ^–1 = ; and the maps and are the semilattice epimorphisms that are not commutative with lattice operation +. Besides, the given diagram is commutative, and the next equalities take place: ^–1 = ^–1 and = ^–1 x. The latter implies in particular that any superintuitionistic logic is a superintuitionistic fragment of some proof logic extension.