Časopis Slovo a slovesnost
en cz

Experimentální studie akceptace pravidel přirozené dedukce v českém jazyce

Matej Drobňák, Jaroslav Peregrin, Petr Matějíček, Michal Hubálek

[Články]

(pdf)

An experimental study of the acceptance of the rules of natural deduction in Czech

A B S T R A C T
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. Despite the fact that Gentzen’s system is assumed to approximate the inferential patterns of the use of counterparts of logical constants in natural languages, empirical studies mapping the system’s deviations from natural languages are rather rare. The aim of our research is, therefore, 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. In our research, we employ the method of validity judgment tasks, in which respondents assess whether a sentence can be inferred from a short text. The results confirm that seven rules of natural deduction (conjunction introduction, conjunction elimination, disjunction elimination, implication elimination, existential quantifier introduction, universal quantifier introduction, universal quantifier elimination) are in accordance with the use of their counterparts by competent Czech speakers, and three rules (implication introduction, negation introduction, disjunction introduction) exhibit various levels of deviation.

Key words: natural deduction, natural language, natural language semantics, Gentzen’s rules of natural deduction, disjunction, negation
Klíčová slova: přirozená dedukce, přirozený jazyk, sémantika přirozeného jazyka, Gentzenova pravidla přirozené dedukce, disjunkce, negace

Daný článek je on-line k dispozici v databázi CEEOL.

Filosofický ústav AV ČR, v. v. i.
Jilská 352/1, 110 00 Praha 1 – Staré Město
matej.drobnak@uhk.cz
peregrin@flu.cas.cz

Katedra filozofie a společenských věd FF UHK
nám. Svobody 331, 500 03 Hradec Králové
petr.matejicek.1@uhk.cz
michal.hubalek@uhk.cz

Slovo a slovesnost, ročník 82 (2021), číslo 1, s. 67–83

Předchozí Zuzana Kováčová, Elena Ciprianová: From primary meanings of the sensory perceptions of touch and taste to lexicalized metaphors in an associative-semantic network in Slovak

Následující Roland Wagner: Milada Hirschová: Česká věta na rozhraní mezi gramatikou a pragmatikou