Index of Reviews: Volumes 21-22

Index of Reviews: Volumes 21-22Source: The Journal of Symbolic Logic, Vol. 22, No. 4 (Dec., 1957), pp. 422-442Published by: Association for Symbolic LogicStable URL: http://www.jstor.org/stable/2964003 .

Accessed: 13/06/2014 15:53

Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .http://www.jstor.org/page/info/about/policies/terms.jsp

.JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range ofcontent in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new formsof scholarship. For more information about JSTOR, please contact [email protected].

.

Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to TheJournal of Symbolic Logic.

http://www.jstor.org

This content downloaded from 195.34.78.191 on Fri, 13 Jun 2014 15:53:01 PMAll use subject to JSTOR Terms and Conditions

http://www.jstor.org/action/showPublisher?publisherCode=asl

http://www.jstor.org/stable/2964003?origin=JSTOR-pdf

http://www.jstor.org/page/info/about/policies/terms.jsp


THE JOURNAL OF SYMBOLIC LOGIC Volume 22, Number 4, Dec. 1957

INDEX OF REVIEWS

VOLUMES XXI, XXII

References are by volume and page; or to entry number in A bibliography of symbolic logic (vol. 1, pp. 121-218) or in the Additions and corrections thereto (vol. 3, pp. 178-212). References to items listed by title, without a signed review, are enclosed in parentheses.

Concerning the plan of the biennial indexes of reviews (by authors), see volume 4, page 184.

ABBAGNANO, Nicola: Review of Wittgenstein (XXII 224).

ABLONSKIJ, S. V.: Realization of a linear function (Russian) XXI 102.

See Ablonskij, S. V., and I. A. Negis. ABLONSKIJ, S. V., and I. A. Negis: Tests for

electric circuits (Russian) XXI 399. ACKERMANN, Wilhelm: Solvable cases of the

decision problem XXII 68. Review by Skolem (XXII 103).

Begriindung einer strengen Implikation XXII 327.

ADAM, P. Puig: See Puig Adam, P. AIKEN, Howard H., William Burkhart,

Theodore Kalin, Peter F. Strong, and others: Synthesis of electronic computing and control circuits XVIII 347. Russian translation (XXI 331). Review by Povarov (Russian) (XXI 331).

AJDUKIEwICz, Kazimierz: Outline of logic (Polish) XIX 235. Review by Kotarbinska (Polish) (XXII 408).

Classification of reasonings (Polish) XXI 311.

Conditional sentence and material implication (Polish) XXII 407. English translation XXII 407. Russian summary XXII 407.

ALBANI, E.: Review of In memoria di Giuseppe Peano (XXII 336).

ALDRICH, Virgil C.: Quine on meaning naming purporting to name XXI 384.

Informal logic of employment of expressions (XXII 223).

ALLENDOERFER, C. B., and C. 0. Oakley: Principles of mathematics XIX 64, (XXI 336). Review by Exner (XXI 336).

ALSTON, William P.: Are positivists meta- physicians? (XXII 223).

AMBROSE, Alice: Review of Quine (XXII 223).

Review of Wittgenstein (XXII 224). ANDERSON, Alan Ross: Independent axiom

schemata for S 5, XXII 327. ANSCOMBE, G. E. M.: Aristotle and the sea

battle XXI 388.

ARANOVIt, B. I.: Use of matrix methods (Russian) XXI 103.

ASCHENBRENNER, Karl: Intention and under- standing XIX 138. Review by Clarke (XXII 223).

ASHBY, W. Ross: Discussion of Bowman (XXI 212).

AscOLI, Guido: Motivi fondamentali dell'- opera di Peano XXII 306.

ASSER, Gfinter: Endlichwertige Lukasie- wiczsche Aussagenkalkiile XXI 87.

AUBERT, Karl Egil: Un thdorme de repr6sen- tation dans la th6orie des id6aux (XXI 336).

AUSTIN, J. L.: Review of Lukasiewicz (XXI 413).

AYER, A. J.: Basic propositions XVI 299. Reprinted in Philosophical essays. Review by Baylis (XXII 224).

Identity of indiscernibles XXI 86. BACCA, Juan David Garcia: See Garcia

Bacca, Juan David. BACHMANN, Heinz: Normalfunktionen und

Problem der ausgezeichneten Folgen von Ordnungszahlen XXII 336.

Vergleich und Kombination zweier Methoden von Veblen und Finsler XXII 336.

Normalfunktionen Hauptfolgen XXII 336.

BAKER, A. J.: Incompatible hypotheticals and the barber shop paradox XXI 392.

BALACHANDRAN, V. K.: Characterization for complete Boolean algebras (XXI 336).

BALDRICH, Raimundo Drudis: See Drudis Baldrich, Raimundo.

BAR-HILLEL, Yehoshua: Can translation be mechanized? XX 193. Reprinted (XXI 212). Appendix (XXI 212).

Weiss on paradox of necessary truth XXI 83.

Bolzano's propositional logic XXI 386. Geach on rigour in semantics XXII 314. Indexical expressions XXII 320.

BARKER, C. C. H.: Calculations in logic XXII 379.

422



INDEX OF REVIEWS 423

BARMEN, Fritz Klein: See Klein-Barmen, Fritz.

BARONE, Francesco: Apertura filosofica della logica simbolica peaniana XXII 306.

BASSON, A. H., and D. J. O'Connor: Intro- duction to symbolic logic XX 84. Review by Wood (XXI 214).

BATESON, Gregory: Discussion of Bowman (XXI 212).

BAYLIS, Charles A.: Review of Ayer (XXII 224).

Universals communicable knowledge and metaphysics XXII 319.

BECK, Lewis Wl4te: Kant's theory of definition (XXII.224).

Meta-semantics of synthetic a. priori (XXII 224).

BECKF'R, Oscar: Vorgelegte Thesen und die

dazu eingegangenen Stellungnahmen XXI 204.

BEHMANN, Heinrich: Symposion Philoso- phische Grundfragen der Logistik XXI 204.

Typenfreie Logik und Modalitat XXII 326.

BENE?, Viclav Edvard: Alleged implications of mathematical logic XXII 314.

BAN*zA, G.: Discussion of Reymond XXII 325.

Note sur la logique en g6n6ral XXII 325. Reply by Reymond XXII 325.

BENNETT, Jonathan: Meaning and implication XXI 393.

BENSE, Max: Transzendentale und mathematische Logik XXII 401.

BERG, Jan: Defining disposition predicates XXII 390.

BERGMANN, Gustav: Identity of indiscernibles and formalist definition of "identity" XXI 85.

Logical positivism language reconstruc- tion of metaphysics (XXI 336).

Dispositional properties and dispositions XXII 322.

Multiplicative closures (XXII 335). Metaphysics of logical positivism. Re-

view by Williams (XXII 224). BERNAYS, Paul: Logique et science XXI 91.

Zur Beurteilung der Situation in der beweistheoretischen Forschung XXI 106.

Vorgelegte Thesen und die dazu eingegangenen Stellungnahmen XXI 204.

Symposion Philosophische Grundfragen der Logistik XXI 204.

Discussion of Curry XXI 375. Discussion of Hermes XXII 83. Mathematische Existenz und Wider-

spruchsfreiheit XXII 210.

Discussion of Lukasiewicz XXII 214. Axiomatic set theory VII, XXII 367.

BERNSTEIN, B. A.: See Parker, W. L., and B. A. Bernstein.

BETH, E. W.: Fondements logiques des math6matiques XVI 153. Second edition. Review by Mostowski (Polish) (XXII 408).

For guidance (Dutch) XXI 187. On Padoa's method XXI 194. Selbstandige Thesen XXI 204. Answer to Crijns (Dutch) XXI 380. Le paradoxe du "sorite" XXI 381. Scientific philosophy XXII 313. Decision problems of logic and mathe-

matics XXII 359. Remarks on natural deduction XXII

360. Semantic entailment and formal deriva-

bility XXII 360. Semantic construction of intuitionistic

logic XXII 363. Stat actuel du problkme des antinomies

XXII 369. Significance of philosophy of exact

sciences (Dutch) XXII 403. BIALYNICKI-BIRULA, A., and H. Rasiowa:

Representation of quasi-Boolean algebras XXII 370.

BIGELOW, Julian H.: Discussion of Bowman

(XXI 212). BING, Kurt: Arithmetical classes not closed

under direct union XXI 321. Simplifying truth-functional formulas

XXII 221. BIRKHOFF, Garrett: Lattice theory V 155.

Revised edition XV 59. Russian translation (XXI 414).

BLACK, Max: Vagueness III 48. Reprint XV 210. Italian translation XXII 407.

Problems connected with language V 120. Reprinted as Wittgenstein's Tractatus XV. 210. Italian translation XXII 407.

Objections to Ogden and Richards' theory of interpretation VII 102. Reprinted as Ogden and Richards' theory of interpretation XV 210. Italian translation XXII 407.

Russell's philosophy of language IX 78. Reprinted XV 210. Italian translation XXII 407.

Limitations of behavioristic semiotic XII 146. Reprinted as Semiotic of Charles Morris XV 210. Italian translation XXII 407.

Semantic definition of truth XIII 150. Reprint XV 210. Italian translation XXII 407.



424 INDEX OF REVIEWS

Linguistic method in philosophy XV 2 10. Review by Henle (XXII 222). Italian translation XXII 407.

Justification of induction XV 210. Review by Henle (XXII 222). Italian translation XXII 407.

Questions about emotive meaning XV 210. Italian translation XXII 407.

Korzybski's general semantics XV 210. Review by Henle (XXII 222). Italian translation XXII 407.

Language and philosophy XV 210. Review by Henle (XXII 222).

Saying and disbelieving (XX 299). Reprinted (XXI 213).

Identity of indiscernibles XXI 85. Frege on functions XXI 201. Report on Analysis problem XXI 206. Definition presupposition assertion (XXI

213). How difficult might induction be? XXII

316. Carnap on semantics and logic XXII

316. BLACK, Max, editor: Philosophical analysis

XVI 298-301. Review by Nelson (XXII 223).

BLANCHA, Robert: Lettre XXII 325. Reply by Reymond XXII 325.

Passages d'une lettre XXII 325. Reply by Reymond XXII 325.

Quality, modality, and other kindred systems of categories XXII 325.

BLOH, A. 9.: Synthesis of (p, q) contact networks (Russian) XXII 333.

BLOOMFIELD, Leonard: Linguistic aspects of science IV 118. Reprinted (XXI 213).

BOCHENEK, Krystyn: See Greniewski, Hen- ryk, Krystyn Bochenek, and Romuald Marczyfiski.

BoCHE14SKI, I. M.: Ancient formal logic XVIII 81. Reviews by Crespo Pereira (XXI 107), Lloyd (XXI 214), Muller (XXI 214).


Philosophie et sciences XXI 395. Problem of universals XXII 205. Spitzfindigkeit XXII 382.

BOEHNER, Philotheus: Medieval logic XVIII 335. Review by Mates (XXII 223).

BOGGIo, Tommaso: Calcolo geometrico di Peano XXII 307.

BOMAN, Lars: Criticism and construction in the American New Realism. Review by Nowell-Smith (XXII 336).

