Two Papers on Symbolic Logic

&
Philosophy and Phenomenological Research 19 (1):125-125 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2104304

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

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

Jaakko Hintikka K.. Reductions in the theory of types. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki 1955, pp. 57–115. [REVIEW]W. B. Pitt - 1966 - Journal of Symbolic Logic 31 (4):660-660.
Logic Colloquium '80: Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982 - North-Holland.
Two Papers on Symbolic Logic: Form and Content in Quantification Theory and Reductions in the Theory of Types.Jaakko Hintikka - 1955 - [Suomalaisen Kirjallisuuden Seuran Kirjapainon,].
Selected logic papers.W. V. Quine - 1966 - Cambridge, Mass.: Harvard University Press.
Notices: The Bulletin of Symbolic Logic: Call for Papers.[author unknown] - 1994 - Journal of Symbolic Logic 59 (2):733-735.
Corrections to two papers on modal logic.Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (1):38-39.
Selected logic papers.Gerald E. Sacks - 1999 - River Edge, N.J.: World Scientific.
Papers From Advances In Modal Logic, Volume 1. [REVIEW]Edwin Mares - 2002 - Bulletin of Symbolic Logic 8 (1):95-96.
Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997.S. B. Cooper & J. K. Truss (eds.) - 1999 - New York: Cambridge University Press.
Logical papers.Gottfried Wilhelm Leibniz - 1966 - Oxford,: Clarendon Press. Edited by G. H. R. Parkinson.
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995.Andrea Cantini, Ettore Casari & Pierluigi Minari (eds.) - 1999 - Dordrecht, Netherland: Springer.
Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.Evert Willem Beth - 2012 - Dordrecht, Netherland: Springer Verlag.
Papers on time and tense.Arthur Norman Prior - 1968 - New York: Oxford University Press. Edited by Per F. V. Hasle.

Analytics

Added to PP
2015-02-04

Downloads
17 (#854,714)

6 months
2 (#1,221,975)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.
Enhancing the Diagramming Method in Informal Logic.Dale Jacquette - 2011 - Argument: Biannual Philosophical Journal 1 (2):327-360.

Add more citations

References found in this work

No references found.

Add more references