{"title":"颤抖的逻辑纸牌游戏","authors":"F. Sautter","doi":"10.36517/10.36517/argumentos.30.8","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":43087,"journal":{"name":"Argumentos-Revista de Filosofia","volume":null,"pages":null},"PeriodicalIF":0.2000,"publicationDate":"2023-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"O jogo das cartas lógicas de Shiver\",\"authors\":\"F. Sautter\",\"doi\":\"10.36517/10.36517/argumentos.30.8\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":43087,\"journal\":{\"name\":\"Argumentos-Revista de Filosofia\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.2000,\"publicationDate\":\"2023-07-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Argumentos-Revista de Filosofia\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.36517/10.36517/argumentos.30.8\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"0\",\"JCRName\":\"PHILOSOPHY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Argumentos-Revista de Filosofia","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.36517/10.36517/argumentos.30.8","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"0","JCRName":"PHILOSOPHY","Score":null,"Total":0}
引用次数: 0
摘要
Anthony Shiver(2013)在经典命题逻辑的背景下开发了两款逻辑卡牌游戏来练习推导。虽然他提出了这些游戏的大致轮廓,但许多设计细节都缺失了。在本文中,我提出了一种详细绘制第一款《Shiver》游戏的方法。这种方法使用一种信息方法来选择牌组中的牌,这符合每张牌的可达性标准和它们之间的平衡。
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.