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

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

Title variants

EN

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

• Languages of publication: CS

Abstracts

EN

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.

Keywords

CS

přirozená dedukce; přirozený jazyk; sémantika přirozeného jazyka; Gentzenova pravidla přirozené dedukce; disjunkce; negace

EN

natural deduction; natural language; natural language semantics; Gentzen’s rules of natural deduction; disjunction; negation

Discipline

• PHILOLOGY_&_LINGUISTICS: PHILOLOGY & LINGUISTICS

• Publisher: Institute of the Czech Language, Czech Academy of Sciences
• Journal: Slovo a slovesnost: časopis pro otázky teorie a kultury jazyka (Slovo a slovesnost: A journal for the theory of language and language cultivation)
• Year: 2021
• Volume: 82
• Issue: 1
• Pages: 67-83
• Document type: ARTICLE

Contributors

author

Matej Drobňák

• Slovo a slovesnost, redakce, Ústav pro jazyk český AV ČR, v.v.i., Letenská 4, 118 51 Praha 1, Czech Republic

author

Jaroslav Peregrin

• Slovo a slovesnost, redakce, Ústav pro jazyk český AV ČR, v.v.i., Letenská 4, 118 51 Praha 1, Czech Republic

author

Petr Matějíček

• Slovo a slovesnost, redakce, Ústav pro jazyk český AV ČR, v.v.i., Letenská 4, 118 51 Praha 1, Czech Republic

author

Michal Hubálek

• Slovo a slovesnost, redakce, Ústav pro jazyk český AV ČR, v.v.i., Letenská 4, 118 51 Praha 1, Czech Republic