BooNE, William W.: Simple unsolvable

problems of group theory I-IV, XXII 372. Simple unsolvable problems of group

theory V-VI, XXII 373. BORKOWSKI, Ludwik: Review of Lukasiewicz

(Polish) (XXII 408). Review of Lukasiewicz (Polish) (XXII

408). BOWMAN, John R.: Reduction of number of

possible Boolean functions (XXI 212). Discussion by Ashby, Bateson, Bigelow, Fremont-Smith, McCulloch, Pitts, Wiesner, and Young (XXI 212).

BRAITHWAITE, R. B.: Scientific explanation XXII 404.

BRAITHWAITE, Margaret: See Masterman (Braithwaite), Magaret.

BRODBECK, May: See Feigl, Herbert, and May Brodbeck.

BROUWER, L. E. J.: Discussion of Curry XXI 375.

BROWN, D. G.: What the tortoise taught us XXI 394.

Nature of inference (XXII 224). BRUGGER, Walter: Vorgelegte Thesen und

die dazu eingegangenen Stellungnahmen XXI 204.

Selbstdndige Thesen XXI 204. Symposion Philosophische Grundfragen

der Logistik XXI 204. BtOCHI, J. Richard: Representation of com-

plete lattices by sets (XXII 335). See Buchi, J. Richard, and Jesse B.

Wright. BOCHI, J. Richard, and Jesse B. Wright:

Proportionality as an abstraction of group theory XXII 369.

BUENO MARTiNEZ, Gustavo: Review of Curry (XXI 214).

BURKHART, William: See Aiken, Howard H., William Burkhart, Theodore Kalin, Peter F. Strong, and others.

BURKS, Arthur W.: See Burks, Arthur W., and Irving M. Copi; Burks, Arthur W., Robert McNaughton, Carl H. Pollmar, Don W. Warren, and Jesse B. Wright.

BURKS, Arthur W., and Irving M. Copi: Design of an idealized general-purpose computer XXII 332.

BURKS, Arthur W., Robert McNaughton, Carl H. Pollmar, Don W. Warren, and Jesse B. Wright: Complete decoding nets XXI 210.

The folded tree XXI 334, (XXII 222). BUTLER, Ronald J.: Language strata and

alternative logics XXII 383. Sea fight and three-valued logic XXII

384.




CARNAP, Rudolph: Formalwissenschaft und Realwissenschaft (352 17). English translation (Formal and factual science) (XXI 212).

Testability and meaning II 49. Reprinted with corrections and additions XVI 137. Reprinted with corrections and additions and some omissions XXI 212.

Logical foundations of unity of science III 157. Reprinted (XXI 213).

Foundations of logic and mathematics IV 117. Reprinted (XXI 213). Reprint of ?? 23-25 (XXI 212).

Two concepts of probability XI 19. Reprinted (XXI 212).

Logical foundations of probability XVI 205. Review by von Wright (XXII 222).

Empiricism semantics ontology XVI 292. Reprinted (XXI 78). Reviews by Good- stein (XXI 214), Issman (XXI 214).

Continuum of inductive methods XVIII 168. Review by Hay (XXII 223).

EinfUhrung in symbolische Logik XX 274. Review by Scholz (XXI 108).

CARROLL, Lewis: Symbolic Logic (674). Reprinted XXII 309.

See Weaver, Warren. CARRUCCIO, Ettore: Spunti di storia delle

matematiche e della logica nell'opera di Peano XXII 307.

CARTWRIGHT, Richard L.: Ontology and theory of meaning XXII 393.

CASSINA, Ugo: "Formulario mathematics" di Peano XXII 307.

CASTAREDA, Hector Neri: L6gica general de las normas y la 6tica XXII 388.

Sistema general de l6gica normative XXII 388.

CECCATO, Silvio: Symposion Philosophische Grundfragen der Logistik XXI 204.

Discussion of Sellars XXII 88. Discussion of Issmann XXII 211.

t:GIS, I. A.: See Ablonskij, S. V., and I. A. CNgis.

CAJTIN, G. S.: Cauchy's theorem in constructive analysis (Russian) XXI 408.

Associative calculus with unsolvable equivalence problem (Russian) XXII 219.

Recognizing properties of associative calculi (Russian) XXII 219.

CHANG, Chen-Chung: General theorems on direct products XXI 406.

CHAUDHURY, Pravas Jivan: Truth and error. Review by Kubifiski (Polish) (XXII 409).

CHISHOLM, Roderick M.: Theory of appearing XVI 299. Review by Nelson (XXII 223).

Law statements and counterfactual inference XXI 86.

Russell (XXI 414). Philosophers and ordinary language

(XXII 222). Review of Structure method and mean-

ing (XXII 223). CHRISTIAN, Curt: Zwei Theoreme jiber die

Einerklasse XXI 322. Proof of the inconsistency of Quine's

system XXI 322. CHURCH, Alonzo: Logic of sense and deno-

tation XVII 133. Review by Chisholm (XXII 223).

Non-normal truth-tables XIX 233. Spanish translation (XXI 413).

Propositions and sentences XXII 205. Introduction to mathematical logic

Volume I, XXII 286. CHWISTEK, Leon: Limits of science (Polish)

(22015), II 140. English translation XIV 119. Review by White (XXII 222).

CLARK, Joseph T.: Review of Lukasiewicz (XXII 223).

Contemporary science and deductive methodology XXII 359.

CLARK, Romane L.: Tammelo's conception of juristic logic XXII 92.

Natural inference XXII 321. CLARKE, Thompson M.: Review of Meaning

and interpretation (XXII 223). COBHAM, Alan: Reduction to a symmetric

predicate XXII 297. COHEN, L. J., and A. C. Lloyd: Assertion-

statements XXI 82. Review by Pawlowski (Polish) (XXII 408).

COHEN, Morris R.: Nature of mathematics (XXI 336).

COOPER, J. L. B.: Mathematical monsters

(XXI 336). COOPER, Neil: Does (3x) (Fx v Fx) entail

that at least one individual exists? XXI 206.

Copi, Irving M.: Symbolic logic XIX 282. Review by Keene (XXI 214).

Another variant of natural deduction XXII 298.

See Burks, Arthur W., and Irving M. Copi; Copi, Irving M., and Frank Harary.

Copi, Irving M., and Frank Harary: Proper- ties of n-adic relations XXI 321.

CORNFORTH, Maurice: Science versus idealism XIII 213. Defence of philosophy (XIX 74). Combined and revised' version (XXII 336).

COSTA, Filippo: Concetto di significato nella filosofia di Leibniz (XXI 108).




COURT, N. A.: Plane geometry and plain logic (XXII 104).

CRAIG, William: Replacement of auxiliary expressions XXII 317.

CRAWSHAY-WILLIAMS, Rupert: Equivocal confirmation XXII 406.

CRESPO PEREIRA, Ram6n: Review of Wein- berg (XXI 107).

Review of Bochefiski (XXI 107). Conferencias de Skolem (XXI 107). Coloquios de Zurich de 1938 (XXI 107).

CRIJNS, L.: What is truth? (Dutch) XXI 380. Answer by Beth (Dutch) XXI 380.

CURRY, Haskell B.: Definition and nature of mathematics V 26. Reprinted XXII 85.

Legons de logique algebrique XIX 146. Reviews by Drudis-Baldrich (XXI 107), Bueno Martinez (XXI 214).



Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik XXI 374.

L-semantics as formal system XXI 374. Definition of substitution replacement

and allied notions XXI 375. Mathematics syntactics and logic XXI

375. Systdmes formels et langues XXI 375.

Discussion by Bernays, Brouwer, Curry, Heyting, and Robinson XXI 375.

New proof of Church-Rosser theorem XXI 377.

Thnorie des combinateurs XXI 378. Logique combinatoire et les antinomies

XXI 378. Logic of program composition XXII 102. Discussion of Lukasiewicz XXII 214.

CZERWIN'SKI, Zbigniew: Probabilistic justification of enumerative induction (Polish) (XXII 408).

CZEZOWSKI, Tadeusz: Certain peculiarities of singular propositions XXI 207.

D4MBSKA, Izydora: Review of Kotarbiniski (Polish) (XXII 408).

DANTZIG, D. van: Brouwer's theorem on essentially-negative predicates XXI 195.

Mathdmatique stable et mathematique affirmative XXI 323.

DEKKER, J. C. E.: Productive sets XXI 99. Theorem on hypersimple sets XXI 100.

DENJOY, Arnaud: Enumeration transfinie I, XIII 144. Reviews by Muller (XXI 213), Schwartz (XXI 213).

Enumeration transfinie IV, XXI 95.

Reviews by Muller (XXI 213), Schwartz (XXI 213).

DEQuoY, Nicole: G6om6trie projective plane en mathematique intuitioniste sans n6ga- tion (XXII 222).

DESTOUCHES, Jean-Louis: Discussion of Reymond XXII 325.

DESTOUCHEs-FAVRIER, Paulette: See F6vrier- Destouches, Paulette.

DATLOVS, V. K.: Normal algorithms and recursive functions (Russian) XXI 408.

Review of Vredenduin (Russian) (XXI 214).

DEVIDA, Vladimir: Axiomensystem fur natfir- liche Zahlen XXII 357.

DILWORTH, R. P.: Proof of a conjecture (XXI 213).

DINGLER, Hugo: Symposion Philosophische Grundfragen der Logistik XXI 204.

DONAGAN, Alan: Criticisms of Russell XXI 382.

Dopp, Joseph: Legons de logique formelle XVIII 276. Review by Strawson (XXI 413).

Formalisation de la logique XXI 383. DRAY, William H.: Ryle on arguments and

inference licenses XXII 321. Laws and explanation in history (XXII

409). DRUDIS BALDRICH, Raimundo: Wittgenstein

y su obra filos6fica (XXI 107). Review of Curry (XXI 107).

DUMMETT, M. E.: Review of Goodman (XXII 103).

DtRR, Karl: Propositional logic of Boethius XVII 122. Review by Thomas (XXI 214).

Lehrbuch der Logistik XXI 88. Syllogistik des Hospinianus XXII 382.

EBBINGHAUS, Julius: Symposion Philosophi- sche Grundfragen der Logistik XXI 204.

EDEN, Murray: Review of Gregg (XXI 336). EDITORS of Studia logica: Lukasiewicz

(Polish) (XXII 408). ELGOT, Calvin C.: Single vs. triple address

computing machines XXI 208. ELLIS, David: IPIC representation of lattice

automorphisms (XXI zi3). Algebraic characterization of lattices

among semilattices (XXI 414). ]ESANIN-VOL'PIN, A. S.: Review of Hailperin

(Russian) (XXI 108). Review of Fitch (Russian) (XXI 108).

EVANS, Ellis: Language of converse relations XXI 318.

Some semantic illusions XXI 381. EWING, A. C.: New formula for syllogism

XXII 94.




EXNER, Robert M.: Review of Allendoerfer and Oakley (XXI 336).

FACCHI, P.: Discussion of Issmann XXII 211. FAIRTHORNE, R. A.: Information theory and

clerical systems (XXII 222). FARIS, J. A.: Gergonne relations XXII 94. FEIGL, Herbert: Mind-body problem in

