10 results
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND $\Gamma _{0}$
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 30 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 19 January 2024, pp. 41-91
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE GENEALOGY OF ‘$\mathbin {\boldsymbol {\vee }}$’
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 03 January 2022, pp. 862-899
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 02 December 2021, pp. 650-654
- Print publication:
- June 2023
-
- Article
- Export citation
KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 26 July 2021, pp. 267-297
- Print publication:
- September 2021
-
- Article
- Export citation
FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 22 February 2021, pp. 624-667
- Print publication:
- September 2022
-
- Article
- Export citation
GÖDEL ON MANY-VALUED LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 22 February 2021, pp. 655-671
- Print publication:
- September 2023
-
- Article
- Export citation
LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 411-446
- Print publication:
- June 2021
-
- Article
- Export citation
WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 25 June 2020, pp. 1-21
- Print publication:
- March 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 20 September 2019, pp. 1011-1029
- Print publication:
- December 2021
-
- Article
- Export citation
DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 02 September 2019, pp. 197-224
- Print publication:
- March 2022
-
- Article
- Export citation