|
|
In Defense of the Ideal 2nd DRAFT
– W. W. Tait
|
|
|
Description PHIL 478: Philosophical Logic Fall Semester, 2006
– Instructor J. Horty
|
|
|
Concepts and Axioms
– A.S. Troelstra
- 1998
|
|
|
The irreflexivity of Brouwer’s philosophy ∗
– Mark Van Atten
- 2000
|
|
|
Understanding Intuitionism
– Edward Nelson, I Have Proved Ab
- 1997
|
|
|
FEASIBILITY IN LOGIC
– Jacques Dubucs
|
|
|
Why Husserl should have been a strong revisionist in mathematics ∗
– M. Van Atten
- 2000
|
|
4
|
What is Neologicism?
– Bernard Linsky, Edward N. Zalta
- 2006
|
|
1
|
Constructive Mathematics and Quantum Physics
– Douglas Bridges, Karl Svozil
- 1999
|
|
9
|
Philosophical ìntuitions' and scepticism about judgement
– Timothy Williamson
- 2004
|
|
|
History of Constructivism in the 20th Century
– A.S. Troelstra
|
|
|
(to appear in J. Salerno, ed., New Essays on the Knowability Paradox, Oxford: Oxford University Press) Tennant’s Troubles
– Timothy Williamson
|
|
1
|
Truth and the foundations of mathematics. An introduction
– H. G. Dales, G. Oliveri
|
|
13
|
Basic logic: reflection, symmetry, visibility
– Giovanni Sambin, Giulia Battilotti
- 1997
|
|
|
Revamping the Restriction Strategy by
– Neil Tennant
- 2007
|
|
|
J. SALERNO ⋆ REVISING THE LOGIC OF LOGICAL REVISION
– unknown authors
|
|
3
|
2006: ‘Past the Linguistic Turn
– Timothy Williamson
|
|
1
|
2010a, “Evolution without Naturalism
– Elliott Sober, Bence Nanay, Peter Nichols, Er Paseau, Er Rosenberg, Michael Ruse
|
|
5
|
Ordinals and Interactive Programs
– Peter Hancock
- 2000
|
