Operational Variables and Meta-theorems

Authors

  • Guilherme Kubiszeski Universidade de Brasília

DOI:

https://doi.org/10.15448/1983-4012.2016.1.22800

Abstract

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

Download data is not yet available.

References

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

Published

2016-06-21

How to Cite

Kubiszeski, G. (2016). Operational Variables and Meta-theorems. Intuitio, 9(1), 28–34. https://doi.org/10.15448/1983-4012.2016.1.22800

Issue

Vol. 9 No. 1 (2016)

Section

Articles

License

Copyright

The submission of originals to Intuitio implies the transfer by the authors of the right for publication. Authors retain copyright and grant the journal right of first publication. If the authors wish to include the same data into another publication, they must cite Intuitio as the site of original publication.

Creative Commons License

Except where otherwise specified, material published in this journal is licensed under a Creative Commons Attribution 4.0 International license, which allows unrestricted use, distribution and reproduction in any medium, provided the original publication is correctly cited.