A critical appraisal of second-order logic

DOI10.1080/01445349308837210MaRDI QIDQ3141185zbMATH OpenOpenAlexWikidataFDO

Authors Ignacio Jané

Publication date 5 June 1994

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445349308837210

zbMATH Keywords

set theorysecond-order logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Set theory (03E99)

Recommendations

• A defense of second-order logic
• scientific article; zbMATH DE number 1550339
• Logicism and Second-Order Logic
• Alternative versions of second-order logic: an introduction
• Second-order logic: properties, semantics, and existential commitments
• scientific article; zbMATH DE number 1984507
• scientific article; zbMATH DE number 1163925
• Second-Order Logic and Foundations of Mathematics
• scientific article; zbMATH DE number 5885155

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 4063046 (Why is no real title available?)
• scientific article; zbMATH DE number 4070882 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 1135526 (Why is no real title available?)
• scientific article; zbMATH DE number 3198017 (Why is no real title available?)
• A model of set-theory in which every set of reals is Lebesgue measurable
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Higher set theory and mathematical practice
• Kreisel, the continuum hypothesis and second order set theory
• Provability, truth, and modal logic
• Second-order languages and mathematical practice
• Set theory. An introduction to large cardinals

Cited in

(19)

• scientific article; zbMATH DE number 1984507 (Why is no real title available?)
• Strong logics of first and second order
• Second-Order Logic and Foundations of Mathematics
• Principles of reflection and second-order logic
• On representations of intended structures in foundational theories
• Second-order logic and the power set
• Second order logic, set theory and foundations of mathematics
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 2076264 (Why is no real title available?)
• Second-order languages and mathematical practice
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
• Second-order arithmetic \textit{sans} sets
• Completeness and categoricity: Frege, gödel and model theory
• A defense of second-order logic
• Second order logic or set theory?
• Higher-order logic or set theory: a false dilemma
• What's so bad about second-order logic?
• Commentary: On motivating higher-order logic
• Sort logic and foundations of mathematics

This page was built for publication: A critical appraisal of second-order logic

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