Search - Archive ouverte HAL Access content directly

Filter your results

21 Results
Journal: Internal identifier : 13911
Image document

Lorenzen's proof of consistency for elementary number theory [with an edition and translation of “Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis”]

Thierry Coquand , Stefan Neuwirth
History and Philosophy of Logic, 2020, ⟨10.1080/01445340.2020.1752034⟩
Journal articles hal-02866976v1

Dialectic, the Dictum de Omni and Ecthesis

Michel Crubellier , Mathieu Marion , Zoe Mcconaughey , Shahid Rahman
History and Philosophy of Logic, 2019, 40 (3), pp.207-233. ⟨10.1080/01445340.2019.1586623⟩
Journal articles hal-03651255v1

Erhard Weigel's Contributions to the Formation of Symbolic Logic

Maarten Bullynck
History and Philosophy of Logic, 2013, 34 (1), pp.25 - 34. ⟨10.1080/01445340.2012.726855⟩
Journal articles hal-01510354v1

Review of G. Lejeune (éd.), La question de la logique dans l’Idéalisme allemand (Olms Verlag, Hildesheim, 2013)

Pierre-Jean Renaudie
History and Philosophy of Logic, 2015, 36 (4), pp.392-395. ⟨10.1080/01445340.2015.1037564⟩
Journal articles hal-02082789v1

Gödel on concepts

Gabriella Crocco
History and Philosophy of Logic, 2006, pp.171-191
Journal articles halshs-00558316v1

Proof Analysis : A contribution to Hilbert's last problem.

Francesca Poggiolesi , S. Negri , J. von Plato
History and Philosophy of Logic, 2013, 278 p
Journal articles halshs-01016620v1

Harvard 1940-41: Tarski, Carnap and Quine on a finitistic language of mathematics for science

Paolo Mancosu
History and Philosophy of Logic, 2005, 26 (4), pp.327-357
Journal articles halshs-00791891v1

Essay on Russell on Modalities and Frege on Judgement

Shahid Rahman
History and Philosophy of Logic, 2001, pp.99-112
Journal articles halshs-00713296v1
Image document

Gödel on concepts

Gabriella Crocco
History and Philosophy of Logic, 2006, 27, pp.171-191
Journal articles halshs-00094607v1
Image document

Which arithmeticisation for which logicism? Russell on relations and quantities in The Principles of Mathematics

Sébastien Gandon
History and Philosophy of Logic, 2008, 29 (1), pp.1-30
Journal articles halshs-00299868v1
Image document

Dialectic, the Dictum de Omni and Ecthesis

Michel Crubellier , Mathieu Marion , Zoe Mcconaughey , Shahid Rahman
History and Philosophy of Logic, 2019, 40 (3), pp.207-233. ⟨10.1080/01445340.2019.1586623⟩
Journal articles halshs-01652027v1

Book review: M. Detlefsen (ed.), Proof, logic and formalization, London/New York, Routledge, 1992, X+241p, in: History and Philosophy of Logic

Gerhard Heinzmann
History and Philosophy of Logic, 1994, 15 (1), pp.138-142. ⟨10.1080/01445349408837228⟩
Journal articles hal-01238206v1

Review of: Proof Analysis. A contribution to Hilbert's last problem

Francesca Poggiolesi
History and Philosophy of Logic, 2013
Journal articles halshs-00775824v1

Gentzen's Centenary

Francesca Poggiolesi
History and Philosophy of Logic, 2017, ⟨10.1080/01445340.2017.1303229⟩
Journal articles halshs-01498445v1

Natural numbers and infinitesimals: A discussion between Benno Kerry and Georg Cantor

Carlo Proietti
History and Philosophy of Logic, 2008, 29, pp.343-359. ⟨10.1080/01445340802025768⟩
Journal articles halshs-00791970v1

On Gödel's awareness of Skolem's Helsinki lecture

Mark van Atten
History and Philosophy of Logic, 2005, 26 (4), pp.321-326. ⟨10.1080/01445340500228292⟩
Journal articles halshs-00790929v1
Image document

When logic meets engineering: introduction to logical issues in the history and philosophy of computer science

Liesbeth de Mol , Giuseppe Primiero
History and Philosophy of Logic, 2015, 36 (3), pp.195-204. ⟨10.1080/01445340.2015.1084183⟩
Journal articles hal-01358879v1

Gödel and the question of the ‘objective existence' of mathematical objects

Pierre Cassou-Noguès
History and Philosophy of Logic, 2005, 26, pp. 211-228. ⟨10.1080/01445340500112124⟩
Journal articles halshs-00275536v1

Review: Degen, Systeme der kumulativen Logik, München/Wien : Philosophia Verlag, 1983

Gerhard Heinzmann
History and Philosophy of Logic, 1986, 7 (2), pp.236-240
Journal articles hal-01238143v1

Programming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming

Maarten Bullynck
History and Philosophy of Logic, 2015, 36 (3), pp.229 - 241. ⟨10.1080/01445340.2015.1065459⟩
Journal articles hal-01510372v1

Gödel's Introduction to Logic in 1939

Pierre Cassou-Noguès
History and Philosophy of Logic, 2009, pp.60-90. ⟨10.1080/01445340802265000⟩
Journal articles hal-00994771v1