Epistemic truth and excluded middle*

by Cesare Cozzo , Università Di Roma ”la Sapienza

Active Bibliography

Academy of Finland, Helsinki – To Synthese, John Archibald - 1983
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
Wittgenstein on Mathematical Identities – I Introduction, André Porto
On the imaginative constructivist nature of design: a theoretical approach – Akın O. Kazakçı
The irreflexivity of Brouwer’s philosophy ∗ – Mark Van Atten - 2000
Understanding Intuitionism – Edward Nelson, I Have Proved Ab - 1997
FEASIBILITY IN LOGIC – Jacques Dubucs
1 Constructive Mathematics and Quantum Physics – Douglas Bridges, Karl Svozil - 1999
Why Husserl should have been a strong revisionist in mathematics ∗ – M. Van Atten - 2000
4 Beyond Plurals – Agustín Rayo - 2006
5 Validity concepts in proof-theoretic semantics – Peter Schroeder-heister
7 What is Neologicism? – Bernard Linsky, Edward N. Zalta - 2006
What is Neologicism? 2 What is Neologicism? ∗ – Bernard Linsky, Edward N. Zalta
A Typology of Conceptual Explications – Dirk Greimann, Dirk Greimann
Journal of Biomedical Discovery and Collaboration Concepts and Synonymy in the UMLS Metathesaurus – Gary H. Merrill - 2009
I. The Received View – Marc Alspector-kelly
History of Constructivism in the 20th Century – A.S. Troelstra