References
Ackerman, W. (1954): Solvable Cases of the Decision Problem, North-Holland: Amsterdam
Austin, J. L. (1961): Philosophical Papers (ed. J. O. Urmson and G. J. Warnock), Oxford: Clarendon Press.
Baylis, C. A. (1948): ‘Facts, Propositions, Exemplification and Truth’, Mind 57, 459–479.
Belnap, N. D., Camp, J. L. and Grover, D. L. (1975): ‘A Pro-sentential Theory of Truth’, Philosophical Studies 27, 73–125.
Brownstein, D. (1976): ‘Denoting Corresponding and Facts’, Theoria 42, 115–138.
Carnap, R. (1947): Meaning and Necessity, Chicago: The University of Chicago Press.
Clark, R. L. (1975): ‘Facts, Fact-correlates, and Fact-surrogates’, in Fact, Value and Perception: Essays in Honor of Charles A. Baylis (ed. P. Welsh), Durham, N.C.: Duke University Press.
Clark, R. W. (1976): ‘What Facts Are’, Southern Journal of Philosophy 14, 257–268.
Ducasse, C. J. (1940): ‘Propositions, Opinions, Sentences and Facts’, Journal of Philosophy 37, 707–711.
Fine, K. (1977): ‘Postscript’ to Worlds, Times and Selves (with A. N. Prior), London: Duckworth.
Fine, K. (1978): ‘Model Theory for Modal Logic I — The De Re/De Dicto Distinction’, Journal of Philosophical Logic 7, 125–156.
Fine, K. (1979): ‘Failures of the Interpolation Lemma in Quantified Modal Logic’, Journal of Symbolic Logic 44, 201–206.
Fine, K. (1979): ‘Analytic Implication’ in Papers on Language and Logic (ed. J. Dancy), England: Keele University Library.
Fine, K. (1982): ‘The Problem of Non-existents I — Internalism’, to appear in Topoi.
Fine, K. (1979): ‘First-Order Modal Theories II — Propositions’, Studia Logica 39, 159–202.
Fine, K. (1981): ‘First-Order Modal Theories I — Sets’, Noûs 15, 117–206.
Kripke, S. A. (1972): ‘Naming and Necessity’, in Semantics of Natural Language Theory', Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 8, 113–116.
Kripke, S. A. (1972): ‘Naming and Necessity’, in Semantics of Natural Language (ed. Harman and Davidson), Holland: Reidel, reprinted and revised in book form, Harvard University Press (1980).
Löwenheim, L. (1915): 'Über Möglichkeiten im Relativkalkül, Math. Annalen 76, 137–148.
Malcolm, N. (1940): ‘The Nature of Entailment’, Mind 49, 333–347.
Martin J. (1975): ‘Facts and the Semantics of Gerunds’, Journal of Philosophical Logic 4, 439–454.
Moore, G. E. (1953): Some Main Problems in Philosophy, London: Unwin.
Moore, G. E. (1959): Philosophical Papers, London: Unwin.
Moore, G. E. (1966): Lectures on Philosophy (ed. C. Lewy), London: Unwin.
Prior, A. N. (1948): ‘Facts, Propositions and Entailment’, Mind 57, 62–68.
Prior, A. N. (1957): Time and Modality, Oxford: Clarendon Press.
Prior, A. N. (1967): ‘Correspondence Theory of Truth’, in Encyclopedia of Philosophy (ed. P. Edwards), New York: Macmillan.
Prior, A. N. (1968): ‘Tense Logic and the Logic of Earlier and Later’ in Papers on Time and Tense, England: Oxford University Press.
Prior, A. N. (1971): Objects of Thought, England: Oxford University Press.
Prior, A. N. (1977): Worlds, Times and Selves (with K. Fine), London: Duck-worth.
Quine, W. V. (1966): ‘Ontological Reduction and the World of Numbers’, Journal of Philosophy 61, 209–216 (1964); reprinted in The Ways of Paradox, New York: Random House.
Quine, W. V. (1969): Ontological Relativity, New York: Columbia University Press.
Ramsey, F. P. (1931): ‘Facts and Propositions’, Aristotelian Society, Suppl. Vol. 7, 153–170 (1927); reprinted in The Foundations of Mathematics (ed. R. B. Braith-waite), London: Routledge and Kegan Paul.
Rogers, H. (1956): ‘Certain Logical Reductions and Decision Problems’, Annals of Mathematics 64, 264–284.
Rundle, B. (1979): Grammar in Philosophy, Oxford: Clarendon Press.
Russell, B. (1956): ‘The Philosophy of Logical Atomism’, in Logic and Knowledge (ed. R. C. Marsh), London: Unwin.
Shorter, J. M. (1962): ‘Facts, Logical Atomism and Reduction’, Australasian Journal of Philosophy 40, 283–302.
Slomson, A. B. (1969): ‘An Undecidable Two Sorted Predicate Calculus’, Journal of Symbolic Logic, 4, 21–23.
Slote, M. A. (1974): Metaphysics and Essence, Oxford: Basil Blackwell.
Sprigge, T. L. S. (1970): Facts, Words and Beliefs, New York: Humanities Press.
Strawson, P. (1971): Logico-Linguistic Papers, London: Methuen.
Tarski, A. (1949): ‘Undecidability of the Theories of Lattices and Projective Geometrics, Journal of Symbolic Logic 14, 77–78.
Taylor, B. (1976): ‘States of Affairs’ in Truth and Meaning (ed. G. Evans and J. McDowell), Oxford: Clarendon Press.
Toms, E. (1940): Fact and Entailment, Mind 49, 451–454.
van Fraassen, B. C. (1969): ‘Facts and Tautological Entailments’, The Journal of Philosophy 66, 477–487.
Wells, R. S. (1949): ‘The Existence of Facts’, Review of Metaphysics 3, 1–20.
Williamson, J. (1976): ‘Facts and Truth’, Philosophical Quarterly 26, 203–216.
Wisdom, J. (1969): Logical Constructions (ed. J. J. Thomson), New York: Random House.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fine, K. First-order modal theories III — Facts. Synthese 53, 43–122 (1982). https://doi.org/10.1007/BF00500112
Issue Date:
DOI: https://doi.org/10.1007/BF00500112