Experimentální studie akceptace pravidel přirozené dedukce v českém jazyce
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F21%3A00543414" target="_blank" >RIV/67985955:_____/21:00543414 - isvavai.cz</a>
Výsledek na webu
<a href="http://sas.ujc.cas.cz/archiv.php?art=4477" target="_blank" >http://sas.ujc.cas.cz/archiv.php?art=4477</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Experimentální studie akceptace pravidel přirozené dedukce v českém jazyce
Popis výsledku v původním jazyce
Gentzenova pravidla přirozené dedukce definují základní inferenční vzorce, kterými se řídí užití logických konstant v rámci logického systému přirozené dedukce. Obecně jsou tato pravidla považována za reprezentaci modelu, který podstatným způsobem aproximuje skutečné užití protipólů logických konstant kompetentními mluvčími v každodenní komunikaci. Cílem našeho výzkumu je zjistit, do jaké míry jsou pravidla přirozené dedukce skutečně ve shodě s užitím protipólů logických konstant kompetentními mluvčími češtiny.
Název v anglickém jazyce
An Experimental Study of the Acceptance of the Rules of Natural Deduction in Czech
Popis výsledku anglicky
Gentzen’s rules of natural deduction define the basic inference patterns which govern the use of logical constants within the logical system of natural deduction. In general, these rules are considered to represent a model that significantly approximates the actual use of counterparts of logical constants by competent speakers in everyday communication. The aim of our research is to find out to what extent the rules of natural deduction are in accordance with the use of counterparts of logical constants by competent Czech speakers.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
<a href="/cs/project/GA17-15645S" target="_blank" >GA17-15645S: Logické modely usuzování a argumentace v přirozeném jazyce</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2021
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ů
Údaje specifické pro druh výsledku
Název periodika
Slovo a slovesnost
ISSN
0037-7031
e-ISSN
—
Svazek periodika
82
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
CZ - Česká republika
Počet stran výsledku
17
Strana od-do
67-83
Kód UT WoS článku
000634621000003
EID výsledku v databázi Scopus
2-s2.0-85118419414