Intensional Logic: Theory and Applications

&
(1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

9519505482

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..
Review: Ilkka Niiniluoto, Truthlikeness. [REVIEW]David Pearce - 1989 - Journal of Symbolic Logic 54 (1):297-300.
Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [Berkeley.
Review: Esa Saarinen, Game-theoretical Sematics. [REVIEW]James Higginbotham - 1986 - Journal of Symbolic Logic 51 (1):240-244.
Radu J. Bogdan and Ilkka Niiniluoto , "Logic, Language, and Probability". [REVIEW]Veit Pittioni - 1974 - Theory and Decision 5 (1):107.
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. [REVIEW]Richard E. Grandy - 1982 - Journal of Symbolic Logic 47 (3):689-694.
Ilkka Niiniluoto. Truthlikeness. Synthese library, vol. 195. D. Reidel Publishing Company, Dordrecht etc. 1987, xvii + 518 pp. [REVIEW]David Pearce - 1989 - Journal of Symbolic Logic 54 (1):297-300.
Looking backwards in type logic.Jan Köpping & Thomas Ede Zimmermann - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):646-672.
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.
Foundations of Intensional Logic.David Kaplan - 1964 - Dissertation, Ucla

Analytics

Added to PP
2015-02-13

Downloads
12 (#1,094,846)

6 months
7 (#592,005)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ilkka Niiniluoto
University of Helsinki

Citations of this work

Virtual worlds, fiction, and reality.Ilkka Maunu Niiniluoto - 2011 - Discusiones Filosóficas 12 (19):13 - 28.

Add more citations

References found in this work

No references found.

Add more references