Title | Formal Methods in the Methodology of Empirical Sciences [electronic resource] : Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974 / edited by Marian Przeลฤcki, Klemens Szaniawski, Ryszard Wรณjcicki, Grzegorz Malinowski |
---|---|
Imprint | Dordrecht : Springer Netherlands, 1976 |
Connect to | http://dx.doi.org/10.1007/978-94-010-1135-8 |
Descript | VIII, 452 p. online resource |
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 on the formal and semantical level