Twierdzenia o dedukcji niewprost

Przy pisaniu tego artykułu korzystałem z niezmiernie życzliwych i istotnych wskazówek i pomocy Pana Doc. drWitolda A. Pogorzelskiego. Poczuwam się w tym miejscu do miłego obowiązku złożenia Mu serdecznego podziękowania. Allatum est die 9 Januarii 1966     

Manual discrimination and identification of length by the finger-span method

Experiments were conducted on length resolution for objects held between the thumb and fore-finger. The just noticeable difference in length measured in discrimination experiments is roughly 1 mm for reference lengths of 10 to 20 mm. It increases monotonically with reference length but violates Weber's law. Also, it decreases when the subject is permitted to maintain a constant finger span between trials; however, it tends to increase when the nondominant hand is used. As would be expected from studies of other stimulus dimensions in other sense modalities, resolution is considerably poorer in identification experiments than in discrimination experiments. For stimulus sets that cover a broad range (90 mm), the total information transfer is roughly 2 bits; for those that cover a relatively small range (18 mm), it is roughly 1 bit. The data are analyzed and interpreted using analysis techniques and models that have been used previously in studies of audition (e.g., Durlach & Braida, 1969).     

B-varieties with normal free algebras

The starting point for the investigation in this paper is the following McKinsey-Tarski's Theorem: if f and g are algebraic functions (of the same number of variables) in a topological Boolean algebra (TBA) and if C(f)C(g) vanishes identically, then either f or g vanishes identically. The present paper generalizes this theorem to B-algebras and shows that validity of that theorem in a variety of B-algebras (B-variety) generated by SCI _B -equations implies that its free Lindenbaum-Tarski's algebra is normal. This is important in the semantical analysis of SCI _B (the Boolean strengthening of the sentential calculus with identity, SCI) since normal B-algebras are just models of this logic. The rest part of the paper is concerned with relationships between some closure systems of filters, SCI _B -theories, B-varieties and closed sets of SCI _B -equations that have been derived both from the semantics of SCI _B and from the semantics of the usual equational logic.To the memory of Jerzy Supecki     

Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach. cz. II.

Allatum est die 28 Augusti 1959     

Harder Won and Easier Lost? Testing the Double Standard in Gender Rules in 62 Countries

Sex Roles - There is a longstanding tradition in the Netherlands to announce the birth of a child by sending out birth announcement cards to friends and family. These cards provide a glimpse of the...