You are not currently logged in.
Access JSTOR through your library or other institution:
If You Use a Screen ReaderThis content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Second-Order Logic and Foundations of Mathematics
The Bulletin of Symbolic Logic
Vol. 7, No. 4 (Dec., 2001), pp. 504-520
Published by: Association for Symbolic Logic
Stable URL: http://www.jstor.org/stable/2687796
Page Count: 17
You can always find the topics here!Topics: Mathematical logic, Mathematics, Mathematical set theory, Formalization, Semantics, Axioms, Zermelo Frankel set theory, Object languages, Mathematical sets, Predicate logic
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Preview not available
We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows that if second-order logic is understood in its full semantics capable of characterizing categorically central mathematical concepts, it relies entirely on informal reasoning. On the other hand, if it is given a weak semantics, it loses its power in expressing concepts categorically. First-order set theory and second-order logic are not radically different: the latter is a major fragment of the former.
The Bulletin of Symbolic Logic © 2001 Association for Symbolic Logic