Linked bibliography for the SEP article "Schema" by John Corcoran and Idris Samawi Hamid
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Church, A., 1956, Introduction to Mathematical Logic, Princeton: Princeton University Press. (Scholar)
- Corcoran, J., 1998, “Second-order Logic”, in C.S. Anderson and M. Zeleny (eds.), Logic, Meaning, and Computation: Essays in Memory of Alonzo Church, Dordrecht: Kluwer. (Scholar)
- –––, 2006, “Schemata: the Concept of Schema in the History of Logic”, Bulletin of Symbolic Logic, 12(2): 219–40. doi:10.2178/bsl/1146620060 (Scholar)
- –––, 2009, “Aristotle’s Demonstrative Logic”, History and Philosophy of Logic, 30:1–20. doi:10.1080/01445340802228362 (Scholar)
- Corcoran, J., W. Frank, & M. Maloney, 1974, “String theory”, Journal of Symbolic Logic, 39(4): 625–637. doi:10.2307/2272846 (Scholar)
- Feferman, A. and S. Feferman, 2004, Alfred Tarski: Life and Logic, Cambridge: Cambridge University Press. (Scholar)
- Feferman, S. and G. Jäger, 1983, “Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis”, Journal of Symbolic Logic, 48: 63–70. (Scholar)
- Horsten, L., 2011, The Tarskian Turn: Deflationism and Axiomatic Truth, Cambridge, MA: MIT Press. (Scholar)
- Kleene, S.C., 1967, Mathematical Logic, New York: Wiley and Sons; reprinted, New York: Dover, 2002. (Scholar)
- Peirce, C., 1906, “Prolegomena to an Apology for Pragmaticism”, Monist, 16: 492–546. (Scholar)
- Quine, W. V., 1945, “On the Logic of Quantification”, Journal of Symbolic Logic, 10: 1–12. (Scholar)
- –––, 1970, Philosophy of logic, Cambridge MA: Harvard University Press, reprinted 1983. (Scholar)
- Rosenbloom, P., 1950. Elements of Mathematical Logic, Dover, New York. (Scholar)
- Russell, B., 1919, Introduction to Mathematical Philosophy, London: George Allen and Unwin. (Scholar)
- Shapiro, S., 1991, Foundations without Foundationalism: A Case for Second-order Logic, Oxford: Oxford University Press. (Scholar)
- Tarski, A., 1933, “The concept of truth in the languages of
the deductive sciences” (Polish), Prace Towarzystwa
Naukowego Warszawskiego, Wydzial III Nauk
Matematyczno-Fizycznych, 34, Warsaw; reprinted in Zygmunt 1995:
13–172; expanded English translation in Tarski 1983:
152–278. (Scholar)
- –––, 1983, Logic, Semantics, Metamathematics: Papers from 1923 to 1938, edited with introduction and analytic index by John Corcoran, Indianapolis: Hackett Publishing Company. (Scholar)
- van Heijenoort, J., 1967, From Frege to Gödel, Cambridge MA: Harvard University Press. (Scholar)
- Zygmunt, J. (ed.), 1995, Alfred Tarski, Pisma
Logiczno-Filozoficzne, 1 Prawda, Warsaw: Wydawnictwo Naukowe
PWN. (Scholar)