Alan Weir

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A robust non-transitive logic Topoi	2018-03-23	Paper
Informal proof, formal proof, formalism The Review of Symbolic Logic	2016-04-29	Paper
MARY LENG<i>Mathematics and Reality</i> The British Journal for the Philosophy of Science	2015-09-02	Paper
Truth through proof. A formalist foundation for mathematics	2012-02-02	Paper
Neo-Fregeanism: an embarrassment of riches Notre Dame Journal of Formal Logic	2005-07-13	Paper
scientific article; zbMATH DE number 2150350 (Why is no real title available?)	2005-03-30	Paper
scientific article; zbMATH DE number 1874098 (Why is no real title available?)	2004-02-08	Paper
Naïve set theory, paraconsistency and indeterminacy. I Logique et Analyse. Nouvelle Série	2003-03-27	Paper
Rejoinder to Laurence Goldstein on the Liar	2002-01-01	Paper
``Neo-logicist'' logic is not epistemically innocent Philosophia Mathematica. Series III	2001-05-07	Paper
Dummett on impredicativity	2001-04-03	Paper
New V, ZF and Abstraction† Philosophia Mathematica	2001-01-07	Paper
Ultramaximalist minimalism!	2000-08-22	Paper
Token relativism and the Liar	2000-08-22	Paper
Classical harmony Notre Dame Journal of Formal Logic	1986-01-01	Paper

Research outcomes over time

This page was built for person: Alan Weir