The limitations of mathematical logic either as a t ool for the foundations of mathematics, or as a branch of mathematics, or as a tool for artifi cial intelligence, raise the need for a rethinking of logic. In particular, they raise the need for a reconsider ation of the many doors the Founding Fathers of mathematical logic have closed historically. This p aper examines three such doors, the view that logic should be a logic of discovery, the view that logic arises from method, and the view that logic is not the whole of reason, and on this basis proposes an alte rnative approach to logic.
The limitations of mathematical logic either as a t ool for the foundations of mathematics, or as a branch of mathematics, or as a tool for artifi cial intelligence, raise the need for a rethinking of logic. In particular, they raise the need for a reconsider ation of the many doors the Founding Fathers of mathematical logic have closed historically. This p aper examines three such doors, the view that logic should be a logic of discovery, the view that logic arises from method, and the view that logic is not the whole of reason, and on this basis proposes an alte rnative approach to logic.
Does logic slowly pass away, or has it a future? / Cellucci, Carlo. - STAMPA. - (2014), pp. 122-136.
Does logic slowly pass away, or has it a future?
CELLUCCI, Carlo
2014
Abstract
The limitations of mathematical logic either as a t ool for the foundations of mathematics, or as a branch of mathematics, or as a tool for artifi cial intelligence, raise the need for a rethinking of logic. In particular, they raise the need for a reconsider ation of the many doors the Founding Fathers of mathematical logic have closed historically. This p aper examines three such doors, the view that logic should be a logic of discovery, the view that logic arises from method, and the view that logic is not the whole of reason, and on this basis proposes an alte rnative approach to logic.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.