О правилах исчисления предложе ий

, .     

Теория нормативных предлозений

, : ... () ..., ... () ..., ... () ... , ... () ..., — . - .     

О геометрической интерпретации логических выражений

. n , , .     

O regułach rachunku zdań

Streszczenie Zmienn istotn wyraenia rachunku zda nazywam zmienn, której warto przy pewnym ukadzie wartoci innych zmiennych wpywa na warto caego wyraenia.     

Prototetyka St. Lesniewskiego

Streszczenie Prototetyka St. Len'ewskiego jest uogólnieniem dwuwartociowego rachunku zda. Wystpuj w niej obok terminów tego rachunku funktory (zarówno stae jak i zmienne) tych wszystkich kategorii semantycznych, jakie mog by zdefiniowane, gdy punktem wyjcia jest kategor a zda.W pracy zreferowane s trzy systemy prototetyki. Terminem pierwotnym dwu z nich jest implikacja, terminem pierwotnym systemu trzeciego jest równowano. Systemy o terminie pierwotnym implikacji róni s. reguami wnioskowania. W jednym z nich obowizuje regua weryfikacji, w drugim regua ekstensjonalnoci. Pierwsza z tych regu jest uogólnieniem nastpujcej reguy rachunku zda, wzbogaconego o terminy 0 i 1:Wyraenie jest tez systemu, gdy tezami systemu s oba wyraenia powstae z przez podstawienie za pewn jego zmienn symboli 0 i 1.W myl reguy ekstensjonalnoci tezami systemu s prawa ekstensjonalnoci, sformuowane dla funktorów dowolnych kategorii semantycznych wac-wych prototetyce.W pracy podaj dowody równowanoci trzech systemów prototetyki i dowód ich zupenoci.Znaczna cz wyników Leniewskiego, zreferowanych w pracy, nie bya dotd opublikowana. Opracowujc te wyniki opieraem si na notatkach z wykadów Leniewskiego, spisanych przez jego uczniów. Oryginalne notatki Leniewskiego ulegy zniszczeniu w czasie powstania warszawskiego.     

Estimation of parameters in a truncated trivariate normal distribution

This paper gives maximum-likelihood estimators for certain parameters in a truncated trivariate normal distribution when the values of the other parameters are known. The estimators are functions of a random sample. Approximate variances and covariances of the estimators, when the sample size is large, are also given. The type of truncation considered is merely restriction of the range of one of the variates, whose true mean and variance are assumed to be known. Two cases of such restriction are treated: (a) ( x < + ); (b) (- <x '), where and ' are arbitrary cutoff points which are assumed to be known. A precise statement of the estimation problem is given in Section 1. Section 2 contains preliminary calculations. The estimators appear in Section 3. The asymptotic variances and covariances of the estimators are given in Section 4. The estimators and their asymptotic variances and covariances can be easily specialized to be suitable for the case of a certain truncated bivariate normal distribution (Sections 3 and 4).     

Remarks on the method of paired comparisons: III. A test of significance for paired comparisons when equal standard deviations and equal correlations are assumed

A test of goodness of fit is developed for Thurstone's method of paired comparisons, Case V. The test involves the computation of , wheren is the number of observations per pair, and and are the angles obtained by applying the inverse sine transformation to the fitted and the observed proportions respectively. The number of degrees of freedom is (k–1) (k–2)/2.This research was performed in the Laboratory of Social Relations under a grant made available to Harvard University by the RAND Corporation under the Department of the Air Force, Project RAND.     

The act of surrender in the treatment of the alcoholic

The success of A. A. in the alleviation of alcoholism has provided psychiatrists with a rich source of clinical material for a study of the religious process. The paper which follows is a discussion of one aspect of that process, namely, the act of surrender. It was prepared for a psychiatric audience; it may have some pertinence for the pastoral group since it represents at least an effort at understanding the religious life. Fully aware of its deficiencies, I offer the paper in the hope that it may seem to contain a measure of truth and be of some value to pastors in their relationships with their parishioners.This article is reprinted from Quarterly Journal of Studies on Alcohol, June, 1949 where it appeared under the title The Act of Surrender in the Therapeutic Process, by permission of author and publisher.s     

An I.B.M. technique for the computation of ΣX 2 and ΣXY

Given I.B.M. cards punched with scores (or any numbers)—but not their squares—a method is presented of tabulating them (on the No. 405 alphameric I.B.M. tabulator) so as to obtain the sum of squares. The technique is also adaptable to summation of cross-products. The principle is an extension of the Mendenhall-Warren-Hollerith technique of vertical progressive digiting, without the necessity of manual addition or summary-punching, and is designed for machines not equipped with the card cycle total transfer device or progressive total device. Use is made of counter rolling. Efficient use of machine capacity is made only when intercorrelations between no more than two variables are requiredin addition to sums of squares. A resumé of some techniques now commonly employed is included.The author is indebted to Dr. Paul Dwyer, Associate Professor of Mathematics, University of Michigan, for valuable criticism of the original draft; and to Mr. Alan Meacham, in charge of the University's Tabulating Station, for testing the method.