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

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

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

, .     

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.     

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.     

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.     

Over de Zedelijke Beoordeeling van Oorlog

Fragment uit het hoofdstukOorlog en Vrede van het boek Neen en Ja, in Mei verschijnend bij H. J. Paris, Amsterdam.     

Zum Problem Der Teleologie

Ohne ZusammenfassungEen door ons geschreven inleiding overEduard Spranger zal in het volgend nummer van Synthese worden opgenomen.Red.     

(II. Teil) Individuum,Gesellschaft und Staat

Ohne ZusammenfassungI. Teil: Synthese, Vo.l VII (1948–49) S. 536–549     

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