JOURNAL ARTICLE

Sharon Berry.A Logical Foundation for Potentialist Set Theory.

  • Published In: Philosophia Mathematica, 2023, v. 31, n. 2. P. 277 1 of 3

  • Database: Academic Search Ultimate 2 of 3

  • Authored By: Scambler, Chris 3 of 3

Abstract

This book offers a foundation for mathematics grounded in a collection of axioms for logical possibility in a first-order language. The interpretation result Berry proves establishes only that every theorem of set theory has a translation that is a theorem of her system; so far as the results go, we have no absolute guarantee that some non-theorem of set theory does not have a provable translation, or indeed that the system does not exhibit some subtle inconsistency. Berry lays down axioms for conditional logical possibility, provides a translation of the language of set theory into the language of conditional logical possibility, and argues that the translations of all theorems of set theory are provable from her axioms. [Extracted from the article]

Additional Information

  • Source:Philosophia Mathematica. 2023/06, Vol. 31, Issue 2, p277
  • Document Type:Article
  • Subject Area:Science
  • Publication Date:2023
  • ISSN:0031-8019
  • DOI:10.1093/philmat/nkad004
  • Accession Number:164689921
  • Copyright Statement:Copyright of Philosophia Mathematica is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Looking to go deeper into this topic? Look for more articles on EBSCOhost.