CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Reasoning about truth in first-order logic

Claes Strannegård (Institutionen för filosofi, lingvistik och vetenskapsteori ; Institutionen för tillämpad informationsteknologi, Avdelningen för kognition och kommunikation (Chalmers)) ; Fredrik Engström ; Abdul Rahim Nizamani ; Lance Rips
Journal of Logic, Language and Information (0925-8531). Vol. 22 (2013), 1, p. 115–137.
[Artikel, refereegranskad vetenskaplig]

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.

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



Denna post skapades 2012-12-11. Senast ändrad 2016-10-31.
CPL Pubid: 167490

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för filosofi, lingvistik och vetenskapsteori (GU)
Institutionen för tillämpad informationsteknologi, Avdelningen för kognition och kommunikation (Chalmers) (2011-2017)
Institutionen för tillämpad informationsteknologi (GU) (GU)

Ämnesområden

Logik

Chalmers infrastruktur