Kreisel G.. Note on arithmetic models for consistent formulae of the predicate calculus II. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, und Éditions E. Nauwelaerts, Leuven 1953, S. 39–49 [Book Review]

Journal of Symbolic Logic 21 (4):403-404 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268418

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Fitch Frederic B.. Self-referential relations. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam, 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 121–127. [REVIEW]A. N. Prior - 1959 - Journal of Symbolic Logic 24 (3):240-240.
L. O. Kattsoff. Ontology and the choice of languages. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 26-32. [REVIEW]Noam Chomsky - 1957 - Journal of Symbolic Logic 22 (4):394-395.
Quine W. V.. Three grades of modal involvement. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 65–81. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (2):168-169.
Apostel Leo. Modalités physiques et techniques. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 97–104. [REVIEW]Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (3):230-230.
Myhill J. R.. Three contributions to recursive function theory. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 50–59. [REVIEW]Norman Shapiro - 1955 - Journal of Symbolic Logic 20 (2):176-177.
Issmann S.. Une méthode de décision pour certaines formules du calcul des prédicats. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, und Éditions E. Nauwelaerts, Louvain 1953, S. 35–38. [REVIEW]Wilhelm Ackermann - 1954 - Journal of Symbolic Logic 19 (2):132-133.
Holz Hans Heinz. Zutn Problem der Konstitution von Bedeutung. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 180–184.Alexander H. G.. Language and hypostatization. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 185–190.Dingler Hugo. Was ist Konventionalismus? Zum 50jährigen Jubiläum des Erscheinens der deutschen Ausgabe von Henri Poincarés Wissenschaft und Hypothese. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 199–204.Riabouchinsky Dimitri. La définition des nombre. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (1):57-58.
Braithwaite Margaret Masterman. The pictorial principle in language. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume comptémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Lou vain 1953, pp. 139–144. [REVIEW]R. N. Smart - 1957 - Journal of Symbolic Logic 22 (1):86-87.
Behmann Heinrich. Die typenfreie Logik und die Modalität. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume comptémentalre et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 88–96. [REVIEW]Ronald Harrop - 1957 - Journal of Symbolic Logic 22 (3):326-326.
Jan Łukasiewicz. A system of modal logic. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 82–87. - Jan Łukasiewicz. A system of modal logic. The journal of computing systems, vol. 1 no. 3 , pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 , pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 , pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 , pp. 114–128. [REVIEW]Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
Martin R. M.. On non-translational semantics. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 132–138. [REVIEW]George D. W. Berry - 1956 - Journal of Symbolic Logic 21 (1):90-91.
Körner S.. The nature of philosophical analysis. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 121–123. [REVIEW]Charles A. Baylis - 1954 - Journal of Symbolic Logic 19 (2):132-132.
Heyting A.. Sur la t'che de la philosophie des mathématiques. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 193–198. [REVIEW]Th Skolem - 1954 - Journal of Symbolic Logic 19 (3):225-225.
Pap Arthur. Analytic truth and “implicit definitions.” Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 151–155. [REVIEW]Carl G. Hempel - 1955 - Journal of Symbolic Logic 20 (1):55-55.
Beth E. W.. Sur la description de certains modèles d'un système formel. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 64–69. [REVIEW]J. Barkley Rosser - 1954 - Journal of Symbolic Logic 19 (3):224-224.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,224,450)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references