-
Notifications
You must be signed in to change notification settings - Fork 0
/
intrologicsyllabus.html
224 lines (214 loc) · 15.1 KB
/
intrologicsyllabus.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>PhilosophersHub</title>
<link rel="stylesheet" href="style.css" />
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
<link href="https://fonts.googleapis.com/css2?family=STIX+Two+Text&display=swap" rel="stylesheet">
</head>
<body>
<header>
<ul>
<li><a href="pageinstructors.html">Instructors</a></li>
<li><a href="pagegrads.html">Grads</a></li>
<li><a href="pageundergrads.html">Undergrads</a></li>
<li><a href="pagefreeresources.html">Resources</a></li>
<li><a href="https://maxaeon.github.io/philosophershub/">Home</a></li>
</ul>
<h1><strong>Philosophers' Hub</h1></strong><h4><small>Lorem ipsum dolor, sit amet consectetur adipisicing elit. Nemo perspiciatis minus facilis magni blanditiis provident! Odit, totam.</small> </h4>
</header>
<main>
<section>
<h2 style="text-align: center;">Introduction to Symbolic Logic, PHI 012</h2>
<p style="text-align: center;">Instructor: M. A. Parks (Associate Instructor)</p>
<p style="text-align: center;">preferred name: Max pronouns: they/them/theirs</p>
<p style="text-align: center;">PhD Candidate, <a class="inline_disabled" href="https://philosophy.ucdavis.edu/" target="_blank" rel="noopener">UCD Philosophy Department</a>
</p>
<p style="text-align: center;">Office Hours: Wednesdays noon-2pm on <a class="inline_disabled" href="/courses/623393/external_tools/8022" target="_blank" rel="noopener">Zoom</a>
</p>
<p style="text-align: center;">
<a class="inline_disabled" href="mailto:maparks@ucdavis.edu" target="_blank" rel="noopener">Email</a>
</p>
<p style="text-align: center;">
<a class="inline_disabled" href="http://www.mxparksphilosophy.com/" target="_blank" rel="noopener">Website</a>
</p>
<h3>Course Objectives:</h3>
<p>
<span>The focus of this course will be on the system of deductive logic known as first-order propositional logic (also called sentential logic), which takes atomic propositions as the fundamental units of logical analysis. We will develop and explore the syntax and semantics of sentential logic, as well as a natural deduction proof theory.</span>
</p>
<p>
<span>There are a variety of reasons why one might be interested in understanding such a system. Here are several examples of such reasons: (1) first-order logic plays a central role in the subfield of linguistics known as semantics, which investigates the meanings of natural language sentences; (2) any more advanced work in logic requires a thorough understanding of the foundational concepts presented in this course; (3) first-order logic is one of the central tools used by contemporary analytic philosophers for the investigation of the logical relations that hold between concepts; finally and perhaps most relevant to you, (4) understanding systems of deductive logic can help us differentiate good reasoning from bad reasoning, and this, in turn, can serve as an important and useful tool in adjudicating the quality of arguments and the basis for our beliefs.</span>
</p>
<p>
<span>Our primary concern in this course will be understanding and exploring the notion of deductive validity provided by the system; but, our study will also extend to related topics, such as the translation of English arguments into formal logic and various topics in the meta-theory of first-order sentential logic.</span>
</p>
<p>
<span>Not open for credit to students who have taken course 112, 113, 131, 134, or 135-I, IV.</span>
</p>
<p> </p>
<h3>Lectures:</h3>
<p>On average, 3-4 video lectures will be prerecorded and uploaded by Monday each week. </p>
<p>The instructor will have a Zoom meeting each Tuesday at 12:10-1:50pm to review the last week's material, and preview upcoming material, as well as to answer questions. Attendance is strongly recommended, especially for those who have questions about the content or format of the course. </p>
<p>(The instructor will also have Zoom office hours on Wednesdays from 12-2pm for students who would like more one-on-one assistance.)</p>
<p>Please use the scheduled lecture time slot (12:10-1:50pm) on Thursdays to complete the exams in weeks 1, 2, 4, and 6. Optional (but strongly encouraged) workshops will take place on Thursdays in weeks 3 and 5. </p>
<p>Sept. 06, 2021 is a University Holiday.</p>
<p> </p>
<h3>Textbook: </h3>
<p>
<a class="inline_disabled" href="https://forallx.openlogicproject.org/forallxyyc-f20.pdf" target="_blank" rel="noopener">forall x: Calgary. An Introduction to Formal Logic</a>
</p>
<p>Students would benefit from completing each week's assigned reading prior to the start of the week, in order to get the most out of each lecture and exercise.</p>
<p> </p>
<h3>Tentative Schedule (subject to change):</h3>
<table style="border-collapse: collapse; width: 97.479%; height: 196px; border-color: #95a5a6; border-style: solid;" border="1">
<tbody>
<tr style="height: 28px; background-color: #ced4d9;">
<td style="width: 13.4404%; height: 28px; text-align: center;"><strong>Week</strong></td>
<td style="width: 26.4618%; height: 28px; text-align: center;"><strong>Part/Topic</strong></td>
<td style="width: 13.0611%; height: 28px; text-align: center;"><strong>Chapters</strong></td>
<td style="width: 46.8202%; height: 28px; text-align: center;"><strong>Assignments Due</strong></td>
</tr>
<tr style="height: 28px;">
<td style="width: 13.4404%; height: 28px;">
<a class="inline_disabled" href="/courses/623393/pages/week-1-key-notions-of-logic" target="_blank" rel="noopener">Week 1</a>
</td>
<td style="width: 26.4618%; height: 28px;">Part I Key Notions of Logic</td>
<td style="width: 13.0611%; height: 28px;">Ch. 1-3</td>
<td style="width: 46.8202%; height: 28px;">Discussion Board, Homework 1, Exam 1</td>
</tr>
<tr style="height: 28px;">
<td style="width: 13.4404%; height: 28px;">
<a class="inline_disabled" href="/courses/623393/pages/week-2-truth-functional-logic" target="_blank" rel="noopener">Week 2</a>
</td>
<td style="width: 26.4618%; height: 28px;">Part II Truth-Functional Logic</td>
<td style="width: 13.0611%; height: 28px;"> Ch. 4-8</td>
<td style="width: 46.8202%; height: 28px;">Discussion Board, Homework 2, Exam 2</td>
</tr>
<tr style="height: 28px;">
<td style="width: 13.4404%; height: 28px;">
<a class="inline_disabled" href="/courses/623393/pages/week-3-truth-tables" target="_blank" rel="noopener">Week 3</a>
</td>
<td style="width: 26.4618%; height: 28px;">Part III Truth Tables</td>
<td style="width: 13.0611%; height: 28px;">Ch. 9-11</td>
<td style="width: 46.8202%; height: 28px;">Discussion Board</td>
</tr>
<tr style="height: 28px;">
<td style="width: 13.4404%; height: 28px;">
<a class="inline_disabled" href="/courses/623393/pages/week-4-truth-tables" target="_blank" rel="noopener">Week 4</a>
</td>
<td style="width: 26.4618%; height: 28px;">Part III Truth Tables</td>
<td style="width: 13.0611%; height: 28px;">Ch. 12-14</td>
<td style="width: 46.8202%; height: 28px;">Discussion Board, Homework 3, Exam 3</td>
</tr>
<tr style="height: 28px;">
<td style="width: 13.4404%; height: 28px;">
<a class="inline_disabled" href="/courses/623393/pages/week-5-derivations" target="_blank" rel="noopener">Week 5</a>
</td>
<td style="width: 26.4618%; height: 28px;">Part IV Derivations</td>
<td style="width: 13.0611%; height: 28px;">Ch. 15-18</td>
<td style="width: 46.8202%; height: 28px;">Discussion Board</td>
</tr>
<tr style="height: 28px;">
<td style="width: 13.4404%; height: 28px;">
<a class="inline_disabled" href="/courses/623393/pages/week-6-derivations" target="_blank" rel="noopener">Week 6</a>
</td>
<td style="width: 26.4618%; height: 28px;">Part IV Derivations</td>
<td style="width: 13.0611%; height: 28px;">Ch. 19-21</td>
<td style="width: 46.8202%; height: 28px;">Homework 4, Exam 4, Optional Discussion Board</td>
</tr>
</tbody>
</table>
<p> </p>
<h3>Assignment submissions:</h3>
<p>In addition to required <a class="inline_disabled" href="/courses/623393/discussion_topics" target="_blank" rel="noopener">weekly discussion board participation</a> on canvas, students will also be required to complete the following on <a class="inline_disabled" style="font-family: inherit; font-size: 1rem;" href="http://www.carnap.io/" target="_blank" rel="noopener">Carnap.io</a>
<span style="color: var(--ic-brand-font-color-dark); font-family: inherit; font-size: 1rem;">:</span>
</p>
<div class="card-header">
<ul class="nav nav-tabs card-header-tabs" role="tablist">
<li class="nav-item">enrollment link: <a class="inline_disabled" href="https://carnap.io/enroll/Intro%20to%20Symbolic%20Logic%20SSII%202021" target="_blank" rel="noopener">click to enroll in the course Carnap.io page</a> </li>
</ul>
</div>
<div class="card-body">
<div class="tab-content">
<div id="course-1" class="tab-pane active" role="tabpanel">
<div class="scrollbox">
<table class="assignment table table-striped" style="width: 49.868%; height: 250px;">
<thead>
<tr style="height: 26px; background-color: #ced4d9;">
<td style="width: 35.9984%; height: 26px; text-align: center;"><strong>Assignment <i class="fa fa-sort" aria-hidden="true"></i></strong></td>
<td style="width: 63.8604%; height: 26px; text-align: center;"><strong>Tentative Due Date <i class="fa fa-sort" aria-hidden="true"></i></strong></td>
</tr>
</thead>
<tbody>
<tr style="height: 28px;">
<td style="width: 35.9984%; height: 28px;">
<a href="https://carnap.io/assignments/Intro%20to%20Symbolic%20Logic%20SSII%202021/Homework%201">Homework 1</a>
</td>
<td style="width: 63.8604%; height: 28px;">2021-08-03 </td>
</tr>
<tr style="height: 28px;">
<td style="width: 35.9984%; height: 28px;">
<a href="https://carnap.io/assignments/Intro%20to%20Symbolic%20Logic%20SSII%202021/Exam%201">Exam 1</a>
</td>
<td style="width: 63.8604%; height: 28px;">2021-08-05 </td>
</tr>
<tr style="height: 28px;">
<td style="width: 35.9984%; height: 28px;">
<a href="https://carnap.io/assignments/Intro%20to%20Symbolic%20Logic%20SSII%202021/Homework%202">Homework 2</a>
</td>
<td style="width: 63.8604%; height: 28px;">2021-08-10 </td>
</tr>
<tr style="height: 28px;">
<td style="width: 35.9984%; height: 28px;">
<a href="https://carnap.io/assignments/Intro%20to%20Symbolic%20Logic%20SSII%202021/Exam%202">Exam 2</a>
</td>
<td style="width: 63.8604%; height: 28px;">2021-08-12 </td>
</tr>
<tr style="height: 28px;">
<td style="width: 35.9984%; height: 28px;">
<a href="https://carnap.io/assignments/Intro%20to%20Symbolic%20Logic%20SSII%202021/Homework%203">Homework 3</a>
</td>
<td style="width: 63.8604%; height: 28px;">2021-08-24 </td>
</tr>
<tr style="height: 28px;">
<td style="width: 35.9984%; height: 28px;">
<a href="https://carnap.io/assignments/Intro%20to%20Symbolic%20Logic%20SSII%202021/Exam%203">Exam 3</a>
</td>
<td style="width: 63.8604%; height: 28px;">2021-08-26 </td>
</tr>
<tr style="height: 28px;">
<td style="width: 35.9984%; height: 28px;">
<a href="https://carnap.io/assignments/Intro%20to%20Symbolic%20Logic%20SSII%202021/Homework%204">Homework 4</a>
</td>
<td style="width: 63.8604%; height: 28px;">2021-09-07 </td>
</tr>
<tr style="height: 28px;">
<td style="width: 35.9984%; height: 28px;">
<a href="https://carnap.io/assignments/Intro%20to%20Symbolic%20Logic%20SSII%202021/Exam%204">Exam 4</a>
</td>
<td style="width: 63.8604%; height: 28px;">2021-09-09 </td>
</tr>
</tbody>
</table>
<p>Optional practice problems: <a class="inline_disabled" href="https://carnap.io/shared/maparks@ucdavis.edu/Practice%20Problems%20II.md" target="_blank" rel="noopener">Part II,</a>
<a class="inline_disabled" href="https://carnap.io/shared/maparks@ucdavis.edu/Practice%20Problems%20III.md" target="_blank" rel="noopener">Part III,</a>
<a class="inline_disabled" href="https://carnap.io/shared/maparks@ucdavis.edu/Practice%20Problems%20IV.md" target="_blank" rel="noopener">Part IV</a>
</p>
<p>Students are <em><strong>
<span style="text-decoration: underline;">NOT</span>
</strong></em> allowed to collaborate on the exams. However, you can work together on the homework assignments, practice problems, and discussion board posts.</p>
<p>No late assignment submissions will be accepted. In extreme circumstances, an alternative assignment can be provided, but only with proper documentation (e.g., a note from a medical professional).</p>
<p> </p>
</div>
</div>
</div>
</div>
</main>
</section>
<footer><strong>M. A. Parks 2021 </strong><br><a href= "https://maxaeon.github.io/portfolio/"><p class="white">Other Sites by Max</p></a></footer>
</body>
</html>