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
BookDOI
The Logic of Number
TL;DR: Natural Logicism as discussed by the authors defines and develops the program of Natural Logicism for the natural, rational, and real numbers, and the central method is to formulate rules of natural deduction governing variable-binding number-abstraction operators and other logico-mathematical expressions.
Journal ArticleDOI
From logic to philosophies
TL;DR: In this article, the authors present a survey of the philosophy of logics, with a focus on the classical sources of logic and its application in the literature, including the work of Haack.
Journal ArticleDOI
Transmission of Verification
Ethan Brauer,Neil Tennant +1 more
TL;DR: This paper clarifies, revises, and extends the account of the transmission of truthmakers by core proofs that was set out in Tennant (2017), and establishes the need for appeals to excluded middle when applying, to the problem of truthmaker-transmission, the already classical metalinguistic theory of model-relative evaluations.
Journal ArticleDOI
What is a rule of inference
TL;DR: A proposed solution is arrived at that places a surprisingly heavy load on the prospect of being able to understand and deal with specifications of rules that are essentially self-referring.
Journal ArticleDOI
Belief-revision, the ramsey test, monotonicity, and the so-called impossibility results
TL;DR: It is shown that being careful in this way about the proper domains of definition of the three operations of expansion, contraction, and revision also disposes of another, more direct, impossibility result, due to Arló-Costa, that targets the Ramsey test.