Tableau and sequent calculi are the basis for most popular interactive theorem provers for hardware and software veri cation. Yet, when it comes to decision procedures or automatic proof search, tableaux are orders of magnitude slower than Davis-Putnam, SAT based procedures or other techniques based on resolution. To meet this challenge, this paper proposes a theoretical innovation: the rule of...

Susan Grubera* , Hana Leeb, Rachael Phillipsc, Martin Hod & Mark van der Laanca Putnam Data Sciences, LLC, Cambridge, MAb Office of Biostatistics, Center for Drug Evaluation and Research, U.S. Food Administration, Silver Spring, MDc Department University California at Berkeley, CAd Global Affairs Google, Mountain View, CA

Among those addressed by Putnam’s model-theoretic argument it is common opinion that the argument is invalid because question-begging. If the standard analysis of the argument is along the right lines, then what has been called the ‘just more theory move’ is to be held responsible for this. In the present paper, an alternative reading of Putnam’s argument is offered that makes the ‘just more th...

Este artigo analisa o rendimento teórico do clássico ensaio de Marcel Mauss na discussão a respeito da ideia cidadania em Robert Putnam. Autores concentrados pensar os fundamentos não formalmente expressos contrato, seus pressupostos remontam ao debate seminal nas ciências sociais sobre obrigatoriedade versus espontaneidade. Associado aos estudos cidadania, Comunidade e democracia, Putnam inves...