Shiver's logic card game

Authors

DOI:

https://doi.org/10.36517/10.36517/Argumentos.30.8

Keywords:

Teaching logic. Classical propositional logic. Semantic information. Reachability. Balance.

Abstract

Anthony Shiver (2013) developed two logical card games for the practice of derivation in the context of Classical Propositional Logic. While he has laid out the general outlines of these games, many details of their design are missing. In this paper I propose a methodology for the detailed design of the first of Shiver games. This methodology follows an informational approach to the selection of logical cards in the deck, that conforms to criteria for the reachability of each card and the balance between them.

Author Biography

Frank Thomas Sautter, Universidade Federal de Santa Maria

Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica do Paraná (1988), mestrado em Engenharia Elétrica e Informática Industrial pela Universidade Tecnológica Federal do Paraná (1991), mestrado em Filosofia pela Universidade Estadual de Campinas (1995), doutorado em Filosofia pela Universidade Estadual de Campinas (2000), e pós-doutorado pela Universidad Nacional de La Plata (2013). Atualmente é professor titular da Universidade Federal de Santa Maria. Tem experiência na área de Filosofia, com ênfase em Lógica.

References

BARROS, J. de. Dialogos de preceitos moraes cõ prática delles, em módo de jogo. Lisboa: per Luis Rodriguez, livreiro delrey nosso senhor, 1540.

BARROS, J. de. Dialogo de Ioam de Barros com dous filhos seus sobre preceptos moraes em módo de jogo. Lisboa: ao Arco de Sam Mamede, por Ioam de Barreira, 1563.

CARROLL, L. The Game of Logic. London, New York: Macmillan and Co., 1887.

DIAS, G. L.; SANTOS, R. P. dos. “The Game of Eleusis: An entertaining simulation of the research heuristic”. Acta Scientiae, v. 17, n. 3, p. 715-731, 2015.

FINE, K. “Normal forms in modal logic”. Notre Dame Journal of Formal Logic, v. XVI, n. 2, p. 229-237, 1975.

HINTIKKA, K. J. J. Distributive Normal Forms in the Calculus of Predicates. Acta Philosophica Fennica, Fasc. VI. Helsinki: Societas Philosophica, 1953.

LORENZEN, P.; BINFORD, F. Logic as a dialogical game (An experiment in teaching constructive logic to elementary-school and high-school students) March 1965 – May 1965. Stanford: Institute for Mathematical Studies in the Social Sciences, 1965 (Psychology Series, 87).

SAUTTER, F. T. “As Teorias Carrollianas das Falácias”. Cadernos de História e Filosofia da Ciência, série 4, v. 1, n. 1, p. 7-32, jan./jun. 2015.

SAUTTER, F. T. “Informação: mundos possíveis e seus duais”. Veritas, v. 65, n. 3, p. 1-8, set./dez. 2020.

SAUTTER, F. T.; PICCOLI, A. L. “Extração de infons em lógicas sentenciais polivalentes finitas”, 2022 (submetido à publicação).

SHIVER, A. “Propositional Logic Card Games”. Teaching Philosophy, v. 36, n. 1, p. 51-58, mar./2013.

Downloads

Published

2023-07-17

Issue

No. 30 (2023)

Section

Artigos

License

Argumentos magazine is licensed under an International Creative Commons Attribution License.

The Magazine uses CC BY inclusion

1) The authors retain the copyright granted to the magazine or the right to initial publication, with the work regularly licensed under the Creative Commons Attribution, which allows the sharing of the work with acknowledgment of authorship and initial publication in this magazine.

2) The authors are authorized to contract additional applicable contracts, for non-exclusive distribution of the version of the work published in this journal (for example, publication in the institutional repository or as a chapter of the book), recognition of authorship and initial publication in this journal.

3) Authors are authorized and encourage to publish and distribute their work online (for example, in institutional repositories or on their personal pages) at any time before or during the editorial process, as they can generate productive changes, as well as increase the impact and reference of published work.