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
0387087389
NCID BA00654758
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想