Results for 'Alonzo Chubch'

1000+ found
Order:
  1.  2
    Bernstein B. A.. Postulate-sets for Boolean rings. Transactions of the American Mathematical Society, vol. 55 , pp. 393–400. [REVIEW]Alonzo Chubch - 1944 - Journal of Symbolic Logic 9 (2):54-54.
  2.  4
    Anonymous. Problemas de “Theoria.” Problema n.° I. Theoria , vol. 1 no. 1 , p. 7.Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):304-304.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  6
    Berkeley Edmund C.. The algebra of states and events. The scientific monthly, vol. 78 , pp. 232–242.Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):286-287.
  4.  1
    Christian Curt. Zwei Theoreme über die Einerklasse. Theoria , vol. 3 no. 9 , p. 118.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):322-322.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  3
    Czeżowski Tadeusz. On certain peculiarities of singular propositions. Mind, n.s. vol. 64 , pp. 392–395.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (2):207-207.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  3
    Evans Ellis. On the language of converse relations. Analysis , vol. 16 no. 1 , pp. 15–24.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):318-319.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  12
    Farinelli U. and Gamba A.. Physics and mathematical logic. Il nuovo cimento, ser. 10 vol. 1 , pp. 1152–1158.Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):285-285.
  8.  1
    Goodman Nelson. On a pseudo-test of translation. Philosophical studies, vol. 3 , pp. 81–82.Alonzo Church - 1955 - Journal of Symbolic Logic 20 (1):62-62.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  9
    Leonard Henry S.. The logic of existence. Philosophical studies , vol. 7 , pp. 49–64.Alonzo Church - 1963 - Journal of Symbolic Logic 28 (3):259-261.
  10.  1
    Myhill John. A system which can define its own truth. Fundamenta mathematicae, vol. 37 , pp. 190–192.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):319-319.
  11.  6
    Nagel Ernest and Newman James R.. Gödel's proof. Scientific American, vol. 194 no. 6 , pp. 71–84, 86.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (4):374-374.
  12.  7
    Nielsen Harry A.. Language as existent. Notre Dame journal of formal logic, vol. 2 , pp. 244–250.Alonzo Church - 1962 - Journal of Symbolic Logic 27 (1):118-118.
  13.  1
    On Equivalence Relations.Alonzo Church & W. T. Guy - 1956 - Journal of Symbolic Logic 21 (2):207.
  14.  7
    Rosenbaum R. A.. Remark on equivalence relations. The American mathematical monthly, vol. 62 , p. 650.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (2):207-207.
  15.  1
    Schock Rolf. Some remarks on Russell's treatment of definite descriptions. Logique et analyse, n.s. vol. 5 , pp. 77–80.Alonzo Church - 1963 - Journal of Symbolic Logic 28 (1):105-106.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  8
    Smiley Timothy. On Łukasiewicz's Ł-modal system. Notre Dame journal of formal logic, vol. 2 , pp. 149–153.Alonzo Church - 1962 - Journal of Symbolic Logic 27 (1):113-113.
  17.  3
    The Gentle Art of Mathematics.Alonzo Church, Dan Pedoe & Griselda El Tayeb - 1966 - Journal of Symbolic Logic 31 (4):675.
  18.  3
    Weiss Paul. The paradox of necessary truth. Philosophical studies, vol. 6 , pp. 31–32.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (1):83-83.
  19.  5
    La Discusión Sobre Vita Activa, Nobilitas y Libertad en La Utopía de Tomás Moro.Manuel Méndez Alonzo - 2011 - Revista Portuguesa de Filosofia 67 (2):355-376.
    The objective of this work is to analyze the relation between active life, nobility and liberty in Thomas More s Utopia. In Quentin Skinners interpretation, Moro argues that the true nobility should not be understood as abundance of wealth, but as willingness to provide good services for the commonwealth. In first place, this paper will show some classical interpretations in favor and against of active and contemplative life. Second, it will contrast the propositions of two strands of Humanism found in (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  6
    The collected works of Alonzo Church.Alonzo Church - 2019 - Cambridge, Massachusetts: The MIT Press. Edited by Tyler Burge & Herbert B. Enderton.
    Writings, including articles, letters, and unpublished work, by one of the twentieth century's most influential figures in mathematical logic and philosophy. Alonzo Church's long and distinguished career in mathematics and philosophy can be traced through his influential and wide-ranging writings. Church published his first article as an undergraduate at Princeton in 1924 and his last shortly before his death in 1995. This volume collects all of his published articles, many of his reviews, his monograph The Calculi of Lambda-Conversion, the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
     
    Export citation  
     
    Bookmark   22 citations  
  22.  26
    The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
  23.  2
    Basson A. H. and O'Connor D. J.. Introduction to symbolic logic. University Tutorial Press Ltd., London 1953, viii + 169 pp. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (1):84-86.
  24.  5
    Baier K.. Contradiction and absurdity. Analysis , vol. 15 no. 2 , pp. 31–40. [Cf. XX 299.]O'Connor D. J.. Incompatible properties. Analysis , vol. 15 no. 5 , pp. 109–117.Brown D. G.. Misconceptions of inference. Analysis , vol. 15 no. 6 , pp. 135–144. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):301-301.
  25.  2
    Black Max. Frege on functions. Problems of analysis, Philosophical essays, by Black Max, Cornell University Press, Ithaca 1954, pp. 229–254, 297–298. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (2):201-202.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  18
    Christian Curt. A proof of the inconsistency of Quine's system “Mathematical logic .” Theoria , vol. 3 no. 9 , pp. 135–136. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):322-322.
  27.  1
    Cassina Ugo. Sulla critica di Grandjot all'aritmetica di Peano. Bollettino delta Unione Matematica Italiana, ser. 3 vol. 8 , pp. 442–447. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (2):175-176.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  5
    Fraenkel Abraham A.. Abstract set theory. Second, completely revised edition. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1961, VIII + 295 pp. [REVIEW]Alonzo Church - 1963 - Journal of Symbolic Logic 28 (2):168-169.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  3
    Fogarasi Béla. Logik. Translated by Szemere Samuel. Aufbau-Verlag, Berlin 1955, 423 pp. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):314-314.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  6
    Freudenthal Hans. Analyse mathématique de certaines structures linguistiques. Folia biotheoretica, vol. 5 , pp. 81–89; also La biologie et la philosophie, Quatre communications données à l'occasion du Symposium de Rome, 1–8 avril 1959, E. J. Brill, Leyden 1960, pp. 81–89.Bernays P.. Freudenthal H., Gonseth F., Fréchet M., Ladrière J., Segre B.. Discussion. Folia biotheoretica, vol. 5 , pp. 89–95; also La biologie et la philosophie, Quatre communications données à l'occasion du Symposium de Rome, 1–8 avril 1959, E. J. Brill, Leyden 1960b, pp. 89–95. [REVIEW]Alonzo Church - 1971 - Journal of Symbolic Logic 36 (3):514-515.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  4
    Feys Robert. Logistique. Philosophie , XIII Philosophie des sciences, publiée par l'Institut International de Philosophie, Actualités scientifiques et industrielles 1105, Hermann & Cie, Paris 1950, pp. 19–32. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):309-309.
  32.  1
    Gotô Motinori. Application of logical mathematics to the theory of relay networks. The Japan science review, vol. 1 no. 3 , pp. 35–42. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):285-286.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  5
    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.
  34.  15
    Hanson Norwood Russell. The Gödel theorem. An informal exposition. Notre Dame journal of formal logic, vol. 2 , pp. 94–110. [REVIEW]Alonzo Church - 1962 - Journal of Symbolic Logic 27 (4):471-472.
  35.  4
    Hu Sze-Tsen. Elementary functions and coordinate geometry. Markham Publishing Company, Chicago 1969, xvii + 349 pp. [REVIEW]Alonzo Church - 1969 - Journal of Symbolic Logic 34 (3):520-521.
  36.  3
    Kraft Victor. The Vienna Circle. The origin of neo-positivism. A chapter in the history of recent philosophy. English translation of XVII 62 by Pap Arthur. Philosophical Library, New York 1953, xii + 209 pp. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (1):62-63.
  37.  3
    Langer Susanne K.. An introduction to symbolic logic. Second edition . Dover Publications, New York 1953, 367 pp. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (2):187-187.
  38.  2
    Markov A. A.. Téoriá algorifmov . Russian, with brief abstract in Hungarian. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest 1952, pp. 191–203. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (1):73-73.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  2
    Murphy Arthur E.. American philosophy in the twentieth century. Reason and the common good, Selected essays of Arthur E. Murphy, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1963, pp. 215–246. [REVIEW]Alonzo Church - 1964 - Journal of Symbolic Logic 29 (1):48-49.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  6
    Morris Charles. Signification and significance. A study of the relation of signs and values. The M.I.T. Press, Cambridge, Mass., 1964, x + 99 pp. [REVIEW]Alonzo Church - 1968 - Journal of Symbolic Logic 33 (2):317-317.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  6
    Moch François. On peut éviter les antinomies classiques sans restreindre la notion d'ensemble. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 242 , pp. 1402–1404. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):322-322.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  3
    Moisil Gr. C.. Les logiques à plusieurs valeurs et l'automatique. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959 Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 337–345. [REVIEW]Alonzo Church - 1971 - Journal of Symbolic Logic 36 (3):546-547.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  2
    Mokre Johann. Zu den logischen Paradoxien. Meinong-Gedenkschrift, Schriften der Universität Graz, Vol. I, “Styria” Steirische Verlagsanstalt, Graz 1952, pp. 81–89. [REVIEW]Alonzo Church - 1963 - Journal of Symbolic Logic 28 (1):106-106.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  1
    Montague Richard and Tarski Jan. On Bernstein's self-dual set of postulates for Boolean algebras. Proceedings of the American Mathematical Society, vol. 5 , pp. 310–311. [REVIEW]Alonzo Church - 1962 - Journal of Symbolic Logic 27 (4):472-472.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  3
    Peano Giuseppe. Formulario mathematico. Riproduzione in fac-simile dell'edizione originale. Edizioni Cremonese, Rome 1960, XLVIII + XXXVI + 482 pp.Cassina Ugo. Prefazione. Therein, pp. III–IV.Cassina Ugo. Introduzione. Therein, pp. V–XXXIII.Cassina Ugo. Note. Therein, pp. XXXV–XLVIII. [REVIEW]Alonzo Church - 1962 - Journal of Symbolic Logic 27 (4):471-471.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  4
    Quine Willard V.. Notes on existence and necessity. A reprint of VIII 45. Semantics and the philosophy of language, A collection of readings, edited by Linsky Leonard, The University of Illinois Press, Urbana 1952, pp. 77–91.Russell Bertrand. Descriptions. A reprint of Chapter XVI of 11126. Semantics and the philosophy of language, A collection of readings, edited by Linsky Leonard, The University of Illinois Press, Urbana 1952, pp. 95–108.Mates Benson. Synonymity. A reprint of XIX 223. Semantics and the philosophy of language, A collection of readings, edited by Linsky Leonard, The University of Illinois Press, Urbana 1952, pp. 111–136.Marhenke Paul. The criterion of significance. Semantics and the philosophy of language, A collection of readings, edited by Linsky Leonard, The University of Illinois Press, Urbana 1952, pp. 139–159. .). [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (1):77-78.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47.  1
    Reichenbach Hans. The rise of scientific philosophy. University of California Press, Berkeley and Los Angeles 1956, xi + 333 pp. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (4):396-396.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  2
    Rawlins Ian. Natural philosophy and the fine arts. Aesthetics and the gestalt, a collection of essays and other writings by Ian Rawlins, Nelson, Edinburgh 1953, pp. 51–67. , pp. 63–76).Rawlins Ian. The philosophy of science and art. Aesthetics and the gestalt, a collection of essays and other writings by Ian Rawlins, Nelson, Edinburgh 1953, pp. 78–84. , pp. 382–387.)Rawlins Ian. The functional “a priori.” Aesthetics and the gestalt, a collection of essays and other writings by Ian Rawlins, Nelson, Edinburgh 1953, pp. 117–122. A reprint of XII 64.Rawlins Ian. Definition in philosophy. Aesthetics and the gestalt, a collection of essays and other writings by Ian Rawlins, Nelson, Edinburgh 1953, pp. 135–137. A reprint of XVII 223. [REVIEW]Alonzo Church - 1962 - Journal of Symbolic Logic 27 (1):126-127.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49.  2
    Rey Pastor Julio. Apuntes de teoria de los conjuntos abstractos. Lithographed. Universidad Nacional de Cuyo, Facultad de Ciencias de la Educación, Instituto de Matemáticas, San Luis, Argentina, 1957, 55 pp. [REVIEW]Alonzo Church - 1963 - Journal of Symbolic Logic 28 (3):250-251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  4
    W. Sierpiński. L'axiome de M. Zermelo et son róle dans la théorie des ensembles et l'analyse. Bulletin international de l'Académie des Sciences de Cracovie, Classe des sciences mathématiques et naturelles, Séie A, Sciences mathématiques, année 1918, pp. 97–152. - Wacław Sierpiński. Les exemples effectifs et l'axiome du choix. Fundamenta mathematicae, vol. 2 , pp. 112–118. - Waclaw Sierpiński. Sur les ensembles de points qu'on sait definir effectivement. Verhandlungen des Internationalen Mathematiker-Kongresses Zürich 1932, vol. 1 , pp. 280–287. [REVIEW]Alonzo Church - 1951 - Journal of Symbolic Logic 16 (3):235-235.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000