Faculty

Institution

Unit

Venue

Neil Tennant

Arts & Sciences Distinguished Professor in Philosophy

Ohio State University

Affiliations

College of Arts and Sciences

Philosophy

Neil Tennant is currently serving as a College Of Arts And Sciences Arts & Sciences Distinguished Professor in Philosophy at Ohio State University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Neil Tennant

Ohio State University

Arts & Sciences Distinguished Professor in Philosophy

You can click a keyword to filter the displayed items

philosophy logic in computer science philosophical logic philosophy of logic mathematical logic mathematics cognitive science philosophy of mathematics automated reasoning classical logic logical formalism psychology philosophy of mind core logic philosophy of science epistemology knowledge representation and reasoning applied logic epistemic logic history of logic proof theory formal theory rationality approximate reasoning mathematical sciences applied philosophy logical reasoning non-classical logic choice theory formal mathematical reasoning belief revision natural logicism theory change logical structure narrative intellectual discourse affective neuroscience cultural change thinking skills applied cognitive psychology developmental cognitive neuroscience social choice evolutionary applications adaptation theoretical biology deontic logic irrationality theoretical analysis case-based reasoning reasoning system knowledge-based reasoning situational reasoning relevance logic theory building logic programming mindset mindbody problem mind-body interventions mind-body connection belief merging formal epistemology intuitionistic logic sexism philosophy of biology necessary existence anti-realist aporias general theory abstraction operators orderly pairing parallelized natural deductions ultimate normal forms classical core logic core proofs anti-realist critique intuitionistic mathematics relational theory natural computing stem education ontology research computational philosophy computational logic history and philosophy of science foundation of mathematics evolutionary biology science and technology studies

Notable Scholarly Works

Notable Federal Grants

Collaborators

Frege’s Class Theory and the Logic of Sets. Outstanding contributions to logic (2024)

Neil Tennant

set theoryclass theoryclassical logiclogic in computer science

Perfect Proofs at First Order. Journal of Logic and Computation (2024)

Neil Tennant

computer sciencelogic in computer scienceproof theorycomputational logicperfect proofsfirst-order logicautomated reasoningtheory of computation

The Logic for Mathematics Without Ex Falso Quodlibet. Philosophia Mathematica (2024)

Neil Tennant

philosophy of mathematicsmathematical logicphilosophymathematicsphilosophical logicphilosophy of logic

The Umpire’s Dilemma and the Ashes of Realism. Synthese Library/Synthese library (2024)

Neil Tennant

Which ‘Intensional Paradoxes’ Are Paradoxes?. Journal of Philosophical Logic (2024)

Neil Tennant

logical formalismphilosophyphilosophical logicepistemologyphilosophy of logicepistemic logic

Core Gödel. Notre Dame Journal of Formal Logic (2023)

Neil Tennant

logic in computer sciencelogical formalismmathematical logicphilosophyclassical logichistory of logicphilosophical logicformal theoryphilosophy of logicformal methods

On the Adequacy of a Substructural Logic for Mathematics and Science. The Philosophical Quarterly (2022)

Neil Tennant

philosophy of mathematicslogic in computer sciencephilosophical inquirylogical formalismmathematical logicphilosophyphilosophy of sciencemathematicsphilosophical logicsubstructural logicphilosophy of logicmathematical sciences

The Logic of Number. Oxford University Press eBooks (2022)

Neil Tennant

philosophy of mathematicslogic in computer sciencealgebraic number theorymathematical logicphilosophyapproximate reasoningformal mathematical reasoningmathematicsphilosophical logicgeometry of numbersphilosophy of logicnumber theoryautomated reasoningnumeracyepistemic logic

Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†. Philosophia Mathematica (2020)

Neil Tennant

philosophy of mathematicsphilosophychoice theoryfoundational reflections

Transmission of Verification. The Review of Symbolic Logic (2020)

Ethan BrauerNeil Tennant

transmission systemlinguisticsverification and validationformal verificationtransmissionverificationformal methods

1
2
3
4
5
6
7
10 / page

Neil Tennant

Arts & Sciences Distinguished Professor in Philosophy

Ohio State University

Affiliations

College of Arts and Sciences

Philosophy

Neil Tennant is currently serving as a College Of Arts And Sciences Arts & Sciences Distinguished Professor in Philosophy at Ohio State University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Neil Tennant

Ohio State University

Arts & Sciences Distinguished Professor in Philosophy

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Frege’s Class Theory and the Logic of Sets. Outstanding contributions to logic (2024)

Neil Tennant

set theoryclass theoryclassical logiclogic in computer science

Perfect Proofs at First Order. Journal of Logic and Computation (2024)

Neil Tennant

computer sciencelogic in computer scienceproof theorycomputational logicperfect proofsfirst-order logicautomated reasoningtheory of computation

The Logic for Mathematics Without Ex Falso Quodlibet. Philosophia Mathematica (2024)

Neil Tennant

philosophy of mathematicsmathematical logicphilosophymathematicsphilosophical logicphilosophy of logic

The Umpire’s Dilemma and the Ashes of Realism. Synthese Library/Synthese library (2024)

Neil Tennant

Which ‘Intensional Paradoxes’ Are Paradoxes?. Journal of Philosophical Logic (2024)

Neil Tennant

logical formalismphilosophyphilosophical logicepistemologyphilosophy of logicepistemic logic

Core Gödel. Notre Dame Journal of Formal Logic (2023)

Neil Tennant

logic in computer sciencelogical formalismmathematical logicphilosophyclassical logichistory of logicphilosophical logicformal theoryphilosophy of logicformal methods

On the Adequacy of a Substructural Logic for Mathematics and Science. The Philosophical Quarterly (2022)

Neil Tennant

The Logic of Number. Oxford University Press eBooks (2022)

Neil Tennant

Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†. Philosophia Mathematica (2020)

Neil Tennant

philosophy of mathematicsphilosophychoice theoryfoundational reflections

Transmission of Verification. The Review of Symbolic Logic (2020)

Ethan BrauerNeil Tennant

transmission systemlinguisticsverification and validationformal verificationtransmissionverificationformal methods

1
2
3
4
5
6
7
10 / page

Similar Faculty Members

Colin McLarty

Institution

Case Western Reserve University

philosophical logic

logical formalism

Hartry Field

Institution

New York University

humanities

epistemology

John Burgess

Institution

Princeton University

philosophical logic

philosophy

Paolo Mancosu

Institution

University of California, Berkeley

mathematics

philosophy

Michael Rescorla

Institution

University of California, Los Angeles

computational philosophy

philosophical logic

James W. Garson

Institution

University of Houston

information technology

computational philosophy

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Peter J. Lewis

Institution

Dartmouth College

epistemology

computational philosophy

W. Hugh Woodin

Institution

Harvard University

Ernest Schimmerling

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science

Similar Faculty Members

Colin McLarty

Institution

Case Western Reserve University

philosophical logic

logical formalism

Hartry Field

Institution

New York University

humanities

epistemology

John Burgess

Institution

Princeton University

philosophical logic

philosophy

Paolo Mancosu

Institution

University of California, Berkeley

mathematics

philosophy

Michael Rescorla

Institution

University of California, Los Angeles

computational philosophy

philosophical logic

James W. Garson

Institution

University of Houston

information technology

computational philosophy

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Peter J. Lewis

Institution

Dartmouth College

epistemology

computational philosophy

W. Hugh Woodin

Institution

Harvard University

Ernest Schimmerling

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science