scispace - formally typeset
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

Neil Tennant
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

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.