Classical second-order intensional logic with maximal propositions

&
Journal of Philosophical Logic 6 (1):1 - 31 (1977)
  Copy   BIBTEX

Abstract

By the standards presented in the Introduction, CMFC2 is deficient on at least one ontological ground: ‘∀’ is a syncategorematic expression and so CMFC2 is not an ideal language. To some there may be an additional difficulty: any two wffs provably equivalent in the classical sense are provably identical. We hope in sequel to present systems free of these difficulties, free either of one or the other, or perhaps both.This work was done with the aid of Canada Council Grant S74-0551-S1

Categories

Keywords

Reprint years

DOI

10.1007/bf00262046

Links

PhilArchive



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

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

A second-order relevance logic with modality.James B. Freeman & Charles B. Daniels - 1979 - Studia Logica 38 (2):113 - 135.
Maximal Possibilities.David Sanson - manuscript
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
Maximal propositions and the coherence theory of truth.James B. Freeman & Charles B. Daniels - 1978 - Dialogue 17 (1):56-71.
Theories of properties, relations, and propositions.George Bealer - 1979 - Journal of Philosophy 76 (11):634-648.
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.
Intensional Logic — Beyond First Order.Melvin Fitting - unknown
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
Completeness in the theory of properties, relations, and propositions.George Bealer - 1983 - Journal of Symbolic Logic 48 (2):415-426.

Analytics

Added to PP
2009-01-28

Downloads
33 (#482,422)

6 months
9 (#302,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Word and Object.Willard Van Orman Quine - 1960 - Cambridge, MA, USA: MIT Press.
Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
Translations from the philosophical writings of Gottlob Frege.Gottlob Frege - 1952 - Oxford, England: Blackwell. Edited by P. T. Geach & Max Black.
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.

View all 14 references / Add more references