|
" 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. "
Malinowski, Grzegorz
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
774265
|
| Doc. No
|
:
|
b594259
|
| Main Entry
|
:
|
Malinowski, Grzegorz
|
| Title & Author
|
:
|
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.\ Malinowski, Grzegorz
|
| Publication Statement
|
:
|
Springer Verlag, 2013
|
| ISBN
|
:
|
9401011354
|
|
|
:
|
: 9789401011358
|
| Contents
|
:
|
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.
|
| LC Classification
|
:
|
Q174.M355 2013
|
| Added Entry
|
:
|
Malinowski, Grzegorz
|
|
|
:
|
Przelecki, Marian
|
|
|
:
|
Szaniawski, A.
|
|
|
:
|
Wj̤cicki, Ryszard
|
| |