Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

On the epistemological justification of Hilbert’s metamathematics

Javier Legris — 2005

Philosophia Scientiae

The aim of this paper is to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence of epistemological notions, specially the notion of intuitive knowledge. It will be argued that two levels of foundations of deduction can be found in the last stages (in the 1920s) of Hilbert’s Program. The first level is related to the reduction – in a particular sense – of mathematics to formal systems, which are ‘metamathematically’ justified in terms of symbolic manipulation....

Intuitionistic logic considered as an extension of classical logic : some critical remarks

Javier Legris;  Jorge A. Molina — 2001

Philosophia Scientiae

In this paper we analyze the consideration of intuitionistic logic as an extension of classical logic. This — at first sight surprising — point of view has been sustained explicitly by Jan Łukasiewicz on the basis of a mapping of classical propositional logic into intuitionistic propositional logic by Kurt Gödel in 1933. Simultaneously with Gödel, Gerhard Gentzen had proposed another mapping of Peano´s arithmetic into Heyting´s arithmetic. We shall discuss these mappings in connection with the problem...

Page 1

Download Results (CSV)