Reasoning with graded properties
Project goals
Graded properties are ubiquitous in human discourse and reasoning. They are characterized by the fact that they may apply with different intensity to different objects. Typical examples are vague properties (e.g. “tall” or “rich”), that is, those that do not establish a clear distinction between objects that satisfy them and those that do not, and hence have blurry boundaries and borderline cases, and generate sorites paradoxes. But also many properties with well-defined boundaries can be seen as graded (e.g. “acute angle” or “guilty”). Seen as a science of correct reasoning, Logic should, in particular, explain the notion of consequence in scenarios involving graded properties. We aim at developing a logical framework for reasoning with graded properties that, by employing formal tools from mathematical fuzzy logic, goes beyond the simple classical bivalent analysis. In particular, we plan a new analysis of sorites paradoxes, a study of relations to other graded theories in linguistics and an account of counterfactual and defeasible reasoning with graded notions.
Keywords
Logicreasoninggraded propertiesvaguenessparadoxesdefeasible logicscounterfactuals
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 22 (SGA0201800001)
Main participants
Ústav teorie informace a automatizace AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
18-00113S
Alternative language
Project name in Czech
Usuzování se stupňovanými vlastnostmi
Annotation in Czech
Stupňované vlastnosti jsou v přirozeném diskurzu a usuzování všudypřítomné. Tyto vlastnosti jsou charakterizovány tím, že jich různé objekty můžou nabývat v různé intenzitě. Typickým příkladem jsou vágní vlastnosti (např. „vysoký“ nebo „bohatá“), u kterých není ostře vymezená hranice mezi objekty, které tuto vlastnost (ještě) mají a těmi, které (už) ji nemají. Tato absence ostré hranice pak vede ke známému paradoxu hromady. Jako stupňované lze ale vnímat i vlastnosti, které přesně vymezené jsou (např. "ostrý úhel" nebo "vinen"). Logika, chápaná jako věda o správném usuzování, by měla popsat pojem důsledku i v kontextech zahrnujících stupňované vlastnosti. Naším cílem je vyvinout logický rámec pro usuzování v kontextech obsahujících stupňované vlastnosti, který díky použití formálních nástrojů matematické fuzzy logiky překračuje omezené možnosti klasického dvouhodnotového přístupu. Konkrétně plánujeme novou analýzu paradoxů hromady, porovnání našeho přístupu s lingvistickými stupňovanými teoriemi, a výklad kontrafaktuálního a nemonotónního usuzování v těchto kontextech.
Scientific branches
Solution timeline
Realization period - beginning
Jan 1, 2018
Realization period - end
Dec 31, 2023
Project status
—
Latest support payment
Apr 24, 2020
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP22-GA0-GA-R
Data delivery date
Feb 22, 2022
Finance
Total approved costs
5,549 thou. CZK
Public financial support
4,381 thou. CZK
Other public sources
1,168 thou. CZK
Non public and foreign sources
0 thou. CZK
Recognised costs
5 549 CZK thou.
Public support
4 381 CZK thou.
0%
Provider
Czech Science Foundation
OECD FORD
Philosophy, History and Philosophy of science and technology
Solution period
01. 01. 2018 - 31. 12. 2023