This video series introduces the basics of logic as a formal language, and looks at how ordinary language is represented in logic. The first video presents constants and variables, including the symbols you will use to represent them.
Topics focus on the use of logic for encoding and communicating language. The lessons in this introduction to logic will not explicitly cover truth and arguments.
www.nativlang.com/linguistics
Music: Kevin MacLeod (incompetech.com)
21 Comments