-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathautobiography-in-logic-pdf.tex
1177 lines (951 loc) · 37.3 KB
/
autobiography-in-logic-pdf.tex
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
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
% Generated by GrindEQ Word-to-LaTeX
\documentclass[oneside, openany]{book} %%% use \documentstyle for old LaTeX compilers
\usepackage[english]{babel} %%% 'french', 'german', 'spanish', 'danish', etc.
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{txfonts}
\usepackage{mathdots}
\usepackage[classicReIm]{kpfonts}
\usepackage[dvips]{graphicx} %%% use 'pdftex' instead of 'dvips' for PDF output
\usepackage{titlesec}
\titleformat{\chapter}[hang]{\bf\huge}{\thechapter}{2pc}{}\titlespacing*{\chapter}{0pt}{-50pt}{30pt}
\usepackage{suffix}
\newcommand\chapterauthor[1]{\authortoc{#1}\printchapterauthor{#1}}
\WithSuffix\newcommand\chapterauthor*[1]{\printchapterauthor{#1}}
\makeatletter
\newcommand{\printchapterauthor}[1]{%
{\parindent0pt\vspace*{-25pt}%
\linespread{1.1}\large\scshape#1%
\par\nobreak\vspace*{35pt}}
\@afterheading%
}
\newcommand{\authortoc}[1]{%
\addtocontents{toc}{\vskip-10pt}%
\addtocontents{toc}{%
\protect\contentsline{chapter}%
{\hskip1.3em\mdseries\scshape\protect\scriptsize#1}{}{}}
\addtocontents{toc}{\vskip5pt}%
}
\makeatother
%General packages
\usepackage{answers}
\usepackage{textcomp}
\usepackage{anyfontsize}
\usepackage{geometry}
\usepackage{url}
\usepackage{changepage}
\usepackage{syntonly}
\usepackage{enumitem}
\usepackage{turnstile}
\usepackage{float}
\usepackage[normalem]{ulem}
\usepackage{fixltx2e}
\usepackage{wasysym}
\usepackage{tocloft}
\usepackage{fancyhdr}
\usepackage{fancyref}
\usepackage{etoolbox}
\usepackage[utf8]{inputenc}
%%% Table and figure packages %%%
\usepackage[singlelinecheck=false, skip=0pt]{caption} %left aligns captions for tables, moves them closer to table.
\usepackage{tabularx}
\usepackage{longtable}
\usepackage{tabu}
\usepackage[framemethod=1]{mdframed}
\usepackage{wrapfig} %I used this to put a frame around tables.
\tabulinesep=.75ex
\usepackage{colortbl}
\floatstyle{plain}
\restylefloat{figure}
\usepackage[export]{adjustbox}
\usepackage{multirow}
\usepackage{rotating}
\usepackage{booktabs}
%%% graphics packages %%%
\usepackage{tikz}
\usetikzlibrary{shapes,backgrounds,matrix,arrows,decorations,positioning,arrows.new}
\usepackage{graphicx}
\usepackage{xcolor}
\usepackage{openintroduction}
\begin{document}
\raggedright
\setlength{\parindent}{1em}
\setlength{\parskip}{1em}
\pagestyle{plain}
%\selectlanguage{english} %%% remove comment delimiter ('%') and select language if required
\titlepage
\vfill
\noindent{\huge AUTOBIOGRAPHY IN LOGIC}\\ \vspace{6pt}
\noindent\textit{A Multi-Step Assignment for Introductory Logic Courses}
\vfill
\noindent ALLYSON MOUNT
\noindent with J. Robert Loftis
\vfill
\frontmatter
\noindent \includegraphics[width=66pt, height=23pt, keepaspectratio=true]{img/cc-by-nc-sa.png}\\ \vspace{6pt}
\noindent \textit{Autobiography In Logic} by Allyson Mount is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 \\ \vspace{6pt}
\noindent International License, except where otherwise noted.
\pagebreak
\tableofcontents
\pagebreak
\mainmatter
\chapter{Note to Instructors}
\chapterauthor{Allyson Mount}
This assignment was designed to enhance understanding of core concepts in an introductory logic course. Each worksheet requires students to apply logical principles they learn in class to different aspects of their own lives. The worksheets are then collected into a booklet that provides information (mostly in symbolic form) about their background, goals, and interests. After being checked for accuracy, the booklets created by one class can be used as teaching tools in subsequent classes. This allows future students to practice interpreting propositional logic sentences, truth tables, proofs, and Venn diagrams as they begin to learn these skills themselves.
The aim of this approach is twofold. The most immediate goal is to bridge the gap between abstract principles and ``real-life'' applications, which students often have difficulty seeing even when many current examples are used in class. The second goal is to encourage students to see themselves as creators (not just consumers) of educational content while also giving them an opportunity to learn about issues that matter to their peers.
The assignment is designed to be customizable. Worksheets on different topics can be added or omitted to correspond to the logical skills covered in a course. Each worksheet (with associated instructions) is independent of the others, so they can be completed in any order. The first time through it may be useful to demonstrate in class how each worksheet could be filled out, but in future semesters the work of past students can be used to illustrate various ways of completing the assignment.
In my own course, I used this assignment in conjunction with two free OER texts:
\begin{itemize}[label=\textbullet, topsep=0pt]
\item Craig DeLancy's \textit{A Concise Introduction to Logic }(Open SUNY Textbooks, 2017. Creative Commons Attribution Non-Commercial ShareAlike 4.0 International License), which can be found at http://tinyurl.com/ybdjx5dm/. Part I covers the skills needed for the propositional logic pages of this assignment.
\item Matthew J. Van Cleave's text \textit{Introduction to Logic and Critical Thinking, }Version 1.4. (Creative Commons Attribution 4.0 International License), which can be found at http://tinyurl.com/ychcaoau
\end{itemize}
\noindent Sections 2.14-2.17 and Chapter 4 cover the skills needed for the categorical logic and fallacies pages of this assignment.
This assignment was designed with the support of the University System of New Hampshire's Academic Technology Institute in summer 2017. My hope is that instructors who adapt this assignment and develop new sections will share their adaptations freely, expanding the range of possibilities available to others.
\chapter{Note to Students}
%\noindent ALLYSON MOUNT
%
%\noindent Along with our textbook curriculum and readings, you will be working on an ``autobiography'' that expresses events, interests, and features of your life in logical form. Each section of the autobiography corresponds to a different formal or informal logic skill that we will study. We will devote time in class to drafting each part in a workshop-style setting. You will then revise the worksheets on your own, print out a clean copy, and put them together in a booklet at the end of the term.
%
%\noindent
%
%\noindent Important things to know now:
%
%\noindent
%
%\noindent Save your work!!! You will need to keep your in-class drafts, complete them at home if necessary, and revise all of the sections to turn in on a clean copy of the booklet at the end of the term.
%
%\noindent
%
%\noindent If you are absent on a workshop day, it is your responsibility to find out what you missed and seek help in office hours as needed.
%
%\noindent
%
%\noindent The drafts will not be graded. However, productive use of the workshop time will make it much easier for you to produce a high-quality final version.
%
%\noindent
%
%\noindent If you keep up with the work and complete the section relevant to each topic throughout the term, putting together the final booklet should not be too time-consuming. If you delay work on it until the end, expect to find it very challenging and difficult to complete.
%
%\noindent
%
%\noindent This assignment is not designed to require anyone to divulge sensitive personal information. The topics are intended to encourage you to apply your logic skills to a topic you know well -- yourself! The hope is that you will have fun doing this, in a thoughtful way that is suitable for sharing publicly. If any part of this assignment raises privacy concerns for some reason, please let your instructor know.
%
%\noindent
%
%\noindent Grading: The final version of this assignment is worth 100 points (10\% of your overall course grade). The rubric that will be used to grade it can be found in a later chapter of this book. It would be wise to check the criteria for each section before you turn it in, to ensure that your project meets all of the requirements.
\chapter{An argument about yourself}
\chapterauthor{J. Robert Loftis}
\noindent\textbf{Autobiographical subject matter:} A single fact about yourself and a generalization people make about that kind of person.
\vspace{6pt}
\noindent\textbf{Logical skills involved:}
\begin{itemize}[label=\textbullet, topsep=0pt]
\item Organizing ideas into premises and conclusions
\item Writing arguments in canonical form
\end{itemize}
\vspace{6pt}
\noindent\textbf{Worksheet instructions: } Create a simple argument about yourself beginning with a premise that states an ordinary fact about you. For the second premise write a generalization that people often make based on that fact. For the conclusion, write that the conclusion probably applies to you. The conclusion can be either true or false. It just has to be one someone might draw about you. Write it out in a format like this:
\begin{earg*}
\item {[Fact about you]}
\item {[Generalization about people that fact is true of]}
\itemc {[That generalization applied to you.]}
\end{earg*}
There isn't a separate worksheet for this. You should just use your own paper.
\vspace{6pt}
\noindent\textbf{Example:}
\begin{earg*}
\item I like to garden
\item People who like to garden generally grow tomatoes
\itemc I probably grow tomatoes.
\end{earg*}
In this case, the ``probably'' is a \textit{confidence indicator}. The author uses it to signal how confident they are in the conclusion.
\noindent \textbf{Advice and things to keep in mind: } Be sure that each statement is a complete sentence. Do not include any premise and conclusion indicator words, but leave in confidence indicators.
\chapter{Valid arguments about you}
\chapterauthor{J. Robert Loftis}
\noindent\textbf{Autobiographical subject matter:} Statements about yourself, either true or false, and generalizations based on those statements, either true or false.
\vspace{6pt}
\noindent\textbf{Logical skills involved:}
\begin{itemize}[label=\textbullet, topsep=0pt]
\item Writing valid arguments
\item Recognizing the ways validity relates to truth.
\end{itemize}
\vspace{6pt}
\noindent\textbf{Worksheet instructions: } Write three valid argument about yourself illustrating the three combitations of true and false premises and conclusions an argument can have. First, write a valid argument with at least one false premise and one false conclusion. In the example below, I have made the first premise false, but you can do it either way. For the second example write an argument that has at least one false premise, but has a conclusion that happens to be true. For the third argument, write an valid argument about yourself with true premises and a true conclusion.
\vspace{6pt}
\noindent\textbf{Example:}
\begin{longtabu}{X[1,p,m]X[1,p,m]}
\begin{earg*}
\item All people who own a dog also own a cat
\item I own a dog
\itemc I own a cat
\end{earg*}
&
\begin{earg*}
\item All people who own cats also own a dog
\item I own a cat
\itemc I own a dog.
\end{earg*}
\\
\begin{earg*}
\item All people who own a dog own a mammal
\item I own a dog
\itemc I own a mammal
\end{earg*}
\end{longtabu}
\pagebreak
\begin{center}
{\Large Valid Argument Worksheet}
\end{center}
\noindent\textbf{1. Write a valid argument about yourself with at least one false premise and a false conclusion.}
\vfill
\noindent\textbf{2. Write a valid argument about yourself with at least one false premise and a true conclusion.}
\vfill
\noindent\textbf{3. Write a valid argument about yourself with all true pemreises and a true conclusion.}
\vfill
\chapter{Your Interests}
\chapterauthor{Allyson Mount}
\noindent \textbf{Autobiographical subject matter: }This section will focus on your extracurricular activities and interests. Choose a small number of non-academic activities that you enjoy pursuing in your free time. They can be hobbies, sports, outdoor activities, or other things of that nature. They do not need to be activities that correspond to an official club or organization, and they do not need to be related to college.
\noindent \textbf{Logical skills involved:}
\begin{itemize}[label=\textbullet, topsep=0pt]
\item Representing the relationship between groups using Venn diagrams
\item Interpreting the claims represented by Venns
\end{itemize}
\noindent \textbf{Worksheet instructions:}
Choose two different extracurricular activities, interests, or hobbies that you enjoy. Label the blank circle in each pair with a term that names people who engage in that activity. So if the hobby is gardening, the term would be ``people who garden.'' Add the same term to the sentence below the diagram, and then fill in the venn diagram to represent the propsoition, either writing an X or shading as needed.
\noindent \textbf{Advice and things to keep in mind}
\noindent It is crucial that your circles are labeled correctly. Each circle should be labeled with a term that applies to people (including you!) who engage in that activity. For example, either ``stamp collectors'' or ``people who collect stamps'' is fine -- but ``stamps'' would not make sense in this context. (If the circle is labeled ``stamps,'' then just stamps themselves fall into the category represented.) Likewise, ``collecting stamps'' is an activity, not a group of people, so it wouldn't be an appropriate label for a circle
\pagebreak
\begin{center}
{\Large Interests Worksheet, part 1}
\end{center}
\begin{exercises}
\item Fill in the blank with one of your intersts and draw the appropriate diagram.\\
\vfill
\begin{tikzpicture}
\def\subjectcircle{(0,0) circle (1.5cm)}
\def\predicatecircle{(0:1.5cm) circle (1.5cm)}
\draw \subjectcircle node[outer sep=1.5cm, above left] {\small \underbar{College Students}};
\draw \predicatecircle node[outer sep=1.5cm, above right] {\rule[-5pt]{2cm}{.4pt}};
\end{tikzpicture}
\vfill
\noindent Some college student is a \rule[-5pt]{5cm}{.4pt}
\vfill
\item Fill in the blank with one of your intersts and draw the appropriate diagram.\\
\vfill \begin{tikzpicture}
\def\subjectcircle{(0,0) circle (1.5cm)}
\def\predicatecircle{(0:1.5cm) circle (1.5cm)}
\draw \subjectcircle node[outer sep=1.5cm, above left] {\rule[-5pt]{2cm}{.4pt}};
\draw \predicatecircle node[outer sep=1.5cm, above right] { \small\underbar{People born before 2016}};
\end{tikzpicture}
\vfill
\noindent All \rule[-5pt]{3cm}{.4pt} are people who were born before 2016
\vfill
\end{exercises}
\chapter{Interests, part 2}
\chapterauthor{Allyson Mount}
\noindent \textbf{Autobiographical subject matter and logical skills involved: } Same as part 1.
\noindent \textbf{Worksheet instructions:} Label two of the circles (it doesn't matter which) with the same two group terms as above. Then think of a third interest or activity you enjoy, and label the remaining circle with a term for people who engage in that activity.
Given your labels and the diagram content that is already there, interpret the diagram and fill in the blanks below. Each answer should be a categorical propositions. Please write out the actual proposition in English (don't just write A, E, I, O). Using common sense and your actual knowledge of the world, indicate whether each of those categorical propositions is true or false.
\pagebreak
\begin{center}
{\Large Interests Worksheet, part 2}
\end{center}
\vspace{.25cm}
\begin{center}
\begin{venns}
\def\subjectcircle{(0,0) circle (1.5cm)}
\def\middlecircle{(60:1.5cm) circle (1.5cm)}
\def\predicatecircle{(0:1.5cm) circle (1.5cm)}
\draw \subjectcircle node[outer sep=1.5cm, above left] {\rule[-5pt]{2cm}{.4pt}};
\draw \middlecircle node[outer sep=1.75cm, above] {\rule[-5pt]{2cm}{.4pt}};
\draw \predicatecircle node[outer sep=1.5cm, above right] {\rule[-5pt]{2cm}{.4pt}};
\shadeintersect{\predicatecircle}{\middlecircle}
\path (S) -- (M) node[midway, above left, yshift=.25cm, xshift=-.05cm](5){\Large X};
\end{venns}
\end{center}
\vspace{.25cm}
\begin{exercises}
\setlength\itemsep{2cm}
\item What is the proposition represented by the shaded region?
\item Is this claim is true or false?
\item What is the proposition represented by the starred region:
\item Is this claim is true or false?
\end{exercises}
\chapter{Biographical Information, part 1}
\chapterauthor{Allyson Mount}
\noindent\textbf{Autobiographical subject matter:}This section will focus on basic background information about you.
\vspace{6pt}
\noindent\textbf{Logical skills involved:}
\begin{itemize}[label=\textbullet, topsep=0pt]
\item Representing factual claims in propositional logic
\item Constructing complex claims using sentential connectives
\end{itemize}
\vspace{6pt}
\noindent\textbf{Worksheet instructions: }Make a key that contains five biographical claims about yourself: three \textit{true }claims, and two \textit{false }claims. Each letter should stand for an atomic sentence of propositional logic. Do not indicate in the key which claims are true and which are false. Mix up the true and false claims in a random order, so that the reader can't tell from the key alone which are which. Make the false ones realistic and believable.
Please use the given key letters. Include whatever types of biographical claims you consider important about your background, such as where you're from, when you were born, whether you have siblings, what kind of school you went to, etc. There are no specific facts that everyone must include---so if you would rather not indicate your age, for instance, it is fine to focus on other biographical claims.
Then, given your key, provide the information requested below. If you have done the key correctly, there will be multiple correct examples you could give for some of these parts. Just give \textit{one }example of each requested type.
Again, please \textit{don't }indicate which two claims are the false ones on this worksheet itself, even though it can be deduced from your examples.
\vspace{6pt}
\noindent\textbf{Advice and things to keep in mind: }Make sure each letter in your key stands for an atomic sentence -- not just a word or phrase, and not a negation, conditional, conjunction, etc.
\vspace{6pt}
\noindent\textbf{Example} (From Rob)
\begin{longtabu}{X[1,p,m]X[1,p,m]}
$P$: I own a dog & $S$: I have a brother \\
$Q$: I own a cat & $T$: My brother is older than I am \\
$R$: I have a sister
\end{longtabu}
\begin{exercises}
\item Write a \textit{negation }that expresses a true claim about yourself:
\vspace{6pt}
I do not own a cat. $\enot Q$
\item Write a \textit{conjunction }that expresses a true claim about yourself:
\vspace{6pt}
I have a brother and a dog. $S \eand P$
\item Write a \textit{conditional }that expresses a false claim about yourself:
\vspace{6pt}
If I had a brother, he would be older than I am. $S \eif T$
\end{exercises}
\pagebreak
\begin{center}
{\Large Biographical information worksheet, part 1}
\end{center}
\noindent \underbar{Key}
\begin{ekey}
\setlength\itemsep{12pt}
\item[$P$:]
\item[$Q$:]
\item[$R$:]
\item[$S$:]
\item[$T$:]
\end{ekey}
\underbar{Questions}
\begin{exercises}
\item Write a \textit{negation }that expresses a true claim about yourself:
\vfill
\item Write a \textit{conjunction }that expresses a true claim about yourself:
\vfill
\item Write a \textit{conditional }that expresses a false claim about yourself:
\vfill
\end{exercises}
\pagebreak
\chapter{Biographical Information, part 2}
\chapterauthor{Allyson Mount}
\noindent\textbf{Autobiographical subject matter:}This section will focus on basic background information about you.
\vspace{6pt}
\noindent\textbf{Logical skills involved:}
\begin{itemize}[label=\textbullet, topsep=0pt]
\item Translating complex claims from SL to English.
\item Constructing a truth table for a complex claim
\item Identifying which line of a truth table reflects the real-world situation
\end{itemize}
\vspace{6pt}
\noindent\textbf{Worksheet instructions: } Given the translation key from part 1, write a truth tables for a complex sentences, write those sentences in English, and indicate which line of the truth table corresponds to the real world.
\noindent\textbf{Advice and things to keep in mind: } Show the work in your truth table. To be complete, it must include a column of values for each logical constant, not just the main column.
\pagebreak
\begin{center}
{\Large Biographical information worksheet, part 2}
\end{center}
\begin{exercises}
\setlength\itemsep{1.5cm}
\item What does the formula $\enot Q \eif (P \eand S)$ represent, stated in English?
\item Write the truth table for .$\enot Q \eif (P \eand S)$
\vspace{2.5cm}
\item Is $\enot Q \eif (P \eand S)$ a true claim about you?
\item Write a complex formula involving \textit{three }letters and \textit{at least two }logical constants that represents a true claim about yourself:
\item Write the truth table of that formula:
\vspace{2.5cm}
\item Which row of the table represents the actual, real-world situation with respect to the truth or falsity of the atomic sentences involved?
\end{exercises}
\chapter{Goal or Aspiration}
\chapterauthor{Allyson Mount}
\noindent \textbf{Autobiographical subject matter: }This section will focus on a future goal or aspiration. It can be an educational, professional, or personal goal. Choose a goal you have for at least a year or two in the future.
\noindent \textbf{Logical skills involved:}
\begin{itemize}[label=\textbullet, topsep=0pt]
\item Expressing conditional claims in propositional logic
\item Using the conditional derivation rule in a proof
\end{itemize}
\noindent \textbf{Worksheet instructions: }State your goal as an atomic sentence. Choose a letter to represent it and create a transation key with that sentence as its first entry.
Think of sequence of three initial steps or conditions that would help you start making progress toward that goal. Choose a letter to represent it, state it as an atomic sentence, and add it to the key.
Write a chain of three conditionals that expresses a sequence of steps that you anticipate needing to take in order to accomplish the goal. Make a key and give the form of the three conditionals.
\begin{itemize}[label=\textbullet, topsep=0pt]
\item The antecedent of the first should be the initial activity that you just identified above.
\item The consequent of the first should match the antecedent of the second.
\item The consequent of the second should match the antecedent of the third.
\item The consequent of the third should be the goal that you stated above.
\end{itemize}
\noindent Making this chain of conditionals will require adding two more atomic sentences to your key. Then give the form of those three conditionals.
\noindent
\noindent Give a formal proof in which the three conditionals in the chain are premises. The conclusion of your proof should be a conditional stating that \textit{if }the initial activity/condition is met, \textit{then }your goal follows. Derive the conclusion using the conditional derivation rule. No additional premises should be needed.
\textbf{Advice and things to keep in mind}: You may find it easier to draft your chain of three conditionals in English first, then put them in symbolic form and fill out the key. Just the key, symbolic forms, and proof are on the worksheet, but be sure your chain of conditionals makes conceptual sense before formalizing it!
\noindent Of course, in life there are often many different steps one could take while aiming to accomplish a certain goal. There is no need to capture all the possibilities; just use the sequence of conditionals that seems most realistic, sensible, or promising to you.
\pagebreak
\begin{center}
{\Large Goal or Aspiration Worksheet}
\end{center}
\begin{exercises}
\setlength\itemsep{1.5cm}
\item State a goal you have
\item State three activities or steps that will help you toward that goal.
\item Write a translation key:
\begin{ekey}
\setlength\itemsep{12pt}
\item[$P$:]
\item[$Q$:]
\item[$R$:]
\item[$S$:]
\end{ekey}
\item Write the three conditional sentences in SL and in English.
\vspace{2cm}
\item Write a conditional proof which does that these steps will lead you to the final goal.
\end{exercises}
%\chapter{Fallacy}
%\chapterauthor{Allyson Mount}
%
%
%\noindent \textbf{Autobiographical subject matter: }This section will focus on a fallacy or mistaken belief that has impacted your life in some way.
%
%\noindent
%
%\noindent \textbf{Logical skills involved:}
%
%\noindent
%
%\noindent Identifying and analyzing fallacies
%
%\noindent
%
%\noindent Writing a clear and compelling argument
%
%\noindent
%
%\noindent
%
%\noindent \textbf{Worksheet instructions: }You can either focus on a mistaken belief that someone else had about you \underbar{or} a mistaken belief that you had about someone else. On the worksheet, state the belief \textit{as a single sentence}. It should be a sentence that you think is false, since that's what makes it a mistaken belief! Then check the appropriate box below.
%
%\noindent
%
%\noindent Write a paragraph explaining the reasoning behind the mistaken belief, from the perspective of someone who believes it. In other words, try to express how someone who has that belief might attempt to justify it. This paragraph should contain one of the formal or informal fallacies covered in assigned readings for this class, but the error in reasoning should not be so blatant that the argument sounds ridiculous. Remember, someone actually did believe it!
%
%\noindent
%
%\noindent Then write a paragraph identifying what the error in reasoning is, and how it most likely came about. Your paragraph should make it clear what fallacy is involved, and exactly where the reasoning in the prior paragraph goes wrong. Make sure to explain \textit{the specific problem with that particular argument, }rather than simply naming the fallacy and explaining the type of fallacy in general.
%
%\noindent \textbf{Advice and things to keep in mind}
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent Whichever option you choose, please avoid including personal information \textit{about anyone else }in a way that would make them uncomfortable. For instance, if a friend or teacher made an offensive assumption about you, or if you did so about them, please do not identify the particular person involved. The aim is to identify the fallacy and respond effectively to the mistake in reasoning, not to expose sensitive or potentially embarrassing information.
%
%\noindent Likewise, keep in mind that your worksheet should be PG-rated and suitable for a public audience. If the mistaken belief arose based on assumptions that are sexist, racist, homophobic, or otherwise hateful, you can convey the serious nature of the issue without expressing it using obscene or degrading language yourself. Recall that responding effectively to fallacies requires articulating the source of the error in a way that may change people's minds, rather than simply making them defensive.\textit{Fallacy Worksheet}
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent MISTAKEN BELIEF:
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent Check one:
%
%\noindent
%
%\noindent $\mathrm{\lozenge}$ This is a belief that someone once had about me
%
%\noindent
%
%\noindent $\mathrm{\lozenge}$ This is a belief that I once had about someone else
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent THE ``ARGUMENT'' FOR THIS BELIEF:
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent WHY THAT REASONING IS FALLACIOUS:
%
%\noindent
%
%\noindent
%
%\noindent
%\chapter{A CHALLENGE}
%\chapterauthor{Allyson Mount}
%
%\noindent \textbf{Autobiographical subject matter: }This section will focus on a challenge you have faced, and your response to that challenge.
%
%\noindent
%
%\noindent \textbf{Logical skills involved:}
%
%\noindent
%
%\noindent Creating a valid argument
%
%\noindent
%
%\noindent Demonstrating validity using appropriate logical methods
%
%\noindent
%
%\noindent
%
%\noindent \textbf{Worksheet instructions: }Identify a challenge you have faced at some point in your life. It can be a major challenge or a relatively minor one, although it's best not to pick something too trivial because it will be less interesting. It can be recent, or from childhood. On the top of the worksheet, express the challenge itself in a single sentence, in English.
%
%\noindent
%
%\noindent Think of a valid argument that expresses some aspect of what your \textit{response }was to that challenge. Your argument should have two or three premises, plus a conclusion. It can be a propositional logic argument or a categorical argument. Write out the argument. If it's in propositional logic, be sure to include a key stating what atomic sentence each letter stands for. If it's a categorical argument, make sure the premises and conclusion are all phrased as categorical propositions having A, E, I, or O form. Aim to make your argument sound too -- or at least reasonably plausible.
%
%\noindent
%
%\noindent In the bottom box, demonstrate that the argument is valid. Select a method that makes sense given the content of your argument! Recall that you have learned at least three methods of demonstrating validity: truth tables, formal proofs, and Venn diagrams. Select a method that will work for the type of argument you wrote.
%
%\noindent \textbf{Advice and things to keep in mind}
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent Thinking of a valid argument (about content you write yourself) can be difficult. For ideas of a valid structure, look back at the many examples we've seen throughout the term in the texts and in class. While the \textit{content }of your argument will need to be your own, validity is a matter of form. That's useful to know! Each of the proof rules has a valid form. There are many exercises in the texts that give valid forms for two-premise arguments. It is perfectly fine if you use a form that was already shown to be valid.
%
%\noindent In choosing whether to use propositional or categorical logic, it is entirely a matter of preference. Use whichever you feel more comfortable with, or whichever seems to provide a more natural phrasing for your argument.
%
%\noindent Please do stick to short arguments, with just two or three premises (no more, no less). If giving a categorical argument, it is okay to have three premises if you wish, even though we've focused on 2-premise syllogisms in class.\textit{A Challenge Worksheet}
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent THE CHALLENGE:
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent ARGUMENT ABOUT YOUR RESPONSE TO THE CHALLENGE:
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent DEMONSTRATION THAT THE ARGUMENT IS VALID:
%
%\noindent
%
%\noindent
%
%\noindent
%\chapter{Title}
%\chapterauthor{Author}
%\noindent\textbf{Autobiographical subject matter:}
%
%\chapter{Biographical Information}
%\chapterauthor{Allyson Mount}
%\noindent\textbf{Logical skills involved:}
%
%\begin{itemize}
%\item
%\item
%\end{itemize}
%
%\noindent\textbf{Worksheet instructions: }
%
%\noindent\textbf{Example:}
%\noindent CHAPTER 6 .
%
%\noindent
%
%\noindent
%
%\noindent \textbf{ACADEMIC INTEGRITY AND PERMISSIONS}
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent ALLYSON MOUNT
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent \textbf{Please print your full name, write in the instructor and course information, and check one of the following boxes. Then sign and date the completed statement. Write in ink.}
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent I, \underbar{ } certify that the materials in this \textit{Autobiography in Logic }booklet are my original work, which was completed for Professor \underbar{ }'s course on \underbar{ } (course name/number) in the \underbar{ } term of the year 20\underbar{ }. I have checked a box below to indicate how my work may be used:
%
%\noindent
%
%\noindent $\mathrm{\lozenge}$ I give permission for the instructor to use my work in this booklet in future classes or conferences, \textbf{\textit{with attribution of the work to me by name}}. I understand that s/he would only use it as a good example or to demonstrate various ways of completing the assignment correctly, not as an example of errors.
%
%\noindent
%
%\noindent $\mathrm{\lozenge}$ I give permission for the instructor to use my work in this booklet in future classes or conferences \textbf{\textit{anonymously, without attribution of the work to me by name}}. I understand that s/ he would only use it as a good example or to demonstrate various ways of completing the assignment correctly, not as an example of errors.
%
%\noindent
%
%\noindent $\mathrm{\lozenge}$ I do not give permission for the instructor to use my work in this booklet as an example in future classes or conferences.
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent Signature: \underbar{ }
%
%\noindent Date: \underbar{ }
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent CHAPTER 7 .
%
%\noindent
%
%\noindent
%
%\noindent \textbf{FINAL PROJECT CHECKLIST}
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent ALLYSON MOUNT
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent
%
%\noindent $\mathrm{\lozenge}$ Revise the five worksheets that you drafted in class, completing any parts that were not finished before.
%
%\noindent
%
%\noindent $\mathrm{\lozenge}$ View the rubric (next chapter) to see how it will be graded. Make sure your worksheets meet all the criteria.
%
%\noindent
%
%\noindent $\mathrm{\lozenge}$ Make and print a cover page. Feel free to use creative fonts or designs. Just make sure your cover page is easy to read and includes all of the following information: Your name, the course title, and the term date.
%
%\noindent
%
%\noindent $\mathrm{\lozenge}$ Print out clean copies of the five Autobiography in Logic worksheet pages. Fill them out neatly, by hand. Please write in ink.
%
%\noindent
%
%\noindent $\mathrm{\lozenge}$ Print, sign, and date the Academic Integrity and Permission page. It's totally up to you what permission box you check, but this signed page \underbar{must} be included in your booklet.
%
%\noindent
%
%\noindent $\mathrm{\lozenge}$ You will not get the booklet back, so make a photocopy for yourself if you would like one.
%
%\noindent
%