Cover Image

On Chwistek's criticism of Principia

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Boyce, Stephen
Format:	Preprint
Published:	2009
Subjects:	Logic 03-03
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tarski's Undefinability Theorem and first-order arithmetic
by: Boyce, Stephen
Published: (2010)

Reflections on Russell's antinomy
by: Cattabriga, Paola
Published: (2024)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
by: Kristiansen, Lars, et al.
Published: (2024)

$ω$-consistency for Different Arrays of Quantifiers
by: Santos, Paulo Guilherme
Published: (2024)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
by: Miwa, Tadayoshi, et al.
Published: (2026)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

On first-order arithmetic truth
by: Boyce, Stephen
Published: (2011)

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Infima and cardinal characteristics of critical ideals for countable compact spaces
by: Kowalczuk, Malgorzata
Published: (2026)

Satisfaction is not absolute
by: Hamkins, Joel David, et al.
Published: (2013)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Schmidt's Game and Vitali Sets
by: Atchley, James, et al.
Published: (2026)

The calculus of names -- The legacy of Jan Łukasiewicz
by: Pietruszczak, Andrzej
Published: (2023)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
by: Howlader, Prosenjit, et al.
Published: (2024)

AC and the Independence of WO in Second-Order Henkin Logic, Part I
by: Gaßner, Christine
Published: (2024)

A Gentle Introduction to the Axiom of Choice
by: Blass, Andreas, et al.
Published: (2025)

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
by: Schmerl, James
Published: (2026)

On some Fraisse limits with free amalgamation
by: Bossut, Yvon
Published: (2024)

Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)

Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)