Show simple item record

dc.contributor.authorVinter, R.J.
dc.contributor.authorLoomes, M.J.
dc.contributor.authorKornbrot, D.
dc.date.accessioned2011-08-08T15:01:34Z
dc.date.available2011-08-08T15:01:34Z
dc.date.issued1997
dc.identifier.citationVinter , 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 .
dc.identifier.otherPURE: 94068
dc.identifier.otherPURE UUID: 7f7492a2-e6f5-4e9e-a956-3b0998f0aa2d
dc.identifier.otherdspace: 2299/5248
dc.identifier.urihttp://hdl.handle.net/2299/6096
dc.description.abstractWhen 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.en
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.rightsOpen
dc.titleA study of disjunctive and conjunctive reasoning in formal logicen
dc.contributor.institutionSchool of Computer Science
dc.relation.schoolSchool of Computer Science
dcterms.dateAccepted1997
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue
herts.rights.accesstypeOpen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record