Problems arising in the formalization of intensional logic

Logique Et Analyse 1 (1):78-83 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272577

Links

PhilArchive



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

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

Adequate formalization.Michael Baumgartner & Timm Lampert - 2008 - Synthese 164 (1):93-115.
Are the future and the past really opacity-creating operators?Klaus Wuttich - 1995 - Logic and Logical Philosophy 3:185-193.
Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
Review: Shozo Omori, Formalization of an Intensional Logic. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):173-173.
Review: Jerzy Los, Many-Valued Logics and the Formalization of Intensional Functions. [REVIEW]Roman Suszko - 1949 - Journal of Symbolic Logic 14 (1):64-65.
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..
Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [Berkeley.
Criteria for logical formalization.Jaroslav Peregrin & Vladimír Svoboda - 2013 - Synthese 190 (14):2897-2924.
Representing unicorns: how to think about intensionality.Mark Sainsbury - 2012 - In G. Currie, P. Kotatko & M. Pokorny (eds.), Mimesis: Metaphysics, Cognition, Pragmatics. College Publications.
Dialektik und formalisierung.Lorenz B. Puntel - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (2):367-383.
An approach to intensional logic.Imre Ruzsa - 1981 - Studia Logica 40 (3):269 - 287.
1.1. The logistic method. Church's writings on philosophical matters ex-hibit an unwavering commitment to what he called the “logistic method”. 3 The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians. [REVIEW]Intensional Logic - 1998 - Bulletin of Symbolic Logic 4 (2).

Analytics

Added to PP
2014-02-12

Downloads
109 (#156,578)

6 months
13 (#165,103)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

To Be F Is To Be G.Cian Dorr - 2016 - Philosophical Perspectives 30 (1):39-134.
Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
Indiscernibility and the Grounds of Identity.Samuel Z. Elgin - forthcoming - Philosophical Studies:1-23.
Higher‐order metaphysics.Lukas Skiba - 2021 - Philosophy Compass 16 (10):1-11.
Reality is not structured.Jeremy Goodman - 2017 - Analysis 77 (1):43–53.

View all 55 citations / Add more citations

References found in this work

No references found.

Add more references