Shiver's logic card game

Detalhes bibliográficos
Autor(a) principal: Sautter, Frank Thomas
Data de Publicação: 2023
Tipo de documento: Artigo
Idioma: por
Título da fonte: Argumentos : Revista de Filosofia (Online)
Texto Completo: http://periodicos.ufc.br/argumentos/article/view/81312
Resumo: Anthony Shiver (2013) developed two logical card games for the practice of derivation in the context of Classical Propositional Logic. While he has laid out the general outlines of these games, many details of their design are missing. In this paper I propose a methodology for the detailed design of the first of Shiver games. This methodology follows an informational approach to the selection of logical cards in the deck, that conforms to criteria for the reachability of each card and the balance between them.
id UFC-17_44731f4b9cb9e4b6c8f93f4e209eaa14
oai_identifier_str oai:periodicos.ufc:article/81312
network_acronym_str UFC-17
network_name_str Argumentos : Revista de Filosofia (Online)
repository_id_str
spelling Shiver's logic card gameO jogo das cartas lógicas de ShiverEnsino de lógica. Lógica proposicional clássica. Informação semântica. Alcançabilidade. Balanço.Teaching logic. Classical propositional logic. Semantic information. Reachability. Balance.Anthony Shiver (2013) developed two logical card games for the practice of derivation in the context of Classical Propositional Logic. While he has laid out the general outlines of these games, many details of their design are missing. In this paper I propose a methodology for the detailed design of the first of Shiver games. This methodology follows an informational approach to the selection of logical cards in the deck, that conforms to criteria for the reachability of each card and the balance between them.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.Universidade Federal do Ceará2023-07-17info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArtigo avaliado pelos Paresapplication/pdfhttp://periodicos.ufc.br/argumentos/article/view/8131210.36517/10.36517/Argumentos.30.8Argumentos - Revista de Filosofia; No. 30 (2023); 111-119Argumentos - Periódico de Filosofia; Núm. 30 (2023); 111-119Argumentos - Revista de Filosofia; n. 30 (2023); 111-1191984-42551984-4247reponame:Argumentos : Revista de Filosofia (Online)instname:Universidade Federal do Ceará (UFC)instacron:UFCporhttp://periodicos.ufc.br/argumentos/article/view/81312/249557Copyright (c) 2023 Argumentos - Revista de Filosofiainfo:eu-repo/semantics/openAccessSautter, Frank Thomas2023-08-10T22:26:41Zoai:periodicos.ufc:article/81312Revistahttp://www.filosofia.ufc.br/argumentosPUBhttp://periodicos.ufc.br/argumentos/oaiargumentos@ufc.br||1984-42551984-4247opendoar:2023-08-10T22:26:41Argumentos : Revista de Filosofia (Online) - Universidade Federal do Ceará (UFC)false
dc.title.none.fl_str_mv Shiver's logic card game
O jogo das cartas lógicas de Shiver
title Shiver's logic card game
spellingShingle Shiver's logic card game
Sautter, Frank Thomas
Ensino de lógica. Lógica proposicional clássica. Informação semântica. Alcançabilidade. Balanço.
Teaching logic. Classical propositional logic. Semantic information. Reachability. Balance.
title_short Shiver's logic card game
title_full Shiver's logic card game
title_fullStr Shiver's logic card game
title_full_unstemmed Shiver's logic card game
title_sort Shiver's logic card game
author Sautter, Frank Thomas
author_facet Sautter, Frank Thomas
author_role author
dc.contributor.author.fl_str_mv Sautter, Frank Thomas
dc.subject.por.fl_str_mv Ensino de lógica. Lógica proposicional clássica. Informação semântica. Alcançabilidade. Balanço.
Teaching logic. Classical propositional logic. Semantic information. Reachability. Balance.
topic Ensino de lógica. Lógica proposicional clássica. Informação semântica. Alcançabilidade. Balanço.
Teaching logic. Classical propositional logic. Semantic information. Reachability. Balance.
description Anthony Shiver (2013) developed two logical card games for the practice of derivation in the context of Classical Propositional Logic. While he has laid out the general outlines of these games, many details of their design are missing. In this paper I propose a methodology for the detailed design of the first of Shiver games. This methodology follows an informational approach to the selection of logical cards in the deck, that conforms to criteria for the reachability of each card and the balance between them.
publishDate 2023
dc.date.none.fl_str_mv 2023-07-17
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Artigo avaliado pelos Pares
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://periodicos.ufc.br/argumentos/article/view/81312
10.36517/10.36517/Argumentos.30.8
url http://periodicos.ufc.br/argumentos/article/view/81312
identifier_str_mv 10.36517/10.36517/Argumentos.30.8
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv http://periodicos.ufc.br/argumentos/article/view/81312/249557
dc.rights.driver.fl_str_mv Copyright (c) 2023 Argumentos - Revista de Filosofia
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2023 Argumentos - Revista de Filosofia
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do Ceará
publisher.none.fl_str_mv Universidade Federal do Ceará
dc.source.none.fl_str_mv Argumentos - Revista de Filosofia; No. 30 (2023); 111-119
Argumentos - Periódico de Filosofia; Núm. 30 (2023); 111-119
Argumentos - Revista de Filosofia; n. 30 (2023); 111-119
1984-4255
1984-4247
reponame:Argumentos : Revista de Filosofia (Online)
instname:Universidade Federal do Ceará (UFC)
instacron:UFC
instname_str Universidade Federal do Ceará (UFC)
instacron_str UFC
institution UFC
reponame_str Argumentos : Revista de Filosofia (Online)
collection Argumentos : Revista de Filosofia (Online)
repository.name.fl_str_mv Argumentos : Revista de Filosofia (Online) - Universidade Federal do Ceará (UFC)
repository.mail.fl_str_mv argumentos@ufc.br||
_version_ 1797068844868567040

Registros relacionados