Use Consensus here: https://consensus.app/
For Premium access, use code ATTICPHILOSOPHY1 (expires 7/31/25)
How do the symbols in logic get their meaning? This video looks at one of the main theories, Proof Theoretic Semantics, which has important links to computer science.
You can support the channel and help it grow by contributing on my Ko-fi page: https://ko-fi.com/atticphilosophy
00:00 - Intro
00:26 - Truth-theoretic semantics
01:07 - Proof-theoretic semantics
01:32 - Wittgenstein
04:13 - Consensus search engine
05:23 - Michael Dummett
06:31 - Influences from Proof Theory
08:48 - Curry-Howard Correspondence
09:58 - Intuitionistic Logic
13:32 - Sequent calculus
15:30 - Truth and disjunction
16:27 - The Tonk problem
18:10 - The Knowability problem
If there’s a topic you’d like to see covered, leave me a comment below.
Links:
My academic philosophy page: http://markjago.net
My book What Truth Is: http://bit.ly/JagoTruth
Most of my publications are available freely here: https://philpapers.org/s/Mark%20Jago
Get in touch on Social media!
Twitter: https://twitter.com/PhilosophyAttic
#philosophy #logic #meaning