Skip to main content

Logic and the Methodology of Empirical Sciences

  • Chapter
Modern Logic — A Survey

Part of the book series: Synthese Library ((SYLI,volume 149))

Abstract

For some time, one of the most typical (and emphasized) characteristics of ‘modern’ logic was that of qualifying as ‘scientific’, in contradistinction to traditional logic, which was meant to be simply ‘philosophical’. We shall not be interested in analysing the hidden meaning underlying that distinction, which surely expressed, at an initial stage, a kind of mistrust of traditional logic: those times — which go back to the early stages of logical positivism — are quite far away by now, and a number of distinguished scholars openly declare themselves concerned with problems of ‘philosophical logic’. What might still be worth remembering are rather the reasons why modern logic claimed to be ‘scientific’, and these are essentially twofold. On the one hand, the characteristic of scientificity appeared to be the fact that the new logic had adopted the configuration of a respectable mathematical discipline, including the feature of having been explicity axiomatized. On the other hand, its appurtenance to the family of sciences was evidenced by the fact that its aim was assume to be, among others, that of providing an exact (and also practical) analysis of the processes or ideally to be adopted in scientific investigation and theory building. It is, obviously, the second aspect that made modern logic relevant to the methodology of science, with particular emphasis upon the methodology of formal sciences, i.e., mathematics.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 249.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  • Achinstein P., ‘The Problem of Theoretical Terms’, American Philosophical Quarterly 2 (1965), 193–203.

    Google Scholar 

  • Achinstein, P., Concepts of Science. A Philosophical Analysis, Johns Hopkins Press, Baltimore, Maryland, 1968.

    Google Scholar 

  • Agazzi, E., Temi e Problemi di Filosofia della Fisica, Manfredi, Milano, 1969; Reprint: Abete, Roma, 1974.

    Google Scholar 

  • Agazzi, E., ‘The Concept of Empirical Data. Proposals for an Intensional Semantics of Empirical Theories’, in Przeilęcki, Szaniawski, and Wójcicki (1976), 14–157.

    Google Scholar 

  • Birkhoff, G. and von Neumann, J., ‘The Logic of Quantum Mechanics’, Annals of Mathematics, 1936 pp. 823 ff.

    Google Scholar 

  • Bunge, M. (ed.), Quantum Theory and Reality, Berlin-Heidelberg-New York, Springer, 1967a.

    Google Scholar 

  • Bunge, M., Foundations of Physics, Berlin-Heidelberg-New York, Springer, 1967b.

    Google Scholar 

  • Bunge, M., ‘What Are Physical Theories About?’, American Philosophical Quarterly 3 (1969), 61–99.

    Google Scholar 

  • Bunge, M., Treatise on Basic Philosophy, 4 Vols., D. Reidel, Dordrecht, Holland, 1974–79.

    Google Scholar 

  • Carnap, R., ‘Testability and Meaning’, Philosophy of Science 3 (1936), 419–471; and 4 (1937), 1–40.

    Article  Google Scholar 

  • Carnap, R., Introduction to Semantics, Harvard University Press, Cambridge, Mass., 1942.

    Google Scholar 

  • Carnap, R., ‘Meaning Postulates’, Philosophical Studies III (1952), 65–73.

    Article  Google Scholar 

  • Carnap, R., ‘The Methodological Character of Theoretical Concepts’, in Feigl, Scriven, and Maxwell (1956), pp. 38–76.

    Google Scholar 

  • Carnap, R., Introduction to Symbolic Logic and its Applications, Dover, New York, 1958.

    Google Scholar 

  • Carnap, R., Hahn, H., and Neurath, O., Wissenschaftliche Weltauffassung, Der Wiener Kreis, Wien, 1929.

    Google Scholar 

  • Colodny, R. G. (ed.), Beyond the Edge of Certainty, Prentice Hall, Englewood Cliffs, 1965.

    Google Scholar 

  • Cornman, J. W., ‘Craig’s Theorem, Ramsey-Sentences and Scientific Instrumentalism’, Synthese 25 (1972), 82–128.

    Article  Google Scholar 

  • Craig, W., ‘On Axiomatizability Within a System’, Journal of Symbolic Logic 18 (1953), 30–32.

    Article  Google Scholar 

  • Craig, W., ‘Replacement of Auxiliary Expressions’, Philosophical Review 65 (1956), 38–55.

    Article  Google Scholar 

  • Craig, W., ‘Linear Reasoning: A New Form of the Herbrand-Gentzen Theorem’, Journal of Symbolic Logic 22 (1957), 250–268.

    Article  Google Scholar 

  • Craig, W., ‘Bases for First-Order Theories and Subtheories’, Journal of Symbolic Logic 25 (1960), 97–142.

    Article  Google Scholar 

  • Craig, W. and Vaught, R. L., ‘Finite Axiomatizability Using Additional Predicates’, Journal of Symbolic Logic 23 (1958), 289–308.

    Article  Google Scholar 

  • Crossley, J. and Dummett, M. (eds.), Formal Systems and Recursive Functions North- Holland Publ. Co., Amsterdam, 1965.

    Google Scholar 

  • Dalla Chiara, M. L. and Toraldo Di Francia, G., ‘A Logical Analysis of Physical Theories’, Rivista delNuovo Cimento, Serie 2, 3 (1973), 1–20.

    Article  Google Scholar 

  • Danto, A. and Morgenbesser, S. (eds.), Philosophy of Science, Meridian Books, New York, 1960.

    Google Scholar 

  • Ellis, B., Basic Concepts of Measurement, Cambridge University Press, London, 1966.

    Google Scholar 

  • Essler, W., Wissenschaftstheorie I. Definition und Reduktion, Alber, Freiburg-München, 1970a.

    Google Scholar 

  • Essler, W., Induktive Logik. Grundlagen und Voraussetzungen, Alber, Freiburg-Miinchen, 1970b.

    Google Scholar 

  • Essler, W., ‘Die Kreativität der Bilateralen Reduktionssätze’, Erkenntnis 9 (1975), 383–392.

    Google Scholar 

  • Feigl, H., Scriven, M., and Maxwell, G. (eds.), Minnesota Studies in the Philosophy of Science, University of Minnesota Press, Minneapolis, Vol. I (1956), Vol. II ( 1958 ), Vol. Ill (1963).

    Google Scholar 

  • Feigl, H. and Maxwell, G. (eds.), Current Issues in the Philosophy of Science, Holt, Rinehart, and Winston, New York, 1961.

    Google Scholar 

  • Feyerabend, P., ‘Problems of Empiricism’, in Colodny (1965), pp. 145–260.

    Google Scholar 

  • Fine, K., ‘Vagueness, Truth and Logic’, Synthese 30 (1975), 265–300.

    Article  Google Scholar 

  • Goguen, J. H., ‘The Logic of Inexact Concepts’, Synthese 19 325–373

    Google Scholar 

  • Harris, J. H., ‘On Comparing Theories’, Synthese 33 (1975), 29–76.

    Article  Google Scholar 

  • Hempel, C. G., ‘Problems and Changes in the Empiricist Criterion of Meaning’, Revue Internationale de Philosophic 11 (1950), 41–63.

    Google Scholar 

  • Hempel, C. G., ‘The Concept of Cognitive Significance: A Reconsideration’, Proceedings of the American Academy of Arts and Sciences 80 (1951), 61–67.

    Article  Google Scholar 

  • Hempel, C. G., Fundamentals of Concept Formation in Empirical Science, Chicago University Press, 1952.

    Google Scholar 

  • Hempel, C. G., ‘The Theoretician’s Dilemma’, in Feigl, Scriven, and Maxwell (1958), pp. 37–98. Reprinted in Hempel (1965).

    Google Scholar 

  • Hempel, C. G., Aspects of Scientific Explanation, Free Press, New York, 1965.

    Google Scholar 

  • Hilbert, D., ‘Mathematische Probleme’, Reprinted in Hilbert (1965), III (1901), 290–329.

    Google Scholar 

  • Hilbert, D., ‘Axiomatisches Denken’, Reprinted in Hilbert (1965), III (1918), 146 - 156.

    Google Scholar 

  • Hilbert, D., Gesammelte Abhandlungen, Chelsea, New York, 1965 ( Reprint).

    Google Scholar 

  • Hilbert, D., ‘Approximate Truth and Truthlikeness’, in Przełecki, Szaniawski, and Wójcicki (1976), pp. 19–42.

    Google Scholar 

  • Hintikka, J., ‘Distributive Normal Forms and Deductive Interpolation’, Zeitschrift für Math. Logik u. Grundlagen derMathematik 10 (1964), 185–191.

    Article  Google Scholar 

  • Hintikka, J., ‘Distributive Normal Forms in First-Order Logic’, (1965), in Crossley and Dummett (1950), pp. 47–90.

    Google Scholar 

  • Hintikka, J. (ed.), Rudolf Carnap, Logical Empiricist: Materials and Perspectives, D. Reidel, Dordrecht, Holland, 1975.

    Google Scholar 

  • Hintikka, J. and Suppes, P. (eds.), Information and Inference, D. Reidel, Dordrecht, Holland, 1970.

    Google Scholar 

  • Hintikka, J. and Suppes, P. (eds.), Information and Inference, D. Reidel, Dordrecht, Holland, 1970.

    Google Scholar 

  • Kanger, S., ‘Measurement: An Essay in Philosophy of Science’, Theoria 38 (1972), 1–44.

    Article  Google Scholar 

  • Krantz, D. H., Luce, R. D., Suppes, P., and Tversky, A., Foundations of Measurement, Vol. 1, Academic Press, New York, 1971.

    Google Scholar 

  • Kueker, D. W., ‘Generalized Interpolation and Definability’, Annals of Mathematical Logic 1 (1970), 423–468.

    Article  Google Scholar 

  • Nagel, E., ‘The Meaning of Reduction in Natural Science’, in Danto and Morgenbesser (1960), pp. 288–312.

    Google Scholar 

  • Nagel, E., ‘The Meaning of Reduction in Natural Science’, in Danto and Morgenbesser (1960), pp. 288–312.

    Google Scholar 

  • Nagel, E., The Structure of Science, Harcourt, Brace and World, New York, 1961.

    Google Scholar 

  • Nagel, E., Suppes, P., and Tarski, A. (eds.), Logic, Methodology and Philosophy of Science, Stanford University Press, Stanford, 1962.

    Google Scholar 

  • Pfanzagl, J., Theory of Measurement, Wiley, New York, 2nd edition, 1968. Phisica-Verlag, Würzburg-Wien, 1971.

    Google Scholar 

  • Popper, K. R., Conjectures and Refutations, Basic Books, New York, 1962.

    Google Scholar 

  • Popper, K. R., Objective Knowledge, Clarendon Press, Oxford, 1972.

    Google Scholar 

  • Przełęcki, M., The Logic of Empirical Theories, Routledge and Kegan Paul, London, 1969.

    Google Scholar 

  • Przełęcki, M., ‘Z semantyki pojeć otwartych’, Studia Logica 15 (1964), 189–220.

    Article  Google Scholar 

  • Przełęcki, M., ‘Fuzziness as Multiplicity’, Erkenntnis 10 (1976), 371–380.

    Article  Google Scholar 

  • Przełęcki, M. and Wójcicki, R., ‘The Problem of Analiticity’, Synthese 19 (1969), 374–399.

    Article  Google Scholar 

  • Przełęcki, M. and Wójcicki, R., ‘Inessential Parts of Extensions of First-Order Theories’, Studia Logica 28 (1971), 83–99.

    Article  Google Scholar 

  • Przełęcki, M., Szaniawski, K., and Wójcicki, R. (eds.), Formal Methods in the Methodology of Empirical Sciences, D. Reidel, Dordrecht, Holland, 1976.

    Google Scholar 

  • Ramsey, F. P., ‘Theories’, in The Foundations of Mathematics and Other Logical Essays, 1931. Reprint: Littlefield, Adams, and Paterson, N.J. (1962), pp. 212–236.

    Google Scholar 

  • Ramsey, F. P., ‘Theories’, in The Foundations of Mathematics and Other Logical Essays, 1931. Reprint: Littlefield, Adams, and Paterson, N.J. (1962), pp. 212–236.

    Google Scholar 

  • Rozeboom, W., ‘Studies in the Empiricist Theory of Scientific Meaning I—II’, Philosophy of Science 27 (1960), 359–373.

    Article  Google Scholar 

  • Sellars, W., ‘The Language of Theories’, in Feigl and Maxwell (1961), pp. 57–77.

    Google Scholar 

  • Sellars, W., ‘The Language of Theories’, in Feigl and Maxwell (1961), pp. 57–77.

    Google Scholar 

  • Sellars, W., Science, Perception and Reality, Routledge and Kegan Paul, London, 1963.

    Google Scholar 

  • Sellars, W., Philosophical Perspectives, Thomas, Springfield, 111., 1967.

    Google Scholar 

  • Sneed, J. D., The Logical Structure of Mathematical Physics, D. Reidel, Dordrecht, Holland, 1971.

    Google Scholar 

  • Spector, M., ‘Theory and Observation I—II’, The British Journal for Philosophy of Science 7 (1966), 1–20; 89–104.

    Google Scholar 

  • Stegmüller, W., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Band I: Wissenschaftliche Erklärung und Begrundung, Springer, Berlin- Heidelberg-New York, 1969.

    Google Scholar 

  • Stegmüller, W., Probleme und Resultate…, Band II: Theorie und Erfahrung. Erster Halbband: Begriffsformen, Wissenschaftssprache empirische Signifikanz und theore- tische Begriffe, Ibidem, 1970.

    Google Scholar 

  • Stegmüller, W., Probleme und Resultate…, Band II: Theorie und Erfahrung. Zweiter Halbband: Theorienstrukturen und Theoriendynamik, Ibidem, 1973.

    Google Scholar 

  • Stegmüller, W., ‘Structures and Dynamics of Theories’, Erkenntnis 9 (1975), 75–100.

    Article  Google Scholar 

  • Suppes, P., Studies in the Methodology and Foundations of Science, D. Reidel, Dordrecht, Holland, 1969.

    Google Scholar 

  • Suppes, P. and Zinnes, J., ‘Basic Measurement Theory’, in R. D. Luce, R. R. Bush, and E. H. Galanter (eds.), Handbook of Mathematical Psychology, Vol. 1, Wiley, New York, 1963, pp. 3–76.

    Google Scholar 

  • Tichy, P., ‘On Popper’s Definitions of Verisimilitude’, British Journal for Philosophy of Science 25 (1974), 155–160.

    Article  Google Scholar 

  • Tichy, P., ‘Verisimilitude Redefined’, British Journal for Ph ilosophy of Science 27 (1976), 25–42.

    Article  Google Scholar 

  • Trapp, R., ‘Eine Verfeinerung des Reduktionsverfahrens zur Einfiihrung ven Disposi- tionspradikanten’, Erkenntnis 9 (1975), 355–382.

    Article  Google Scholar 

  • Tuomela, R., Theoretical Concepts, Springer, Wien-New York, 1973.

    Google Scholar 

  • von Helmholtz, H., ‘Zählen und Messen erkenntnistheoretisch betrachtet’, in Philosophise he Aufsätze E. Zeller gewidmet, Leipzig, 1887.

    Google Scholar 

  • von Neumann, J., Mathematische Grundlagen der Quantenmechanik, Springer, Berlin, 1932.

    Google Scholar 

  • Wójcicki, R., ‘Set Theoretical Representation of Empirical Phenomena’, Journal of Philosophical Logic 3 (1974a), 337–343.

    Article  Google Scholar 

  • Wójcicki, R., Metodologia formalna nauk empiryczych, Wydawnictwo Polskiej Akademii Nauk, Warszawa, 1974b.

    Google Scholar 

  • Wójcicki, R., ‘Basic Concepts of Formal Methodology of Empirical Sciences’, Ajatus 35 (1973), 168–195.

    Google Scholar 

  • Wójcicki, R., ‘The Factual Content of Empirical Theories’, in Hintikka (1975), pp. 55–82.

    Google Scholar 

  • Woodger, J., The Axiomatic Method in Biology, Cambridge University Press, Cambridge, 1937.

    Google Scholar 

  • Zadeh, L. A., ‘Fuzzy Logic and Approximate Reasoning’, Synthese 30 (1975), 407–428.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1981 D. Reidel Publishing Company

About this chapter

Cite this chapter

Agazzi, E. (1981). Logic and the Methodology of Empirical Sciences. In: Agazzi, E. (eds) Modern Logic — A Survey. Synthese Library, vol 149. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9056-2_15

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-9056-2_15

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-009-9058-6

  • Online ISBN: 978-94-009-9056-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics