A Logical Framework for Graded Predicates

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F17%3A00477854" target="_blank" >RIV/67985556:_____/17:00477854 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/17:00477854

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-662-55665-8_1" target="_blank" >http://dx.doi.org/10.1007/978-3-662-55665-8_1</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-662-55665-8_1" target="_blank" >10.1007/978-3-662-55665-8_1</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A Logical Framework for Graded Predicates

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

A Logical Framework for Graded Predicates

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GA17-04630S" target="_blank" >GA17-04630S: Predikátové škálované logiky a jejich aplikace v informatice</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Logic, Rationality, and Interaction

ISBN

978-3-662-55664-1

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

14

Strana od-do

3-16

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Sapporo

Datum konání akce

11. 9. 2017

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000576961600001