Inferentialism, Logicism, Harmony, and a Counterpoint

DOI10.1093/oso/9780199278343.003.0009OpenAlexW3081094072MaRDI QIDQ5137239

Neil Tennant

Publication date: 2 December 2020

Published in: Logic, Language, and Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/oso/9780199278343.003.0009

zbMATH Keywords

harmonyDummettBrandominferentialismPrawitzquietism

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 21st century (01A61)

Related Items (4)

Bilateral Rules as Complex Rules ⋮ Anything goes ⋮ General-Elimination Harmony and Higher-Level Rules ⋮ Hopeful monsters: a note on multiple conclusions

This page was built for publication: Inferentialism, Logicism, Harmony, and a Counterpoint