logical empiricism XVI 293. Reprinted (XXI 212).

De principiis non disputandum? XVI 299. Review by Nelson (XXII 223).

See Feigl, Herbert, and May Brodbeck. FEIGL, Herbert, and May Brodbeck: Selected

bibliography (XXI 212). FgVRIER, Paulette: See F6vrier-Destouches,

Paulette. FgVRIER-DESTOUCHES, Paulette: Logiques

modales en physique quantique XXI 106. Discussion of Reymond XXII 325.

FEYERABEND, Paul: Review of Wittgenstein (XXII 224).

FEYS, Robert: Logistique XV 234. Sequel XXI 309.

Nature et possibilities de la logique formalis6e XX 66. Reprinted (XXI 107).

Reduction of all modalities to 42 in S3, XX 66. Spanish translation (XXI 413).

Les logiques modales (XXI 107). Reply to Prior XXI 379. Preface and notes to French translation

of Gentzen XXII 350. Logique formalisee moderne et philo-

sophie des sciences XXII 400. FINE, N. J.: Proof of conjecture of Goodman

XXII 311. FINSLER, Paul: Transfinite Folge arithme-

tischer Operationen XXII 336. FIRESTONE, Clifford Dixon: Conditions for

modelling of axiomatic set theory (XXII 336).

FITCH, Frederic B.: Symbolic logic XVII 266. Reviews by Grize (XXI 108), Turquette (XXII 223).

Simplification of basic logic XX 81. Review by Itsenin-Vol'pin (Russian) (XXI 108).

Symbolic logic algebra of ideas (XXI 414).

Symbolic logic (XXI 414). FLESHLER, Aaron D.: Review of Tarski

(XXI 336). FLOWER, Elizabeth: Review of Kraft (XXI

214). FLOYD, E.E.: Boolean algebras with patho-

logical order topologies (XXI 213). FOGARASI, B6la: Logik XXI 314. FRAENKEL, Abraham A.: Abstract set theory

XX 164. Review by Rodriguez Gil (XXII 103). Axiome du choix XXII 214. Crisis of the excluded middle XXII 299.

FRAYSSg, Roland: Quelques classifications des systemes de relations XXII 371.

FREGE, Gottlob: Grundlagen der Arithmetik (495). Reprint with parallel English translation XVI 67. Review by Geach (XXII 222).

Translations from philosophical writings XVIII 92. Review by Marshall (XXII 223).

Der Gedanke 1918 (XVIII 93). English translation XXII 392.

FREMONT-SMITH, Frank: Discussion of Bow- man (XXI 212).

FREUDENTHAL, Hans: Meaningful inter- pretations in formal logic (Dutch) XXI 91.

FREUND, John E.: Chapter 23 Logic XXII 407.

FREYTAG, Bruno von: See Freytag-Loering- hoff, Bruno v.

FREYTAG-LOERINGHOFF, Bruno v.: Vorgeleg- te Thesen und die dazu eingegangenen Stellungnahmen XXI 204.


FRIEDBERG, Richard M.: [The prodigies (XXI 336).]

[Muchacho de 20 afios (XXI 413).] FRITZ, Charles A., Jr.: Russell's construction

of external world. Review by Turbayne (XXII 223).

FRUCHT, Roberto: Cien afios de algebra de Boole XXII 97.

GALANTER, Eugene H.: Axiomatic and experimental study of sensory order and measure XXI 397.

GARCiA BACCA, Juan David: Review of Robinson (XXI 107).

GAVRILOV, M. A.: Theory of relay-contact networks (Russian) XXI 331.

GEACH, P. T.: Russell's theory of descriptions XV 217. Reprinted (XX 291). Review by Sibley (XXII 224).

Doctrine of distribution (XXI 213). Review of Moody (XXI 214). Review of Frege (XXII 222). Review of Mates (XXII 224). See Geach, P. T., and G. H. von Wright.

GEACH, P. T., and G. H. von Wright: Ex- tended logic of relations XXII 72.

GENTZEN, Gerhard: Untersuchungen fiber das logische Schliessen (4422). French translation XXII 350.

GEORGE, F. H.: Meaning and class XXI 79.




GERICKE, H.: Algebraische Betrachtungen zu den Aristotelischen Syllogismen XXII 308.

GEYMONAT, Ludovico: Antinomia di Russell (XXII 104).

Fondamenti dell'aritmetica secondo Pe- ano e le obiezioni "filosofiche" di Russell XXII 307.

GIL, Fernan Rodriguez: See Rodriguez Gil, Fernan.

GILMORE, Paul Carl: Effect of Griss' criticism XXI 91.

Griss' criticism of intuitionistic logic and theory of order XXI 93.

GONSETH, F.: Remarques preliminaires (XXI 213).

See Gonseth, F., and G. H. Muller. GONSETH, F., and G. H. Muller: Philosophie

mathematique XXI 309. GOODMAN, Nelson: Counterfactual conditionals XII 139. Reprinted (XXI 78). Review

by Issmann (XXI 214). Likeness of meaning XV 150. Reprinted

with revisions XXI 76. Reviews by Good- stein (XXI 214), Issmann (XXI 214). Reprinted with added foreword XXI 79.

Structure of appearance XVII 130. Reviews by Dummett (XXII 103), Kotarbiiski (Polish) (XXII 408).

Some differences about meaning XXI 79. World of individuals XXII 205. Fact fiction forecast. Reviews by Wat-

ling (XXII 103), Stove (XXII 104). GOODSTEIN, R. L.: Review of Robinson

(XXI 214). Review of Semantics and the philosophy

of language (XXI 214). G6TLIND, Erik: Vacuous variants and truth

by convention XXI 395. Legniewski-Mihailescu-theorem for m-

valued propositional calculi XXII 329. Sheffer functions in n-valued logic XXII

329. GRAA, R.: See Higonnet, R., and R. Grda. GREGG, John R.: Language of taxonomy

XXI 396. Reviews by Eden (XXI 336), Parker-Rhodes (XXII 224).

GREGOROWICZ, Jan: Outline of logic for law students (Polish). Review by Kalinowski (Polish) (XXII 408).

GRENIEWSKI, Henryk: Elements of formal logic (Polish) XXI 188. Review by Mostowski (Polish) (XXII 408).

See Greniewski, Henryk, Krystyn Bo- chenek, and Romuald Marczyfiski.

GRENIEWSKI, Henryk, Krystyn Bochenek, and Romuald Marczynski: Applications of

bi-elemental Boolean algebra to electronic circuits XXI 333.

GRIss, G. F. C.: Mathdmatique intuitioniste sans negation XXII 214.

GRIZE, Jean-Blaise: Review of Fitch (XXI 108).

GRVJNBAUM, Adolf: Review of Maziarz and others (XXII 336).

GRZEGORCZYK, Andrzej: Bemerkungen uber das Verstehen logischer Gesetze (Polish) XXII 330.

See Mostowski, A., with A. Grzegorczyk, S. Jankowski, J. Lo4, S. Mazur, H. Rasiowa, R. Sikorski.

Guy, W. T., Jr.: Equivalence relations XXI 207.

HAGGSTROM, Warren C.: Careful reasoning in ordinary language XXII 399.

HAILPERIN, Theodore: Identity and description in first order axiom systems XX 81. Review by 1tsdnin-Vol'pin (Russian) (XXI 108).

HAJNAL, Andrds, and Liszl6 Kalmar: Bermerkung zum G6delschen Axiomen- system der Mengenlehre (Hungarian) XXII 296.

HALL, Everett W.: Review of Logic and language (Second series) (XXII 103).

HALLD*N, Sbren: Emotive propositions XXII 209.

HALLIE, Philip P.: So-called "counterfactual conditionals" XXII 321.

HAMLYN, D. W.: Analytic truths XXII 210. HARARY, Frank: See Copi, Irving M., and

Frank Harary. HARRI;, R.: Note on existence presup-

positions XXI 384. HARTIG, Klaus: Struktur der klassischen

Syllogistik XXII 95. Axiomatische Probleme in der klassi-

schen Syllogistik XXII 96. Die "identischen Urteile" der Syllogistik

XXII 96. Definitionen einiger Eigenschaften von

Zeichenreihen XXII 357. HARTMAN, Robert S.: Analytic and synthetic

as categories of inquiry XXII 401. HARTSHORNE, Charles: Strict and genetic

identity (XVI 232). Review by Chisholm (XXII 223).

HAY, William H.: Review of Carnap (XXII 223).

HEITZMAN, Marian W.: Philosophical foundations of Aristotelian logic XXI 389.

HEMPEL, Carl G.: Nature of mathematical truth XI 100. Reprinted (XXI 212).

Empiricist criterion of meaning XVI 293.




Reprinted (XXI 78). Review by Issmann (XXI 214).

Concept formation in empirical science. Review by Smart (XXII 223).

See Hempel, Carl G., and Paul Oppen- heim.

HEMPEL, Carl, and Paul Oppenheim: Logic of explanation XIV 133. Reprinted (XXI 212).

HENDERSON, G. P.: Causal implication XXI 392.

HENDRIX, Gertrude: Developing logical concept in elementary mathematics XXI 336.

HENKIN, L.: Representation theorem for cylindrical algebras XXII 215.

Structure algebrique des theories mathe- matiques XXII 215.

HENLE, Paul: Review of Black (XXII 222). HENRY. D. P.: Tautology tessellations XXI

401. HERMES, Hans: Begriff der Axiomatisier-

barkeit XXII 83. Concept d'axiomatisabilit6 XXII 83.

Discussion by Bernays, Robinson XXII 83. Verbandstheorie (XXII 222). Maschinen zur Entscheidung XXII 376.

HEYDE: Symposion Philosophische Grund- fragen der Logistik XXI 204.

HEYTING, A.: G. F. C. Griss and negationless intuitionistic mathematics XXI 91.

Intuitionism XXI 367. Discussion of Curry XXI 375.

HIGONNET, R., and R. Gr6a: IEtude logique des circuits de contacts XXII 377.

IEtude logique des circuits 6lectriques XXII 377.

HINTIKKA, K. Jaakko: Application of logic to algebra XXII 216.

New approach to sentential logic XXII 361.

Form and content in quantification theory XXII 361.

Notes on quantification theory XXII 361. HOHN, Franz E.: Some mathematical aspects

of switching XXI 209. See Hohn, Franz E., and L. Robert

Schissler. HOHN, Franz E., and L. Robert Schissler:

Boolean matrices and design of combi- national relay switching circuits XXI 104.

HONKE, Masumi: Analytic truth and empirical knowledge in Lewis (Japanese) XXI 379.

HUFFMAN, D. A.: Synthesis of sequential switching circuits XX 69. Review by 96stakov (Russian) (XXI 108).

HUTTEN, Ernest H.: Mind-body problem XXII 399.

Natural and scientific language XXII 400.

INGALLS, Daniel H. H.: Comparison of Indian and Western philosophy XXI 387.

INGARDEN, Roman: Du jugement hypo- thetique (Polish) XXI 390.

ISHIMOTO, Arata: Problems of modal logic (Japanese) XXI 378.

Note on "Set of axioms equivalent to S3" XXII 326.

