Contents
Reviews
Tadeusz Kotarbiński. Kurs logiki dla prawników (A course in logic for law students). Gebethner i Wolff, Warsaw1951, 255 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-61
-
- Article
- Export citation
Frederic Brenton Fitch. Symbolic logic. An introduction. The Ronald Press Company, New York 1952, x + 238 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-268
-
- Article
- Export citation
Karl Dürr. Die mathematische Logik von Leibniz. Studia philosophica (Basel), vol. 7 (1947), pp. 87–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
-
- Article
- Export citation
Research Article
A derivation of number theory from ancestral theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-197
-
- Article
- Export citation
-
Martin has shown that the notions of ancestral and class-inclusion are sufficient to develop the theory of natural numbers in a system containing variables of only one type.
The purpose of the present paper is to show that an analogous construction is possible in a system containing, beyond the quantificational level, only the ancestral and the ordered pair.
The formulae of our system comprise quantificational schemata and anything which can be obtained therefrom by writing pairs (e.g. (x; y), ((x; y); (x; (y; y))) etc.) for free variables, or by writing ancestral abstracts (e.g. (*xyFxy) etc.) for schematic letters, or both.
The ancestral abstract (*xyFxy) means what is usually meant by
; and the formula (*xyFxy)zw answers to Martin's (zw; xy)(Fxy).The system presupposes a non-simple applied functional calculus of the first order, with a rule of substitution for predicate letters; over and above this it has three axioms for the ancestral and two for the ordered pair.
; and the formula (*Reviews
Karl Dürr. Leibniz' Forschungen im Gebiet der Syllogistik. Leibniz zu seinem 300. Geburtstag 1646–1946, Lieferung 5. Walter de Gruyter & Co., Berlin1949, 40 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
-
- Article
- Export citation
Tadeusz Czeżowski. Przyczynek do sylogistyki Arystotelesa (Brentanowska teoria wnioskdw kategorycznych) (Contribution à la syllogistique d'Aristote (La théorie du raisonnement catégorique chez Breniano)). Polnisch mit französischem Auszug. Studia Societatis Scientiarum Torunensis, Sectio A, Bd. 2 Heft 2 (1950), S.65–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
-
- Article
- Export citation
Emil J. Walter. Anwendung der Logistik und analytischen Sozialpsychologie in der Grundlagenforschung der Sozialwissenschaften (Eine wissenschaftlich-methodische Untersuchung einiger Grundbegriffe der Soziologie und Sozialpsychologie). Synthese, vol. 7 (1948–1949), pp. 115–126. - Emil J. Walter. Individuum, Gesellschaft und Staat (Eine wissenschaftlogisch-soziologische Untersuchung). Synthese, vol. 7 (1948–1949), pp. 536–549. - Emil J. Walter Ideal- und Realtypender Planwirtschaft (Ein formal-klassifikatorischer Beitrag zur Terminologie der modernen Wirtschaftssysteme). Synthese, vol. 8 (1950–1951), pp. 54–64.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
Arnold Schmidt. Mathematische Grundlagenforschung. Enzyklopädie der mathematischen Wissenschaften, Band I. Algebra und Zahlentheorie, 1. Teil, Heft 1, Teil II, B.G. Teubner, Leipzig1950, 48 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 198-199
-
- Article
- Export citation
Stanisław Jaśkowski. O interpretacjach zdan kategorycznych Arystotelesa w rachunku predykatów (On the interpretations of Aristotelian categorical propositions in the predicate calculus). Polnisch mit englischem Auszug. Ebd., Bd. 2 Heft 3 (1950), S.77–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
-
- Article
- Export citation
Fritz Paradies. Die Konformationsregeln der empirischen Rechtswissenschaft. Methodos, vol. 1 (1949), pp. 259–269. - Fritz Paradies. The conformation rules of empirical jurisprudence. English translation of the preceding by Ernst v. Glasersfeld. Methodos, vol. 1 (1949), pp. 270–276.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
Karl Dürr. The propositional logic of Boethius. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1951, X + 79 pp. - Norman M. Martin. Appendix. Therein, pp. 74–79.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-123
-
- Article
- Export citation
Pedbo Pi Calleja. La objeción de Grandjot a la teoría de Peano del número natural. Mathematicae notae, vol. 9 (1949), pp. 143–151.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-200
-
- Article
- Export citation
Pedbo Pi Calleja. El tercero incluído en la contraparadoja de Russell. Mathematicae notae, vol. 9 (1949), pp. 152–154.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 200
-
- Article
- Export citation
Raphael M. Robinson. Undecidable—rings. Transactions of the American Mathematical Society, Bd. 70 (1951), S.137–159.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 268-269
-
- Article
- Export citation
Philotheus Boehner. Bemerkungen zur Geschichte der De Morgansche Gesetze in der Scholastik. Archiv für Philosophie, vol. 4 no. 2 (1951), pp. 113–146.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-124
-
- Article
- Export citation
Richard Robinson. Definition. The Clarendon Press, Oxford1950, viii + 207 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-62
-
- Article
- Export citation
Victor Kraft. Der Wiener Kreis. Der Ursprung des Neopositivismus. Ein Kapitel der jüngsten Philosophiegeschichte. Springer Verlag, Vienna1950, VI + 179 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
-
- Article
- Export citation
Raphael M. Robinson. Arithmetical definitions in the ring of integers. Proceedings of the American Mathematical Society, Bd. 2 (1951), S.279–284.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
-
- Article
- Export citation
P. V. Tavanéc. O vidah suždéniá (On types of judgment). Izvéstiá Akadémii Nauk SSSR, Sériá istorii i filosofii, vol. 7 (1950), pp. 69–84. - P. V. Tavanéc. Kritika istolkovaniá prirody suždénij logikoj otnošénij (A critique of the interpretation of the nature of judgments in the logic of relations). Izvéstiá Akadémii Nauk SSSR, Sériá istorii i filosofii, vol. 7 (1950), pp. 360–372. - K. S. Bakradzé. K voprosu o sootnošénii logiki i dialéktiki (On the question of the relationship of logic to dialectic). Voprosy filosofii, no. 2 (1950), pp. 198–209. - V. I. Čérkésov. O logiké i marksistskoj dialéktiké (On logic and Marxist dialectic). Voprosy filosofii, no. 2 (1950), pp. 209–222. - M. S. Strogovič. O prédmété formal'noj logiki (On the subject matter of formal logic). Voprosy filosofii, no. 3 (1950), pp. 309–317. - I. I. Os'makov. O logiké myšéniá i o nauké logiké (On the logic of thought and the science of logic). Voprosy filosofii, no. 3 (1950), pp. 317–330. - P. S. Popov. Prédméi formal'noj logiki i dialéktika (Dialectic and the subject matter of formal logic). Voprosy filosofii, no. 1 (1951), pp. 210–218. - N. V. Zavadskaá. K diskussii po voprosam logiki (On the discussion of questions of logic). Voprosy filosofii, no. 1 (1951), pp. 218–222. - A. O. Makovél'skij. Čém, dolžna byt' logika kak nauka? (What should logic be as a science?) Voprosy filosofii, no. 2 (1951), pp. 179–181. - Dobrin Spasov. Dialéktičéskuú logiku nado né otricat', a razrabatyvat' (Dialectical logic should not be rejected but elaborated). Voprosy filosofii, no. 2 (1951), pp. 182–184. - M. N. Alékséév. Obsuždénié voprosov logiki v Moskovskom Gosudarstvénnom Univérsdtété (Discussion of questions of logic at the State University of Moscow). Voprosy filosofii, no. 2 (1951), pp. 184–192. - A. D. Aléksandrov. O logiké (On logic). Voprosy filosofii, no. 3 (1951), pp. 152–163. - F. Á. Ostrouh. Protiv iskažéniá marksizma v voprosah logiki (Versus distortion of Marxism in questions of logic). Voprosy filosofii, no. 3 (1951), pp. 164–173.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-128
-
- Article
- Export citation
B. Levi. A propósito de la Nota del Dr. Pi Calleja. Sobre paradojas lógicas y principio del tertium non datur. Mathematicae notae, vol. 9 (1949), pp. 155–159.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 200-201
-
- Article
- Export citation