Meaning in Logic скачать в хорошем качестве

Meaning in Logic

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:   / philosophyattic   #philosophy #logic #meaning