Popper K. R.. On the theory of deduction, Part I. Derivation and its generalizations. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 , pp. 173–183; also Indagationes mathematicae, vol. 10 , pp. 44–54.Popper K. R.. On the theory of deduction, Part II. The definitions of classical and intuitionist negation. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 , pp. 322–331; also ibid., pp. 111–120.Popper K. R.. The trivialization of mathematical logic. Library of the Xlh International Congress of Philosophy . Vol. I. Proceedings of the Congress. Preprint 1948, pp. 510–515 [Book Review]

Journal of Symbolic Logic 14 (1):62-63 (1949)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268996

Links

PhilArchive



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

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

L. E. J. Brouwer. Remarques sur la notion d'ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 263–265. - L. E. J. Brouwer. Sur la possibilité d'ordonner le continu. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 349–350. - L. E. J. Brouwer. On order in the continuum, and the relation of truth to non-contradictority. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 54 , pp. 357–358; also Indagationes mathematicae, vol. 13 , pp. 357–358. See Erratum, Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 55 , p. 79; also Indagationes mathematicae, vol. 14 , p. 79. - L. E. J. Brouwer. Over accumulatiekernen van oneindige kernsoorten . Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 54 , vol. 55 , pp. 439–441; also Indagationes mathematicae, vol. 14 , pp. 439–441. [REVIEW]Alfons Borgers - 1954 - Journal of Symbolic Logic 19 (2):125-126.
Ridder J.. Formalistische Betrachtungen über intuitionistische und verwandte logische Systeme. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, Bd. 53 , S. 327–336, 446–455, 787–799, 1375–1389, und Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, Bd. 54 , S. 94–105, 169–177, 226–236; auch Indagationes mathematical Bd. 12 , S. 75–84, 98–107, 231–243, 445–459, und Bd. 13 , S. 94–105, 169–177, 226–236. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):175-176.
Brouwer L. E. J.. Essentieel-negatieve eigenschappen . Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 , pp. 963–964; also Indagationes mathematicae, vol. 10 , pp. 322–323. [REVIEW]Alfons Borgers - 1949 - Journal of Symbolic Logic 14 (2):137-138.
van Dantzig D.. Comments on Brouwer's theorem on essentially-negative predicates. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 52 , pp. 949–957; also Indagationes mathematicae vol. 11 , pp. 347–355. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (2):195-195.
L. E. J. Brouwer. De non-aequivalentie van de constructieve en de negatieve orderelatie in het continuum . Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 52 , pp. 122–124; also Indagationes mathematicae, vol. 11 , pp. 37–39. [REVIEW]Alfons Borgers - 1949 - Journal of Symbolic Logic 14 (3):195-196.
Van Dantzig D.. On the -principles of inluitionistic and affirmative mathematics. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 , pp. 918–929, 1092–1103; also Indagationes mathematicae, vol. 9 , pp. 429–440, 506–517. [REVIEW]T. H. Skolem - 1948 - Journal of Symbolic Logic 13 (3):173-173.
Review: K. R. Popper, On the Theory of Deduction, Part I. Derivation and its Generalizations; K. R. Popper, On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation; K. R. Popper, The Trivialization of Mathematical Logic. [REVIEW]S. C. Kleene - 1949 - Journal of Symbolic Logic 14 (1):62-63.
Beth E. W.. Semantical considerations on intuitionistic mathematics. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 , pp. 1246–1251, and ibid., pp. 572–577. [REVIEW]S. C. Kleene - 1948 - Journal of Symbolic Logic 13 (3):173-173.
Ridder J.. Über mehrwertige Aussagenkalküle und mehrwertige engere Prädikaten-kalküle. I. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, t. 51 , pp. 670–680; aussi Indagationes mathematicae, t. 10 , pp. 221–231. [REVIEW]Boleslaw Sobociński - 1949 - Journal of Symbolic Logic 14 (2):139-139.
Review: J. Heidema, A. P. J. van der Walt, Contributions to the Metamathematical Theory of Ideals. I: Domains with Dense Kernel; J. Heidema, Contributions to the Metamathematical Theory of Ideals. II: Metamathematical Prime Ideals and Radicals. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (1):158-159.
Łukasiewicz Jan. On the intuitionistic theory of deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 , pp. 202–212; also Indagationes mathematicae, vol. 14 , pp. 202–212. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):216-216.
S. C. Kleene. A symmetric form of Gödel's theorem. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, Bd. 53 , S. 800–802; auch Indagationes mathematicae, Bd. 12 , S. 244–246. [REVIEW]Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (2):147-147.
Griss G. F. C.. Negationless intuitionistic mathematics II, III, IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 , pp. 456–463, and series A, vol. 54 , pp. 193–199, 452–471; also Indagationes mathematicae, vol. 12 , pp. 108–115, and vol. 13 , pp. 193–199, 452–471. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):296-297.
B. van Rootselaar. On intuitionistic difference relations. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 , pp. 316–322; also Inda-gationes mathematicae, vol. 22 , pp. 316-322. - B. van Rootselaar. Corrections. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 , pp. 132–133; also ibid., vol. 25 , pp. 132-133. [REVIEW]R. E. Vesley - 1969 - Journal of Symbolic Logic 34 (3):519-520.
Ridder J.. Über mehrwertige Aussagenkalküle und mehrwertige engere Prädikatenkalküle. II–III. Koninhlijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, t. 51 , pp. 836–845 et 991–995; aussi Indagationes mathematicae, t. 10 , pp. 264–273 et 324–328. [REVIEW]Bolesław Sobociński - 1950 - Journal of Symbolic Logic 14 (4):261-262.

Analytics

Added to PP
2016-06-30

Downloads
17 (#868,760)

6 months
4 (#790,394)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Popper's Notion of Duality and His Theory of Negations.David Binder & Thomas Piecha - 2017 - History and Philosophy of Logic 38 (2):154-189.

Add more citations

References found in this work

No references found.

Add more references