Original scientific paper

Logičke bilješke o šahu

Siniša Matić ; Gymnasium Franjo Petrić, Zadar
Patrik Levačić ; University of Zadar, Department of French and Francophone Studies

Abstract

Namjena je rada pokušati prikazati šahovska pravila kao logičke iskaze te ljudsko (ne računalno) šahovsko razmišljanje kao postupak koji se može rekonstruirati pomoću klasičnih logičkih shema kao što su istinitosno stablo i deduktivni postupak u Fitchevu stilu. Šahovska pravila mogu se prevoditi na jezik logike prvoga reda, iako je mjestimično potrebno primjenjivati i operatore deontičke logike. Ciljevi se u šahovskoj igri mogu prikazati pomoću logičkog kvadrata. Mogućnosti jakih poteza općenito se mogu logički promišljati. Nesavršenost ljudske procjene kvalitete određenih poteza otvara mogućnost primjene elemenata trovrijednosnih logika. Ipak, rad je u većini posvećen mogućnostima primjene elementarne logike na osnove šahovske igre.

Keywords

šah; logika; klasična logika; deontička logika; logički kvadrat; istinitosno stablo; trovrijednosne logike; prirodna dedukcija

Hrčak ID:

217903

URI

https://hrcak.srce.hr/217903

Publication date:

25.2.2019.

Article data in other languages: english

Visits: 2.811 *