Abstract
The language of a scientific theory is often assumed to consist of certain logical and mathematical symbols plus nonlogical constants.1 In particular, the ‘logical symbols’ are often those used in set theory together with mathematical symbols definable in set theory. The nonlogical constants are considered to be predicate constants (including function symbols) which are interpreted as denoting sets, or sets of ordered n-tuples, of objects in the domain of the theory in question. Within such a language a universal law, of the simplest possible form, is represented by a sentence of the form
where ‘→’ is the material conditional, and α and β are predicates.
This research was partially supported by U.S. National Science Foundation grant GS-39664.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Achinstein, P., Law and Explanation, Oxford University Press, Oxford, 1971.
Bergmann, G., Philosophy of Science, University of Wisconsin Press, Madison, 1966.
Causey, R. L., ‘Attribute-Identities in Microreductions’, The Journal of Philosophy 69 (1972), 407–422.
Causey, R.L., ‘Uniform Microreductions’, Synthese 25 (1972), 176–218.
Kim, J., ‘Causation, Nomic Subsumption, and the Concept of Event’, The Journal of Philosophy 70 (1973), 217–236.
Kripke, S., ‘Identity and Necessity’, Identity and Individuation, (ed. by M. K. Munitz ), New York University Press, New York, 1971, pp. 135–164.
Nagel, E., The Structure of Science, Harcourt, Brace & World, New York, 1961.
Nickles, T., ‘Covering Law Explanation’, Philosophy of Science, 38 (1971), 542–561.
Quine, W. V. O., From a Logical Point of View, Harper & Row, New York, 1961.
Sneed, J. D., The Logical Structure of Mathematical Physics, D. Reidel, Dordrecht, 1971.
Editor information
Rights and permissions
Copyright information
© 1976 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Causey, R.L. (1976). Laws, Identities, and Reduction. In: Przełęcki, M., Szaniawski, K., Wójcicki, R., Malinowski, G. (eds) Formal Methods in the Methodology of Empirical Sciences. Synthese Library, vol 103. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1135-8_12
Download citation
DOI: https://doi.org/10.1007/978-94-010-1135-8_12
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-1137-2
Online ISBN: 978-94-010-1135-8
eBook Packages: Springer Book Archive