Inferentialism, Logicism, Harmony, and a Counterpoint

DOI10.1093/OSO/9780199278343.003.0009OpenAlexW3081094072MaRDI QIDQ5137239FDOQ5137239

Authors: 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

Recommendations

• Logical expressivism, logical theory and the critique of inferences
• The Logic in Logicism
• Logic, logics, and logicism
• Harmonic inferentialism and the logic of identity
• Harmony and autonomy in classical logic
• Logic in the \textit{Tractatus}
• Logicism and Logical Consequence
• The problem of harmony in classical logic
• Structuralist logic: implications, inferences, and consequences
• The fruits of logicism

zbMATH Keywords

harmonyDummettinferentialismPrawitzBrandomquietism

Mathematics Subject Classification ID

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

Cited In (6)

• Logic as instrument: the millian view on the role of logic
• Bilateral Rules as Complex Rules
• Hopeful monsters: a note on multiple conclusions
• Reading conclusions conjunctively
• General-Elimination Harmony and Higher-Level Rules
• Anything goes

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5137239)