© Dissertatio [44] 151 – 169 | 2016 O COMÉRCIO DA LÓGICA Frank Thomas Sautter UFSM Resumo: Conclusão e Premissas negociam peças de informação entre si. Conclusão carece delas, Premissas dispõe delas. O saldo entre carência e disponibilidade exige aferição. O método heterogêneo de prova para a Lógica Sentencial Clássica, aqui desenvolvido, implementa esta metáfora. Ele pode ser empregado solitário, cooperativa, ou competitivamente. Palavras-Chave: Informação; informação errada; kanban; soroban. Abstract: Conclusion and Premises trade pieces of information among themselves. Conclusion lacks them, Premises supplies them. The balance between lack and availability requires admeasurement. The heterogeneous proof method for Classical Sentential Logic developed here implements this metaphor. It can be employed solitarily, cooperatively, or competitively. Keywords: Information; misinformation; kanban; soroban. Wo Geld isch, isch au drDeif; wokoinsisch, do ischersogarzwoi mol. Onde há dinheiro, ali também está o Diabo; onde não há, ali ele está inclusive duas vezes. (Provérbio sábio) Introdução Conclusão e Premissas são agentes no comércio da Lógica; informação é o bem que negociam entre si. Conclusão carece de informações, e sinaliza isso para Premissas. Premissas dispõem de informações, e sinaliza isso para Conclusão. Essa dupla sinalização é o kanban 1 da Lógica. O saldo entre carência e disponibilidade geralmente não é evidente, e exige aferição. Essa aferição é o soroban 2 da Lógica. 1 ‘Kanban’ é um termo técnico utilizado em administração da produção para indicar um sistema de sinalização, à base de cartões, empregado no fluxo da produção. 2 ‘Soroban’ é o ábaco japonês.