Second-order languages and mathematical practice

DOI10.2307/2274326MaRDI QIDQ3727947zbMATH OpenOpenAlexFDO

Authors Stewart Shapiro

Publication date 1985

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

Full work available at URL https://doi.org/10.2307/2274326

zbMATH Keywords

adequacy of first-order languagesanalysisarithmeticcategoricityLöwenheim-Skolem theoremssecond-order logicsemanticsset theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Recommendations

• Second-Order Logic and Foundations of Mathematics
• A critical appraisal of second-order logic
• Second order logic or set theory?
• A defense of second-order logic
• scientific article; zbMATH DE number 50939

Cites work

• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Categoricity
• scientific article; zbMATH DE number 3882394 (Why is no real title available?)
• scientific article; zbMATH DE number 3875222 (Why is no real title available?)
• scientific article; zbMATH DE number 3788579 (Why is no real title available?)
• Which logic is the right logic?

Cited in

(14)

• Toward a modal-structural interpretation of set theory
• A model for science kinematics
• IMPS: An interactive mathematical proof system
• Axiomatizations of arithmetic and the first-order/second-order divide
• The challenge of many logics: a new approach to evaluating the role of ideology in Quinean commitment
• Putnam and constructibility
• A critical appraisal of second-order logic
• The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs
• Putnam's constructivization argument
• Second-order arithmetic \textit{sans} sets
• What can a categoricity theorem tell us?
• A defense of second-order logic
• Mathematical practice: how an astronomical table was made in the \textit{Yuanjia li} (443 AD)
• Putnam's model-theoretic argument (meta)reconstructed. In the mirror of Carpintero's and van Douven's interpretations

This page was built for publication: Second-order languages and mathematical practice

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