Formulation equivalent to S4. XXII 326. ISSMANN, Samuel: Review of Semantics and

the philosophy of language (XXI 214). Problemes de la definition XXII 211.

Discussion by Ceccato, Facchi, and Vaccarino (Italian) XXII 21 1.

ITO, Kiyoshi: Set theory as foundation of mathematics (Japanese) XXI 95.

IT6, Makoto: See Itoh, Makoto. ITOH, Makoto: "Lattice of n-valued func-

tions" (Japanese) XXII 100. General solution of n-valued logical

equation in one variable (Japanese) XXII 101.

General solution of n-valued logical equation in several variables (Japanese) XXII 101.

General solution of Boolean equation in several variables (Japanese) XXII 101.

General solution of three-valued logical equation (Japanese) XXII 101.

IVANOV, V. I.: Cyclic relay networks (Rus- sian) XXI 333.

Izumi, Yosihisa: Notion de la perfection XXII 296.

Begriff der w-Vollstandigkeit XXII 296. Formes normales XXII 296.

JANICZAK, A.: Reducibility of decision problems XXI 100.

Remarks on partially recursive functions XXI 101.

Undecidability of simple formalized theories XXII 217.

JAgKOWsKI, S.: See Mostowski, A., with A. Grzegorczyk, S. Jagkowski, J. Log, S. Mazur, H. Rasiowa, R. Sikorski.

J EFFREYS, Harold: Present position in probability theory (XXII 335).

JOERGENSEN, Joergen: See Jorgensen, J0rgen. JUHOS, Bela: Vorgelegte Thesen und die

dazu eingegangenen Stellungnahmen XXI 204.

Selbstandige Thesen XXI 204. Symposion Philosophische Grundfragen

der Logistik XXI 204.




Ein- und zweistellige Modalitaten XXII 388.

J0RGENSEN, J0rgen: Development of logical empiricism (Danish) XIV 185. English translation XVI 289. Review by Kneale (XXII 223).

KALICKI, J.: Comparison of finite algebras XXII 378.

KALIN, Theodore: See Aiken, Howard H., William Burkhart, Theodore Kalin, Peter F. Strong, and others.

KALINOWSKI, Jerzy: Theorie des propositions iormatives (Polish) XXI 191. French translation XXI 191. Russian summary XXI 191.

Review of Gregorowicz, of Kotarbifski, of Wolter, and of Ziembifiski (Polish) (XXII 408).

KALISH, Donald: Meaning and truth XIX 138. Review by Clarke (XXII 223).

Pap on logic existence descriptions XXI 206.

KALMAR, LMszl6: See Hajnal, Andras, and LIszl6 Kalm.r.

See Peter, R6zsa. KAMEL, Hyman: Relational algebra and

uniform spaces XXII 370. KANGER, Stig: Partial postulate sets for

propositional logic XXII 330. KAPLAN, Abraham: Review of Robinson

(XXII 223). KAPP, Arnold: Does (3x) (Fx v - Fx) entail

that at least one individual exists? XXI 206.

KATTSOFF, L. O.: Ontology and choice of languages XXII 394.

KAULBACH, Friedrich: Symposion Philo- sophische Grundfragen der Logistik XXI 204.

KEENE, G. B.: Review of Copi (XXI 214). Note on identity of indiscernibles XXII

311. KEMENY, John G.: Man as machine (XX

198). Reprinted with omissions (XXII 335).

KEMPSKI, Jurgen v.: Vorgelegte Thesen und die dazu eingegangenen Stellungnahmen XXI 204.

Selbstandige Thesen XXI 204. Symposion Philosophische Grundfragen

der Logistik XXI 204. KLEENE, S. C.: Arithmetical predicates and

function quantifiers XXI 409. Errata XXII 375.

Forms of predicates in theory of constructive ordinals (second paper) XXI 410.

Hierarchies of number-theoretic predi-

cates XXI 411. Review by Trahtenbrot (Russian) (XXII 103).

Sets logic mathematical foundations (XXII 409).

See Kleene, S. C., and Emil L. Post. KLEENE, S. C., and Emil L. Post: Upper

semi-lattice of degrees of recursive unsolvability XXI 407. Review by Uspenskij (Russian) (XXII 103).

KLEIN, Josef: Symposion Philosophische Grundfragen der Logistik XXI 204.

KLEIN-BARMEN, Fritz: Multiplikative Funk- tionen fiber euklidischen und Sternver- banden (XXI 336).

KLIMIOVSKY, Gregorio: Problemas relatives a la definici6n de "Verdad L6gica" XXII 83.

KLINE, Morris: Mathematics in Western culture (XXII 409).

KNEALE, William Calvert: Logic (XVIII 183), (XXI 414).

Review of Mates (XXI 214). Review of Joergensen (XXII 223).

KOGAN, S. A.: Solution of three problems of lattice theory (Russian) (XXI 414).

KOKOSZY14SKA, Maria: "Good" and "bad" induction (Polish) (XXII 408).

KOLMOGOROV, A. N.: Foreword of editor of translation (Russian) (XXI 212).

KoLPINSKI, Aleksy: Analysis of relay- contact networks (Polish) XXI 398.

KOND6, Motokiti: Nommabilit6 d'ensembles XXII 299.

Nombres reels et nommables XXII 299. Analyses relatives XXII 299. Notion du transfini XXII 299. Continu projectif XXII 299.

KORCIK, Antoni: Hospinian's and Leibniz's theory of the syllogism (Polish) XXII 382.

K6RNER, S.: Truth as a predicate XXI 83. Individuals and properties XXI 318,

XXII 208. Review of Menne (XXII 103).

KOTARBI14SKA, Janina: Definition (Polish) XXI 312. Russian and English summaries XXI 312.

Review of Ajdukiewicz (Polish) (XXII 408).

KOTARBII4SKI, Tadeusz: Course in logic for law students (Polish) XVII 60. Second edition XIX 149. Review by Kalinowski (Polish) (XXII 408).

Review of Goodman (Polish) (XXII 408).

Treatise on good work (Polish). Review by Dambska (Polish) (XXII 408).




KRAFT, Victor: Der Wiener Kreis XVII 62. English translation (The Vienna Circle) XX 62. Review by Flower (XXI 214).

KRBEK, Franz von: Wohlordnung XXI 96. KREISEL, G.: Note on arithmetic models for

consistent formulae of predicate calculus II, XXI 403.

Review of Robinson (XXII 222). Variant to Hilbert's theory of foun-

dations of arithmetic XXII 304. Discussion of Lorenzen XXII 368. See Kreisel, G., and Hao Wang.

KREISEL, G., and Hao Wang: Some appli-

cations of formalized consistency proofs XXI 404.

KUBI14SKI, Tadeusz: Review of Chaudhury

(Polish) (XXII 409). KUNUGUI, Kinjiro:. Theorem of Skolem-

Lowenheim (Japanese) (XXI 95). KUREPA, Djuro: Discussion of Lorenzen

XXII 368. KURIHARA, Toshihiko: Representation of

finitely many-valued logics (Japanese) XXII 102.

KURODA, Sigekatu: Intuition and consistency in mathematics (Japanese) XXI 196.

Logic of Aristotle ahd Brouwer (Japa- nese) XXI 196.

Intuitionistische Untersuchungen der formalistischen Logik XXI 196.

Examination of the foundations of mathematics (Japanese) XXI 196.

Review of Suetuna (Japanese) (XXI 414).

KUZNACov, A. V., and B. A. Trahtenbrot: Investigation of partial recursive operators (Russian) XXII 301.

LADRItRE, Jean: Notes to French translation of Gentzen XXII 350.

LAKE, Beryl: Necessary and contingent statements XXI 85.

LAIRD, John: Russell (XXI 414). LANGER, Susanne K.: Introduction to sym-

bolic logic III 83. Second edition XXI 187. LAWRENCE, Nathaniel: Philosophy of C. I.

Lewis (XXII 223). LAZEROWITZ, Morris: Substratum XVI 299.

Review by Nelson (XXII 223). LEBLANC, Hugues: Positions and propositions

on universals XXI 317. LEIBNIz, G. W. v.: Specimen calculi uni-

versalis (110). English translation (XXII 336).

Ad specimen calculi universalis addenda (111). English translation (XXII 336).

Fragment (112). English translation (XXII 336).

Elementa calculi (114). English translation (XXII 336).

See Loemker, Leroy E. LEJEWSKI, Czeslaw: Contribution to Lei-

niewski's mereology XXI 325. LEMMON, E. J.: Alternative postulate sets

for S5, XXII 380. LE SENNE, R.: Discussion of Reymond XXII

325. LEVI, Beppo: Opera matematica di Peano

XXII 306. LEWIS, C. I.: Modes of meaning IX 28.

Reprinted (XXI 76). Review by Issmann

(XXI 214). Notes on logic of intension XVI 231.

Review by Chisholm (XXII 223). LEWY, C.: Assertion (V 130). Reprinted

with added prefatory note (XXI 107). LINKE, Paul F.: Symposion Philosophische

Grundfragen der Logistik XXI 204. Eigentliche und uneigentliche Logik

XXII 383. LINS, Mario: Supports of the new general

semantics (XXI 336). LINSKY, Leonard: Preface (to Semantics and

the philosophy of language) XXI 76. Introduction (to Semantics and the

philosophy of language) XXI 76. Bibliography (XXI 79). Review of Wittgenstein (XXII 224). Williams on Aristotle XXII 384.

LLOYD, A. C.: Ancient formal logic (XXI 214).

Logical form of law statements XXII 92. See Cohen, L. J., and A. C. Lloyd.

LOEMKER, Leroy E.: Leibniz as philosopher

(XXII 336). Introduction and notes to English

translations of fragments by Leibniz

(XXII 336). LORENZEN, Paul: Symposion Philosophische

Grundfragen der Logistik XXI 204. Widerspruchsfreiheit des Unendlichkeits-

begriffes XXII 80. Operative Logik und Mathematik XXII

289. Aktual-unendliches XXII 368. Rolle der Logik in der Grundlagenkrisis

XXII 368. Discussion by Kreisel, Kurepa, and Robinson XXII 368.

Fiktion der tberabzahlbarkeit XXII 368.

LUcE, R. Duncan: Boolean matrix theory XXI 102,

LUNC, A. G.: Application of Boolean matrix algebra to relay-contact networks (Rus- sian) XXI 104.




Synthesis and analysis of relay contact networks with aid of characteristic functions (Russian) XXII 378.

Algebraic methods of analysis and synthesis of contact networks (Russian) XXII 378.

Synthesis of a (1, k)-terminal network (Russian) XXII 378.

LYNDON, R. C.: Identities in finite algebras XXII 379.

Log, Jerzy: Algebraic treatment of methodology of elementary deductive systems XXI 193.

See Mostowski, A., with A. Grzegorczyk, J. Los, S. Mazur, H. Rasiowa, R. Sikorski.

LUKASIEWICZ, Jan: Shortest axiom of implicational calculus of propositions XIII 164. Review by Borkowski (Polish) (XXII 408).

Variable functors of propositional arguments XVI 229. Review by Borkowski (Polish) (XXII 408).

