Все публикации

2:01:30

A conversational explanation of cognitive intuition

1:51:18

Poincaré and the Analytical Tradition

2:05:27

LOGIC AND EPISTEMOLOGY, CONVERSATION II

2:05:39

LOGIC AND EPISTEMOLOGY, CONVERSATION I

1:49:54

The Art of Ordinal Analysis

1:46:56

Essential Hereditary Undecidability

1:41:15

Against Doxastic Pragmatism

1:48:00

AGAINST LOGICAL PLURALISM: AN ARGUMENT FROM NORMATIVITY

1:48:51

Normal forms of proofs in natural deduction II: complexity

1:53:20

Normal forms of proofs in natural deduction I: existence and uniqueness

2:29:42

History of Mathematical Logic in China: From its beginnings to Tsinghua University

1:59:34

Ethics for the Era of Globalisation?

1:57:00

Judgment as a Part of Method

2:03:08

Moral Truth

2:08:42

Necessity and Contingency: Quantum Mechanics and Empiricist Modalism

2:05:26

Models and Modal Knowledge

2:03:45

The Value of Truth

2:05:41

The Post-Truth Crisis

2:09:17

The Provability of Consistency: Debunking the Myth

2:03:14

Was the Later Wittgenstein a Transcendental ？

2:02:19

Was the Early Wittgenstein a Transcendental Idealist?

2:42:22

Methodological frames: mathematical structuralism and proof theory

2:40:39

What is concrete incompleteness?

2:43:36

On the A Priori