Viewing: LOG 430 / LOG 530 : Varieties of Logic

Last approved: Wed, 10 Oct 2018 08:00:40 GMT

Last edit: Tue, 09 Oct 2018 11:55:02 GMT

Changes proposed by: n51ls801
Change Type
Major
LOG (Logic)
430
032650
Dual-Level Course
Yes
530
Cross-listed Course
No
Varieties of Logic
Varieties of Logic
College of Humanities and Social Sciences
Philosophy and Religion (16PHI)
38.0201
Religion/Religious Studies.
Term Offering
Spring Only
Offered Alternate Odd Years
Spring 2019
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
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
Graduate Faculty

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
Prerequisite: Graduate standing
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.

LOG 430/530 will replace LOG 437/537, which is being dropped in a separate action. LOG 430/530's content is more likely than LOG 437/537's to be interesting to and vocationally useful for a broader range of students, especially those in computer science, AI research, linguistics and applied math; and the content is particularly well-aligned with Professor Richardson's expertise and research, the fruits of which will thus be made more available to students.


(Although LOG 201 is a prerequisite for LOG 335, LOG 201 is not infrequently waived for LOG 335 students, so it is helpful to have LOG 335 in the prerequisite list.


Given the catalog description, graduate standing seems to be sufficient as a pre-requisite for LOG 530. What the course requires of a graduate student is a level of skill in mathematical reasoning that the vast majority of graduate students in fields such as philosophy, linguistics, mathematics, computer science, and artificial intelligence would almost certainly have. Any graduate student able to understand the catalog description would be very likely to have at least as much background as is offered by LOG 335. Were a graduate student to tell the instructor that they did not understand the catalog description but nonetheless wanted to take the course would be advised by the instructor not to take the course. Of course, any such conversation is improbable. The instructor's previous experience is with students at MIT and if it turned out that graduate students here needed more information than afforded by the catalog description, then he would consider adding to the pre-requisite statement. That there would be such a need also seems unlikely.)


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."?
aeherget (Fri, 17 Aug 2018 15:32:05 GMT): AECHH: Uploading updated syllabus at instructor's request via email 8/17/2018.
Key: 25659
Preview Bridge