- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Perry Smith
34 found
Order:
- Arthur Pap. Extensionality, attributes, and classes. Philosophical studies , vol. 9 , pp. 42–46.Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):675.
- Henry W. JohnstoneJr., Systèmes formels et systèmes ontologiques. Logique et analyse, n.s. vol. 1 , pp. 24–28.Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):550.
- Martin R. M.. Does modal logic rest upon a mistake? Philosophical studies , vol. 14, pp. 8–11.Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):691.
- Roman Suszko. A note concerning the binary quantifiers. Theoria , vol. 28 , pp. 269–276.Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):689.
- Shih-Chiano Wang. Ming-t' i yen-suan ti i hsi kung-li . Acta mathematica Sinica, vol. 2 no. 4 , pp. 267–274.Perry Smith - 1972 - Journal of Symbolic Logic 37 (1):185.
- (1 other version)Tage Gutmann Madsen. Om matematisk logik . Nordisk matematisk tidskrift, vol. 9 , pp. 49–57, 96.Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):545-545.
- Vito F. Sinisi. Arbitrarily selected individuals in natural deduction. Analysis , vol. 23 , pp. 88–90.Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):528.
- Ştefan N. Berţi. Aplicaţii ale teoriei relaţiilor in logica matematică . Studii şi cercetări matematice, vol. 21 , pp. 3–11. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):584.
- George F. Simmons. Introduction to topology and modern analysis. McGraw-Hill Book Company, Inc., New York, San Francisco, Toronto, and London, 1963, xv + 372 pp. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):592.
- Ajdukiewicz Kazimierz. A method of eliminating intensional sentences and sentential formulae. Atti del XII Congresso Internazionale di Filosofia , Volume quinto, Lògica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 17–24. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (1):179-180.
- Mostowski A.. Quelques applications de la topologie à la logique mathématique. Topologie, Volume I, 4th edn., by Kuratowski Casimir, Państwowe Wydawnictwo Naukowe, Warsaw 1958, pp. 470–477. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688.
- Bell J. L. and Machover M.. A course in mathematical logic. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1977, xix + 599 pp. [REVIEW]Perry Smith - 1980 - Journal of Symbolic Logic 45 (2):378-379.
- (1 other version)Bourbaki Nicolas . Theory of sets. Elements of mathematics. English translation of XXXVII 636, XL 289. Hermann, Publishers in Arts and Science, Paris, and Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, Don Mills, Ontario, 1968, VIII + 414 pp. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):630-631.
- Cannonito Frank B.. The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference, San Francisco, Calif., May 1–3, 1962, vol. 21, The National Press, Palo Alto 1962, pp. 71–77. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):693-693.
- Charles Hartshorne. Ten ontological or modal proofs for God's existence. The logic of perfection and other essays in neoclassical metaphysics, by Charles Hartshorne, The Open Court Publishing Company, La Salle, Illinois, 1962, pp. 28–117. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):515.
- Scott Dana. Logic with denumerably long formulas and finite strings of quantifiers. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 329–341. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (1):157-158.
- Engelking R. and Kuratowski K.. Quelques théorèmes de l'algèbre de Boole et leurs applications topologiques. Fundamenta mathematicae, vol. 50 , pp. 519–535. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (2):399-400.
- Hermes Hans. Term logic with choice operator. A revised and enlarged translation of XXXV 440. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1970, iv + 55 pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):679-680.
- (1 other version)James Cooke Brown. Loglan 1: a logical language. Fourth edition. The Loglan Institute, Gainesville1989, 599 pp. [REVIEW]Perry Smith - 1991 - Journal of Symbolic Logic 56 (4):1494-1495.
- J. L. Bell and A. B. Slomson. Models and ultraproducts: An introduction. North-Holland Publishing Company, Amsterdam and London1969, IX + 322 pp. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (4):763-764.
- John Myhill. Remarks on the language of physics. Philosophy of science, vol. 30 , pp. 305–306. - H. G. Bohnert. Remarks on Myhill's remarks on coordinate languages. Philosophy of science, vol. 30 , pp. 307–308. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (1):178.
- Jerzy Słupecki and Witold A. Pogorzelski. A variant of the proof of the completeness of the first order functional calculus. English with Polish and Russian summaries. Studia logica, vol. 12 , pp. 125–134. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688-689.
- Klimovsky Gregorio. Tres enunciados equivalentes al teorema de Zorn. Contribuciones cientificas, Serie matematica, vol. 2 no. 1. Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires 1956, 29 pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):681-681.
- Kokoszyńska Maria. Deduction as a method of proof. Atti del XII Congresso Internazionale di Filosofia , Volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 271–278. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):551-551.
- Mostowski A.. Constructible sets with applications. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam, and PWN, Polish Scientific Publishers, Warsaw, 1969, vi + 269 pp. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):631-632.
- Montague Richard. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 153–167. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):600-601.
- Review: A. Mostowski, Quelques Applications de la Topologie a La Logique Mathematique. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688-688.
- Rotman B. and Kneebone G. T.. The theory ofsets and transfinite numbers. Oldbourne mathematical series, Oldbourne, London, and Daniel Davey & Co., Inc., New York, 1966, x + 144 pp.; also American Elsevier Publishing Company, Inc., New York 1968, x + 144 pp. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (3):614-614.
- (1 other version)Review: Paul Lorenzen, Einfuhrung in die Operative Logik und Mathematik. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (2):330-330.
- Review: Samuel Issman, La conception formaliste des mathématiques. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):523-523.
- Schröter Karl. Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln. Zeitschrift für mthematische Logik und Grundlagen der mathematik, vol. 2 , pp. 218–227. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (1):194-194.
- Reiss Samuel. The universe of meaning. Philosophical Library, New York 1953, xi + 227 pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):672.
- Thoralf A. Skolem. Abstract set theory. Notre Dame mathematical lectures, no. 8, University of Notre Dame, Notre Dame, Indiana, 1962, v + 70 pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):680.
- Spiess Wolfgang E. and Rheingans Friedrich G.. Einführung in das Programmieren in FORTRAN. Walter de Gruyter & Co, Berlin 1970, 195 pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):689.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6b8b7fc7ff-tfxs4 uwo