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)
Institutionen för tillämpad informationsteknologi (GU) (GU)

Ämnesområden

Logik

Chalmers infrastruktur