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

Omega-consistency and the diamond

G is the result of adjoining the schema (qAA)qA to K; the axioms of G* are the theorems of G and the instances of the schema qAA and the sole rule of G* is modus ponens. A sentence is -provable if it is provable in P(eano) A(rithmetic) by one application of the -rule; equivalently, if its negation is -inconsistent in PA. Let -Bew(x) be the natural formalization of the notion of -provability. For any modal sentence A and function mapping sentence letters to sentences of PA, inductively define A by: p = (p) (p a sentence letter); = ; (AB)su}= (A B); and (qA)= -Bew(A )(S) is the numeral for the Gödel number of the sentence S). Then, applying techniques of Solovay (Israel Journal of Mathematics 25, pp. 287–304), we prove that for every modal sentence A, _G A iff for all , _PA A ; and for every modal sentence A, _G* A iff for all , A is true.I should like to thank David Auerbach and Rohit Parikh.     

Merleau-Pontian Phenomenology as Non-Conventionally Utopian

This essay takes up the claim made recently by Simon Critchley in The Companion to Continental Philosophy that a feature common to many philosophers in the Continental tradition is the utopian demand that things be otherwise. The general question I pursue has to do with whether or not such a claim includes movements within Continental philosophy that do not self-identify with the utopian (like critical theory). The particular question has to do with whether or not the movement of phenomenology is utopian or does it, because of its other commitments, view the utopian as the antithesis to its orientation, which makes that claim that phenomenology is utopian seem strange. My thesis is that phenomenology can be seen as a utopian tradition but that some account must be given that demonstrates this connection to the utopian. In particular, I argue that Maurice Merleau-Ponty's phenomenology provides an understanding of the utopian, which I call a non-conventional view, that is vastly different from the one assumed by most when they see or hear the word utopian, which I label conventional. I show that such a non-conventional understanding can be developed in a way that neither requires us to view the utopian solely as opposed to finitude and contingency, nor a form of thought and action from which we necessarily need to dissociate ourselves. It is this non-conventional view of the utopian that in the end enables us to understand how Continental philosophy in general and phenomenology in particular are important bearers of the utopian demand that things be otherwise.     

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.     

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.     

Fragmentation and re-integration of experience

Secular and religious counselors require a model of psychotherapy that conceptualizes human beings as conscious, goal-seeking entities. Such a model, based on the construct being in one's own world, is sketched in broad outline in this essay. The building blocks for the model are the intentional modes that lie at the heart of the self-world dialectic in which we live our lives. It is demonstrated how these intentional modes are organized into a gestalt-like whole referred to as the existential gestalt. From the diagram of the existential gestalt the concepts of intentional clarity and modal congruence are derived. These concepts enable us to understand the processes of the fragmentation and re-integration of experience that lie at the heart of psychotherapy. Inclusiveness and purposefulness, two additional factors that are important for assessing the adequacy of the existential gestalt, are also briefly touched upon.     

Should “multiple imputations” be treated as “multiple indicators”?

Rubin's multiple imputation approach to missing data creates synthetic data sets, in which each missing variable is replaced by a draw from its predictive distribution, conditional on the observed data. By construction, analyses of such filled-in data sets as if the imputations were true values have the correct expectations for population parameters. In a recent paper, Mislevy showed how this approach can be applied to estimate the distributions of latent variables from complex samples. Multiple imputations for a latent variable bear a surface similarity to classical multiple indicators of a latent variable, as might be addressed in structural equation modelling or hierarchical modelling of successive stages of random sampling. This note demonstrates with a simple example why analyzing multiple imputations as if they were multiple indicators does not generally yield correct results; they must instead be analyzed by means concordant with their construction.I am grateful to Frank Jenkins, John Mazzeo, Kentaro Yamamoto, and Rebecca Zwick for comments on earlier versions 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.     

Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization

The paper deals with the problem of axiomatizing a system 1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 (immediate successor) and -1 (immediate predecessor). 1 is like the Segerberg-Sundholm system W1 in working with so-called infinitary inference rules; on the other hand, it differs from W1 with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a now operator, and, most importantly, with respect to (iii) the presence in of so-called systematic frame constants, which are meant to hold at exactly one point in a temporal structure and to enable us to express the irreflexivity of such structures. Those frame constants will be seen to play a paramount role in our axiomatization of 1.The present contribution reports research done under the auspices of the Swedish Council for Research in the Humanities and the Social Sciences (HSFR), project On the Legal Concepts of Rights and Duties: an Analysis Based on Deontic and Causal Conditional Logic. I wish to thank the anonymous referee for his/her extremely patient and accurate revision work, and Krister Segerberg for his helpful suggestions.     

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.     

Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

The main result of this paper belongs to the field of the comparative study of program verification methods as well as to the field called nonstandard logics of programs. We compare the program verifying powers of various well-known temporal logics of programs, one of which is the Intermittent Assertions Method, denoted as Bur. Bur is based on one of the simplest modal logics called S5 or sometime-logic. We will see that the minor change in this background modal logic increases the program verifying power of Bur. The change can be described either technically as replacing the reflexive version of S5 with an irreflexive version, or intuitively as using the modality some-other-time instead of sometime. Some insights into the nature of computational induction and its variants are also obtained.This project was supported by the Hungarian National Foundation for Scientific Research, Grant No. 1810.     

