文章基本信息

标题：TRUTH OPERATIONS AND LOGICAL-MATHEMATICAL RECURSIVITY ON THE PROPOSITIONAL CALCULUS BASIS OF THE TRACTATUS OF L. WITTGENSTEIN
本地全文：下载
作者：Eduardo Simões ; Aline Aquino Alves ; Leandro de Oliveira Pires 等
期刊名称：Revista Dissertatio de Filosofia
印刷版ISSN：1413-9448
电子版ISSN：1983-8891
出版年度：2019
卷号：50
页码：383-397
语种：Portuguese
出版社：Universidade Federal de Pelotas
摘要：The objective of this paper is to present the truth tables method of the propositional calculus of Tractatus Logico-Philosophicus as a result of computational procedures involving recursive operations in mathematics, since the secondary literature that is involved with such a problem fails to demonstrate such aspect of the work. The proposal is to demonstrate the base calculation of the truth operations as a consequence of the application of mathematical resources that involve the notion of recursivity, inspired both in the natural numbers as well as in the factorial calculus, as well as in the procedures recommended by the combinatorial analysis and the calculation of probability. It is hoped, therefore, to present the truth operations of the propositional calculus as coming from the application of arithmetic to the logical resources.
关键词：Operações de verdade;cálculo proposicional;recursividade;Lógica;Matemática;Tractatus;Wittgenstein