Original scientific paper

Logical Notations on Chess

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

Abstract

This paper aims to present the rules of chess as logical statements and human (non-computer) chess reasoning as a decision procedure that can be reconstructed using classical logic methods such as tableaux and Fitch-style natural deductions. Chess rules can be represented in first-order logic terms with the occasional application of deontic logic operators. A consideration of chess game objectives can be offered by the tableaux method. In general terms, possible strong moves can be assessed with logical reasoning. Human imperfection in the quality assessment of certain moves opens up the possibility of applying three-valued logic parameters. However, the main focus of this paper is to examine the possibilities of applying elementary logic to the basics of chess play.

Keywords

Chess; Logic; Classical Logic; Deontic Logic; Logical Square; Tableaux; Three-Valued Logics; Natural Deduction

Hrčak ID:

217903

URI

https://hrcak.srce.hr/217903

Publication date:

25.2.2019.

Article data in other languages: croatian

Visits: 2.185 *