John L. Pollock. Mathematical proof. American philosophical quarterly, vol. 4 , pp. 238–244

Journal of Symbolic Logic 35 (4):576 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271450

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

Review: John L. Pollock, Mathematical Proof. [REVIEW]Richard E. Grandy - 1970 - Journal of Symbolic Logic 35 (4):576-576.
Wilder R. L.. The nature of mathematical proof. The American mathematical monthly, vol. 51 , pp. 309–323.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (3):73-73.
Grandy Richard E.. Advanced logic for applications. Synthese library, vol. 110. D. Reidel Publishing Company, Dordrecht and Boston 1977, xiii + 168 pp. [REVIEW]Neil Tennant - 1982 - Journal of Symbolic Logic 47 (3):714-716.
John L. Pollock. Subjunctive reasoning. Philosophical studies series in philosophy, vol. 8. D. Reidel Publishing Company, Dordrecht and Boston1976, xi + 255 pp. [REVIEW]Timothy McCarthy - 1981 - Journal of Symbolic Logic 46 (1):170-173.
Carl G. JockuschJr., and David B. Posner. Double jumps of minimal degrees. The journal of symbolic logic, vol. 43 no. 4 , pp. 715–724. - Carl G. JockuschJr., and David B. Posner. Automorphism bases for degrees of unsotvability. Israel journal of mathematics, vol. 40 , pp. 150–164. - Richard L. Epstein. Initial segments of degrees below 0′. Memoirs of the American Mathematical Society, no. 241. American Mathematical Society, Providence1981, vi + 102 pp. - Richard A. Shore. The theory of the degrees below 0′. The journal of the London Mathematical Society, ser. 2 vol. 24 , pp. 1–14.M. Lerman - 1985 - Journal of Symbolic Logic 50 (2):550-552.
Steve Jackson. A new proof of the strong partition relation on ω1. Transactions of the American Mathematical Society, vol. 320 , pp. 737–745. - Steve Jackson. Admissible Suslin cardinals in L. The journal of symbolic logic, vol. 56 , pp. 260–275. - Steve Jackson. A computation of. Memoirs of the American Mathematical Society, no. 670. American Mathematical Society, Providence 1999, viii + 94 pp. [REVIEW]Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (4):546-548.
Laver Richard. On the consistency of Borel's conjecture. Acta mathematica, vol. 137 no. 3–4 , pp. 151–169.Baumgartner James E. and Laver Richard. Iterated perfect-set forcing. Annals of mathematical logic, vol. 17 , pp. 271–288. [REVIEW]Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):882-883.
Robert L. Davis. The number of structures of finite relations. Proceedings of the American Mathematical Society, vol. 4 , pp. 486–495. [REVIEW]David Miller - 1974 - Journal of Symbolic Logic 39 (2):341.
Myhill John. Some philosophical implications of mathematical logic. I Three classes of ideas. The review of metaphysics, vol. 6 no. 2 , pp. 165–198.Benes Vaclav Edvard. On some alleged implications of mathematical logic. Philosophical studies, vol. 4 , pp. 56–58.Myhill John. Retort to Mr. Benes. Philosophical studies, vol. 5 , pp. 47–48. [REVIEW]Hugues Leblanc - 1957 - Journal of Symbolic Logic 22 (3):314-316.
M. L. Minsky. Size and structure of universal Turing machines using Tag systems. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 229–238. [REVIEW]Martin Davis - 1966 - Journal of Symbolic Logic 31 (4):655-655.

Analytics

Added to PP
2016-06-30

Downloads
15 (#975,816)

6 months
1 (#1,516,021)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Grandy
Rice University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references