Skip to main content

Definability and Identifiability: Certain Problems and Hypotheses

  • Chapter

Part of the The University of Western Ontario Series in Philosophy of Science book series (WONS,volume 11)

Abstract

Recently there has been definite progress in the development of definability and identifiability theory — both in logical and methodological spheres (Przełęcki, 1969; Simon, 1970; Hintikka, 1972; Tuomela, 1973; Rantala, 1975). On the other hand, up to the present time we still do not have at our disposal a completely rigorous theory of definability and identifiability — there is a variety of quite different kinds of approach to the construction of such a theory (which, incidentally, is quite natural), and moreover, the basic notions (and first of all the meaning of the concepts ‘identifiability’ and some others) are interpreted by different authors in essentially different ways.

Keywords

  • Semantic Formulation
  • Semantic Term
  • Predicate Term
  • Restricted Quantifier
  • Definite Progress

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-94-017-0837-1_5
  • Chapter length: 18 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   169.00
Price excludes VAT (USA)
  • ISBN: 978-94-017-0837-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   219.99
Price excludes VAT (USA)
Hardcover Book
USD   219.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  • Beth, E. W.: 1953, ‘On Padoa’s Method in the Theory of Definition’, Indagationes Mathematicae 15, 330–339.

    Google Scholar 

  • Chang, C. C.: 1964, ‘Some New Results in Definability’, Bulletin of the American Mathematical Society 70, 808–813.

    CrossRef  Google Scholar 

  • Chang, C. C. and Keisler, H. J.: 1973, Model Theory, North-Holland, Amsterdam. Gorsky, D. P.: 1974, Definition, Publishing House ‘Mysl’, Moscow (in Russian).

    Google Scholar 

  • Hintikka, J.: 1972, ‘Constituents and Finite Identifiability’, Journal of Philosophical Logic 1, 45–52.

    CrossRef  Google Scholar 

  • Kalman, R. E.: 1960, ‘On the General Theory of Control Systems’, in First IFAC Congress, Moscow, pp. 481–492.

    Google Scholar 

  • Kueker, D. W.: 1970, ‘Generalized Interpolation and Definability’, Annals of Mathematical Logic 1, 423–468.

    CrossRef  Google Scholar 

  • Makkai, M.: 1964, ‘A Generalization of a Theorem of E. W. Beth’, Acta Math. Acad. Sci. Hungar. 15, 227–236.

    CrossRef  Google Scholar 

  • Padoa, A.: 1900. ‘Essai d’une théorie algebrique des nombres entiers, précedé d’une introduction logique à une théorie deductive quelconque, secs. 8–18’, Bibliothèque du Congrès International de Philosophie 3, Paris, p. 309.

    Google Scholar 

  • Przelgcki, M.: 1969, The Logic of Empirical Theories, Routledge and Kegan Paul, London.

    Google Scholar 

  • Rantala, V.: 1975, ‘Definability Problems in the Methodology of Science’, in Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, 1974, Warsaw.

    Google Scholar 

  • Sadovsky, V. N. and Smirnov, V. A.: 1977, ‘Complete and Incomplete Definability in First-order Theories’, in The Methods of Logical Analysis of Scientific Language, Publishing House ‘Nauka’, Moscow (in Russian).

    Google Scholar 

  • Simon, H. A.: 1970, ‘The Axiomatization of Physical Theories’, Philosophy of Science 37, 16–26.

    CrossRef  Google Scholar 

  • Smirnov, V. A.: 1974, ‘On the Question of Definability of Predicates Introduced by Bilateral Reduction Sentences’, in Philosophy in the Modern World. Philosophy and Logic, Publishing House ‘Nauka’, Moscow, pp. 165–167 (in Russian).

    Google Scholar 

  • Svenonius, L.: 1959, ‘A Theorem about Permutation in Models’, Theoria 25, 173–178.

    CrossRef  Google Scholar 

  • Tarski, A.: 1934, ‘Some Methodological Investigations on the Definability of Concepts’, in A. Tarski, Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956, pp. 296–319.

    Google Scholar 

  • Tuomela, R.: 1973, Theoretical Concepts, Springer Verlag, Wien-New York.

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1977 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Sadovsky, V.N., Smirnov, V.A. (1977). Definability and Identifiability: Certain Problems and Hypotheses. In: Butts, R.E., Hintikka, J. (eds) Basic Problems in Methodology and Linguistics. The University of Western Ontario Series in Philosophy of Science, vol 11. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0837-1_5

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-0837-1_5

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-8350-0

  • Online ISBN: 978-94-017-0837-1

  • eBook Packages: Springer Book Archive