O jogo das cartas lógicas de Shiver

Autores/as

DOI:

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

Palabras clave:

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

Resumen

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.

Biografía del autor/a

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.

Citas

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.

Descargas

Publicado

2023-07-17

Número

Núm. 30 (2023)

Sección

Artigos

Licencia

Los autores que publican en esta revista aceptan los siguientes términos:

  1. Los autores mantienen los DERECHOS AUTORALES otorgados a la revista O el Derecho de Primera Publicación, con el trabajo licenciado simultáneamente a Creative Commons License Attribution (CC BY) que permite compartir el trabajo con reconocimiento de autoría y publicación inicial en esta revista.
  2. Los autores pueden aceptar contratos, distribución no exclusiva de la versión del trabajo publicado en esta revista (por ejemplo: publicación en el repositorio institucional o como capítulo del libro), con reconocimiento de autoría y publicación inicial en esta revista.
  3. Se permite a los autores publicar y distribuir su trabajo on-line (por ejemplo, en repositorios institucionales o en su página personal) durante el proceso editorial de información de que el artículo está en proceso de publicación. Esto puede aumentar el impacto y cita de trabajos publicados.

SOBRE COPYRIGHT Y POLÍTICA DE ACCESO LIBRE

La revista utiliza la atribución CC BY