RESOLUÇÃO EXEMPLAR

Authors

DOI:

https://doi.org/10.5281/v.j..v1i2.2254

Abstract

Frequentemente o método de tablôs inclui regras por intermédio das quais parâmetros são introduzidos; por exemplo, o método de tablôs para a lógica quantificacional inclui regras por intermédio das quais parâmetros para indivíduos são introduzidos, e o método de tablôs para a lógica modal inclui regras por intermédio das quais parâmetros para mundos possíveis são introduzidos. A utilização inteligente dessas regras pode fazer a diferença entre o sucesso e o insucesso. Baseado em análise de um argumento proposto por Raymond Smullyan, proponho uma técnica para a utilização inteligente dessas regras.

Downloads

Published

2011-01-30

Issue

No. 2 (2011): Fundamento (ISSN 2177-6563)

Section

ARTIGOS

License

Copyright: The texts and images published in the Virtualia Journal are licensed under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. This license allows others to share, adapt, and build upon the published material for any purpose, even commercially, as long as appropriate credit is given to the authors and the journal. To view a copy of this license, visit: https://creativecommons.org/licenses/by/4.0

How to Cite

RESOLUÇÃO EXEMPLAR. (2011). Virtualia Journal, 1(2). https://doi.org/10.5281/v.j..v1i2.2254

Most read articles by the same author(s)