When rules define logical operators: rules as second-order definitions

DOI10.1007/S10992-025-09806-6MaRDI QIDQ6932056zbMATH OpenFDO

Authors Hannes Leitgeb

Publication date 9 September 2025

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10992-025-09806-6

zbMATH Keywords

definitionslogical inferentialismpriorsecond-order logictonk

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A defense of logicism
• A natural extension of natural deduction
• Anything goes
• Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem.
• Classical harmony and separability
• Commuting conversions vs. the standard conversions of the ``good connectives
• Compositionality solves Carnap's problem
• Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
• Foundations of logical consequence
• General-elimination harmony and the meaning of the logical constants
• General-elimination stability
• Generalized definitional reflection and the inversion principle
• Grundlagen der Mathematik I
• Harmony and autonomy in classical logic
• scientific article; zbMATH DE number 3125691 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 709086 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3099243 (Why is no real title available?)
• Inferentialism and the categoricity problem: reply to Raatikainen
• Inferentialism, Logicism, Harmony, and a Counterpoint
• Internal categoricity in arithmetic and set theory
• Inversion principles and introduction rules
• Logic and structure
• Logical constants across varying types
• Logische Syntax der Sprache
• Mathematical logic
• Modal logic for philosophers
• On rules of inference and the meanings of logical constants
• Patches, patchworks, and epsilon terms: a neo-Carnapian account of theoretical terms in science
• Proof-theoretic semantics: an autobiographical survey
• RAMSIFICATION AND SEMANTIC INDETERMINACY
• The adequacy problem for inferential logic
• The bounds of logic. A generalized viewpoint
• The characterization of monadic logic
• The connectives
• The logical writings of Karl Popper
• The naturality of natural deduction
• The principles of Mathematics. Vol I.
• The Ways of Logicality: Invariance and Categoricity
• Typed object theory
• Untersuchungen über das logische Schliessen. II
• What's so logical about the logical axioms?
• What's wrong with tonk(?)
• Which quantifiers are logical? A combined semantical and inferential criterion
• Über Möglichkeiten im Relativkalkul.

This page was built for publication: When rules define logical operators: rules as second-order definitions

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