- 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
69 found
Order:
- A Course in Mathematical Logic.Perry Smith - 1980 - Journal of Symbolic Logic 45 (2):378-379.
- The Universe of Meaning.Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):672-672.
- Arbitrarily Selected Individuals in Natural Deduction.Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):528-528.
- 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.
- On the Notion of Invariance in Classical Mechanics.Perry Smith, J. C. C. McKinsey & Patrick Suppes - 1971 - Journal of Symbolic Logic 36 (4):675.
- 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.
- 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.
- The Groundwork of Modern Logic.Perry Smith & D. D. Mahulkar - 1971 - Journal of Symbolic Logic 36 (3):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.
- Review: Maria Kokoszynska, Deduction as a Method of Proof. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):551-551.
- 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.
- 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.
- 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.
- 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.
- Issman Samuel. La conception formaliste des mathématiques. Atti del XII Congresso Internazionale di Filosofia , Volume quinto Lògica, gnoseologia, filosofia della scienze, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 237–244. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):523-523.
- 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.
- Lorenzen Paul. Einführung in die operative Logik und Mathematik. Second edition of XXII 289, with minor revisions. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Heidelberg-New York 1969, VIII + 298 pp. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (2):330-330.
- 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.
- Mahulkar D. D.. The groundwork of modern logic. East & West Book House, Baroda, India, 1959, vi + 60 pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):545.
- 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.
- Review: A. Mostowski, Constructible Sets with Applications. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):631-632.
- Review: Arthur Pap, Extensionality, Attributes, and Classes. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):675-675.
- 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.
- Review: B. Rotman, G. T. Kneebone, The Theory of Sets and Transfinite Numbers. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (3):614-614.
- Review: Charles Hartshorne, Ten Ontological or Modal Proofs for God's Existence. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):515-515.
- Review: Dana Scott, J. W. Addison, Leon Henkin, Alfred Tarski, Logic with Denumerably Long Formulas and Finite Strings of Quantifiers. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (1):157-158.
- Review: Frank B. Cannonito, The Godel Incompleteness Theorem and Intelligent Machines. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):693-693.
- Review: George F. Simmons, Introduction to Topology and Modern Analysis. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):592-592.
- Review: Gregorio Klimovsky, Tres Enunciados Equivalentes al Teorema de Zorn. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):681-681.
- Review: Hans Hermes, Term Logic with Choice Operator. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):679-680.
- Review: Henry W. Johnstone, Systemes Formels et Systemes Ontologiques. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):550-550.
- Review: James Cooke Brown, Loglan 1: A Logical Language. [REVIEW]Perry Smith - 1991 - Journal of Symbolic Logic 56 (4):1494-1495.
- Review: J. L. Bell, A. B. Slomson, Models and Ultraproducts: An Introduction. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (4):763-764.
- Review: J. L. Bell, M. Machover, A Course in Mathematical Logic. [REVIEW]Perry Smith - 1980 - Journal of Symbolic Logic 45 (2):378-379.
- Review: Jerzy Slupecki, Witold A. Pogorzelski, A Variant of the Proof of the Completeness of the First Order Functional Calculus. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688-689.
| 1 — 50 / 69 |
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-64dd777598-vk9kt uwo