Mechanizing hypothesis formation : mathematical foundations for a general theory

P. Hájek, T. Havránek


  • Introduction: What is a Logic of Discovery.- I. Introduction: What is a Logic of Discovery.- I.1 Informal considerations.- I.2 Some mathematical notions.- A. A Logic of Induction.- II. A Formalization of Observational and Theoretical Languages.- II.1 Structures.- II.2 Observational predicate calculi.- II.3 Function calculi.- II.4 Function calculi with state dependent models.- III. The Logic of Observational Functor Calculi.- III.1 Monadic observational predicate calculi.- III.2 Associational and implicational quantifiers.- III.3 Calculi with incomplete information.- III.4 Calculi with qualitative values.- III.5 More on the logic of observational predicate calculi.- IV. Logical Foundations of Computational Statistics.- IV.1 Preliminaries.- IV.2 The concept of statistics.- IV.3 The form of theoretical sentences and inference rules.- IV.4 Observational predicate calculi based on statistical procedures.- IV.5 Some properties of statistically motivated observational function calculi.- V. Rank Calculi.- V.1 Generalized random structures and the hypothesis Ho of d-homogeneity.- V.2 Rank tests of d-homogeneity and independence.- V.3 Function calculi with enumeration models.- V.4 Observational monadic function calculi with rational valued models.- B. A Logic of Suggestion.- VI. Listing of Important Observational Statements and Related Logical Problems.- VI.1 Observational research problems and their solutions.- VI.2 Indirect solutions.- VI.3 Helpful quantifiers in X-predicate calculi.- VI.4 Incompressibility.- VII. A General Guha-Method with Associational Quantifiers.- VII.1 A system of r-problems.- VII.2 Solutions.- VII.3 Remarks on realization and optimization.- VII.4 Some remarks concerning GUHA-methods based on rank calculi.- VIII. Further Statistical Problems of the Logic of Discovery.- VIII.1 Local interpretation.- VIII.2 Global interpretation.- VIII.3 Some questions for statistics.- Postcript: Some Remarks on the History of the Guha Method and its Logic of Discovery.

「Nielsen BookData」より


書名 Mechanizing hypothesis formation : mathematical foundations for a general theory
著作者等 Havránek, Tomáš
Hájek, Petr
Havranek Tomas
Hajek Petr
シリーズ名 Universitext
出版元 Springer-Verlag
刊行年月 1978
版表示 Softcover reprint of the original 1st ed. 1978
ページ数 xv, 396 p.
大きさ 25 cm
ISBN 3540087389
NCID BA00654758
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