Abstract
The aim of this essay is to show that one can give a proof-theoretical semantics to vague predicates (most of the observational predicates). The starting point is the critic of the truth-conditional analysis of vagueness in terms of degrees of truth, and the solution proposed is based of the anti-realist principle meaning is use. Therefore the problem of vague is replaced by the problem of graduality.
Through the example of the predicate to be small are presented the principles of the anti-realist approach. The semantical representation of the predicate is a formula of the Intuitionistic Type Theory of Martin-Löf (TT). This formula is introduced in a context (in the sense of TT) which formalizes the conditions of use. Among the contextual parameters is required a contextual “objective” property B which must have bounds. Hence in a given context a paraphrase of the assertion a is small is a is small enough in order to satisfy B.
From this point of view, the logical puzzles called sorits illustrate the relevance of the proof-theoretical approach. They appear as pedagogical devices which stress the difference between the semantical content of a proposition and its logical behaviour. The semantical content defined in proof-theoretical terms supports graduality, whereas the logical behaviour forbids it.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
L. Carroll. What the tortoise said to achilles. Mind, 4, 1895.
M. Dummet. What is a theory of meaning ? In Evans and McDowell, editors, Truth and Meaning, pages 67–197. Oxford University Press, 1976.
M. Dummet. Truth and Other Enigmas. Duckworth, London, 1978.
P. Engel. The norm of truth, an introduction to the philosophy of logic. Harvester Wheatsheaf. Hemel Hempstead, 1991.
J. Goguen. The logic of inexacts concepts. Synthese, 1967.
P. Martin-Löf. Intuitionistic type theory. Bibliopolis, 1984.
P. Martin-Löf. On the meanings of the logical constants and the justifications of the logical laws. In Atti degli incontri di logica mathematica, volume 2, pages 203–281. Università di Siena, 1985.
A. Ranta. Propositions as games as types. Synthese, 76:377–395, 1988.
A. Ranta. Intuitionistic categorial grammar. Linguistics and Philosophy, 14:203–239, 1991.
A. Ranta. Type-theoretical grammar. Clarendon, Oxford, 1994.
S. Shapiro. Logic, ontology, mathematical practice. Synthese, 79:13–50, 1989.
G. Sundholm. Proof theory and meaning. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 3. D. Reidel, 1986.
G. Sundholm. Constructive generalized quantifiers. Synthese, 79:1–12, 1989.
G. Sundholm. Proof-theoretical semantics and fregean identity criteria for propositions. The Monist, 77(3):294–314, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boldini, P. (1997). Vagueness and type theory. In: Retoré, C. (eds) Logical Aspects of Computational Linguistics. LACL 1996. Lecture Notes in Computer Science, vol 1328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052155
Download citation
DOI: https://doi.org/10.1007/BFb0052155
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63700-4
Online ISBN: 978-3-540-69631-5
eBook Packages: Springer Book Archive