A critical appraisal of second-order logic

DOI10.1080/01445349308837210zbMATH Open0788.03003OpenAlexW2012617044WikidataQ58524337 ScholiaQ58524337MaRDI QIDQ3141185FDOQ3141185

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

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

zbMATH Keywords

set theorysecond-order logic

Mathematics Subject Classification ID

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

Cites Work

• A model of set-theory in which every set of reals is Lebesgue measurable
• Title not available (Why is that?)
• Set theory. An introduction to large cardinals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Higher set theory and mathematical practice
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Second-order languages and mathematical practice
• Kreisel, the continuum hypothesis and second order set theory
• Provability, truth, and modal logic

Cited In (18)

• Title not available (Why is that?)
• Strong logics of first and second order
• Second-Order Logic and Foundations of Mathematics
• Principles of reflection and second-order logic
• Second order logic, set theory and foundations of mathematics
• Second-order logic and the power set
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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?
• Sort logic and foundations of mathematics
• Commentary: On motivating higher-order logic

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)