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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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.
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.
Dorn, G. [1991] Inductive support, in: Schurz, G., Dorn, G., eds., [1991].
Kleene, S. C. [1952] Introduction to Metamathematics, Amsterdam: North Holland.
Kreisel, G. [1953] On a problem of Henkin’s, Indagationes Mathematicae, 15, No. 4, 405–406.
Kreisel, G. [1965] Mathematical logic, in: Saaty, T. L., ed., Lectures on Modern Mathematics III, New York: Wiley, pp. 95–195.
Kreisel, G., Takeuti, G. [1974] Formally self-referential propositions for cut-free classical analysis and related systems, Dissertationes Mathematicae, 118, 4–50.
Kripke, S. [1975] An outline of a theory of truth, The Journal of Philosophy, 72,690–716.
Löb, M. H. [1955] Solution of a problem of Henkin, Journal of Symbolic Logic, 20,115–118.
Miller, D. W. [1974] Popper’s qualitative theory of verisimilitude, BJPS, 25,166–177.
Miller, D. W. [1975] The accuracy of prediction, Synthese, 30,159–191.
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.
Miller, D. W. [1978b] The distance between constituents, Synthese, 38,197–212.
Popper, K. R. [1963] Conjectures and Refutations, London: Routledge and Kegan Paul.
Popper, K. R., Miller D. W. [1987] Why probabilistic support is not inductive, Philosophical Transactions of the Royal Society of London, 321,569–591.
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.
Schurz, G. [1990] Sprachabhängigkeit der Erkenntnis, in: Wohlgenannt, R., Born, R., eds., Reflexion und Wirklichkeit, Wien: VWGÖ, pp. 309–327.
Schurz, G., Dorn, G., eds. [1991] Advances in Scientific Philosophy, Amsterdam: Rodopi.
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.
Solovay, R. M. [1976] Provability interpretations of modal logic, Israel Journal of Mathematics, 25,287–304.
Tichy, P. [1974] On Popper’s definitions of verisimilitude, BJPS, 25,155–188.
Weingartner, P., Schurz, G. [1986] Paradoxes solved by two simple relevance criteria, Lopque et Analyse, 113,3–40.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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