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

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)

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

Cited in

(6)

• General-elimination harmony and higher-level rules
• Reading conclusions conjunctively
• Logic as instrument: the millian view on the role of logic
• Hopeful monsters: a note on multiple conclusions
• Bilateral Rules as Complex 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)