Tolerant, Classical, Strict

Dados Bibliográficos

ID23360116
AutoresPablo Cobreros (0000-0001-8239-5373, Universidad de Navarra, autor correspondente), Paul Egré (0000-0002-9114-7686, Centre National de la Recherche Scientifique, autor correspondente), David Ripley (0000-0002-3356-0771, Centre National de la Recherche Scientifique, autor correspondente), Robert Van Rooij (0000-0001-6819-6685, University of Amsterdam, autor correspondente)
Ano2012
Volume41
Fascículo2
Páginas347-385
Data de publicação2012-04-01
Peer ReviewedSim
Open AccessSim
TipoARTICLE
PeriódicoJournal of Philosophical Logic (JOURNAL)
Identificadores do periódicoISSN: 0022-3611 • E-ISSN: 1573-0433
EditoraSpringer Science and Business Media LLC (PUBLISHER)
DOI10.1007/s10992-010-9165-z
OpenAlexW2067357824
IdiomaEN
Citações recebidas95
Referências citadas26

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P , then y should be P whenever y is similar enough to x . The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases.

Dual (grammatical number) · Epistemology · Linguistics · Pragmatics · Programming language · Semantics (computer science) · Similarity (geometry) · Advanced Algebra and Logic · Artificial Intelligence · Computer Science · Logic, Reasoning, and Knowledge · Mathematics · Philosophy · Rough Sets and Fuzzy Logic