Skip to main content
SpringerLink
Log in
Book cover

Philosophy of Mathematics Today pp 73–87Cite as

Language and Coding-Dependency of Results in Logic and Mathematics

  • Chapter
  • First Online:

Part of the book series: Episteme ((EPIS,volume 22))

Abstract

I do not support the thesis that the scientific language (in the sense of a formalized or partially formalized framework or a more or less precise framework) has to be fixed up before scientists are able to get reasonable results. On the contrary the language of the respective scientific discipline is usually developed with the development of that discipline and flexible enough to allow for further revision on grounds of new knowledge. However there is a sense (or several senses) of language and coding-dependency which pertains to very specific problems and results in Logic and Mathematics. This is illustrated in this paper by some examples from Logic and Mathematics.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Cain, J., Damnjanovic, Z. [1991] On the weak Kleene scheme in Kripke’s theory of truth, Journal of Symbolic Logic, 56,1452–1468.

    Article  MathSciNet  Google Scholar 

  • Czermak, J., Weingartner, P. [1983] Criteria for distinguishing logically necessary propositions, in: Weingartner, P., Czermak, J., eds., Epistemology and Philosophy of Science. Proceedings of the 7th International Wittgenstein Symposium (Kirchberg 1982) Wien: Hölder-Pichler-Tempsky, pp. 48–51.

    Google Scholar 

  • Dorn, G. [1991] Inductive support, in: Schurz, G., Dorn, G., eds., [1991].

    Google Scholar 

  • Kleene, S. C. [1952] Introduction to Metamathematics, Amsterdam: North Holland.

    MATH  Google Scholar 

  • Kreisel, G. [1953] On a problem of Henkin’s, Indagationes Mathematicae, 15, No. 4, 405–406.

    Article  MathSciNet  Google Scholar 

  • Kreisel, G. [1965] Mathematical logic, in: Saaty, T. L., ed., Lectures on Modern Mathematics III, New York: Wiley, pp. 95–195.

    Google Scholar 

  • Kreisel, G., Takeuti, G. [1974] Formally self-referential propositions for cut-free classical analysis and related systems, Dissertationes Mathematicae, 118, 4–50.

    MathSciNet  MATH  Google Scholar 

  • Kripke, S. [1975] An outline of a theory of truth, The Journal of Philosophy, 72,690–716.

    Article  Google Scholar 

  • Löb, M. H. [1955] Solution of a problem of Henkin, Journal of Symbolic Logic, 20,115–118.

    Article  MathSciNet  Google Scholar 

  • Miller, D. W. [1974] Popper’s qualitative theory of verisimilitude, BJPS, 25,166–177.

    Article  Google Scholar 

  • Miller, D. W. [1975] The accuracy of prediction, Synthese, 30,159–191.

    Article  Google Scholar 

  • Miller, D. W. [1978a] On distance from the truth as a true distance, Hintikka, J., et al., eds., Essays on Mathematical and Philosophical Logic, Dordrecht: Reidel, 415–435.

    Google Scholar 

  • Miller, D. W. [1978b] The distance between constituents, Synthese, 38,197–212.

    Article  Google Scholar 

  • Popper, K. R. [1963] Conjectures and Refutations, London: Routledge and Kegan Paul.

    Google Scholar 

  • Popper, K. R., Miller D. W. [1987] Why probabilistic support is not inductive, Philosophical Transactions of the Royal Society of London, 321,569–591.

    MathSciNet  MATH  Google Scholar 

  • Schurz, G., Weingartner, P. [1987] Verisimilitude defined by relevant consequence elements. A new reconstruction of Popper’s original idea, in: Kuipers, Th., ed., What is Closer-to-the-Truth?, Amsterdam: Rodopi, 47–77.

    Google Scholar 

  • Schurz, G. [1990] Sprachabhängigkeit der Erkenntnis, in: Wohlgenannt, R., Born, R., eds., Reflexion und Wirklichkeit, Wien: VWGÖ, pp. 309–327.

    Google Scholar 

  • Schurz, G., Dorn, G., eds. [1991] Advances in Scientific Philosophy, Amsterdam: Rodopi.

    Google Scholar 

  • Smorynski, C. [1991] The development of self-reference: Löb’s theorem, in: Drucker, Th., ed., Perspectives on the History of Mathematical Logic, Boston: Birkhäuser.

    Google Scholar 

  • Solovay, R. M. [1976] Provability interpretations of modal logic, Israel Journal of Mathematics, 25,287–304.

    Article  MathSciNet  Google Scholar 

  • Tichy, P. [1974] On Popper’s definitions of verisimilitude, BJPS, 25,155–188.

    Article  Google Scholar 

  • Weingartner, P., Schurz, G. [1986] Paradoxes solved by two simple relevance criteria, Lopque et Analyse, 113,3–40.

    MATH  Google Scholar 

  • Weingartner, P. [1988] Remarks on the consequence-class of theories, in: Scheibe, E., ed., The Role of Experience in Science. Proceedings of the 1986 Conference of the Académie Internationale de Philosophie des Sciences, Berlin: de Gruyter, pp. 161–180.

    Google Scholar 

  • Weingartner, P. [1993] A logic for QM based on classical logic, in: Maria de la Luiz Garcia Alonso, Moutsopoulos, and E. Seel, G., eds., L’Art la science et la metaphysique (Festschrift for André Mercier), Bern: Peter Lang, pp. 439–458.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Philosophy, Salzburg University, Austria

    Paul Weingartner

Authors
  1. Paul Weingartner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Fribourg, Switzerland

    Evandro Agazzi (President of the Swiss Society of Logic and Philosophy of Science) (President of the Swiss Society of Logic and Philosophy of Science)

  2. University of Genova, Italy

    Evandro Agazzi (President of the Swiss Society of Logic and Philosophy of Science) (President of the Swiss Society of Logic and Philosophy of Science)

  3. Symmetrion — The Institute for Advanced Symmetry Studies, Budapest, Hungary

    György Darvas

  4. The Hungarian Academy of Sciences, Budapest, Hungary

    György Darvas

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Weingartner, P. (1997). Language and Coding-Dependency of Results in Logic and Mathematics. In: Agazzi, E., Darvas, G. (eds) Philosophy of Mathematics Today. Episteme, vol 22. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5690-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-5690-5_4

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-6400-2

  • Online ISBN: 978-94-011-5690-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation