O jogo das cartas lógicas de Shiver

Autores

DOI:

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

Palavras-chave:

Ensino de lógica. Lógica proposicional clássica. Informação semântica. Alcançabilidade. Balanço.

Resumo

Anthony Shiver (2013) desenvolveu dois jogos de cartas lógicas para a prática da derivação no contexto da Lógica Proposicional Clássica. Embora ele tenha apresentado os contornos gerais desses jogos, muitos detalhes do desenho deles estão faltando. Neste artigo proponho uma metodologia para o desenho detalhado do primeiro dos jogos de Shiver. Esta metodologia utiliza uma abordagem informacional para a seleção das cartas do baralho, que conforma-se a critérios de alcançabilidade de cada carta e de balanço entre elas.

Biografia do Autor

Frank Thomas Sautter, Universidade Federal de Santa Maria (UFSM)

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.

Referências

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

Publicado

2023-07-17

Edição

n. 30 (2023)

Seção

Artigos

Licença

Autores que publicam nesta revista concordam com os seguintes termos (SOBRE  COPYRIGHT E POLÍTICA DE ACESSO LIVRE): 

1. Autores mantém OS DIREITOS AUTORAIS concedidos à revista OU Direito de Primeira Publicação, com o trabalho simultaneamente licenciado à Atribuição de Licença Creative Commons (CC BY) que permite o compartilhamento dos trabalhos com reconhecimento de autoria e publicação inicial nesta revista.

2. Autores têm permissão para aceitar contratos, distribuição não-exclusiva da versão do trabalho publicada nesta revista (por exemplo: publicar no repositório institucional ou como um capítulo do livro), com reconhecimento de autoria e publicação inicial nesta revista.

3. Autores têm permissão e são estimulados a publicar e distribuir seu trabalho on-line (por exemplo: em repositórios institucionais ou em sua página pessoal) mesmo durante o processo editorial, haja visto que isso pode aumentar o impacto e citação do trabalho publicado.