Propositional Models

Authors

DOI:

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

Keywords:

teaching logic, classical propositional logic, semantic information, logical consistency

Abstract

I introduce “Propositional Models”, a card game in which each card contains a formula of Classical Propositional Logic. This game aims to teach the notion of logical consistency, and its design is guided by considerations about the semantic information conveyed by the formulas in the cards.

References

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

Published

2024-07-10

Issue

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

Section

Fluxo Contínuo

License

Copyright (c) 2024 Frank Thomas Sautter

Creative Commons License

This work is licensed under 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.