Logičke bilješke o šahu

Sažetak

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.