Bibliography
CurryH. B.: 1963, Foundations of Mathematical Logic, McGraw-Hill, New York.
HalmosP. R.: 1962, Algebraic Logic, Chelsea, New York.
VanFraassenB. C.: 1971, Formal Semantics and Logic, Macmillan, New York.
VanFraassenB. C.: 1981, “Probabilistic Semantics Objectified”, Journal of Philosophical Logic 10 371–394 (Part I) and 10 495–510 (Part II).
Author information
Authors and Affiliations
Additional information
National Science Foundation support for this research is hereby gratefully acknowledged. I also wish to thank Stig Kanger, whose lectures on modal quantification theory at the Victoria University of Wellington, July 1981, gave me new insight into its algebraic structure; Richmond Thomason for helping me to clarify crucial ideas about predication, and Dana Scott for pointing me to Halmos' work which in turn gave me the right desiderate for the theory of variation (substitution).
Rights and permissions
About this article
Cite this article
Van Fraassen, B.C. Quantification as an act of mind. J Philos Logic 11, 343–369 (1982). https://doi.org/10.1007/BF00293434
Issue Date:
DOI: https://doi.org/10.1007/BF00293434