Aristotle's syllogistic XVII 209. Reviews by Lloyd (XXI 214), Austin (XXI 413), Clark (XXII 223), Borkowski (Polish) (XXII 408).

Intuitionistic theory of deduction XIX 216. Review by Borkowski (Polish) (XXII 408).

Formalisation des theories mathdma- tiques XXII 214. Discussion by Bernays, Robinson, and Curry XXII 214.

[Bibliography of Lukasiewicz (XXII 408).]

See Editors of Studia logica; Mostowski, Andrzej; Scholz, Heinrich; Sobociiski, Boleslaw.

LusZCZEWSKA-RoMAHNOWA, Seweryna: Anal- ysis and generalization of Venn's dia- grammatic decision procedure (Polish) XXI 193. Russian translation XXI 193. English summary XXI 193.

Induction and probability (Polish) (XXII 408).

MCCULLOCH, Warren S.: Discussion of Bowman (XXI 212).

MACDONALD, Margaret: Philosopher's use of analogy XXI 382.

MACE, Cecil Alec: Logical positivism (XXI 414).

McGILL, V. J., and W. T. Parry: Unity of opposites XXII 212.

McLAUGHLIN, R. N.: Problems of derived obligation XXI 379.

McLENDON, Hiram, J.: Similarity of stuc- ture in contemporary philosophy XXII 311.

McNAUGHTON, Robert: Problems in computer design XXII 222.

Contradiction logical counterpart to conflict XXII 401.

See Burks, Arthur W., Robert Mc- Naughton, Carl H. Pollmar, Don W. Warren, and Jesse B. Wright.

MAEHARA, Sh6ji: Eine Darstellung der intuitionistischen Logik in der klassischen XXII 79.

MAGGIONI, Ernesto: Apofanticita e seman- ticita nel giudizio e nei concetti (XXI 336).

MALCOLM, Norman: Verification argument XVI 300. Review by Nelson (XXII 223).

Philosophy for philosophers (XXII 222). Review of Reichenbach (XXII 223). Review of Wittgenstein (XXII 223).

MARCZYNSKI, Romuald: See Greniewski, Henryk, Krystyn Bochenek, and Romuald Marczyiski.

MARHENKE, Paul: Phenomenalism XVI 300. Review by Nelson (XXII 223).

Propositions and sentences XIX 138. Review by Clarke (XXII 223).

Criterion of significance XXI 77. Review by Issmann (XXI 214).

MARKOV, A. A.: Continuity of constructive functions (Russian) XXI 319.

Theory of algorithms (Russian) XXII 77. Review by Sanin (Russian) (XXII 103).

MARKWALD, Werner: Elementar-arithmet- ische Definierbarkeitsklassen XXII 374.

MARSHALL, William: Review of Translations from Frege (XXII 223).

MARTIN, Norman M.: Sheffer functions of 3-valued logic XXI 199.

MARTIN, R. M.: Truth and multiple denota- tion XXI 89.

Non-translational semantics XXI 90. What is a rule of language? XXI 203. Berkeley-Russell theory of proper names

XXI 385. MARTiNEZ, Gustavo Bueno: See Bueno

Martinez, Gustavo. MASTERMAN (Braithwaite), Margaret: Picto-

rial principle in language XXII 86. MATES, Benson: Stoic logic XIX 71. Reviews

by Kneale (XXI 214), Geach (XXII 224). Synonymity XIX 223. Review by

Clarke (XXII 223). Reprinted (XXI 77). Review by Issmann (XXI 214).

Review of Boehner (XXII 223). MATSUMOTO, Kazuo: Reduction theorem in

Lewis' sentential calculi XXI 200. MAYO, Bernard: Rule-making and rule-

breaking (XXII 104).




MAYS, W.: Circuit for an electrical logic- machine XXII 221.

MAZIARZ, E. A.: Philosophy of mathematics XVI 150. Review by Grunbaum (XXII 336).

MAZUR, S.: See Mostowski, A., with A. Grzegorczyk, S. Jaskowski, J. Log, S. Mazur, H. Rasiowa, R. Sikorski.

MEALY, George H.: Method for synthesizing sequential circuits XXII 334.

MECKLER, Lester: Goodman's refutation of synonymy XXI 79.

Can sinn be a combination of properties? (XXI 108).

MADVEDEV, U. T.: On non-isomorphic recursively enumerable sets (Russian) XXI 101.

Degrees of difficulty of mass problems (Russian) XXI 320.

MELDEN, A. I.: Review of Logic and language (Second series) (XXII 224).

MELLOR, W. W.: Believing the meaningless XXI 384.

MENGER, Karl: Variables in mathematics and natural science XXII 300.

Variables de diverses natures XXII 300. What are variables and constants?

XXII 300. MENNE, Albert: Logik und Existenz XXI

389. Review by Korner (XXII 103). MEREDITH, C. A.: Extended system of

propositional calculus XVI 229. Review by Borkowski (Polish) (XXII 408).

MEREDITH, David: Correction to von Wright XXII 92.

MESCHKOWSEI, Herbert: Wandlungen des mathematischen Denkens XXII 84.

MESERVE, B. E.: Decision methods for elementary algebra XXII 295.

MEULEN, Jan A. van der: Symposion Philosophische Grundfragen der Logistik XXI 204.

MEYER, Herman: Negation et logique XXII 383.

MIAVILLE, Henri-L.: Reponse a quelques critiques (XXI 213).

MILLAN PUELLES, Antonio: Concepto de existencia en matemiticas XXI 105.

MILLER, James Wilkinson: Exercises in introductory symbolic logic XXII 310.

MOCH, Frangois: On peut dviter les antinomies classiques sans restreindre la notion d'ensemble XXI 322.

MOH Shaw-Kwei: Logical paradoxes for many-valued systems XXII 90.

MOISIL, Gr. C.: Application of Galois fields

in theory of automata I (Roumanian) XXI 398.

Application of Galois fields in theory of automata II (Roumanian) XXI 398.

MONTAGUE, Richard: Paradox of grounded classes XXI 380.

MONTEFIORE, Alan: Gallie on necessary and sufficient conditions (XXII 224).

MONTEIRO, Ant6nio: Arithmdtique des filtres et espaces topologiques (XXII 84).

MOODY, Ernest A.: Truth and consequence in mediaeval logic XX 44. Reviews by Muller (XXI 214), Geach (XXI 214).

MORRIS, Charles W.: Foundations of theory of signs III 158. Reprinted (XXI 213).

Signs, language, behavior XII 49. Reissued XXII 88.

MOSAHEB, Gholam-Hossein: Introduction to logic (Iranian) XXII 354.

MOSER, Simon: Symposion Philosophische Grundfragen der Logistik XXI 204.

MOSTOWSKI, Andrzej: Logic at International congress of mathematicians (Polish) (XXII 222).

Oeuvre scientifique de Lukasiewicz XXII 387.

Review of Beth (Polish) (XXII 408). Review of Greniewski (Polish) (XXII

408). See Mostowski, A., with A. Grzegorczyk,

S. Ja~kowski, J. Log, S. Mazur, H. Rasio- wa, R. Sikorski.

MOSTOWSKI, A., with A. Grzegorczyk, S. Jagkowski, J. Log, S. Mazur, H. Rasiowa, R. Sikorski: Stand der Grundlagen- forschung in der Mathematik XXI 372. English translation XXI 372. Russian translation XXI 372.

MU6NIK, A. A.: Negative answer to problem of reducibility of theory of algorithms (Russian) XXII 218.

MfLLER, Gert Heinz: Review of Denjoy (XXI 213).

Review of Bochexiski (XXI 214). Review of Moody (XXI 214). Review of Schutte (XXI 336). See Gonseth, F., and G. H. Muller..

MURATA, Zen: Sets and their completedness (Japanese) XXI 95.

MURRAY, F. J.: Mechanisms and robots XXI 334.

MYHILL, J., and J. C. Shepherdson: Effective operations on partial recursive functions XXII 303.

MYHILL, John: System which can define its own truth XXI 319.

Creative sets XXII 73.




Review of Prior (XXII 224). Arithmetic with creative definitions by

induction XXII 303. Philosophical implications of mathe-

matical logic XXII 314, Retort to Beneg XXII 314. See Myhill, J., and J. C. Shepherdson.

NACHBIN, Leopoldo: Characterization of lattice of all ideals of Boolean ring (XXII 222).

NAGAI, Hiroshi: Philosophy of science in Japan XXII 353.

NAGAI, Shigeo: Carnap's empiricism (Japa- nese) XXI 379.

NAGEL, Ernest: Principles of theory of probability IV 119. Reprinted (XXI 213).

See Nagel, Ernest, and James R. New- man.

NAGEL, Ernest, and James R. Newman: Godel's proof XXI 374.

NELSON, Everett J.: Review of Philosophical analysis (XXII 223).

NELSON, Raymond J.: Simplest normal truth functions XXI 328.

Weak simplest normal truth functions XXI 330.

NEWELL, Allen, and Herbert A. Simon: Logic theory machine XXII 331.

NEWMAN, James R.: See Nagel, Ernest, and James R. Newman.

NEWMAN, M. H. A.: Turing (XXI 212). NOWELL-SMITH, P. H.: Review of Boman

(XXII 336). NUCHELMANS, Gabriel: Analysis of counter-

factual conditionals XXII 323. Counterfactual conditionals and singular

causal statements XXII 389. NNEss, Arne: Toward a theory of inter-

pretation and preciseness XV 154. Reprint- ed (XXI 78). Reviews by Goodstein (XXI 21.4), Issmann (XXI 214), Strawson (XXI 214).

Empirical study of expressions. Review by Toulmin (XXII 224).

OAKLEY, C. 0.: See Allendoerfer, C. B., and C. 0. Oakley.

O'CONNOR, D. J.: Identity of indiscernibles XXI 86.

See Basson, A. H., and D. J. O'Connor. OHNISHI, Masao: Intuitionistic functional

calculus XXII 299. OKADA, S.: Topology applied to switching

circuits XXI 210. OLDS, M. E.: Synonymity extensional

isomorphism XXII 397. OPPENHEIM, Paul: See Hempel, Carl G., and

Paul Oppenheim.

PAP, Arthur: Logic existence and theory of descriptions XXI 206.

Propositions sentences semantic definition of truth XXI 381.

Strict implication entailment modalit- eration XXI 393.

Belief and propositions XXII 391. Linguistic hierarchy and vicious circle

principle XXII 392. PARKER, W. L., and B. A. Bernstein:

Uniquely solvable Boolean equations XXII 96.

PARKER-RHODES, A. F.: Review of Gregg (XXII 224).

PARRY, W. T.: See McGill, V. J., and W. T. Parry.

PAWLOWSKI, Tadeusz: Review of Cohen and Lloyd (Polish) (XXII 408).

PEANO, Guiseppe: See Albani, E.; Ascoli, Guido; Barone, Francesco; Boggio, Tom- maso; Carruccio, Ettore; Cassina, Ugo; Geymonat, Ludovico; Levi, Beppo; Segre, Beniamino.

PEARS, D.: Identity of indiscernibles XXI 86. Universals. Review by Melden (XXII

224). PEREIRA, Ram6n Crespo: See Crespo Pereira,

Ram6n. PETER, R6zsa: Playing with the infinite

