Modelos Proposicionais

Auteurs

DOI :

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

Mots-clés :

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

Résumé

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.

Références

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.

Téléchargements

Publiée

2024-07-10

Numéro

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

Rubrique

Fluxo Contínuo

Licence

© Frank Thomas Sautter 2024

Creative Commons License

Ce travail est disponible sous la licence Creative Commons Attribution 4.0 International .

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://memoria2.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 Creative Commons Atribuição 4.0 Internacional 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
As obras publicadas pela Revista Perspectiva Filosófica estão licenciadas com Creative Commons Atribuição 4.0 Internacional.