Modelos Proposicionais

Autores/as

DOI:

https://doi.org/10.51359/2357-9986.2024.258139

Palabras clave:

ensino de lógica, lógica proposicional clássica, informação semântica, consistência lógica

Resumen

Apresento “Modelos Proposicionais”, um jogo de cartas no qual cada carta contém uma fórmula da Lógica Proposicional Clássica. Esse jogo visa o ensino da noção de consistência lógica, e seu projeto é guiado por considerações sobre a informação semântica veiculada pelas fórmulas nas cartas.

Citas

ANGELELLI, Ignacio. “The techniques of Disputation in the History of Logic”. The Journal of Philosophy, v. 67, n. 20, 1970, p. 800-815.

CASTELNÉRAC, Benoît; MARION, Mathieu. “Arguing for Inconsistency: Dialectic Games in the Academy”. In: PRIMIERO, Giuseppe; RAHMAN, Shahid (eds.), Acts of Knowledge: History, Philosophy and Logic. Essays Dedicated to Göran Sundholm. London: College Publications, 2009, p. 37-76.

DUTILH NOVAES, Catarina. “Medieval Obligationes as Logical Games of Consistency Maintenance”. Synthese, v. 145, n. 3, 2005, p. 371-395.

SAUTTER, Frank Thomas; PICCOLI, Amanda Lazzarotto. “Extração de infons em lógicas sentenciais polivalentes finitas”. Cognitio: Revista de Filosofia, v. 23, n. 1, 2022, p. 1-13.

SAUTTER, Frank Thomas. “O jogo das cartas lógicas de Shiver”. Argumentos – Revista de Filosofia, no prelo.

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

SMULLYAN, Raymond Merrill. First-Order Logic. New York, Heidelberg, Berlin: Springer, 1968.

Descargas

Publicado

2024-07-10

Número

Vol. 51 Núm. 1 (2024): Judith Butler: corpos políticos e políticas da linguagem

Sección

Fluxo Contínuo

Licencia

Derechos de autor 2024 Frank Thomas Sautter

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.

A Revista Perspectiva Filosófica orienta seus procedimentos de gestão de artigos conforme as diretrizes básicas formuladas pelo Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq). http://www.cnpq.br/web/guest/diretrizes

Autores que publicam nesta revista concordam com os seguintes termos:

  1. Os autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, sendo o trabalho simultaneamente licenciado sob https://creativecommons.org/licenses/by/4.0/deed.pt_BR que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.

  2. Os autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista, com reconhecimento de autoria e publicação inicial nesta revista (Consultar http://opcit.eprints.org/oacitation-biblio.html).

Licença Creative Commons
Esta revista está licenciada com uma Licença Creative Commons Atribuição 4.0 Internacional.