Structuralism and informal provability

DOI10.1007/S11229-023-04274-4MaRDI QIDQ6835087zbMATH OpenFDO

Authors Georg Schiemer, John Wigglesworth

Publication date 31 March 2026

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11229-023-04274-4

zbMATH Keywords

modal semanticsmathematical structuralisminformal provabilitymathematical epistemologybi-modal logics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Cites work

• scientific article; zbMATH DE number 3891353 (Why is no real title available?)
• scientific article; zbMATH DE number 5282337 (Why is no real title available?)
• scientific article; zbMATH DE number 3596801 (Why is no real title available?)
• scientific article; zbMATH DE number 1028832 (Why is no real title available?)
• scientific article; zbMATH DE number 1150557 (Why is no real title available?)
• scientific article; zbMATH DE number 1150559 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 1550341 (Why is no real title available?)
• scientific article; zbMATH DE number 194992 (Why is no real title available?)
• Algebraic treatment of the notion of satisfiability
• An introduction to non-classical logic. From if to is
• Axioms in mathematical practice
• Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Eine Interpretation des intuitionistischen Aussagenkalküls.
• Informal proof, formal proof, formalism
• Informal proofs and mathematical rigour
• Intuitionistic epistemic logic, Kripke models and Fitch's paradox
• Logic and structure
• Logics With Several Modal Operators
• Mathematics and its logics. Philosophical essays
• Modal-epistemic arithmetic and the problem of quantifying in
• Modal-epistemic variants of Shapiro's system of epistemic arithmetic
• Model Theory
• On formal and informal provability
• On non-eliminative structuralism. Unlabeled graphs as a case study. I.
• Reliability of mathematical inference
• Some theorems about the sentential calculi of Lewis and Heyting
• Splitting logics
• Structuralism Without Structures
• Structures and structuralism in contemporary philosophy of mathematics
• THE POTENTIAL HIERARCHY OF SETS
• The bounds of logic. A generalized viewpoint
• The structuralist thesis reconsidered
• Toward predicate approaches to modality
• Two-dimensional modal logic
• What are structural properties?
• What is axiomatics?
• Why Do We Prove Theorems?
• Why do informal proofs conform to formal norms?

This page was built for publication: Structuralism and informal provability

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