“Anchor-range” results with “same” and “different” responses and similar and dissimilar stimuli

Summary Blocks of pairs of dissimilar (anchor-like) circles were unexpectedly followed by single pairs of similar circles and vice versa. The dissimilar circles were 3 and 10 mm in diameter, and the similar circles were 3 and 5 mm, 5 and 7 mm, and 7 and 10 mm in diameter. In a second experiment, the dissimilar and similar circles did not overlap in size (e.g., they were 1.5 and 5 mm and 7 and 10 mm, respectively). The same responses to the unexpected same pairs of similar circles were faster than the same responses to the identical pairs in the blocks. In contrast, the different responses to the unexpected different pairs of similar circles were slower than the different responses to the identical pairs in the blocks. Similar stimuli accelerate same responses and slow down different responses. So the time results (and the error results as well) suggest that the context of the block dissimilar circles increased the perceived similarity of the unexpected similar circles. These anchor-range results are not explained by Thurstonian theories, which are based on the absolute properties of stimuli. Instead, they imply that the relation between the similar circles in the context of the relation between the dissimilar circles affected performance.     

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

Sheaves over Heyting lattices

For a complete Heyting lattice , we define a category Etale (). We show that the category Etale () is equivalent to the category of the sheaves over , Sh(), hence also with -valued sets, see [2], [1]. The category Etale() is a generalization of the category Etale (X), see [1], where X is a topological space.     

Interpreting idioms

Immediate comprehension processes involved in the interpretation of idiomatic expressions were investigate. Idioms like bury the hatchet were used in sentential contexts that (1) biased the listener toward a literal interpretation, (2) biased the listener toward a figurative interpretation, or (3) left the interpretation ambiguous between the literal and figurative readings. In control sentences, the final words of the idioms were used in nonidiomatic expressions. Listeners monitored the sentences for specified targets. In all cases, the target words were the final words of the idiomatic phrases. The listeners were instructed to detect words that were identical to cue words, that rhymed with the cue words, or that were members of semantic categories specified by cue words. Thus, hatchet was cued with either hatchet, ratchet, or a tool. Reaction-time latencies from the onset of the targets to the listeners' responses were obtained. Identity, Rhyme, and Category matches were detected more rapidly in all three idiomatic contexts than in the nonidiomatic controls. These results suggest that idioms are automatically processed as discrete lexical entries, and that previously observed reaction time advantages for figurative expressions may reflect integrative processes rather than retrieval of meaning.This research was supported by PHS Training Grant T32 MH 15134-02 from the National Institute of Mental Health. A preliminary version of this paper was presented at the Annual Meeting of the American Psychological Association, Los Angeles, August 1981.     

Self and others in “private language”

The aim of this paper is to restore the interdependent or complementary relationship between self and others against the universalistic one (as I call it) that Kant, for example, once insisted on, by reexamining the concept of so-called private language. I shall consider some views in speech act theory and pragmatics, since there has often been discussion about such a private occurrence as the speaker's sincerity. For example, Jürgen Habermas situates it in the speaker's internal nature as will be seen later. In my opinion, alter ego is an ego because we can empathize (einfühlen) with it, and yet it is alter ego because it has some private experiences which we cannot perfectly comprehend.     

On a certain class ofm-address machines

Conclusion It follows from the proved theorems that ifM =Q, (whereQ={0,q ₁,q ₂,...,q }) is a machine of the classM _F then there exist machinesM _i such thatM _i(1,c)=M (q _i,c) andQ _i={0, 1, 2, ..., +1} (i=1, 2, ..., ).And thus, if the way in which to an initial function of content of memorycC a machine assigns a final onecC is regarded as the only essential property of the machine then we can deal with the machines of the formM ={0, 1, 2, ..., }, and processes (t) (wheret=1,c,cC) only.Such approach can simplify the problem of defining particular machines of the classM _F , composing and simplifying them.Allatum est die 19 Januarii 1970     

Acquisition of Locative Prepositions in Russian

This study investigated the ability of children between ages 3;0 and 7;2 to understand and to produce locative prepositions in functionally autonomous form in Russian. Eighty-eight children were required to manipulate two objects in nonverbal and verbal situations. Six types of locative relationships (in, on, under, above, in front of, and behind) were studied in constructions such as the sphere is in the cube. Results showed that the children found difficulties in the functional use of prepositions. These findings suggest that the acquisition of locative prepositions in childhood is not complete at the time of their appearance in speech. This is a complex process which is not completed until approximately age 7. The acquisition of the prepositional system is equivalent to the acquisition of the prepositions' semantic system.     

Codependence and Interdependence: Cross-Cultural Reappraisal of Boundaries and Relationality

This article explores the cross-cultural implications of the Western notion of boundaries and the Asian matrix of relationality for pastoral care ministry. Theorists of codependence (relationship addiction) show that American awareness of boundaries produces phobic attitudes toward the interwoven interplay of human relationships. Noting the underlying American cultural ideal (i.e., individual autonomy), evidences that boundaries are culturally defined are reviewed. Drawing upon the social-psychological concept of interdependence (Asian construal of self), the author proposes that there is a need for a different understanding of boundaries, since some Asian people have strikingly different construals of the self, of others, and of the interdependence of the two. Boundaries and relationality need to be in dialogue with each other so as to create relational boundaries that empower mutual relations within which we may come to experience the power of the relational, triune God.