N
Neil Tennant
Researcher at Ohio State University
Publications - 114
Citations - 1748
Neil Tennant is an academic researcher from Ohio State University. The author has contributed to research in topics: Intuitionistic logic & Mathematical proof. The author has an hindex of 19, co-authored 113 publications receiving 1664 citations. Previous affiliations of Neil Tennant include Australian National University & University of Edinburgh.
Papers
More filters
Journal ArticleDOI
On Tarski’s Axiomatization of Mereology
TL;DR: It is shown how Tarski’s 1929 axiomatization of mereology secures the reflexivity of the ‘part of’ relation by means of constructive and relevant reasoning throughout and places a premium on complete formal rigor of proof.
Journal ArticleDOI
Logic, Mathematics, and the A Priori, Part I: A Problem for Realism
TL;DR: In this paper, the role of apriority in the realism/anti-realism debate is examined in the context of core logic, and the resources supplied by Core Logic.
Journal ArticleDOI
On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic
TL;DR: In this article, a reply to a recent work of Vidal-Rosset, which expresses various mistaken beliefs about core logic about logic, is given. But this work is in part a reply.
Journal ArticleDOI
Weir and those ‘Disproofs’ I saw before me
TL;DR: The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world as discussed by the authors, which is supported by libraries, scholarly societies, publishers, and foundations.