Operational Variables and Meta-theorems

Guilherme Kubiszeski

Resumo


This paper deals with the notion of an operational variable in metalogical contexts. After a clarification of the notion itself through an example concerning identity of reference, a few meta-theorems regarding the property of theoremicity are presented. These meta-theorems articulate, with a high degree of generality, the concepts of a set of formulae, deducibility and operation over sets. Operational variables are shown to be useful for stating some interesting results in classical logic. Such results guarantee the intelligibility of the notion of an operational variable, as no extra-logical concepts are employed in the proofs, but only well-known notions and rules.


Texto completo:

PDF (English)

Referências


CORCORAN, J. “Schemata: the Concept of Schema in the History of Logic”. Bulletin of Symbolic Logic, Cambridge, vol.12, no.3, 219-40, 2006.

ŁUKASIEWICZ, J. Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. 1.ed. Oxford: Clarendon Press, 1963, pp. 7.

_______________. “On the History of the Logic of Propositions”. In: MCCALL, S.; AJDUKIEWICZ (Ed.), Polish Logic. 1.ed. Oxford: Clarendon Press, 2005, pp. 66-87.

QUINE, W.V. “Variables Explained Away”. Proceedings of the American Philosophical Society, Philadelphia, vol.104, no.3, 343-347, 1960.




DOI: http://dx.doi.org/10.15448/1983-4012.2016.1.22800

O conteúdo dos textos publicados pela intuitio é de inteira responsabilidade de seus respectivos autores e não expressa necessariamente as opiniões de seus editores.

Revista eletrônica dos discentes do Programa de Pós-Graduação em Filosofia da PUCRS.


e-ISSN: 1983-4012

 


Indexação: LATINDEX 

 


Programa de Pós-Graduação em Filosofia - PUCRS
Veritas

EDIPUCRS: Revistas Eletrônicas da PUCRS
PORTAL: www.pucrs.br

Este periódico é membro do COPE (Committee on Publication Ethics) e adere aos seus princípios. http://www.publicationethics.org

Licença Creative Commons
Exceto onde especificado diferentemente, a matéria publicada neste periódico é licenciada sob forma de uma licença Creative Commons Atribuição 4.0 Internacional.

 

 

Políticas Editoriais das Revistas Científicas Brasileiras. Disponibilidade para depósito: Azul.

 

 

Copyright: © 2006-2019 EDIPUCRS