| |
|
|
| Course Title: |
Introduction to Mathematical Logic (PHIL 155) |
| School: |
University of North Carolina at Chapel Hill - Friday Center
|
| Description: |
Symbolic logic is the study of certain precisely specified formal languages. In this course we will study these languages and their applications. Symbolic logic has proven to be extremely useful in a number of different disciplines. First, they are helpful in the study of good and valid reasoning. We will use these formal languages to study valid and invalid forms of reasoning, and how to distinguish them. Secondly, symbolic logic is useful in the study of natural languages, and we will see some illustrative examples of this. Finally, symbolic logic is crucial for computer science and foundational issues in mathematics. Although these latter two areas quickly get into more advanced topics, we will be able to discuss some highlights of these uses of logic. |
| Learning Format: |
Online
(?)
|
| Education Level: |
Undergraduate Course |
| Language: |
English |
Cost: |
North Carolina residents: 3 credit course - $405, 4 credit course - $540, 5 credit course - $675. Nonresidents: 3 credit course - $849, 4 credit course - $1,132, 5 credit course - $1,415 |
Credits: |
3 Credit Hours |
|
|
|
|
