Fundamentals Of Metalogic

author: John K. Slaney, Australian National University
published: April 16, 2009,   recorded: January 2009,   views: 17021

See Also:

Download article icon Download article: ssll09_slaney_fom.pdf (145.0┬áKB)

Help icon Streaming Video Help

Related Open Educational Resources

Related content

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Lecture popularity: You need to login to cast your vote.

 Watch videos:   (click on thumbnail to launch)

Watch Part 1
Part 1 59:24
Watch Part 2
Part 2 44:32
Watch Part 3
Part 3 1:03:15
Watch Part 4
Part 4 1:04:04
Watch Part 5
Part 5 51:33
Watch Part 6
Part 6 59:23


This course provides an introduction to the metatheory of elementary logic. Following a "refresher" on the basics of notation and the use of classical logic as a representation language, we concentrate on the twin notions of models and proof. An axiomatic system of first order logic is introduced and proved complete for the standard semantics, and then we give an overview of the basic concepts of proof theory and of formal set theory. The material in this course is presupposed by other courses in the Summer School, which is why it is presented first.

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Reviews and comments:

Comment1 Chris, June 10, 2010 at 9:29 p.m.:

Part 1 has issues starting at about the 30 minute mark and occurring until the end, the video keeps freezing in flash and in WMV the image feed stops but the audio keeps going.

Write your own review or comment:

make sure you have javascript enabled or clear this field: