Date Submitted: Tue, 29 Oct 2019 11:40:08 GMT

Viewing: LOG 430 / : Varieties of Logic

Last approved: Fri, 25 Oct 2019 08:00:55 GMT

Last edit: Tue, 29 Oct 2019 16:53:09 GMT

Changes proposed by: n51ls801
Change Type
Major
LOG (Logic)
430
032650
Dual-Level Course
No
Cross-listed Course
No
Varieties of Logic
Varieties of Logic
College of Humanities and Social Sciences
Philosophy and Religious Studies (16PHI)
Term Offering
Spring Only
OTHER
Upon Demand
Summer I 2020
Previously taught as Special Topics?
No
 
Course Delivery
Face-to-Face (On Campus)

Grading Method
Graded with S/U option
3
16
Contact Hours
(Per Week)
Component TypeContact Hours
Lecture3.0
Course Attribute(s)


If your course includes any of the following competencies, check all that apply.
University Competencies

Course Is Repeatable for Credit
No
 
 
Kevin Richardson
Assistant Professor of Philosophy

Open when course_delivery = campus OR course_delivery = blended OR course_delivery = flip
Enrollment ComponentPer SemesterPer SectionMultiple Sections?Comments
Lecture2525NoNA
Open when course_delivery = distance OR course_delivery = online OR course_delivery = remote
Prerequisites: LOG 201 or LOG 335 or MA 335 or MA 225 or CSC 226

Is the course required or an elective for a Curriculum?
Yes
SIS Program CodeProgram TitleRequired or Elective?
16PHILBAB. A. In PhilosophyElective
16PHILETHPhilosophy-BA Sub-Plan Philosphy Ethics ConcentrationElective
16PHILLAWPhilosophy-BA Sub-Plan Philosophy of Law concentrationElective
16PHILBSPhilosophy-BSElective
16PHILLOGPhilosophy-BS Sub-Plan Logic, Representation and ReasonElective
16PHMMinor in PhilosophyElective
Study of various non-classical logics such as modal logic, many-valued logic, paraconsistent logic, second-order logic, and intuitionistic logic. Emphasizes their applications in fields such as philosophy, linguistics, mathematics, computer science, and artificial intelligence. Students cannot receive credit for both LOG 430 and LOG 530.

No

Is this a GEP Course?
No
GEP Categories

Humanities Open when gep_category = HUM
Each course in the Humanities category of the General Education Program will provide instruction and guidance that help students to:
 
 

 
 

 
 

 
 

 
 

 
 

Mathematical Sciences Open when gep_category = MATH
Each course in the Mathematial Sciences category of the General Education Program will provide instruction and guidance that help students to:
 
 

 
 

 
 

 
 

Natural Sciences Open when gep_category = NATSCI
Each course in the Natural Sciences category of the General Education Program will provide instruction and guidance that help students to:
 
 

 
 

 
 

 
 

Social Sciences Open when gep_category = SOCSCI
Each course in the Social Sciences category of the General Education Program will provide instruction and guidance that help students to:
 
 

 
 

 
 

 
 

 
 

 
 

Interdisciplinary Perspectives Open when gep_category = INTERDISC
Each course in the Interdisciplinary Perspectives category of the General Education Program will provide instruction and guidance that help students to:
 
 

 
 

 
 

 
 

 
 

 
 

 
 

 
 

Visual & Performing Arts Open when gep_category = VPA
Each course in the Visual and Performing Arts category of the General Education Program will provide instruction and guidance that help students to:
 
 

 
 

 
 

 
 

 
 

 
 

Health and Exercise Studies Open when gep_category = HES
Each course in the Health and Exercise Studies category of the General Education Program will provide instruction and guidance that help students to:
 
 

 
 

 
 

 
 

 
&
 

 
 

 
 

 
 

Global Knowledge Open when gep_category = GLOBAL
Each course in the Global Knowledge category of the General Education Program will provide instruction and guidance that help students to achieve objective #1 plus at least one of objectives 2, 3, and 4:
 
 

 
 

 
Please complete at least 1 of the following student objectives.
 

 
 

 
 

 
 

 
 

 
 

US Diversity Open when gep_category = USDIV
Each course in the US Diversity category of the General Education Program will provide instruction and guidance that help students to achieve at least 2 of the following objectives:
Please complete at least 2 of the following student objectives.
 
 

 
 

 
 

 
 

 
 

 
 

 
 

 
 

Requisites and Scheduling
 
a. If seats are restricted, describe the restrictions being applied.
 

 
b. Is this restriction listed in the course catalog description for the course?
 

 
List all course pre-requisites, co-requisites, and restrictive statements (ex: Jr standing; Chemistry majors only). If none, state none.
 

 
List any discipline specific background or skills that a student is expected to have prior to taking this course. If none, state none. (ex: ability to analyze historical text; prepare a lesson plan)
 

Additional Information
Complete the following 3 questions or attach a syllabus that includes this information. If a 400-level or dual level course, a syllabus is required.
 
