
 [No title] 
  Logical structure of sentences and arguments; elementary symbolic methods; applications. 
  A secondsemester course in symbolic logic: formal syntax and semantics, basic metatheory (soundness, completeness, compactness, and LowenheimSkolem theorems), and further topics in logic. 
  Issues in philosophical logic and its applications, such as theories of meaning, logical paradoxes, epistemic logic, deontic logic, modal logic, existence, and identity. 
 www.utexas.edu /student/registrar/gopherfiles/catalog/catug/Ch08/LA.PHL.txt (2455 words) 
