Formal Methods in the Methodology of Empirical Sciences: Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17–21, 1974: Synthese Library, cartea 103

A.- Some problems of formal methodology.- Approximate truth and truthlikeness.- A multiple sentential logic for empirical theories.- An axiomatic foundation for the logic of inductive generalization.- A two-dimensional continuum of a priori probability distributions on constituents.- Inductive logic and theoretical concepts.- A pragmatic approach to the formalization of empirical theories.- Uncertainty, probability and empirical knowledge.- The concept of empirical data.- Interpretation of theoretical terms: In defence of an empiricist dogma.- Definability problems in the methodology of science.- Laws, identities and reduction.- On logical analysis of methods.- Axiomatization in expected utility theory.- A logical model for game-like situations and the transformation of game-like situations.- Indeterminate probabilities.- Theoretical laws.- Causality, ontology and subsumptive explanation.- On the introduction of intensions into set theory.- Types of information and their role in the methodology of science.- Classification and ranking models in the discrete data analysis.- What have physicists learned from experience about inductive inference?.- B (Papers presented by title).- Verisimilitude: Popper, Miller and Hattiangadi.- On a general scheme of causal analysis.- Logic of quantum mechanics.- On possibilities and limits of the application of inductive methods.- Correspondence principle and the idealization.- Pragmatic meaning and truth.- Semantic complementarity in quantitative empirical sciences.- Marx’s concept of law of science.- The impossibility theorem for universal theory of prediction.- Scientific knowledge-formation.- The methodology of behavioral theory construction: Nomological-deductive and axiomatic aspects of formalized theory.- Intertheory relations onthe formal and semantical level.