(Hungarian) XIII 141. German translation (Das Spiel mit dem Unendlichen) XXI 310.

Rekursive Funktionen XVI 280. Russian translation (XXI 212).

Rekursive Definitionen wobei Funk- tionswerte von variabler Anzahl XX 176. Abstract (Hungarian) (XXII 295).

Dass die Klasse der primitiv-rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist XX 282. Hungarian version (XXII 295).

Mathematische Tatigkeit von Kalmdr (Hungarian) XXII 295.

Beschrankt-rekursive Funktionen und die Ackermannsche Majorisierungsmethode XXII 376.

PETRESCO, J.: Theorie relative des chaines III (XVIII 285). Abstract (XXI 213).

Th6orie relative des chaines IV (XIX 80). Abstract (XXI 213).

PIAGET, Jean: Inconditionnes transcendan- taux et 6pistdmologie gdndtique (XXI 213).

PIL'6AK, B. 1i.: The calculus of problems (Russian) XXI 372.

PINSKY, L. 0.: Positivism and realism (XXI 213).




PITTS, Walter: Discussion of Bowman (XXI 212).

POIRIER, R.: Discussion of Reymond XXII 325.

POLLMAR, Carl H.: See Burks, Arthur W., Robert McNaughton, Carl H. Pollmar, Don W. Warren, and Jesse B. Wright.

POPPER, Karl R.: Self-reference and meaning in ordinary language XXI 381.

Language and the body-mind problem XXII 88.

Reply to Sellars XXII 88. Note on Tarski's definition of truth

XXII 365. POST, Emil L.: See Kleene, S. C., and Emil

L. Post. POSTLEY, J. A.: Method for evaluation of

system of Boolean equations XXI 335. POVAROV, G. N.: On decomposability of

Boolean functions (Russian) XXI 102. Review of Aiken et al. (Russian) (XXI

331). Synthesis of n-terminal relay-contact

networks (Russian) XXI 331. Mathematical theory of synthesis of (1,

k)-terminal relay-contact networks (Rus- sian) XXI 332.

Symmetric Boolean functions (Russian) XXII 99.

Review of Svoboda (Russian) (XXII 103).

Contribution to theory of (1, k) contact networks (Russian) XXII 334.

PRIOR, A. N.: Diodoran modalities XXI 199. Entities XXI 318. Logic of obligation XXI 379. Curry's paradox and 3-valued logic XXII

90. Modality and quantification in S5 XXII

91. Formal logic. Review by Myhill (XXII

224). Many-valued and modal systems XXII

328. PUELLEs, Antonio Millan: See Millan Puelles,

Antonio. PUIG ADAM, P.: M6todos grifico y algebraico

XXII 377. PUTNAM, Hilary: Reds greens and logical

analysis XXII 318. QUINE, W. V.: New foundations for mathe-

matical logic II 86. Reprinted with added supplementary remarks XIX 134. Review by Smart (XXI 214).

Notes on existence and necessity VIII 45. Reprinted (XXI 77). Reviews by Good- stein (XXI 214), Issmann (XXI 214).

On what there is XV 152. Reprinted XIX 134. Review by Smart (XXI 214). Reprinted (XXI 78). Reviews by Good- stein (XXI 214), Ismann (XXI 214).

Methods of logic XV 203, XVI 268. Review by Ambrose (XXII 223).

Two dogmas of empiricism XVII 28 .. Reprinted XIX 134. Review by Smart (XXI 214).

Logic and reification of universals XIX 135. Review by Smart (XXI 214).

From a logical point of view XIX 134- 138. Review by Smart (XXI 214).

Two theorems about truth-functions xrx 142. Spanish translation (XXI 413).

Way to simplify truth functions XXI 328.

Formulas with valid cases (XXII 104). Unification of universes in set theory

XXII 294. Reduction to a dyadic predicate XXII

297. RASIOWA, H.: Fragment of the implicative

propositional calculus (Polish) XXII 330. See Bialynicki-Birula, A., and H.

Rasiowa; Mostowski, A., with A. Grzegor- czyk, S. Jaskowski, J. Log, S. Mazur, H. Rasiowa, R. Sikorski.

REICHBACH, Juliusz: tiber den auf Alter- native und Negation aufgebauten Aus- sagenkalkul XXI 87.

Completeness of functional calculus of first order (Polish) XXI 194. Russian translation XXI 194. English summary XXI 194.

REIcHENBAcH, Hans: Principle of anomaly in quantum mechanics XV 75. Reprinted (XXI 212).

Verifiability theory of meaning XVII 134. Reprinted (XXI 212).

Logical foundations of concept of probability XVII 220. Reprinted (XXI 212).

Rise of scientific philosophy (XIX 74)'. Review by Malcolm (XXII 223). Third printing XXI 396.

REIDEMEISTER, Kurt: Anschauung als Er- kenntnisquelle XIII 154. Reprinted XXII 89.

Die Selbstandigkeit des Denkens XXII 89.

RESCHER, Nicholas: Identity of indiscernibles XXI 86.

Leibniz's interpretation of his logical calculi XXI 197.

On an analysis of causal relation XXI 313.




Axioms for the part relation XXII 213. Review of Yost (XXII 224).

REYMOND, Arnold: Consid6rations sur la

nature de la logique XXII 325. Discussion by B6n&z6, Destouches, F6vrier-Destou- ches, Le Senne, Poirier, and Reymond XXII 325.

R6ponse a Blanche XXII 325. RWponse XXII 325. RWponse a Bn6nz6 XXII 325.

RIBEIRO, Hugo: "Lattices" des groupes ab6liens finis (XXII 335).

RICE, H. G.: Recursive and recursively enumerable orders XXII 375.

RICHTER, Hans: Zur Begriindung der Wahrscheinlichkeitsrechnung (XXI 213).

RIGUET, Jacques: Extension du calcul des relations binaires XXI 397.

Applications de la thdorie des relations binaires XXII 300.

ROBBINS, Beverly Levin: On synonymy of

word-events XXI 79. ROBINSON, Abraham: Metamathematics of

algebra XVII 205. Reviews by Garcia Bacca (XXI 107), Goodstein (XXI 214).

Th6orie m6tamath6matique des idWaux XX 279. Review by Kreisel (XXII 222).

Discussion of Curry XXI 375. Discussion of Hermes XXII 83. Discussion of Lukasiewicz XXII 214. Discussion of Lorenzen XXII 368.

ROBINSON, Julia: Note on primitive recursive functions XXII 376.

ROBINSON, Raphael M.: Primitive recursive

functions II, XXII 375. ROBINSON, Richard: Definition XVII 61.

Review by Kaplan (XXII 223). RODRIGUEZ GIL, Fernin: Review of Fraenkel

(XXII 103). Fundamentos de las matematicas XXII

359. ROGERS, Hartley J.: Logical reduction and

decision problems XXII 217. ROHLEDER, Hans: Verwendung von Aussa-

genkalkiulen zur Beschreibung elektri- scher Schaltungen XXII 98.

ROLLINS, C. D.: Sameness of meaning-reply XXI 79.

ROMAHNOWA, Seweryna Luszczewska: See Luszczewska-Romahnowa, Seweryna.

ROSE, Alan: Degree of completeness of m- valued Lukasiewicz propositional calculus XXI 327.

Degree of completeness of N0-valued Lukasiewicz propositional calculus XXI 328.

Formalisation of Post's m-valued propositional calculus XXI 400.

Degrd de saturation du calcul implicatif i m valeurs de Lukasiewicz XXII 379.

Alternative formalisation of Sobocifiski's three-valued implicational calculus XXII 380.

ROSENBAUM, R. A.: Equivalence relations XXI 207.

ROSENBLOOM, Paul C.: Elements of mathematical logic XVIII 277. Review by Turquette (XXII 223).

ROSSER, J. Barkley: Logique combinatoire et A-conversion XXII 293.

Modbles des logiques formelles XXII 293.

Relative strength of Zermelo's set theory and Quine's New Foundations XXII 294.

RoxON, E.: Misunderstandings of Aristote- lian logic XXII 94.

RUDNER, Richard: Note on likeness of meaning XXI 79.

RUSSELL, Bertrand: Principles of mathematics (1116). Spanish translation (XXI 413).

Introduction to mathematical philosophy (11 26). Reprint of Chapter XVI (Descriptions) (XXI 77). Review by Goodstein (XXI 214).

Importance of logical form (III 157). Reprinted (XXI 212).

Inquiry into meaning and truth VI 29. Spanish translation (XXI 413).

See Chisholm, Roderick M.; Laird, John. RUSSELL, L. J.: A problem of Lewis Carroll

XXI 207. RYLE, Gilbert: Systematically misleading

expressions XVII 284. Review by Smullyan (XXII 223).

SALMON, Wesley C.: Regular rules of induction (XXII 224).

SAMPEI, Yoemon: Orthogonal expansion of Boolean polynomial I, XXI 40f.

Orthogonal expansion of Boolean polynomial II, XXI 401.

Remarks concerning identity XXI 402. SANCHEZ-MAZAS, Miguel: La esencia de lo

formal XXI 105. Fundamentacifn de una L6gica mate-

mitica comprehensive (I), XXI 105. Los juicios de la MatemAtica y el modo

de existencia de sus objetos XXI 105. Teoria del silogismo desarrollada en

forma de algebra XXI 105. Las recientes investigaciones de historia

de la L6gica antigua: La escuela de Lukasiewicz XXI 106.




Un intento de expresi6n matemitica de la l6gica modal clasica XXI 106.

Review of Tarski (XXI 107). Combinatoria de Leibniz (XXI 107). Breve esquema de las principales ideas

l6gicas de Leibniz (XXI 107). Coloquio Internacional de L6gica (XXI

107). 9ANIN, N. A.: Some logical problems of

arithmetic (Russian) XXII 79. Review of Markov (Russian) (XXII

103). SAUER, Heinrich: Symposion Philosophische

Grundfragen der Logistik XXI 204. SAVERY, Barnett: The emotive theory of

truth (XXI 213). SAWAI, Masaharu: Logical analysis (Japa-

nese) XXI 378. SCHAEFER, David H.: A rectifier algebra XXI

400. SCHEFFLER, Israel: Inscriptional approach to

indirect quotation XXII 86. Synonymy and indirect discourse XXII

208. SCHINGNITZ, Werner: Symposion Philoso-

phische Grundfragen der Logistik XXI 204. SCHISCHKOFF, Georgi: Symposion Philoso-

phische Grundfragen der Logistik XXI 204.

SCHISSLER, L. Robert: See Hohn, Franz E., and L. Robert Schissler.

SCHLIEBS, Gunter: Grundlagen der Algebra der Logik und Anwendung in Schaltungs- theorie XXII 98.

SCHMIDT, Arnold: Symposion Philosophische Grundfragen der Logistik XXI 204.

SCHOLZ' Heinrich: Review of Carnap (XXI 108).

Der Klassische und der moderne Begriff einer mathematischen Theorie XXI 310.

In memoriam Lukasiewicz XXII 385. SCHROTER, Karl: Symposion Philosophische

Grundfragen der Logistik XXI 204. Deduktiv abgeschlossene Mengen ohne

