Modelos Proposicionais

Autores

DOI:

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

Palavras-chave:

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

Resumo

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.

Referências

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.

Downloads

Publicado

2024-07-10

Edição

v. 51 n. 1 (2024): Judith Butler: corpos políticos e políticas da linguagem

Seção

Fluxo Contínuo

Licença

Copyright (c) 2024 Frank Thomas Sautter

Creative Commons License
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License. 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.