82 results in 03AXX
THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, pp. 501-513
- Print publication:
- December 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Second-Order Modal Logic
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, pp. 530-531
- Print publication:
- December 2021
-
- Article
-
- You have access
- Export citation
PREDICATIVISM AS A FORM OF POTENTIALISM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 23 November 2021, pp. 1-32
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
AGAINST CUMULATIVE TYPE THEORY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 02 September 2021, pp. 907-949
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 01 September 2021, pp. 385-424
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- 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
LOGICALITY AND MODEL CLASSES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 26 July 2021, pp. 385-414
- Print publication:
- December 2021
-
- Article
- Export citation
PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 26 July 2021, pp. 351-384
- Print publication:
- December 2021
-
- Article
- Export citation
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 02 July 2021, pp. 880-906
- Print publication:
- December 2022
-
- Article
- Export citation
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 02 July 2021, pp. 624-649
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 02 July 2021, pp. 1080-1109
- Print publication:
- December 2023
-
- Article
- Export citation
THE COPERNICAN MULTIVERSE OF SETS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 14 June 2021, pp. 1033-1069
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 06 May 2021, pp. 436-460
- Print publication:
- December 2021
-
- Article
- Export citation
LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 29 April 2021, pp. 461-484
- Print publication:
- December 2021
-
- Article
- Export citation
LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 28 April 2021, pp. 1-26
- Print publication:
- March 2022
-
- Article
- Export citation
DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 20 April 2021, pp. 592-623
- Print publication:
- September 2021
-
- Article
- Export citation
FOR BETTER AND FOR WORSE. ABSTRACTIONISM, GOOD COMPANY, AND PLURALISM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 22 March 2021, pp. 268-297
- Print publication:
- March 2023
-
- Article
- Export citation
CARNAP’S PROBLEM FOR MODAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 08 March 2021, pp. 578-602
- Print publication:
- June 2023
-
- Article
- Export citation
BOLZANO’S MATHEMATICAL INFINITE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 22 February 2021, pp. 59-113
- Print publication:
- March 2023
-
- 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