Basis XXII 331. SCHtTTE, Kurt: Widerspruchsloses System

der Analysis auf typenfreier Grundlage XX 277. Review by Muller (XXI 336).

Eliminierbarkeit des bestimmten Arti- kels in Kodifikaten der Analysis XXI 402.

Ein System des verknupfenden Schlie- Bens XXII 297.

SCHWABHAUSER, Wolfram: Definition des

geordneten Paares von Mengen beliebiger Stufe XX 278. Abstract XXI 87.

SCHWARTZ, Laurent: Review of Denjoy

(XXI 213).

SCHWARZ, Gideon: Note on transfinite iteration XXII 303.

SEGRE, Beniamino: Peano ed il Bourbakismo XXII 306.

SEIDENBERG, A.: New decision method for elementary algebra XXII 295.

SELLARS, Wilfrid: Inference and meaning XXI 203.

Mind, meaning, and behavior XXII 88. Semantical solution of the mind-body

problem XXII 88. Discussion by Ceccato XXII 88. Note on Popper XXII 88. Is there synthetic a priori? XXII 402. Reflections on language games XXII

402. SASTAKOV, V. I.: Review of Huffman

(Russian) (XXI 108). Algebra of A-circuits (Russian) XXI 399

(1, 2). Transformation of a periodic sequence

(Russian) XXII 220. Synthesis of switching circuits (Russian)

XXII 221. Modeling of proposition calculus by four-

terminal networks (Russian) XXII 332. Synthesis of r-positional switching cir-

cuits (Russian) XXII 333. SHEARN, Martin: Russell's analysis of ex-

istence XXI 382. SHEKEL, Jacob: Sketch for algebra of

switchable networks (XXI 211). SHEN Yuting: Two semantical paradoxes

XXI 380. SHEPHERDSON, J. C.: Interpretation of

Aristotelian syllogistic XXII 381. See Myhill J., and J. C. Shepherdson.

SHOENFIELD, Joseph R.: Relative consistency proof XXII 367.

SHWAYDER, D. S.: XXI 383. SIBLEY, F. N.: Review of Philosophy and

analysis (XXII 224). SIHANOVI6, 10. A.: Review of Tarski (Rus-

sian) (XXII 103). SIKORSKI, R.: See Mostowski, A., with A.

Grzegorczyk, S. Ja.4kowski, J. Log, S. Mazur, H. Rasiowa, R. Sikorski.

SIMON, Herbert A.: Definition of causal relation XXI 313.

Causal ordering and identifiability XXI 313.

Spurious correlation XXI 313. Further remarks on causal relation XXI

313. See Newell, Allen, and Herbert A. Simon.

SINGER, Marcus G.: Formal logic and Dewey's logic (XXII 222).




SKOLEM, Th.: Remark on a set theory XXI 97.

Some considerations concerning recursive functions XXI 98.

Sobre la naturaleza del razonamiento matematico XXI 373.

Consideraciones sobre los fondamentos de la matematica XXI 373.

Review of Ackermann (XXII 103). Peano's axioms and models of arithmetic

XXII 306. SLUPECKI, Jerzy: Regeln des Aussagen-

kalkuils XXI 87. St. Legniewski's protothetics XXI

188. SMART, J. J. C.: Review of Quine (XXI 214).

Review of Hempel (XXII 223). SMITH, E. J.: Logical approach to design of

computer circuits (XXI 211). SMITH, Patrick Nowell: See Nowell-Smith,

Patrick. SMITHIES, Frank: Mathematics, foundations

(XVIII 183), (XXI 414). SMULLYAN, Arthur: Review of Elssays on

logic and language (XXII 223). Review of Strawson (XXII 223).

SOBOCIRSKI, Boleslaw: Investigations on the axioms of Legniewski's protothetic (Polish) XXI 325.

Studies in Legniewski's mereology XXI 325.

Note on a problem of Paul Bernays XXI 328.

Well constructed axiom systems XXII 358.

Irn memoriam Lukasiewicz XXII 385. SODNoMov, B. S.: Consistency of projective

evaluation of non-effective sets (Russian) XXI 406.

SPECKER, Ernst: Antinomien XXII 368. SPECTOR, Clifford: Recursive well-orderings

XXI 412. Degrees of recursive unsolvability XXII

374. STAHL, Gerold: L6gica de las preguntas

XXII 93. STAMMLER, Gerhard: Vorgelegte Thesen und

die dazu eingegangenen Stellungnahmen XXI 204.

STANLEY, Robert L.: Extended procedure in quantificational logic XXI 197.

Simplified foundations for mathematical logic XXI 322.

Theory of subjunctive conditionals XXII 324.

STEGMt3LLER, Wolfgang: Universalienpro- blem XXII 319.

STENIUS, Erik: Linguistic structure and structure of experience XXII 398.

STONERT, Henryk: Report on First Confer- ence of Logicians (Polish) XXI 31 1.

STORER, Thomas: Notion of "tautology" XXI 380.

STOVE, D. C.: Review of Goodman (XXII 104).

STRAWSON, P. F.: Introduction to logical theory XVIII 273. Review by Smullyan

(XXII 223). Review of Semantics and the philosophy

of language (XXI 214). Review of Dopp (XXI 413).

STROLL, Avrum: Is everyday language in- consistent? XXI 381.

Problem concerning analysis of belief sentences XXI 384.

Believing the meaningless XXII 390. STRONG, Peter F.: See Aiken, Howard H.,

William Burkhart, Theodore Kalin, Peter F. Strong, and others.

SUETUNA, Zyoiti: tiber die Grundlagen der Mathematik XXI 94 (1, 2, 3).

Notion of totality of natural numbers (Japanese) XXI 95.

Notion of totality (Japanese) XXI 95. Notion of totality in mathematics

(Japanese) XXI 95. Foundations of mathematics (Japanese)

XXI 378. Review by Kuroda (Japanese) (XXI 414).

Begriff der Totalitat in der Mathematik XXII 352.

SUPPES, Patrick: Introduction to logic XXII 353.

SURkNYI, Janos: Entscheidungsproblem der mathematischen Logik (Hungarian) XXII 296.

SVOBODA, Frantisek: Indeterminate two- valued Boolean function (Czechic) XXII 99, see erratum in this volume, p. V.

Use of indeterminate two-valued Boolean function (Czechic) XXII 99, see erratum in this volume, p. V. Review by Povarov (Russian) (XXII 103).

TAKEKUMA, Ryoichi: Nine-valued propositional calculus XXII 330.

TAKEUTI, Gaisi: Generalized logic calculus XXII 351.

Construction of ramified real numbers XXII 352.

TAMMELO, Ilmar: Sketch for a symbolic juristic logic XXII 92.

TARSKI, Alfred: Introduction to logic VI 30. Second edition XII 61. Spanish translation XVI 283. Review by Sanchez-Mazas




(XXI 107). Dutch translation XXI 187. Semantic conception of truth and

foundations of semantics IX 68. Reprinted (XXI 76). Reviews by Goodstein (XXI 214), Issmann (XXI 214). Dutch translation XXI 380.

Decision method for algebra and geometry XIV 188. Second edition XVII 207. Review by Fleshler (XXI 336).

Contributions to theory of models XXI 405. Review by Sihanovi6 (Russian) (XXII 103).

A lattice-theoretical fixpoint theorem XXII 370.

TERRACINI, Alessandro: Prefazione XXII 306.

THOMAS, Ivo: Review of Durr (XXI 214). Farrago logica XXI 314. New decision procedure for Aristotle's

syllogistic XXI 315. Introductory remarks to modern logic

XXI 315. Boethius' locus a repugnantibus XXI

315. Kilwardby on conversion XXI 316. Maxims in Kilwardby XXI 316. Eulerian syllogistic XXII 381.

THOMSON, J. F.: Remarks on synonymy XXI 79.

TOULMIN, Stephen, Review of Ness (XXII 224).

TRAHTANBROT, B. A.: Matrix representation of recursive operators (Russian) XXI 207.

Synthesis of schemata without repeti- tions (Russian) XXI 332.

Review of Kleene (Russian) (XXII 103). See Kuznecov, A. V., and B. A. Trahten-

brot. TURBAYNE, Colin M.: Review of Fritz (XXII

223). TURING, Alan Mathison: See Newman,

M. H. A. TURQUETTE, Atwell R.: Review of Rosen-

bloom (XXII 223). Review of Fitch (XXII 223). Many-valued logics and systems of

strict implication XXII 328. UBELL, Earl: Beyond mathematical proof

(XXI 414). UMEZAWA, Toshio: Oiber die Zwischen-

systeme der Aussagenlogik XXI 324. USHENKO, A. P.: Counterfactual XXII 321.

Principles of causality XXII 322. USPANSKIJ, V. A.: On calculable operations

(Russian) XXII 76. Review of Kleene and Post (Russian)

(XXII 103).

Enumerable sets (Russian) XXII 220. VACCA, Giovanni: Perch6 non si 6 sviluppata

la scienza in Cina? XXII 307. Matematica e tecnica XXII 307. Logica matematica e logistica XXII

307. VACCARINO, Giuseppe: Logiche polivalenti e

non aristoteliche XXI 400. Discussion of Issmann XXII 211.

VALPOLA, Veli: Negationslose Logik mit ausschliesslich realisierbaren Pradikaten XXII 355.

Eigenschaft gewohnlicher negationsloser Kalkule XXII 380.

VAN DER MEULEN, Jan A.: See Meulen, Jan A. van der.

VIETORIS, Leopold: Wie kann Wahrschein- lichkeit definiert werden? (XXI 213).

Zur Axiomatik der Wahrscheinlichkeits- rechnung (XXI 213).

Haufigkeit und Wahrscheinlichkeit (XXI 336).

VREDENDUIN, P. G. J.: Logic of negationless mathematics XXI 92. Review by D6tlovs (Russian) (XXI 214).

WAISMANN, Friedrich: Verifiability XII 101. Reprinted XVII 284. Review by Smullyan (XXII 223).

Analytic-synthetic XXI 84. Language strata. Reviews by Hall

(XXII 103), Melden (XXII 224). WANG, Hao: Arithmetic translations of axiom

systems XXI 402. Between number theory and set theory

XXII 82. Formalization of mathematics XXII

290. On formalization XXII 292. Denumerable bases of formal systems

XXII 292. Categoricity question of certain grand

logics XXII 294. Truth definitions and consistency proofs

XXII 365. See Kreisel, G., and Hao Wang.

WARNOCK, G. J.: Every event has a caseu. Review by Melden (XXII 224).

WARREN, Don W.: See Burks, Arthur W., Robert McNaughton, Carl H. Pollmar, Don W. Warren, and Jesse B. Wright.

WATLING, J.: Review of Goodman (XXII 103).

WEAVER, Warren: Lewis Carroll (XXI 336). WEINBERG, Julius R.: Examination of

logical positivism II 89. Italian translation (XVII 79). Review by Crespo Pereira (XXI 107).




WEISS, Paul: Paradox of necessary truth XXI 83.

WELLS, Rulon: Meaning and use XXII 87. WELSH, Paul: Discursive and presentational

symbols (XXII 224). WEYL, Hermann: fiber die neue Grundlagen-

