Reasoning about truth in first-order logic
Artikel i vetenskaplig tidskrift, 2013

Abstract First, we describe a psychological experiment in which the participants were asked to determine whether sentences of first-order logic were true or false in finite graphs. Second, we define two proof systems for reasoning about truth and falsity in first-order logic. These proof systems feature explicit models of cognitive resources such as declarative memory, procedural memory, working memory, and sensory memory. Third, we describe a computer program that is used to find the smallest proofs in the aforementioned proof systems when capacity limits are put on the cognitive resources. Finally, we investigate the correlation between a number of mathematical complexity measures defined on graphs and sentences and some psychological complexity measures that were recorded in the experiment.

First-order logic · Proof system · Bounded cognitive resources · Truth


Claes Strannegård

Göteborgs universitet

Chalmers, Tillämpad informationsteknologi, Kognition och kommunikation

Fredrik Engström

Göteborgs universitet

Abdul Rahim Nizamani

Göteborgs universitet

Lance Rips

Northwestern University

Journal of Logic, Language and Information

0925-8531 (ISSN)

Vol. 22 115-137