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

edited by Marian Przełęcki, Klemens Szaniawski, and Ryszard Wojcicki : associate editor, Grzegorz Molinowski

Proceedings of the Conference for Formal Methods in the Methodology of Emperical Sciences, Warsaw, June 17-21, 1974, Poland.

「Nielsen BookData」より

[目次]

  • 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」より

この本の情報

書名 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
著作者等 Conference for Formal Methods in the Methodology of Empirical Sciences
Molinowski, Grzegorz
Przełęcki, Marian
Szaniawski, Klemens
Wójcicki, Ryszard
Wojcicki Ryszard
Przelecki Marian
シリーズ名 Synthese library
出版元 D. Reidel
刊行年月 c1976
ページ数 457 p.
大きさ 23 cm
ISBN 9027706980
NCID BA04148200
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想