What is Formalisation?
★
★
★
★
☆
4/5
Logic, Philosophy and Gödel
@logicphilosophyandgodel2253
What is Logic About?
★
★
★
★
☆
4/5
Semantic Analyticity and Carnapian Logicism
★
★
★
★
☆
4/5
On set theoretic reflection principles
★
★
★
★
☆
4/5
Proof, truth and verification
★
★
★
★
★
5/5
The long view
★
★
★
★
☆
4/5
Geometrized arithmetic and the unity of mathematics
★
★
★
★
☆
4/5
Reverse mathematics over a weak base theory
★
★
★
★
★
5/5
What are consistency proofs and what should they be
★
★
★
★
☆
4/5
Reverse Mathematics: classifying theorems
★
★
★
★
☆
4/5
Truthmaker Semantics
★
★
★
★
★
5/5
New results on incompleteness and ordinal analysis
★
★
★
★
★
5/5
Goodstein walks and Gödel incompleteness
★
★
★
★
☆
4/5
Soundness Spectra
★
★
★
★
☆
4/5
The pre-history of automated reasoning
★
★
★
★
☆
4/5
Tarski's Truth Theory and Response to Objections
★
★
★
★
☆
4/5
A conversational explanation of cognitive intuition
★
★
★
★
☆
4/5
Poincaré and the Analytical Tradition
★
★
★
★
☆
4/5
LOGIC AND EPISTEMOLOGY, CONVERSATION II
★
★
★
★
☆
4/5
LOGIC AND EPISTEMOLOGY, CONVERSATION I
★
★
★
★
☆
4/5
The Art of Ordinal Analysis
★
★
★
★
★
5/5
Essential Hereditary Undecidability
★
★
★
★
☆
4/5
Against Doxastic Pragmatism
★
★
★
★
☆
4/5
Ethics for the Era of Globalisation?
★
★
★
★
☆
4/5
Judgment as a Part of Method
★
★
★
★
☆
4/5
Moral Truth
★
★
★
★
☆
4/5