Property modifiers

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F17%3A10238722" target="_blank" >RIV/61989100:27240/17:10238722 - isvavai.cz</a>

Výsledek na webu

<a href="http://raslan2017.nlp-consulting.net/" target="_blank" >http://raslan2017.nlp-consulting.net/</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Property modifiers

Popis výsledku v původním jazyce

In this paper, we deal with property modifiers defined as functions that associate a given root property P with a modified property [MP]. Property modifiers typically divide into four kinds, namely intersective, subsective, privative and modal. Here we do not deal with modal modifiers like alleged, which appear to be well-nigh logically lawless, because, for instance, an alleged assassin is or is not an assassin. The goal of this paper is to logically define the three remaining kinds of modifiers. Furthermore, we introduce the rule of pseudo-detachment as the rule of left subsectivity to replace the modifier M in the premise by the property M* in the conclusion, and prove that this rule is valid for all kinds of modifiers. Furthermore, it is defined in a way that avoids paradoxes like that a small elephant is smaller than a large mouse.

Název v anglickém jazyce

Property modifiers

Popis výsledku anglicky

In this paper, we deal with property modifiers defined as functions that associate a given root property P with a modified property [MP]. Property modifiers typically divide into four kinds, namely intersective, subsective, privative and modal. Here we do not deal with modal modifiers like alleged, which appear to be well-nigh logically lawless, because, for instance, an alleged assassin is or is not an assassin. The goal of this paper is to logically define the three remaining kinds of modifiers. Furthermore, we introduce the rule of pseudo-detachment as the rule of left subsectivity to replace the modifier M in the premise by the property M* in the conclusion, and prove that this rule is valid for all kinds of modifiers. Furthermore, it is defined in a way that avoids paradoxes like that a small elephant is smaller than a large mouse.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA15-13277S" target="_blank" >GA15-13277S: Hyperintensionální logika pro analýzu přirozeného jazyka</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

RASLAN 2017: Recent Advances in Slavonic Natural Language Processing : eleventh workshop on ... : Karlova Studánka, Czech Republic, December 1-3, 2017 : proceedings

ISBN

978-80-263-1340-3

ISSN

—

e-ISSN

neuvedeno

Počet stran výsledku

14

Strana od-do

37-50

Název nakladatele

Tribun EU

Místo vydání

Brno

Místo konání akce

Karlova Studánka

Datum konání akce

1. 12. 2017

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

EUR - Evropská akce

Kód UT WoS článku

000426613500005