Language, Proof and Logic
About this Course
In this course you will be introduced to the concepts and techniques used in logic. We will start right from the beginning, assuming no prior exposure to this or similar material, and progress through discussions of the proof and model theories of propositional and first-order logic. All learners receive a complete textbook and software package ($55.00 value). We will proceed by giving a theory of truth, and of logical consequence, based on a formal language called FOL (the language of First-Order Logic). We adopt a formal language for making statements, since natural languages (like English, for example) are far too vague and ambiguous for us to analyze sufficiently. Armed with the formal language, we will be able to model the notions of truth, proof and consequence, among others.Created by: Stanford University
Level: Introductory
Related Online Courses
This course looks at the history of Italy, which dates back 150 years. The lessons in this course will explore the making of Italy, using a concrete or symbolically significant event for each... more
This course, part of the Public Library Management Professional Certificate program, will explore skills needed for hiring and evaluating personnel to reflect your library's mission through an... more
Conversion is a multidimensional phenomenon with religious, social, political and legal implications. By examining these implications, one can learn how religious communities function, how they... more
Dentro de la práctica educativa y clínica, las neurociencias y la psicología cognitiva son ejes fundamentales en la comprensión del comportamiento humano. Estas disciplinas aportan no solo mod... more
Have you ever wondered what babies are capable of from the moment they're born? Developmental psychology is the study of an individual's social, emotional, cognitive, and biological development... more
Powered by