Title and author of any required text or publications.
 

 
Major topics to be covered and required readings including laboratory and studio topics.
 

 
List any required field trips, out of class activities, and/or guest speakers.
 

College(s)Contact NameStatement Summary
College of EngineeringDr. B. Jasmine Adams <barbara_adams@ncsu.edu>No objections.
College of SciencesProfessor Alina Duca <anduca@ncsu.edu>No objections.
This course will be part of Professor Richardson's standard load. He was appointed beginning Fall 2017 to cover courses in logic and philosophy of language.

Students will



  • be familiar with the structural features of non-classical logical systems covered in the course.

  • gain insight into how the various logical systems are useful for research in philosophy, linguistics, mathematics, computer science, and artificial intelligence.

  • be able independently to explore extensions and applications of the logical systems covered in the course.


Graduate students will also be able to identify research problems and to synthesize relevant results to advance their resolution.


Student Learning Outcomes

Students will be able to:



  • describe the syntax, semantics, and metatheory and construct valid proofs in the logical systems described in this course.

  • apply the logical systems described in this course to clarify and analyze specific problems in philosophy, linguistics, mathematics, computer science, and artificial intelligence.


Graduate students will also be able to conduct literature searches to discover research problems and to analyze results in the literature to clarify those problems and find promising ways of resolving them.


Evaluation MethodWeighting/Points for EachDetails
Homework50%UG: Homework Problem Sets. Best 5 out of 6 for grade.
Other10%UG: In-class exercises weekly (~15 mins)
Midterm15%UG: Midteerm exam
Final Exam25%UG: Final Exam
Major Paper40%G: 15-20 page paper, exclusive of bibliography and notes.
Homework50%G: Homework Problem Sets. Best 5 out of 6 for grade.
Other10%G: In-class exercises weekly (~15 mins)
TopicTime Devoted to Each TopicActivity
Introduction1Graham Priest. Introduction to Non-Classical Logic 2nd ed, Ch 0
Propositional Logic1Priest 1.1-1.5 / Problem Set 1
Basic Modal Logic1Priest, 2; Supplement: Lycan, “The Trouble with Possible Worlds” (Graduates must read all Supplements to prepare for final paper)
Normal Modal Logics1Priest, 3.1-3.6 / Problem Set 2
Non-Normal Modal Logics1Priest, 4.1-4.4; Supplement: Nolan, “Impossible Worlds”
First-Order Logic1Priest, 12 / Problem Set 3
Constant Domain Modal Logics1Priest, 14
Variable Domain Modal Logics1Priest, 15; Supplement: Mackie and Jago, “Transworld Identity”
Midterm (Undergr. Only)
Conditionals1Priest, 1.6-1.10, 4.5-4.9; Supplement: Grice, “Logic and Conversation”
Conditional Logic I1Priest, 5.1-5.4 / Problem Set 4
The Lewis-Stalnaker Theory1Priest, 5.5-5.10; Supplement: Stalnaker, “Indicative Conditionals”
Conditional Logic II1Priest, 6 / Problem Set 5
Intuitionistic Logic I1Priest, 7.1-7.4 / Supplement: Dummett, “The Philosophical Basis of Intuitionistic Logic”
Intuitionistic Logic II1Priest, 20 / Problem Set 6
Final paper abstracts and annotated bibliography (Graduates only)
Constructive Mathematics1Internet Encyclopedia of Philosophy, “Constructive Mathematics” https://www.iep.utm.edu/con-math/
Supplement: https://plato.stanford.edu/entries/mathematics-constructive/
Final exam / Final paper1Undergraduates only: Final Exam
Graduates only: Final paper
mlnosbis 9/10/2018:
1) Course description in CIM and on syllabus should be the same.
2) The difference between undergraduate and graduate requirements is the research paper. Consider adding a student learning outcome that is specific to graduate students to reflect this difference.

cohen (9/10/2018):
Melissa's comments are great ones. My only question concerns the prerequisite for 530. Is graduate standing sufficient?

ABGS Reviewer Comments 9/17/2018:
-My only comment is in regard to the following: "The instructor who introduced LOG 437/537 is no longer available, LOG 430/530 is more in line with the newly hired Professor Richardson's interests, and LOG 430/530 also likely to be of more interest to students in computer science, AI research, linguistics and applied math." We should be creating and approving courses based primarily on what is needed to appropriately train students and to meet the needs of potential employers or further educational opportunities. While I understand the tendency to build courses around faculty interests, what if the current faculty member is no longer able to teach it (as with the previous instructor)?

I would suggest deleting "The instructor who introduced LOG 437/537 is no longer available, LOG 430/530 is more in line with the newly hired Professor Richardson's interests" and expanding a bit on the statement "LOG 430/530 also likely to be of more interest to students in computer science, AI research, linguistics and applied math." If appropriate, how about "LOG 430/530 has been revised to update and broaden the material, making the course likely to be of more interest to students in computer science, AI research, linguistics and applied math."?
Key: 25659