Advanced search
Start date
Betweenand

The arithmetic paradigm: conceptual relations between logic and arithmetic

Grant number: 14/04749-9
Support type:Scholarships in Brazil - Post-Doctorate
Effective date (Start): June 01, 2014
Effective date (End): August 11, 2015
Field of knowledge:Humanities - Philosophy - Logic
Cooperation agreement: Coordination of Improvement of Higher Education Personnel (CAPES)
Principal Investigator:Itala Maria Loffredo D'Ottaviano
Grantee:Leandro Oliva Suguitani
Home Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
Associated research grant:10/51038-0 - Logical consequence, reasoning and computation - LOGCONS, AP.TEM

Abstract

George Boole ushered the study of "mathematical logic" establishing, as far as possible, the relations between logic and arithmetic so that the latter could be applied as a formal tool for investigating logical inferences upon a certain category of propositions.This unique perspective Boole - we call it "arithmetic paradigm" of logic - was dropped early, perhaps because of the criticism it received at that time and also by the successfull development of logic under the so-called "algebraic paradigm", established by the successors of Boole, and the "linguistic paradigm", whose main precursors are G. Frege and B. Russel. However, we believe that there are still many results in logic, potentially, to be explored from its interrelations with arithmetic. In this Research Project, we aim at reconstructing the original scenery of mathematical logic with modern logic-algebraic tools in order to clarify/establish some conceptual relationships between logic and arithmetic so that we can restore the arithmetic paradigm, under which we hope to obtain interesting results for logic. (AU)