This is a preview of subscription content, log in via an institution to check access.
Bibliography
L. Goddard and R. Routley, The Logic of Significance and Context, volume 1, Scottish Academic Press, Edinburgh, 1973.
R. Montague, ‘English as a Formal Language’ in Linguaggi nella società e nella tecnica (edited B. Visentini et al.), Edizioni di Communità, Milan, 1970, pp. 189–223.
K. Adjukiewicz, ‘Die syntaktische Konnexität’, Studia Philosophica 1 (1935) 1–27; translated as ‘Syntactic connexion’ in Polish Logic (edited S. McCall), Oxford, 1967, pp. 635–647. (Page references are to the translation.)
D. Davidson and G. Harman (editors), Semantics of Natural Language, D. Reidel Publishing Company, Dordrecht, Holland, 1972.
D. Lewis, ‘General Semantics’, Synthese 22 (1970) 18–67; reprinted in [4], pp. 169–218.
L. Henkin, ‘Completeness in the Theory of Types’, Journal of Symbolic Logic, 15 (1950), 81–91; reprinted in The Philosophy of Mathematics (edited by J. Hintikka), Oxford, 1969, pp. 51–68.
A. Church, ‘A Formulation of the Simple Theory of Types’, Journal of Symbolic Logic, 5 (1940) 56–68.
P. A. Schlipp (editor), The Philosophy of Bertrand Russell, Tudor, New York, 1946.
H. Leblanc and R. K. Meyer, ‘Truth-value Semantics for the Theory of Types’ in Philosophical Problems in Logic (edited by K. Lambert), D. Reidel Publishing Company, Dordrecht, Holland, 1970, pp. 77–101.
M. K. Rennie, Some Uses of Type Theory in the Analysis of Language, Department of Philosophy, RSSS, ANU. Monograph series, No. 1 (1973).
A. Church, Introduction to Mathematical Logic, Princeton, 1956.
R. Routley and R. K. Meyer ‘The Semantics of Entailment, V’, Australian National University (cyclostyled), 1972.
R. Routley and R. K. Meyer, ‘The Semantics of Entailment, I’, in Truth, Syntax and Modality (edited by H. Leblanc), North-Holland, Amsterdam, 1973, pp. 199–243.
R. J. Ackermann, Belief and Knowledge, Macmillan, London, 1972.
R. Routley, ‘Exploring Meinong's Jungle, I’, Notre Dame Journal of Formal Logic (forthcoming).
W. V. Quine, Set Theory and Its Logic, Belknap, Cambridge, Mass., 1965.
G. Asser, ‘Theorie des logischen Auswahlfunktionen’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 3 (1951) 30–68.
R. Routley, ‘Domainless Semantics for Free, Quantification and Significance Logics’, Logique et Analyse 14 (1971) 603–626.
R, Carnap, Meaning and Necessity, Chicago, 1948.
A. N. Whitehead and B. Russell, Principia Mathematica; 1, Cambridge, 1910.
S.A. Kripke, ‘Naming and Necessity’, in [4], pp. 253–355, 763–9.
G. E. Hughes and M. J. Cresswell, An Introduction to Modal Logic, Methuen, 1968.
R. Routley, ‘Existence and Identity in Quantified Modal Logics’, Notre Dame Journal of Formal Logic 10 (1969) 113–149.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Routley, R., Meyer, R.K. & Goddard, L. Choice and descriptions in enriched intensional languages — I. J Philos Logic 3, 291–316 (1974). https://doi.org/10.1007/BF00247229
Issue Date:
DOI: https://doi.org/10.1007/BF00247229