Logic, Philosophy and Gödel

@logicphilosophyandgodel2253

99 tuit · page 1/3
What is Formalisation?
Humanities, Social Sciences & Thought Mathematics
EN

What is Formalisation?

Prof. Alexander Paseau
79 min
★ ★ ★ ★ ☆ 4/5
FormalizationLogicPhilosophy
What is Logic About?
Humanities, Social Sciences & Thought Philosophy & Ethics
EN

What is Logic About?

Timothy Williamson
65 min
★ ★ ★ ★ ☆ 4/5
LogicPhilosophyLogical Consequence
Proof, truth and verification
Formal & Physical Sciences Mathematics
EN

Proof, truth and verification

Prof. Graham Leigh
82 min
★ ★ ★ ★ ☆ 4/5
Proof TheorySequent CalculusLinear Temporal Logic
The long view
Humanities, Social Sciences & Thought Mathematics
EN

The long view

Colin McLarty
111 min
★ ★ ★ ★ ☆ 4/5
Philosophy of MathematicsHistory of MathematicsPlato
Truthmaker Semantics
Humanities, Social Sciences & Thought Philosophy & Ethics
EN

Truthmaker Semantics

Kit Fine
93 min
★ ★ ★ ★ ★ 5/5
Truthmaker SemanticsPhilosophy of LogicSemantics
Soundness Spectra
Formal & Physical Sciences Mathematics
EN

Soundness Spectra

Juan P. Aguilera
121 min
★ ★ ★ ★ ☆ 4/5
Proof TheoryOrdinal AnalysisDilators
The pre-history of automated reasoning
Humanities, Social Sciences & Thought Computing & Cybersecurity
EN

The pre-history of automated reasoning

Richard Zach
129 min
★ ★ ★ ★ ★ 5/5
History of LogicAutomated ReasoningTheorem Proving
Poincaré and the Analytical Tradition
Humanities, Social Sciences & Thought Philosophy & Ethics
EN

Poincaré and the Analytical Tradition

Prof. Gerhard Heinzmann
111 min
★ ★ ★ ★ ☆ 4/5
PoincaréAnalytic PhilosophyPhilosophy of Science
LOGIC AND EPISTEMOLOGY, CONVERSATION II
Humanities, Social Sciences & Thought Philosophy & Ethics
EN

LOGIC AND EPISTEMOLOGY, CONVERSATION II

Johan van Benthem
125 min
★ ★ ★ ★ ☆ 4/5
Epistemic LogicLogical ConsequenceKnowledge
LOGIC AND EPISTEMOLOGY, CONVERSATION I
Humanities, Social Sciences & Thought Philosophy & Ethics
EN

LOGIC AND EPISTEMOLOGY, CONVERSATION I

Johan van Benthem
125 min
★ ★ ★ ★ ☆ 4/5
Epistemic LogicSemantic InformationKnowledge
The Art of Ordinal Analysis
Formal & Physical Sciences Mathematics
EN

The Art of Ordinal Analysis

Prof. Michael Rathjen
109 min
★ ★ ★ ★ ★ 5/5
Proof TheoryOrdinal AnalysisMathematical Logic
Against Doxastic Pragmatism
Humanities, Social Sciences & Thought Philosophy & Ethics
EN

Against Doxastic Pragmatism

Prof. Pascal Engel
101 min
★ ★ ★ ★ ☆ 4/5
PhilosophyPragmatismEpistemology
Ethics for the Era of Globalisation?
Humanities, Social Sciences & Thought Philosophy & Ethics
EN

Ethics for the Era of Globalisation?

Prof. Jure Zovko
119 min
★ ★ ★ ★ ☆ 4/5
EthicsGlobalizationKant
Judgment as a Part of Method
Humanities, Social Sciences & Thought Philosophy & Ethics
EN

Judgment as a Part of Method

Prof. Jure Zovko
117 min
★ ★ ★ ★ ☆ 4/5
PhilosophyJudgmentSocratic Method
Moral Truth
Humanities, Social Sciences & Thought Philosophy & Ethics
EN

Moral Truth

Prof. Gila Sher
123 min
★ ★ ★ ★ ☆ 4/5
Moral TruthCorrespondence TheoryEthics