Skip directly to: Main page content
UC Davis Department of Philosophy

Metalogic

Quick links

Philosophy Department

1240 Social Sciences and Humanities
University of California, Davis
One Shields Avenue
Davis, CA 95616

Phone: (530) 752-0607

Fax: (530) 752-8964

Picture of Kurt Godel


Kurt Gödel

Recent News

  • None

This is the home page of G. J. Mattey’s Philosophy 113, Metalogic, for Winter Quarter, 2017.

The Course

The course will be devoted to a study of the metalogic of classical propositional and first-order predicate logic. Proofs will be given of the soundness and completeness of axiom systems of propositional and predicate logic. Time permitting, other topics will be explored.

General Catalog Course Description

The metalogic of classical propositional and first-order predicate logic. Consistency, soundness and completeness of both propositional and predicate logic. The Löwenheim-Skolem theorem for predicate logic. Undecidablity of predicate logic.