University of Hertfordshire

A study of disjunctive and conjunctive reasoning in formal logic

Research output: Book/ReportOther report

Standard

A study of disjunctive and conjunctive reasoning in formal logic. / Vinter, R.J.; Loomes, M.J.; Kornbrot, D.

University of Hertfordshire, 1997. (UH Computer Science Technical Report; Vol. 298).

Research output: Book/ReportOther report

Harvard

Vinter, RJ, Loomes, MJ & Kornbrot, D 1997, A study of disjunctive and conjunctive reasoning in formal logic. UH Computer Science Technical Report, vol. 298, University of Hertfordshire.

APA

Vinter, R. J., Loomes, M. J., & Kornbrot, D. (1997). A study of disjunctive and conjunctive reasoning in formal logic. (UH Computer Science Technical Report; Vol. 298). University of Hertfordshire.

Vancouver

Vinter RJ, Loomes MJ, Kornbrot D. A study of disjunctive and conjunctive reasoning in formal logic. University of Hertfordshire, 1997. (UH Computer Science Technical Report).

Author

Vinter, R.J. ; Loomes, M.J. ; Kornbrot, D. / A study of disjunctive and conjunctive reasoning in formal logic. University of Hertfordshire, 1997. (UH Computer Science Technical Report).

Bibtex

@book{7f7492a2e6f54e9ea9563b0998f0aa2d,
title = "A study of disjunctive and conjunctive reasoning in formal logic",
abstract = "When reasoning with statements containing logical connectives in everyday discourse, people sometimes employ reasoning strategies that do not comply with the dictates of logic yet are still sufficient for their purpose. Cognitive studies point to the most likely circumstances in which non-logical heuristics are likely to be employed for logical problems expressed in natural language, where they invariably lead to error. This paper describes a study aimed at determining whether trained computer scientists continue to employ non-logical heuristics when they are reasoning about logical statements expressed in a mathematical notation. The study focuses on the ways in which people reason about disjunctive and conjunctive statements. Specifically, it sought to test whether reasoning performance is affected by the polarity of logical operators or by the degree of thematic content presented in problem material. The results suggest that there was only a limited transfer of non-logical processes to the formal domain and that, although reasoning was still far from perfect, the use of a formal notation facilitated logical reasoning for the types of inference scrutinised. The implications of this finding are discussed in relation to the software engineering community where the use of formal logic based notations are gradually gaining increased acceptance.",
author = "R.J. Vinter and M.J. Loomes and D. Kornbrot",
year = "1997",
language = "English",
series = "UH Computer Science Technical Report",
publisher = "University of Hertfordshire",

}

RIS

TY - BOOK

T1 - A study of disjunctive and conjunctive reasoning in formal logic

AU - Vinter, R.J.

AU - Loomes, M.J.

AU - Kornbrot, D.

PY - 1997

Y1 - 1997

N2 - When reasoning with statements containing logical connectives in everyday discourse, people sometimes employ reasoning strategies that do not comply with the dictates of logic yet are still sufficient for their purpose. Cognitive studies point to the most likely circumstances in which non-logical heuristics are likely to be employed for logical problems expressed in natural language, where they invariably lead to error. This paper describes a study aimed at determining whether trained computer scientists continue to employ non-logical heuristics when they are reasoning about logical statements expressed in a mathematical notation. The study focuses on the ways in which people reason about disjunctive and conjunctive statements. Specifically, it sought to test whether reasoning performance is affected by the polarity of logical operators or by the degree of thematic content presented in problem material. The results suggest that there was only a limited transfer of non-logical processes to the formal domain and that, although reasoning was still far from perfect, the use of a formal notation facilitated logical reasoning for the types of inference scrutinised. The implications of this finding are discussed in relation to the software engineering community where the use of formal logic based notations are gradually gaining increased acceptance.

AB - When reasoning with statements containing logical connectives in everyday discourse, people sometimes employ reasoning strategies that do not comply with the dictates of logic yet are still sufficient for their purpose. Cognitive studies point to the most likely circumstances in which non-logical heuristics are likely to be employed for logical problems expressed in natural language, where they invariably lead to error. This paper describes a study aimed at determining whether trained computer scientists continue to employ non-logical heuristics when they are reasoning about logical statements expressed in a mathematical notation. The study focuses on the ways in which people reason about disjunctive and conjunctive statements. Specifically, it sought to test whether reasoning performance is affected by the polarity of logical operators or by the degree of thematic content presented in problem material. The results suggest that there was only a limited transfer of non-logical processes to the formal domain and that, although reasoning was still far from perfect, the use of a formal notation facilitated logical reasoning for the types of inference scrutinised. The implications of this finding are discussed in relation to the software engineering community where the use of formal logic based notations are gradually gaining increased acceptance.

M3 - Other report

T3 - UH Computer Science Technical Report

BT - A study of disjunctive and conjunctive reasoning in formal logic

PB - University of Hertfordshire

ER -