Inferentialism, Logicism, Harmony, and a Counterpoint

DOI10.1093/OSO/9780199278343.003.0009MaRDI QIDQ5137239zbMATH OpenOpenAlexFDO

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

BrandomDummettharmonyinferentialismPrawitzquietism

Mathematics Subject Classification ID

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

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

(8)

• Anything goes
• Hopeful monsters: a note on multiple conclusions
• Logic as instrument: the millian view on the role of logic
• General-elimination harmony and higher-level rules
• Bilateral Rules as Complex Rules
• Reading conclusions conjunctively
• When rules define logical operators: rules as second-order definitions
• Whence admissibility constraints? From inferentialism to tolerance

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)