Operational Variables and Meta-theorems
DOI:
https://doi.org/10.15448/1983-4012.2016.1.22800Resumo
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.
Downloads
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.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Direitos Autorais
A submissão de originais para a Intuitio implica na transferência, pelos autores, dos direitos de publicação. Os direitos autorais para os artigos publicados nesta revista são do autor, com direitos da revista sobre a primeira publicação. Os autores somente poderão utilizar os mesmos resultados em outras publicações indicando claramente a Intuitio como o meio da publicação original.
Licença Creative Commons
Exceto onde especificado diferentemente, aplicam-se à matéria publicada neste periódico os termos de uma licença Creative Commons Atribuição 4.0 Internacional, que permite o uso irrestrito, a distribuição e a reprodução em qualquer meio desde que a publicação original seja corretamente citada.