Skip to main content

Statistical quantifiers in observational calculi: An application in GUHA-methods

Abstract

GUHA or general unary hypotheses automaton aims at generating automatically all relevant statements and generalizations about a field of research, for example, a chosen empirical field of social research. For that reason the concept of observational calculi and their relation to the theoretical level of social research is discussed. A statistical generalization of the observational calculus, statistical inference rules and ten generalized statistical quantifiers are defined and discussed. After this formal outline of the theory of GUHA methods, some applications of statistical quantifiers in GUHA methods are discussed. Finally, a bibliography of GUHA methods concludes the paper.

This is a preview of subscription content, access via your institution.

Bibliography

  • Bendová, K. and Havránek, T., ‘A Method for Choosing of Regression Models’, (in Czech), Communications of M.C.B. 1 (1973), 1–20.

    Google Scholar 

  • Chytil, M., ‘On Constituting of Semantical Models for GUHA-Methods’, (in Czech), Československá fysiologie 18 (1969), 143–147.

    Google Scholar 

  • Hájek, P., Havel, I., and Chytil, M., ‘GUHA - a Method of Automatic Determination of Hypotheses’, (in Czech), Kybernetika 2 (1966), 31–47.

    Google Scholar 

  • Hájek, P., Havel, I., and Chytil, M., ‘The GUHA Method of Automatic Hypotheses Determination’, Computing 1 (1966), 293–308.

    Google Scholar 

  • Hájek, P., Havel, I., and Chytil, M., ‘GUHA - a Method of Automatic Determination of Hypotheses’, (in Czech), II, Kybernetika 3 (1967), 430–437.

    Google Scholar 

  • Hájek, P., ‘The Question of the General Concept of GUHA-Methods’, (in Czech), Kybernetika 4 (1968), 505–515.

    Google Scholar 

  • Hájek, P., Bendová, K., and Renc, Z., ‘The GUHA Method and the Three-Valued Logic’, Kybernetika 7 (1971), 421–435.

    Google Scholar 

  • Hájek, P., Some Logical Problems of Automated Research Proceedings of the Symp. on Math. Found. of Comp. Sci., High Tatras 1973.

  • Hájek, P., ‘Automatic Listing of Important Observational Statements, I, II’, Kybernetika 9 (1973), 187–205, 251–271.

    Google Scholar 

  • Hájek, P., ‘Automatic Listing of Important Observational Statements, III’, Kybernetika 10 (1974), 95–124.

    Google Scholar 

  • Hájek, P., ‘Generalized Quantifiers and Finite Sets’, Proceedings of the Autumn School in Set Theory and Hierarchy Theory, Karpacz, 1974, Wroclaw (Poland, in print).

  • Hájek, P. and Havránek, T., A Logic of Automated Discovery (in preparation, submitted to Springer, Heidelberg).

  • Hájek, P., Havel, I., Havránek, T., Chytil, M., Rauch, J., and Renc, Z., The GUHA-Method; a Practical Traement (in CzeZh, in preparation).

  • Havránek, T., ‘The Statistical Modification and Interpretation of the GUHA Method’, Kybernetika 7 (1971), 13–21.

    Google Scholar 

  • Havránek, T., ‘Some Aspects of Automatic Systems of Statistical Inference’, Proceeding of the European Meeting of Statisticians, Prague 1974 (in print).

  • Renc, Z., ‘Průzkum uchazeču o studium na matematicko-fyzikální fakultě UK’, Sociologický časopis (1972), 527–540.

  • Rauch, J., ‘Ein Beitrag zu der GUHA Methode in der dreiwertigen Logik’, (submitted to Kybernetika).

  • Tůma, S., Abrahám, J., and Štěpánek, P., ‘Waist Narrowing of the Bladder in Children’, Radiol. Clin. Biol. 39 (1970), 348–356.

    Google Scholar 

  • Andél, J., ‘On Interactions in Contingency Tables’, Aplikace matematiky 18 (1973), 99–109.

    Google Scholar 

  • Anděl, J., ‘The Most Significant Interaction in a Contingency Table’, Aplikace matematiky 19 (1974), 246–252.

    Google Scholar 

  • Grofman, B. and Hyman, G., ‘Probability and Logic in Belief Systems’, Theory and Decision 4 (1973), 179–195.

    Google Scholar 

  • Leinfellner, W., Struktur und Aufbau wissenschaftlicher Theorien, Physica-Verlag Wien-Würzburg 1965, 99, 123.

    Google Scholar 

Download references

Authors

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Havránek, T. Statistical quantifiers in observational calculi: An application in GUHA-methods. Theor Decis 6, 213–230 (1975). https://doi.org/10.1007/BF00169108

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00169108

Keywords

  • Statistical Quantifier
  • Statistical Inference
  • Formal Outline
  • Social Research
  • Inference Rule