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
著者
書誌事項
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, v. 103）
D. Reidel, c1976
大学図書館所蔵 全29件
この図書・雑誌をさがす
注記
Includes bibliographies
内容説明・目次
内容説明
Proceedings of the Conference for Formal Methods in the Methodology of Emperical Sciences, Warsaw, June 17-21, 1974, Poland.
目次
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.
「Nielsen BookData」 より