0477854 20240103214505.120170913235959.9 85029431866 000576961600001 10.1007/978-3-662-55665-8_1 14 s. P cav_un_epca*0477853978-3-662-55664-10302-97433-16BerlinSpringer2017BaltagA.YamadaT.SeligmanJ. graded predicates vagueness mathematical fuzzy logic cav_un_auth*0100737 Cintula Petr UIVT-O Oddělení teoretické informatiky Department of Theoretical Computer Science Department of Theoretical Computer Science K Ústav informatiky AV ČR, v. v. i. cav_un_auth*0293476 Noguera Carles UTIA-B Matematická teorie rozhodování Department of Decision Making Theory MTR MTR Department of Decision Making Theory Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0349493 Smith N.J.J. AU 689176 EC XE cav_un_auth*0339025 GA17-04630S GA ČR cav_un_auth*0349495 In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss their ubiquity in rational interaction and the logical challenges they pose. We present mathematical fuzzy logic as a set of logical tools that can be used to model reasoning with graded predicates, and discuss a philosophical account of vagueness that makes use of these tools. This approach is then generalized to other kinds of graded predicates. Finally, we propose a general research program towards a logic-based account of reasoning with graded predicates. cav_un_auth*0349494 LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./ 20170911 https://golori.org/lori2017/invited.html 20170914 Sapporo JP BA 10000 10200 10201 2018 UTIA-B 10000 10100 10101 4 A R 4a 4r 20231122142632.5 UTIA-B BA RVO:67985807 RVO:67985556 http://hdl.handle.net/11104/0274074 S n.a. Proceedings Paper Computer Science Theory Methods|Mathematics Applied|Logic 0.328 Q2 Q2 2017 Soubory v repozitáři: 0477854 titul.pdf, a0477854.pdf 85029431866 SCOPUS PUBMED 000576961600001 WOS cav_un_epca*0477853 Logic, Rationality, and Interaction 978-3-662-55664-1 0302-9743 3 16 Berlin Springer 2017 Lecture Notes in Computer Science 10455 340 Baltag A. 340 Yamada T. 340 Seligman J.