Abstract
Let L be a first-order language, and let U be a structure for L. On the basis of the Tarskian definition of truth, the sentences of L are then dichotomized into those which are true in U and those which are false in U. Intuitively, it often seems possible to supplement this two-fold partition of the set S L of the sentences of L with an additional fine structure. For example, some of the truths in L are ‘better’ than others at least in the sense that they are more comprehensive, i.e., tell more about the structure U. Some false sentences of L are more mistaken than others — thus, the statement ‘3 is the smallest natural number’ can be said to be closer to the truth than the statement ‘5 is the smallest natural number’, and the claim that all prime numbers are odd is less erroneous than the claim that all prime numbers are even. Some false sentences of L may even contain (or entail) more true information about the structure than some of the true sentences of L (like tautologies). Similar remarks seem to apply not only to single sentences in L but to theories (i.e., deductively closed subsets of S L as well.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Carnap, R., ‘A Basic System of Inductive Logic, Part I’, in R. Carnap and R. C. Jeffrey (eds.), Studies in Inductive Logic and Probability, vol. I, University of California Press, Berkeley, 1971, pp. 35–165.
Harris, J. H., ‘Popper’s Definition of “Verisimilitude”’, The British Journal for the Philosophy of Science 25 (1974), 160–166.
Harris, J. H., ‘On Comparing Theories’, Synthese 32 (1975), 29–76.
Hilpinen, R., ‘Approximate Truth and Truthlikeness’, in M. Przelecki, K. Szaniawski, and R. Wojcicki (eds.), Formal Methods in the Methodology of Empiricial Sciences, D. Reidel and Polish Scientific Publishers, Dordrecht and Warsaw, 1976.
Hintikka, K. J., ‘Surface Information and Depth Information’, in K. J. Hintikka and P. Suppes (eds.), Information and Inference, D. Reidel, Dordrecht, 1970, pp. 263–297.
Hintikka, K. J., Logic, Language-Games, and Information, Oxford University Press, Oxford, 1973.
Lewis, D., Counterfactuals, Blackwell, Oxford, 1973.
Miller, D., ‘Popper’s Qualitative Theory of Verisimilitude’, The British Journal for the Philosophy of Science 25 (1974), 166–177 [ 1974a ].
Miller, D., ‘On the Comparison of False Theories by Their Bases’, The British Journal for the Philosophy of Science 25 (1974), 178–188 [ 1974b ].
Miller, D., ‘The Accuracy of Predictions’, Synthese 30 (1975), 159–191 [ 1975a ].
Miller, D., ‘The Accuracy of Predictions: A Reply’, Synthese 30 (1975), 207–219 [ 1975b ].
Miller, D., ‘Verisimilitude Redeflated’, The British Journal for the Philosophy of Science 27 (1976), 363–381.
Niiniluoto, I., ‘On the Truthlikeness of Generalizations’, in R. E. Butts and J. Hintikka (eds.), Basic Problems in Methodology and Linguistics (Western Ontario Series 11), D. Reidel, Dordrecht, 1977 [ 1977a ].
Niiniluoto, I., ‘Notes on Popper as Follower of Whewell and Peirce’, Ajatus 37 (1977), 272–327 [ 1977b ].
Popper, K. R., ‘Some Comments on Truth and the Growth of Knowledge’, in E. Nagel, P. Suppes, and A. Tarski (eds.), Logic, Methodology, and Philosophy of Science, Stanford University Press, Stanford, 1962, pp. 285–292.
Popper, K. R., Conjectures and Refutations: The Growth of Scientific Knowledge, Routledge & Kegan Paul, London, 1963.
Popper, K. R., ‘A Note on Verisimilitude’, The British Journal for the Philosophy of Science 21 (1976), 147–159.
Stalnaker, R. C., ‘A Theory of Conditionals’, in N. Rescher (ed.), Studies in Logical Theory (APQ Monograph No. 2 ), Blackwell, Oxford, 1968.
Tichý, P., ‘On Popper’s Definition of Verisimilitude’, The British Journal for the Philosophy of Science 25 (1974), 155–160.
Tichý, P., ‘Verisimilitude Redefined’,The British Journal for the Philosophy of Science 21 (1976), 25–42.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Niiniluoto, I. (1979). Truthlikeness in First-Order Languages. In: Hintikka, J., Niiniluoto, I., Saarinen, E. (eds) Essays on Mathematical and Philosophical Logic. Synthese Library, vol 122. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9825-4_24
Download citation
DOI: https://doi.org/10.1007/978-94-009-9825-4_24
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-9827-8
Online ISBN: 978-94-009-9825-4
eBook Packages: Springer Book Archive