Zucker J. I.. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 , pp. 517–535.Zucker J. I. and Tragesser R. S.. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501–516.Prawitz Dag. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, edited by Hintikka Jaakko, Niiniluoto Ilkka, and Saarinen Esa, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 25–40.Prawitz Dag. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 , pp. 2–40.Dummett M. A. E.. The justification of deduction. Proceedings of the British Academy, vol. 59 , pp. 201–232.Dummett Michael. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings [Book Review]

Journal of Symbolic Logic 47 (3):689-694 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273598

Links

PhilArchive



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

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

Essays on Mathematical and Philosophical Logic Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976.Jaakko Hintikka, Ilkka Niiniluoto, Esa Saarinen & Soviet-Finnish Logic Conference - 1979
The Adequacy Problem for Classical Logic.J. I. Zucker, R. S. Tragesser, Dag Prawitz, Jaakko Hintikka & Ilkka Niiniluoto - 1982 - Journal of Symbolic Logic 47 (3):689-694.
van Dalen Dirk. Intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 225–339. Felscher Walter. Dialogues as a foundation for intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986 .. [REVIEW]Carl J. Posy - 1992 - Journal of Symbolic Logic 57 (2):754-756.
Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. [REVIEW]Steven T. Kuhn - 1989 - Journal of Symbolic Logic 54 (4):1472-1477.
Lennart Åqvist. Deontic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 605–714. [REVIEW]David Makinson - 1989 - Journal of Symbolic Logic 54 (4):1481-1483.
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
Wilfrid Hodges. Elementary predicate logic. Handbook of philosophical logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 1–131. [REVIEW]H. B. Enderton - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.
Nute Donald. Conditional logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 387–439. [REVIEW]Charles B. Cross - 1989 - Journal of Symbolic Logic 54 (4):1477-1479.
Harel David. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.
C. Anthony Anderson. General intensional logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 355–385. [REVIEW]Charles Parsons - 1990 - Journal of Symbolic Logic 55 (2):892-894.
Craig Smoryński. Modal logic and self-reference. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 441–495. [REVIEW]Albert Visser - 1989 - Journal of Symbolic Logic 54 (4):1479-1480.
J. Michael Dunn. Relevance logic and entailment. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 117–224. [REVIEW]Harry Deutsch - 1992 - Journal of Symbolic Logic 57 (2):752-753.
Dummett's Views on Intuitionism Logic.Xiao-Ming Ren & Biao Gu - 2007 - Nankai University (Philosophy and Social Sciences) 4:46-51.
The adequacy problem for inferential logic.J. I. Zucker & R. S. Tragesser - 1978 - Journal of Philosophical Logic 7 (1):501 - 516.
Esa Saarinen. Introduction. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. vii–xii. - Jaakko Hintikka. Language-games. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 1–26. , Essays on Wittgenstein in honour of G. H. von Wright, pp. 105-125.) - Jaakko Hintikka. Quantifiers in logic and quantifiers in natural languages. Game-theoretical semantics, Essays on semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen, edited by Esa Saarinen, Synthese language library, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 27–47. - Jaakko Hintikka. Quantifiers vs. quantification theory. Game-theor. [REVIEW]James Higginbotham - 1986 - Journal of Symbolic Logic 51 (1):240-244.

Analytics

Added to PP
2016-06-30

Downloads
44 (#353,833)

6 months
9 (#295,075)

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