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.     

Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours

In "Doing Well Enough: Toward a Logic for Common Sense Morality", Paul McNamara sets out a semantics for a deontic logic which contains the operator It is supererogatory that. As well as having a binary accessibility relation on worlds, that semantics contains a relative ordering relation, . For worlds u, v and w, we say that u w v when v is at least as good as u according to the standards of w. In this paper we axiomatize logics complete over three versions of the semantics. We call the strongest of these logics DWE for Doing Well Enough.     

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     

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

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.     

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.     

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.     

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.     

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     

On the algebraization of a Feferman's predicate

Summary This paper is devoted to the algebraization of an arithmetical predicate introduced by S. Feferman. To this purpose we investigate the equational class of Boolean algebras enriched with an operation , which translates such predicate, and an operation , which translates the usual predicate Theor. We deduce from the identities of this equational class some properties of and some ties between and ; among these properties, let us point out a fixed-point theorem for a sufficiently large class of - polynomials. The last part of this paper concerns the duality theory for - algebras.Allatum est die 24 Maii 1976     

Modal logic with names

We investigate an enrichment of the propositional modal language with a universal modality having semanticsx iff y(y ), and a countable set of names — a special kind of propositional variables ranging over singleton sets of worlds. The obtained language _c proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment () of, where is an additional modality with the semanticsx iff y(y x y ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in _c. Strong completeness of the normal _c-logics is proved with respect to models in which all worlds are named. Every _c-logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from to _c are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched.     

The two faces of Quine's naturalism

Quine's naturalized epistemology is ambivalent between a modest naturalism according to which epistemology is an a posteriori discipline, an integral part of the web of empirical belief, and a scientistic naturalism according to which epistemology is to be conducted wholly within the natural sciences. This ambivalence is encouraged by Quine's ambiguous use of science, to mean sometimes, broadly, our presumed empirical knowledge and sometimes, narrowly, the natural sciences. Quine's modest naturalism is reformist, tackling the traditional epistemological problems in a novel way; his scientistic naturalism is revolutionary, requiring restriction and reconceptualization of epistemological problems. In particular, his scientistic naturalism trivializes the question of the epistemic standing of the natural sciences, whereas modest naturalism takes it seriously, and can offer a plausible answer.Earlier versions of this paper were read at the Moral Sciences Club, Cambridge, U.K., Temple University, and the University of Miami. I wish to thank those who made helpful comments on these occasions, and Dirk Koppelberg for helpful correspondence.     

O pojęciu zdania analitycznego

Rezultaty przedstawione w pracy niniejszej pokrywaj si czciowo z wynikami osignitymi przezR. Wójcickiego w pracy:Analityczne komponenty definicji arbitralnych. Studia Logica, t. XIV. Dotyczy to gównie rezultatów zawartych w czci pierwszej. Chciabym podkreli, i wyniki R. Wójcickiego uzyskane zostay cakowicie niezalenie od rezultatów przedstawionych w pracy obecnej.Allatum est die 16 Aprilis 1962     

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

- Allatum est die 5 Martii 1970     

Pomiar

Tekst referatu wygoszonego w roku 1957 na konferencji wykadowców logiki w Osiecznej, zorganizowanej przez MSW w zwizku z nowym programem logiki dla przyrodników.Allatum est die 25 Julii 1960     

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

- Allatum est die 5 Martii 1970     

Rhythm typology of Korean speech

According to their rhythmic properties, spoken languages have been classified by linguists into three categories, i.e. stress-timed, syllable-timed and mora-timed. Recently, this intuitive classification has been confirmed valid with perceptual studies. These studies have shown that both newborn infants and adults, upon hearing the pure rhythms of certain languages, are only able to discriminate between languages of the different categories mentioned above. These results indicate that the capacity of the categorization of the human cognitive system makes possible the classification of language that is not yet explored rhythmically. Here, we investigate the Korean spoken language through the adults discrimination tasks with resynthesized speech. Experimental results indicate that the Korean language is, like Japanese, one of the mora-timed languages.     

From <Emphasis Type="Italic">Pintele Yid to Racenjude</Emphasis>: Chaim Zhitlovsky and racial conceptions of Jewishness

The Russian Jewish intellectual, Chaim Zhitlovsky (1865–1943), a leading architect of secular Jewish culture and thought, was a central figure in the progressive Jewish intelligentsia of the late nineteenth and early twentieth century. In an essay written in 1927, Yidn un Yiddishkayt (Jews and Jewishness), he sought to define the secular essence of what he calls Yiddishkayt. This essay is not the first in Zhitlovskys long publicistic career in which he searches for new, secular definitions of Jewish identity and culture. But this essay differs, since it is marked by Zhitlovskys use of contemporary social scientific notions of race and racial traits to conceptualize what he believes constitutes Jewishness in a non-religious context, along with his adoption of the mystical Jewish concept of the pintele yid, the theory of an innate Jewishness embodied by a Jewish spark. Zhitlovskys desire to craft a truly secular theory of Jewish identity led him ironically to accept models of Jewish identity at odds with his stated larger vision. In turning to contemporary racial theory, as well as long nurtured mystical models of Yiddishkayt, Zhitlovsky reveals the wide range of ideological discourses that led him to innovative and controversial notions of modern Jewish identity.     

Fitting the factor analysis model

When the covariance matrix (p×P) does not satisfy the formal factor analysis model for m factors, there will be no factor matrix (p×m) such that =(-) is diagonal. The factor analysis model may then be replaced by a tautology where is regarded as the covariance matrix of a set of residual variates. These residual variates are linear combinations of discarded common factors and unique factors and are correlated. Maximum likelihood, alpha and iterated principal factor analysis are compared in terms of the manner in which is defined, a maximum determinant derivation for alpha factor analysis being given. Weighted least squares solutions using residual variances and common variances as weights are derived for comparison with the maximum likelihood and alpha solutions. It is shown that the covariance matrix defined by maximum likelihood factor analysis is Gramian, provided that all diagonal elements are nonnegative. Other methods can define a which is nonGramian even when all diagonal elements are nonnegative.A modified version of this paper forms part of a Ph.D. thesis submitted to the University of South Africa.Presently at the National Institute for Personnel Research, South Africa.     

Power,Freedom, and Individuality: Foucault and Sexual Difference

This paper offers a detailed account of Foucaults ethical and political notion of individuality as presented in his late work, and discusses its relationship to the feminist project of the theory of sexual difference. I argue that Foucaults elaboration of the classical ethos of care for the self opens the way for regarding the I-woman as an ethical, political and aesthetic self-creation. However, it has significant limitations that cannot be ignored. I elaborate on two aspects of Foucaults avoidance of sexual difference as a relevant category for an account of political and ethical individuality, which thus implicitly associates individual agency with men. I argue that Foucault implicitly assumes the existence of an ontological desire to become engaged in political self-creation. However, the ethical position of self-knowledge and desire should be understood as a contingent option that depends on material and historical conditions for its realization. Hence, I argue that a feminist reworking of Foucaults notion of political individuality should add a substantial ethical condition to the imperative of self-knowledge and self-creation – making possible the desiring woman subject.