krise der Mathematik (1924). Reprinted XXII 81.

Nachtrag Juni 1955, XXII 81. WHITE, Morton G.: Analytic and synthetic

XVI 210. Reprinted (XXI 79). Reviews by Goodstein (XXI 214), Issmann (XXI 214), Strawson (XXI 214).

Review of Chwistek (XXII 222). Age of analysis (XXII 336).

WHITELEY, C. H.: Meaning and ostensive definition (XXII 103).

WIENPAHL, Paul: More about denial of sameness of meaning XXI 79.

WIESNER, Jerome B.: Discussion of Bowman

(XXI 212). WILL, Frederick L.: Generalization and

evidence XVI 300. Review by Nelson (XXII 223).

WILLIAMS, Donald C.: Sea fight tomorrow (XVI 232). Review by Chisholm (XXII 223).

Review of Bergmann (XXII 224). Linsky on Aristotle XXII 384.

WILSON, N. L.: Identity of indiscernibles and symmetrical universe XXI 85.

What is a rule of language? XXI 202.

Existence assumptions and contingent meaningfulness XXI 383.

Designation and description XXII 395. Property designation and description

XXII 395. Space time individuals XXII 395.

WINCH, Peter G.: Necessary and contingent truths XXI 85.

WITTGENSTEIN, Ludwig: Philosophical investigations. Reviews by Malcolm (XXII 223), Feyerabend (XXII 224), Abbagnano (XXII 224), Ambrose (XXII 224), Linsky (XXII 224).

See von Wright, G. H. WOLTER, Wladyslaw: Elements of logic

(Polish). Review by Kalinowski (Polish) (XXII 408).

WOOD, 0. P.: Review of Basson and O'Con- nor (XXI 214).

WRIGHT, G. H. von: Note on deontic logic and derived obligation XXII 91.

Review of Carnap (XXII 222). Wittgenstein (XXII 224). See Geach, P. T., and G. H. von Wright.

WRIGHT, Jesse B.: See Buchi, J. Richard, and Jesse B. Wright; Burks, Arthur W., Robert McNaughton, Carl H. Pollmar, Don W. Warren, and Jesse B. Wright.

WUNDHEILER, Alex: See Wundheiler, Luit- gard, and Alex Wundheiler.

WUNDHEILER, Luitgard, and Alex Wund- heiler: Logical concepts for syntax XXI 312.

XENAKIS, Jason: Plato on statement and truth-value (XXII 224).

Logic of proper names XXII 396. YABLONSKY, S. V.: See Ablonskij, S. V. YAQUB, Adil: Theory of ring-logics (XXI

414). YASUURA, Kamenosuke: Representation of

many-valued propositional logics XXII 102.

YESENIN-VOLPIN, A. S.: See gs~nin-Vol'pin, A. S.

YONEMITSU, Naoto: Decision method and topological interpretation for logical implication XXI 326.

Note on logical implication XXI 327. Note on completeness of m-valued

propositional calculi XXI 328. Modal systems M and SI, XXI 379.

YOST, R. M., Jr.: Leibniz and philosophical analysis XX 171. Review by Rescher (XXII 224).

YOUNG, L. Z.: Discussion of Bowman (XXI 212).

YUTING Shen: See Shen Yuting. ZASPAVSKIJ, I. D.: Disproof of some theo-

rems of classical analysis in constructive analysis (Russian) XXI 409.

ZIEMBI14SKI, Zygmunt: Repetitorium of logic for students of law (Polish). Review by Kalinowski (Polish) (XXII 408).

Collection of exercises in logic for students of law (Polish). Review by Kal- inowski (Polish) (XXII 408).

ZUBIETA Russi, F.: Una definici6n del orden natural de los ndmeros (XXI 413).

ZYKOV, A. A.: Spectrum problem in extended predicate calculus (Russian) XXII 360. English translation XXII 360.

AUTHORS OF REVIEWS

Ackermann, Wilhelm. XXI 87, 197, 324, 401, 402; XXII 217, 297, 360.

Addison, J. W. XXII 301. Ambrose, Alice. XXI 202, 203. Anderson, Alan Ross. XXI 200, 379, 379;

XXII 91, 92, 324, 327, 328, 330, 393.




Aubert, Karl Egil. XXI 321. Axt, Paul. XXII 376. Bar-Hillel, Y. XXII 395. Basson, A. H. XXII 88. Bausch, Augustus F. XXII 392. Baylis, Charles A. XXI 84, 85, 86; XXII 208,

310, 311, 400, 401. Bendiek ,Johannes. XXI 188; XXII 330. Benek, Viclav E. XXII 294. Bennett, Jonathan. XXI 394, 395; XXII 83,

210, 319, 392, 398. Bernays, Paul. XXII 68, 73, 298. Berry, George D. W. XXI 89, 90. Black, Max. XXII 286. Borgers, Alfons. XXI 309, 310, 380; XXII

84, 214, 299, 403. Castafieda, H6ctor Neri. XXII 93. Chisholm, Roderick M. XXII 383. Chomsky, Noam. XXII 87, 394, 402. Church, Alonzo. XXI 76, 77, 83, 187, 193, 201,

207, 212, 309, 312, 314, 318, 319, 322, 336, 374, 396; XXII 85, 88, 222, 300, 336, 359, 375, 377, 379, 407.

Clark, Romane. XXI 206. Cogan, E. J. XXI 399, 405, 406, 408, 409. Craig, William. XXI 87, 194; XXII 360. Davis, Martin. XXI 98; XXII 374, 375. Dedecker, Paul. XXII 371. Dekker, J. C. E. XXII 303. Dopp, J. XXI 314, 315, 316, 317, 318, 385,

386; XXII 311, 353. Dummett, Michael. XXI 197. Durr, Karl. XXII 385, 387. Ehrenfeucht, Andrzej. XXI 319, 408; XXII

220, 331. Elgot, Calvin C. XXII 334. Faris, J. A. XXII 381. Fefreman, Solomon. XXII 306. Ferrater Mora, Jos6. XXII 83, 97. Feys, Robert. XXI 105, 106, 374; XXII 92,

306. Fiett, Jerzy. XXII 98. Fitch, Frederic B. XXI 97; XXII 293, 383, Fraenkel, Abraham A. XXI 96. Fraiss6, Roland. XXI 398; XXII 300. Gil, Lisl. XXII 367. Geach, P. T. XXII 94. Gericke, H. XXII 370. Germansky, B. XXII 357. Gilmore, P. C. XXI 195, 323; XXII 81,

355, 380. Goodman, Nelson. XXII 317, 318. Halmos, Paul R. XXII 215. Harrop, Ronald. XXII 326. Hirtig, Klaus. XXII 308. Hasenjaeger, G. XXI 403, 404.

Hempel, Carl G. XXI 396; XXII 86, 205, 208, 325.

Henkin, Leon. XXI 193, 194, 372; XXII 216. Hermes, Hans. XXII 357. Heyting, A. XXII 299, 368. Hintikka, K. J. J. XXII 72. Kemeny, John G. XXI 203, 207, 310, 313;

XXII 365. Kleene, S. C. XXII 363. Kraft, Julius. XXII 89. Kuroda, Sigekatu. XXI 94, 95, 367. Leblanc, Hugues. XXII 313, 314, 358. Lejewski, Czeslaw. XXI 188, 325.; XXII 213 Lemmon, E. J. XXI 379, 384, 387, 388, 389,

400; XXII 91, 92, 325, 384, 390. Lorenzen, Paul. XXII 299, 369. McNaughton, Robert. XXI 328, 330; XXII

221, 332. Markwald, Werner. XXI 409, 410, 411, 412. Martin, N. M. XXII 377. Mates, Benson. XXI 199. Matsumoto, Kazuo. XXII 79, 380. Meredith, David. XXII 209. Miller, James Wilkinson. XXII 94, 381. Montague, Richard. XXI 402; XXII 82, 365. Moore, Omar Khayyam. XXI 397. Mostowski, Andrzej. XXI 101, 102, 207, 320,

406; XXII 76, 99, 219, 304. Muller, Gert Heinz. XXI 380; XXII 90,

290, 292, 296, 303, 368. Nelson, David. XXI 91, 92, 93. Nelson, Raymond J. XXI 208, 209, 210, 333,

334, 335, 400. Ohnishi, M. XXI 196. Ono, Katuzi. XXII 100, 101, 102. Orey, Steven. XXI 88, 322, 402; XXII 80,

214, 294, 368. Parisi, Domenico. XXII 307. Parry, William T. XXI 400. Patterson, George W. XXII 102, 221. Pawlak, Zdzislaw. XXI 102, 103, 104, 331,

332, 333, 398, 399; XXII 98, 332, 378. P6ter, R6zsa. XXI 100, 101; XXII 295, 296,

375,376. Prior, Arthur N. XXI 191, 325; XXII 309,

326, 383. Putnam, Hilary. XXII 406. Rabin, Michael 0. XXII 372, 373. Rand, Rose. XXI 390. Rasiowa, Helena. XXI 372. Renno, James. XXII 79, 376. Rescher, Nicholas. XXI 383, 384; XXII 391. Ribeiro, Hugo. XXII 359, 369,370,378,379. Robinson, Abraham. XXI 321; XXII 295. Robinson, Richard E. XXI 79; XXII 397. Robinson, T. Thacher. XXII 330.




Rogers, Hartley, Jr. XXI 407; XXII 218. Rose, Alan. XXI 328, 401; XXII 331. Rose, Gene F. XXI 327, 328; XXII 77, 329,

333, 379, 380. Rosser, J. Barkley. XXI 95, 377, 378. Schutte, Kurt. XXII 351, 352, 353. Scott, Dana. XXII 303. Sellars, Wilfrid. XXII 399. Shapiro, Norman. XXI 99, 100. Shoenfield, J. R. XXII 367. Skolem, Th. XXII 289. Smart, R. N. XXII 86. Smiley, T. J. XXI 392, 393; XXII 407. Sobocifiski, Boleslaw. XXI 311, 312. Spector, Clifford. XXII 292. Stahl, Gerold. XXII 388. Sugihara, Takeo. XXI 378, 379.

BCDEFGHIJ -AMS-89876543

Svenonius, Lars. XXII 31 1. Szeptycki, Pawel. XXII 99, 333, 334. Thomas, Ivo. XXII 96, 382. Thomson, J. F. XXI 82, 318, 380, 381, 382,

383; XXII 320, 321. Turquette, A. R. XXI 83, 87, 389; XXII 316. van Heijenoort, John. XXI 204; XXII 210,

211, 212, 350, 382, 396, 399, 400, 401. Vredenduin, P. G. J. XXI 91, 326, 327; XXII

214, 388. Wakulicz, Andrzej. XXII 220, 221. Watling, John. XXII 321, 322, 323, 389,390 Wernick, William. XXI 199; XXII 96. Woodger, J. H. XXII 404. Yonemitsu, Naoto. XXII 327. Zadeh, L. A. XXII 354. Zubieta Russi, G. XXI 373.



Date post:	15-Jan-2017
Category:	Documents
Upload:	hoanghuong
View:	217 times
Download:	3 times

Index of Reviews: Volumes 21-22

Documents