carroll - the game of logic
TRANSCRIPT
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 1/66
LewisCarrollTHEGAMEOFLOGIC
---------------------|9|10|||||-----x------|||11|12||||||||---y-----m------y'---||||||||13|14|||-----x'-----|||||15|16|---------------------
COLOURSFOR-------------COUNTERS|5|6|___|x||||SeetheSunisoverhead,|--y-------y'-|Shiningonus,FULLand|||
RED!|x'||7|8|NowtheSunisgoneaway,-------------AndtheEMPTYskyisGREY!___
THEGAMEOFLOGIC
ByLewisCarrol
TomyChild-friend.
Icharminvain;forneveragain,AllkeenlyasmyglanceIbend,WillMemory,goddesscoy,EmbodyformyjoyDeparteddays,norletmegazeOnthee,myfairyfriend!
Yetcouldthyface,inmysticgrace,Amomentsmileonme,'twouldsend
Far-dartingraysoflightFromHeavenathwartthenight,BywhichtoreadinverydeedThyspirit,sweetestfriend!
SomaythestreamofLife'slongdreamFlowgentlyonwardtoitsend,Withmanyafloweretgay,Adownitswillowyway:Maynosighvex,nocareperplex,
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 2/66
Mylovinglittlefriend!
NOTABENE.
WitheachcopyofthisBookisgivenanEnvelope,containingaDiagram(similartothefrontispiece)oncard,andnineCounters,fourredandfivegrey.
TheEnvelope,&c.canbehadseparately,at3d.each.
TheAuthorwillbeverygratefulforsuggestions,especiallyfrombeginnersinLogic,ofanyalterations,orfurtherexplanations,thatmayseemdesirable.Lettersshouldbeaddressedtohimat"29,BedfordStreet,CoventGarden,London."
PREFACE
"Therefoam'drebelliousLogic,gagg'dandbound."
ThisGamerequiresnineCounters--fourofonecolourandfiveofanother:sayfourredandfivegrey.
BesidesthenineCounters,italsorequiresonePlayer,ATLEAST.IamnotawareofanyGamethatcanbeplayedwithLESSthanthisnumber:whilethereareseveralthatrequireMORE:takeCricket,forinstance,whichrequirestwenty-two.Howmucheasieritis,whenyouwanttoplayaGame,tofindONEPlayerthantwenty-two.Atthesametime,thoughonePlayerisenough,agooddealmoreamusementmaybegotbytwoworkingatittogether,andcorrectingeachother'smistakes.
Asecondadvantage,possessedbythisGame,isthat,besidesbeinganendlesssourceofamusement(thenumberofarguments,thatmaybeworkedbyit,beinginfinite),itwillgivethePlayersalittleinstructionaswell.ButisthereanygreatharminTHAT,solongasyougetplentyofamusement?
CONTENTS.
CHAPTERPAGE
I.NEWLAMPSFOROLD.1.Propositions.......12.Syllogisms........203.Fallacies........32
II.CROSSQUESTIONS.1.Elementary........372.HalfofSmallerDiagram.Propositionstoberepresented.....40
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 3/66
3.Do.Symbolstobeinterpreted..424.SmallerDiagram.Propositionstoberepresented.......445.Do.Symbolstobeinterpreted..466.LargerDiagram.Propositionstoberepresented.......487.BothDiagramstobeemployed..51
III.CROOKEDANSWERS.1.Elementary........552.HalfofSmallerDiagram.Propositionsrepresented.......593.Do.Symbolsinterpreted...614.SmallerDiagram.Propositionsrepresented.625.Do.Symbolsinterpreted...656.LargerDiagram.Propositionsrepresented.677.BothDiagramsemployed....72
IV.HITORMISS.........85
CHAPTERI.
NEWLAMPSFOROLD.
"Lightcome,lightgo."_________
1.Propositions.
"SomenewCakesarenice."
"NonewCakesarenice.""Allnewcakesarenice."
Therearethree'PROPOSITIONS'foryou--theonlythreekindswearegoingtouseinthisGame:andthefirstthingtobedoneistolearnhowtoexpressthemontheBoard.
Letusbeginwith
"SomenewCakesarenice."
Butbeforedoingso,aremarkhastobemade--onethatisratherimportant,andbynomeanseasytounderstandallinamoment:so
pleasetoreadthisVERYcarefully.
TheworldcontainsmanyTHINGS(suchas"Buns","Babies","Beetles"."Battledores".&c.);andtheseThingspossessmanyATTRIBUTES(suchas"baked","beautiful","black","broken",&c.:infact,whatevercanbe"attributedto",thatis"saidtobelongto",anyThing,isanAttribute).WheneverwewishtomentionaThing,weuseaSUBSTANTIVE:whenwewishtomentionanAttribute,weuseanADJECTIVE.Peoplehaveaskedthequestion"CanaThingexistwithoutanyAttributesbelongingtoit?"Itisaverypuzzling
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 4/66
question,andI'mnotgoingtotrytoanswerit:letusturnupournoses,andtreatitwithcontemptuoussilence,asifitreallywasn'tworthnoticing.But,iftheyputittheotherway,andask"CananAttributeexistwithoutanyThingforittobelongto?",wemaysayatonce"No:nomorethanaBabycouldgoarailway-journeywithnoonetotakecareofit!"Youneversaw"beautiful"floatingaboutintheair,orlitteredaboutonthefloor,withoutanyThingtoBEbeautiful,nowdidyou?
AndnowwhatamIdrivingat,inallthislongrigmarole?Itisthis.Youmayput"is"or"are"betweennamesoftwoTHINGS(forexample,"somePigsarefatAnimals"),orbetweenthenamesoftwoATTRIBUTES(forexample,"pinkislight-red"),andineachcaseitwillmakegoodsense.But,ifyouput"is"or"are"betweenthenameofaTHINGandthenameofanATTRIBUTE(forexample,"somePigsarepink"),youdoNOTmakegoodsense(forhowcanaThingBEanAttribute?)unlessyouhaveanunderstandingwiththepersontowhomyouarespeaking.Andthesimplestunderstandingwould,Ithink,bethis--thattheSubstantiveshallbesupposedtoberepeatedattheendofthesentence,sothatthesentence,ifwrittenoutinfull,wouldbe"somePigsarepink(Pigs)".Andnowtheword"are"makesquitegoodsense.
Thus,inordertomakegoodsenseoftheProposition"somenewCakes
arenice",wemustsupposeittobewrittenoutinfull,intheform"somenewCakesarenice(Cakes)".Nowthiscontainstwo'TERMS'--"newCakes"beingoneofthem,and"nice(Cakes)"theother."NewCakes,"beingtheonewearetalkingabout,iscalledthe'SUBJECT'oftheProposition,and"nice(Cakes)"the'PREDICATE'.AlsothisPropositionissaidtobea'PARTICULAR'one,sinceitdoesnotspeakoftheWHOLEofitsSubject,butonlyofaPARTofit.Theothertwokindsaresaidtobe'UNIVERSAL',becausetheyspeakoftheWHOLEoftheirSubjects--theonedenyingniceness,andtheotherassertingit,oftheWHOLEclassof"newCakes".Lastly,ifyouwouldliketohaveadefinitionoftheword'PROPOSITION'itself,youmaytakethis:--"asentencestatingthatsome,ornone,orall,oftheThingsbelongingtoacertainclass,called
its'Subject',arealsoThingsbelongingtoacertainotherclass,calledits'Predicate'".
Youwillfindthesesevenwords--PROPOSITION,ATTRIBUTE,TERM,SUBJECT,PREDICATE,PARTICULAR,UNIVERSAL--charminglyuseful,ifanyfriendshouldhappentoaskifyouhaveeverstudiedLogic.Mindyoubringallsevenwordsintoyouranswer,andyoufriendwillgoawaydeeplyimpressed--'asadderandawiserman'.
NowpleasetolookatthesmallerDiagramontheBoard,andsupposeittobeacupboard,intendedforalltheCakesintheworld(itwouldhavetobeagoodlargeone,ofcourse).Andletussupposeallthenewonestobeputintotheupperhalf(marked'x'),andall
therest(thatis,theNOT-newones)intothelowerhalf(marked'x'').ThusthelowerhalfwouldcontainELDERLYCakes,AGEDCakes,ANTE-DILUVIANCakes--ifthereareany:Ihaven'tseenmany,myself--andsoon.LetusalsosupposealltheniceCakestobeputintotheleft-handhalf(marked'y'),andalltherest(thatis,thenot-niceones)intotheright-handhalf(marked'y'').Atpresent,then,wemustunderstandxtomean"new",x'"not-new",y"nice",andy'"not-nice."
AndnowwhatkindofCakeswouldyouexpecttofindincompartment
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 5/66
No.5?
Itispartoftheupperhalf,yousee;sothat,ifithasanyCakesinit,theymustbeNEW:anditispartoftheleft-handhalf;sothattheymustbeNICE.HenceifthereareanyCakesinthiscompartment,theymusthavethedouble'ATTRIBUTE'"newandnice":or,ifweuseletters,themustbe"xy."
Observethatthelettersx,yarewrittenontwooftheedgesofthiscompartment.ThisyouwillfindaveryconvenientruleforknowingwhatAttributesbelongtotheThingsinanycompartment.TakeNo.7,forinstance.IfthereareanyCakesthere,theymustbe"x'y",thatis,theymustbe"not-newandnice."
Nowletusmakeanotheragreement--thataredcounterinacompartmentshallmeanthatitis'OCCUPIED',thatis,thatthereareSOMECakesinit.(Theword'some,'inLogic,means'oneormore'sothatasingleCakeinacompartmentwouldbequiteenoughreasonforsaying"thereareSOMECakeshere").Alsoletusagreethatagreycounterinacompartmentshallmeanthatitis'EMPTY',thatisthatthereareNOCakesinit.InthefollowingDiagrams,Ishallput'1'(meaning'oneormore')whereyouaretoputaREDcounter,and'0'(meaning'none')whereyouaretoputaGREYone.
AstheSubjectofourPropositionistobe"newCakes",weareonlyconcerned,atpresent,withtheUPPERhalfofthecupboard,wherealltheCakeshavetheattributex,thatis,"new."
Now,fixingourattentiononthisupperhalf,supposewefounditmarkedlikethis,
-----------||||1|||||-----------
thatis,witharedcounterinNo.5.Whatwouldthistellus,withregardtotheclassof"newCakes"?
WoulditnottellusthatthereareSOMEoftheminthexy-compartment?Thatis,thatsomeofthem(besideshavingtheAttributex,whichbelongstobothcompartments)havetheAttributey(thatis,"nice").Thiswemightexpressbysaying"somex-Cakesarey-(Cakes)",or,puttingwordsinsteadofletters,
"SomenewCakesarenice(Cakes)",
or,inashorterform,
"SomenewCakesarenice".
AtlastwehavefoundouthowtorepresentthefirstPropositionofthisSection.IfyouhavenotCLEARLYunderstoodallIhave
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 6/66
said,gonofurther,butreaditoverandoveragain,tillyouDOunderstandit.Afterthatisoncemastered,youwillfindalltherestquiteeasy.
Itwillsavealittletrouble,indoingtheotherPropositions,ifweagreetoleaveouttheword"Cakes"altogether.IfinditconvenienttocallthewholeclassofThings,forwhichthecupboardisintended,the'UNIVERSE.'Thuswemighthavebegunthisbusinessbysaying"LetustakeaUniverseofCakes."(Soundsnice,doesn'tit?)
OfcourseanyotherThingswouldhavedonejustaswellasCakes.WemightmakePropositionsabout"aUniverseofLizards",oreven"aUniverseofHornets".(Wouldn'tTHATbeacharmingUniversetolivein?)
Sofar,then,wehavelearnedthat
-----------||||1|||||-----------
means"somexandy,"i.e."somenewarenice."
Ithinkyouwillseewithoutfurtherexplanation,that
-----------|||||1||||-----------
means"somexarey',"i.e."somenewarenot-nice."
NowletusputaGREYcounterintoNo.5,andaskourselvesthemeaningof
-----------||||0|||||-----------
Thistellsusthatthexy-compartmentisEMPTY,whichwemayexpressby"noxarey",or,"nonewCakesarenice".ThisisthesecondofthethreePropositionsattheheadofthisSection.
Inthesameway,
-----------|||
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 7/66
||0||||-----------
wouldmean"noxarey',"or,"nonewCakesarenot-nice."
Whatwouldyoumakeofthis,Iwonder?
-----------||||1|1||||-----------
IhopeyouwillnothavemuchtroubleinmakingoutthatthisrepresentsaDOUBLEProposition:namely,"somexarey,ANDsomearey',"i.e."somenewarenice,andsomearenot-nice."
Thefollowingisalittleharder,perhaps:
-----------||||0|0||||-----------
Thismeans"noxarey,ANDnonearey',"i.e."nonewarenice,ANDnonearenot-nice":whichleadstotherathercuriousresultthat"nonewexist,"i.e."noCakesarenew."Thisisbecause"nice"and"not-nice"makewhatwecallan'EXHAUSTIVE'divisionoftheclass"newCakes":i.e.betweenthem,theyEXHAUSTthewholeclass,sothatallthenewCakes,thatexist,mustbefoundinone
ortheotherofthem.
Andnowsupposeyouhadtorepresent,withcountersthecontradictoryto"noCakesarenew",whichwouldbe"someCakesarenew",or,puttinglettersforwords,"someCakesarex",howwouldyoudoit?
Thiswillpuzzleyoualittle,Iexpect.EvidentlyyoumustputaredcounterSOMEWHEREinthex-halfofthecupboard,sinceyouknowthereareSOMEnewCakes.ButyoumustnotputitintotheLEFT-HANDcompartment,sinceyoudonotknowthemtobeNICE:normayyouputitintotheRIGHT-HANDone,sinceyoudonotknowthemtobeNOT-NICE.
What,then,areyoutodo?IthinkthebestwayoutofthedifficultyistoplacetheredcounterONTHEDIVISION-LINEbetweenthexy-compartmentandthexy'-compartment.ThisIshallrepresent(asIalwaysput'1'whereyouaretoputaredcounter)bythediagram
-----------|||
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 8/66
|-1-||||-----------
OuringeniousAmericancousinshaveinventedaphrasetoexpressthepositionofamanwhowantstojoinoneortheotheroftwoparties--suchastheirtwoparties'Democrats'and'Republicans'--butcan'tmakeuphismindWHICH.Suchamanissaidtobe"sittingonthefence."Nowthatisexactlythepositionoftheredcounteryouhavejustplacedonthedivision-line.HelikesthelookofNo.5,andhelikesthelookofNo.6,andhedoesn'tknowWHICHtojumpdowninto.Sotherehesitsastride,sillyfellow,danglinghislegs,oneoneachsideofthefence!
NowIamgoingtogiveyouamuchharderonetomakeout.Whatdoesthismean?
-----------||||1|0||||-----------
ThisisclearlyaDOUBLEProposition.Ittellsusnotonlythat"somexarey,"butalsothe"noxareNOTy."Hencetheresultis"ALLxarey,"i.e."allnewCakesarenice",whichisthelastofthethreePropositionsattheheadofthisSection.
Wesee,then,thattheUniversalProposition
"AllnewCakesarenice"
consistsofTWOPropositionstakentogether,namely,
"SomenewCakesarenice,"and"NonewCakesarenot-nice."
Inthesameway
-----------||||0|1|
|||-----------
wouldmean"allxarey'",thatis,
"AllnewCakesarenot-nice."
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 9/66
NowwhatwouldyoumakeofsuchaPropositionas"TheCakeyouhavegivenmeisnice"?IsitParticularorUniversal?
"Particular,ofcourse,"youreadilyreply."OnesingleCakeishardlyworthcalling'some,'even."
No,mydearimpulsiveReader,itis'Universal'.Rememberthat,fewastheyare(andIgrantyoutheycouldn'twellbefewer),theyare(orrather'itis')ALLthatyouhavegivenme!Thus,if(leaving'red'outofthequestion)IdividemyUniverseofCakesintotwoclasses--theCakesyouhavegivenme(towhichIassigntheupperhalfofthecupboard),andthoseyouHAVEN'Tgivenme(whicharetogobelow)--Ifindthelowerhalffairlyfull,andtheupperoneasnearlyaspossibleempty.Andthen,whenIamtoldtoputanuprightdivisionintoeachhalf,keepingtheNICECakestotheleft,andtheNOT-NICEonestotheright,IbeginbycarefullycollectingALLtheCakesyouhavegivenme(sayingtomyself,fromtimetotime,"Generouscreature!HowshallIeverrepaysuchkindness?"),andpilingthemupintheleft-handcompartment.ANDITDOESN'TTAKELONGTODOIT!
HereisanotherUniversalPropositionforyou."BarzillaiBeckalegg
isanhonestman."Thatmeans"ALLtheBarzillaiBeckaleggs,thatIamnowconsidering,arehonestmen."(YouthinkIinventedthatname,nowdon'tyou?ButIdidn't.It'sonacarrier'scart,somewheredowninCornwall.)
ThiskindofUniversalProposition(wheretheSubjectisasingleThing)iscalledan'INDIVIDUAL'Proposition.
Nowletustake"NICECakes"astheSubjectofProposition:thatis,letusfixourthoughtsontheLEFT-HANDhalfofthecupboard,wherealltheCakeshaveattributey,thatis,"nice."
-----Supposewefinditmarkedlikethis:--|||1|Whatwouldthattellus?||-----||||||-----
Ihopethatitisnotnecessary,afterexplainingtheHORIZONTALoblongsofully,tospendmuchtimeovertheUPRIGHTone.Ihope
youwillsee,foryourself,thatthismeans"someyarex",thatis,
"SomeniceCakesarenew."
"But,"youwillsay,"wehavehadthiscasebefore.YouputaredcounterintoNo.5,andyoutoldusitmeant'somenewCakesarenice';andNOWyoutellusthatitmeans'someNICECakesareNEW'!
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 10/66
CanitmeanBOTH?"
Thequestionisaverythoughtfulone,anddoesyouGREATcredit,dearReader!ItDOESmeanboth.Ifyouchoosetotakex(thatis,"newCakes")asyourSubject,andtoregardNo.5aspartofaHORIZONTALoblong,youmayreadit"somexarey",thatis,"somenewCakesarenice":but,ifyouchoosetotakey(thatis,"niceCake")asyourSubject,andtoregardNo.5aspartofanUPRIGHToblong,THENyoumayreadit"someyarex",thatis,"someniceCakesarenew".Theyaremerelytwodifferentwaysofexpressingtheverysametruth.
Withoutmorewords,Iwillsimplysetdowntheotherwaysinwhichthisuprightoblongmightbemarked,addingthemeaningineachcase.Bycomparingthemwiththevariouscasesofthehorizontaloblong,youwill,Ihope,beabletounderstandthemclearly.
Youwillfinditagoodplantoexamineyourselfonthistable,bycoveringupfirstonecolumnandthentheother,and'dodgingabout',asthechildrensay.
Alsoyouwilldowelltowriteoutforyourselftwoothertables--onefortheLOWERhalfofthecupboard,andtheotherforitsRIGHT-HANDhalf.
AndnowIthinkwehavesaidallweneedtosayaboutthesmallerDiagram,andmaygoontothelargerone.
_________________________________________________ |Symbols.|Meanings. _______________|_________________________________ -----|||||||Someyarex';|||i.e.Somenicearenot-new.-----|
||||1|||||-----||-----||||Noyarex;|0||i.e.Nonicearenew.|||-----|[Observethatthisismerelyanotherwayof|||expressing"Nonewarenice."]||||||
-----||-----|||||||Noyarex';|||i.e.Nonicearenot-new.-----|||||0|||||
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 11/66
-----||-----|||||1||Someyarex,andsomearex';|||i.e.Somenicearenew,andsomeare-----|not-new.||||1|||||-----||-----|||||0||Noyarex,andnonearex';i.e.Noy|||exist;-----|i.e.NoCakesarenice.||||0|||||-----||-----||||
|1||Allyarex;|||i.e.Allnicearenew.-----|||||0|||||-----||-----|||||0||Allyarex';|||i.e.Allnicearenot-new.-----|
||||1|||||-----| _______________|_________________________________
Thismaybetakentobeacupboarddividedinthesamewayasthelast,butALSOdividedintotwoportions,fortheAttributem.Letusgivetomthemeaning"wholesome":andletussupposethatallWHOLESOMECakesareplacedINSIDEthecentralSquare,andalltheUNWHOLESOMEonesOUTSIDEit,thatis,inoneorotherofthefourqueer-shapedOUTERcompartments.
Weseethat,justas,inthesmallerDiagram,theCakesineachcompartmenthadTWOAttributes,so,here,theCakesineachcompartmenthaveTHREEAttributes:and,justastheletters,representingtheTWOAttributes,werewrittenontheEDGESofthecompartment,so,here,theyarewrittenattheCORNERS.(Observethatm'issupposedtobewrittenateachofthefouroutercorners.)Sothatwecantellinamoment,bylookingatacompartment,whatthreeAttributesbelongtotheThingsinit.Forinstance,takeNo.12.Herewefindx,y',m,atthecorners:soweknowthattheCakesinit,ifthereareany,havethetripleAttribute,'xy'm',thatis,"new,
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 12/66
not-nice,andwholesome."Again,takeNo.16.Herewefind,atthecorners,x',y',m':sotheCakesinitare"not-new,not-nice,andunwholesome."(RemarkablyuntemptingCakes!)
ItwouldtakefartoolongtogothroughallthePropositions,containingxandy,xandm,andyandmwhichcanberepresentedonthisdiagram(thereareninety-sixaltogether,soIamsureyouwillexcuseme!)andImustcontentmyselfwithdoingtwoorthree,asspecimens.Youwilldowelltoworkoutalotmoreforyourself.
Takingtheupperhalfbyitself,sothatourSubjectis"newCakes",howarewetorepresent"nonewCakesarewholesome"?
Thisis,writinglettersforwords,"noxarem."NowthistellsusthatnoneoftheCakes,belongingtotheupperhalfofthecupboard,aretobefoundINSIDEthecentralSquare:thatis,thetwocompartments,No.11andNo.12,areEMPTY.Andthis,ofcourse,isrepresentedby
-------------------||||_____|_____||||||
||0|0|||||||-------------------
AndnowhowarewetorepresentthecontradictoryProposition"SOMExarem"?ThisisadifficultyIhavealreadyconsidered.IthinkthebestwayistoplacearedcounterONTHEDIVISION-LINEbetweenNo.11andNo.12,andtounderstandthistomeanthatONEofthetwocompartmentsis'occupied,'butthatwedonotatpresentknowWHICH.ThisIshallrepresentthus:--
-------------------||||_____|_____||||||||-1-|||||||-------------------
Nowletusexpress"allxarem."
Thisconsists,weknow,ofTWOPropositions,
"Somexarem,"and"Noxarem'."
Letusexpressthenegativepartfirst.ThistellsusthatnoneoftheCakes,belongingtotheupperhalfofthecupboard,aretobefoundOUTSIDEthecentralSquare:thatis,thetwocompartments,No.9andNo.10,areEMPTY.This,ofcourse,isrepresentedby
-------------------
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 13/66
|0|0||_____|_____||||||||||||||||-------------------
Butwehaveyettorepresent"Somexarem."ThistellsusthatthereareSOMECakesintheoblongconsistingofNo.11andNo.12:soweplaceourredcounter,asinthepreviousexample,onthedivision-linebetweenNo.11andNo.12,andtheresultis
-------------------|0|0||_____|_____||||||||-1-|||||||-------------------
Nowletustryoneortwointerpretations.
Whatarewetomakeofthis,withregardtoxandy?
-------------------||0||_____|_____||||||||1|0|||||||-------------------
Thistellsus,withregardtothexy'-Square,thatitiswholly
'empty',sinceBOTHcompartmentsaresomarked.Withregardtothexy-Square,ittellsusthatitis'occupied'.True,itisonlyONEcompartmentofitthatissomarked;butthatisquiteenough,whethertheotherbe'occupied'or'empty',tosettlethefactthatthereisSOMETHINGintheSquare.
If,then,wetransferourmarkstothesmallerDiagram,soastogetridofthem-subdivisions,wehavearighttomarkit
-----------||||1|0|
|||-----------
whichmeans,youknow,"allxarey."
Theresultwouldhavebeenexactlythesame,ifthegivenoblonghadbeenmarkedthus:--
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 14/66
-------------------|1|0||_____|_____|||||||||0|||||||-------------------
Oncemore:howshallweinterpretthis,withregardtoxandy?
-------------------|0|1||_____|_____||||||||||||||||-------------------
Thistellsus,astothexy-Square,thatONEofitscompartmentsis'empty'.Butthisinformationisquiteuseless,asthereisnomarkintheOTHERcompartment.Iftheothercompartmenthappened
tobe'empty'too,theSquarewouldbe'empty':and,ifithappenedtobe'occupied',theSquarewouldbe'occupied'.So,aswedonotknowWHICHisthecase,wecansaynothingaboutTHISSquare.
TheotherSquare,thexy'-Square,weknow(asinthepreviousexample)tobe'occupied'.
If,then,wetransferourmarkstothesmallerDiagram,wegetmerelythis:--
-----------|||
||1||||-----------
whichmeans,youknow,"somexarey'."
Theseprinciplesmaybeappliedtoalltheotheroblongs.Forinstance,torepresent"ally'arem'"weshouldmarkthe-------RIGHT-HANDUPRIGHTOBLONG(theone||thathastheattributey')thus:--|---||0||
|---|-1-||0|||---|||-------
and,ifweweretoldtointerpretthelowerhalfofthecupboard,markedasfollows,withregardtoxandy,
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 15/66
-------------------||||||||0||||||||-----|-----||1|0|-------------------
weshouldtransferittothesmallerDiagramthus,
-----------||||1|0||||-----------
andreadit"allx'arey."
TwomoreremarksaboutPropositionsneedtobemade.
Oneisthat,ineveryPropositionbeginningwith"some"or"all",
theACTUALEXISTENCEofthe'Subject'isasserted.If,forinstance,Isay"allmisersareselfish,"ImeanthatmisersACTUALLYEXIST.IfIwishedtoavoidmakingthisassertion,andmerelytostatetheLAWthatmiserlinessnecessarilyinvolvesselfishness,Ishouldsay"nomisersareunselfish"whichdoesnotassertthatanymisersexistatall,butmerelythat,ifanyDIDexist,theyWOULDbeselfish.
Theotheristhat,whenaPropositionbeginswith"some"or"no",andcontainsmorethattwoAttributes,theseAttributesmaybere-arranged,andshiftedfromoneTermtotheother,"adlibitum."Forexample,"someabcaredef"maybere-arrangedas"somebfareacde,"eachbeingequivalentto"someThingsareabcdef".Again"No
wiseoldmenarerashandrecklessgamblers"maybere-arrangedas"Norasholdgamblersarewiseandreckless,"eachbeingequivalentto"Nomenarewiseoldrashrecklessgamblers."
2.Syllogisms
NowsupposewedivideourUniverseofThingsinthreeways,withregardtothreedifferentAttributes.OutofthesethreeAttributes,wemaymakeupthreedifferentcouples(forinstance,iftheywerea,b,c,wemightmakeupthethreecouplesab,ac,bc).Alsosuppose
wehavetwoPropositionsgivenus,containingtwoofthesethreecouples,andthatfromthemwecanproveathirdPropositioncontainingthethirdcouple.(Forexample,ifwedivideourUniverseform,x,andy;andifwehavethetwoPropositionsgivenus,"nomarex'"and"allm'arey",containingthetwocouplesmxandmy,itmightbepossibletoprovefromthemathirdProposition,containingxandy.)
InsuchacasewecallthegivenPropositions'THEPREMISSES',thethirdone'THECONCLUSION'andthewholeset'ASYLLOGISM'.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 16/66
Evidently,ONEoftheAttributesmustoccurinbothPremisses;orelseonemustoccurinONEPremiss,anditsCONTRADICTORYintheother.
Inthefirstcase(when,forexample,thePremissesare"somemarex"and"nomarey'")theTerm,whichoccurstwice,iscalled'THEMIDDLETERM',becauseitservesasasortoflinkbetweentheothertwoTerms.
Inthesecondcase(when,forexample,thePremissesare"nomarex'"and"allm'arey")thetwoTerms,whichcontainthesecontradictoryAttributes,maybecalled'THEMIDDLETERMS'.
Thus,inthefirstcase,theclassof"m-Things"istheMiddleTerm;and,inthesecondcase,thetwoclassesof"m-Things"and"m'-Things"aretheMiddleTerms.
TheAttribute,whichoccursintheMiddleTermorTerms,disappearsintheConclusion,andissaidtobe"eliminated",whichliterallymeans"turnedoutofdoors".
NowletustrytodrawaConclusionfromthetwoPremisses--
"SomenewCakesareunwholesome;NoniceCakesareunwholesome."
Inordertoexpressthemwithcounters,weneedtodivideCakesinTHREEdifferentways,withregardtonewness,toniceness,andtowholesomeness.ForthiswemustusethelargerDiagram,makingxmean"new",y"nice",andm"wholesome".(EverythingINSIDEthecentralSquareissupposedtohavetheattributem,andeverythingOUTSIDEittheattributem',i.e."not-m".)
YouhadbetteradopttheruletomakemmeantheAttributewhichoccursintheMIDDLETermorTerms.(Ihavechosenmasthesymbol,because'middle'beginswith'm'.)
Now,inrepresentingthetwoPremisses,IprefertobeginwiththeNEGATIVEone(theonebeginningwith"no"),becauseGREYcounterscanalwaysbeplacedwithCERTAINTY,andwillthenhelptofixthepositionoftheredcounters,whicharesometimesalittleuncertainwheretheywillbemostwelcome.
Letusexpress,the"noniceCakesareunwholesome(Cakes)",i.e."noy-Cakesarem'-(Cakes)".ThistellsusthatnoneoftheCakesbelongingtothey-halfofthecupboardareinitsm'-compartments(i.e.theonesoutsidethecentralSquare).Hencethetwocompartments,No.9andNo.15,areboth'EMPTY';andwemustplaceagreycounterinEACHofthem,thus:--
-----------|0|||--|--|||||||--|-----|--|||||||--|--||0||
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 17/66
-----------
WehavenowtoexpresstheotherPremiss,namely,"somenewCakesareunwholesome(Cakes)",i.e."somex-Cakesarem'-(Cakes)".ThistellsusthatsomeoftheCakesinthex-halfofthecupboardareinitsm'-compartments.HenceONEofthetwocompartments,No.9andNo.10,is'occupied':and,aswearenottoldinWHICHofthesetwocompartmentstoplacetheredcounter,theusualrulewouldbetolayitonthedivision-linebetweenthem:but,inthiscase,theotherPremisshassettledthematterforus,bydeclaringNo.9tobeEMPTY.Hencetheredcounterhasnochoice,andMUSTgointoNo.10,thus:--
-----------|0|1||--|--|||||||--|-----|--|||||||--|--||0||-----------
AndnowwhatcounterswillthisinformationenableustoplaceintheSMALLERDiagram,soastogetsomePropositioninvolvingxandyonly,leavingoutm?Letustakeitsfourcompartments,onebyone.
First,No.5.AllweknowaboutTHISisthatitsOUTERportionisempty:butweknownothingaboutitsinnerportion.ThustheSquareMAYbeempty,oritMAYhavesomethinginit.Whocantell?SowedarenotplaceANYcounterinthisSquare.
Secondly,whatofNo.6?Herewearealittlebetteroff.We
knowthatthereisSOMETHINGinit,forthereisaredcounterinitsouterportion.Itistruewedonotknowwhetheritsinnerportionisemptyoroccupied:butwhatdoesTHATmatter?OnesolitaryCake,inonecorneroftheSquare,isquitesufficientexcuseforsaying"THISSQUAREISOCCUPIED",andformarkingitwitharedcounter.
AstoNo.7,weareinthesameconditionaswithNo.5--wefinditPARTLY'empty',butwedonotknowwhethertheotherpartisemptyoroccupied:sowedarenotmarkthisSquare.
AndastoNo.8,wehavesimplynoinformationatall.
Theresultis
-------||1||---|---||||-------
Our'Conclusion',then,mustbegotoutoftherathermeagerpiece
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 18/66
ofinformationthatthereisaredcounterinthexy'-Square.HenceourConclusionis"somexarey'",i.e."somenewCakesarenot-nice(Cakes)":or,ifyouprefertotakey'asyourSubject,"somenot-niceCakesarenew(Cakes)";buttheotherlooksneatest.
WewillnowwriteoutthewholeSyllogism,puttingthesymbol&there4[*]for"therefore",andomitting"Cakes",forthesakeofbrevity,attheendofeachProposition.
[*][NOTEfromBrett:Theuseof"&there4"isaratherarbitraryselection.Thereisnofontavailableingeneralpracticewhichrendersthe"therefore"symbolcorrection(threedotsinatriangularformation).Thiscanbedone,however,inHTML,soifthisdocumentisreadinabrowser,thenthesymbolwillbeproperlyrecognized.Thisisapoorman'sexcuse.]
"SomenewCakesareunwholesome;NoniceCakesareunwholesome&there4SomenewCakesarenot-nice."
Andyouhavenowworkedout,successfully,yourfirst'SYLLOGISM'.Permitmetocongratulateyou,andtoexpressthehopethatitisbutthebeginningofalongandgloriousseriesofsimilarvictories!
WewillworkoutoneotherSyllogism--aratherharderonethanthelast--andthen,Ithink,youmaybesafelylefttoplaytheGamebyyourself,or(better)withanyfriendwhomyoucanfind,thatisableandwillingtotakeashareinthesport.
LetusseewhatwecanmakeofthetwoPremisses--
"AllDragonsareuncanny;AllScotchmenarecanny."
Remember,Idon'tguaranteethePremissestobeFACTS.Inthe
firstplace,IneverevensawaDragon:and,inthesecondplace,itisn'toftheslightestconsequencetous,asLOGICIANS,whetherourPremissesaretrueorfalse:allWEhavetodoistomakeoutwhethertheyLEADLOGICALLYTOTHECONCLUSION,sothat,ifTHEYweretrue,ITwouldbetruealso.
Yousee,wemustgiveupthe"Cakes"now,orourcupboardwillbeofnousetous.Wemusttake,asour'Universe',someclassofthingswhichwillincludeDragonsandScotchmen:shallwesay'Animals'?And,as"canny"isevidentlytheAttributebelongingtothe'MiddleTerms',wewillletmstandfor"canny",xfor"Dragons",andyfor"Scotchmen".SothatourtwoPremissesare,infull,
"AllDragon-Animalsareuncanny(Animals);AllScotchman-Animalsarecanny(Animals)."
Andthesemaybeexpressed,usinglettersforwords,thus:--
"Allxarem';
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 19/66
Allyarem."
ThefirstPremissconsists,asyoualreadyknow,oftwoparts:--
"Somexarem',"and"Noxarem."
Andthesecondalsoconsistsoftwoparts:--
"Someyarem,"and"Noyarem'."
Letustakethenegativeportionsfirst.
Wehave,then,tomark,onthelargerDiagram,first,"noxarem",andsecondly,"noyarem'".Ithinkyouwillsee,withoutfurtherexplanation,thatthetworesults,separately,are
----------------------||||0|||--|--||--|--|||0|0||||||||--|--|--|--||--|--|--|--||||||||||||--|--||--|--|||||0||----------------------
andthatthesetwo,whencombined,giveus
-----------|0|||--|--|||0|0|||--|--|--|--|||||||--|--||0||-----------
Wehavenowtomarkthetwopositiveportions,"somexarem'"and"someyarem".
Theonlytwocompartments,availableforThingswhicharexm',areNo.9andNo.10.Ofthese,No.9isalreadymarkedas'empty';soourredcountermustgointoNo.10.
Similarly,theonlytwo,availableforym,areNo.11andNo.13.Ofthese,No.11isalreadymarkedas'empty';soourredcounterMUSTgointoNo.13.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 20/66
Thefinalresultis
-----------|0|1||--|--|||0|0|||--|--|--|--|||1||||--|--||0||-----------
AndnowhowmuchofthisinformationcanusefullybetransferredtothesmallerDiagram?
Letustakeitsfourcompartments,onebyone.
AstoNo.5?This,wesee,iswholly'empty'.(Somarkitwithagreycounter.)
AstoNo.6?This,wesee,is'occupied'.(Somarkitwitharedcounter.)
AstoNo.7?Ditto,ditto.
AstoNo.8?Noinformation.
ThesmallerDiagramisnowprettyliberallymarked:--
-------|0|1||---|---|
|1||-------
AndnowwhatConclusioncanwereadofffromthis?Well,itisimpossibletopacksuchabundantinformationintoONEProposition:weshallhavetoindulgeinTWO,thistime.
First,bytakingxasSubject,weget"allxarey'",thatis,
"AllDragonsarenot-Scotchmen":
secondly,bytakingyasSubject,weget"allyarex'",thatis,
"AllScotchmenarenot-Dragons".
Letusnowwriteout,alltogether,ourtwoPremissesandourbraceofConclusions.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 21/66
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 22/66
"somexarecapableofbeingy,andnonearecapableofbeingy'",thatis,"theAttributesx,yareCOMPATIBLE,andtheAttributesx,y'areINCOMPATIBLE."InusingtheDiagramsforthissystem,youmustunderstandaredcountertomean"theremayPOSSIBLYbesomethinginthiscompartment,"andagreyonetomean"therecannotPOSSIBLYbeanythinginthiscompartment."
3.Fallacies.
Andsoyouthink,doyou,thatthechiefuseofLogic,inreallife,istodeduceConclusionsfromworkablePremisses,andtosatisfyyourselfthattheConclusions,deducedbyotherpeople,arecorrect?Ionlywishitwere!Societywouldbemuchlessliabletopanicsandotherdelusions,andPOLITICALlife,especially,wouldbeatotallydifferentthing,ifevenamajorityofthearguments,thatscatteredbroadcastovertheworld,werecorrect!Butitisalltheotherway,Ifear.ForONEworkablePairofPremisses(ImeanaPairthatleadtoalogicalConclusion)thatyoumeetwithinreadingyournewspaperormagazine,youwillprobablyfindFIVEthatleadtonoConclusionatall:and,evenwhenthePremissesAREworkable,forONEinstance,wherethewriterdrawsacorrect
Conclusion,thereareprobablyTENwherehedrawsanincorrectone.
Inthefirstcase,youmaysay"thePREMISSESarefallacious":inthesecond,"theCONCLUSIONisfallacious."
Thechiefuseyouwillfind,insuchLogicalskillasthisGamemayteachyou,willbeindetecting'FALLACIES'ofthesetwokinds.
ThefirstkindofFallacy--'FallaciousPremisses'--youwilldetectwhen,aftermarkingthemonthelargerDiagram,youtrytotransferthemarkstothesmaller.Youwilltakeitsfourcompartments,onebyone,andask,foreachinturn,"WhatmarkcanIplaceHERE?";andinEVERYonetheanswerwillbe"Noinformation!",showingthat
thereisNOCONCLUSIONATALL.Forinstance,
"Allsoldiersarebrave;SomeEnglishmenarebrave.&there4SomeEnglishmenaresoldiers."
looksuncommonlyLIKEaSyllogism,andmighteasilytakeinalessexperiencedLogician.ButYOUarenottobecaughtbysuchatrick!YouwouldsimplysetoutthePremisses,andwouldthencalmlyremark"FallaciousPREMISSES!":youwouldn'tcondescendtoaskwhatCONCLUSIONthewriterprofessedtodraw--knowingthat,
WHATEVERitis,itMUSTbewrong.Youwouldbejustassafeasthatwisemotherwas,whosaid"Mary,justgouptothenursery,andseewhatBaby'sdoing,ANDTELLHIMNOTTODOIT!"
TheotherkindofFallacy--'FallaciousConclusion'--youwillnotdetecttillyouhavemarkedBOTHDiagrams,andhavereadoffthecorrectConclusion,andhavecompareditwiththeConclusionwhichthewriterhasdrawn.
Butmind,youmustn'tsay"FALLACIOUSConclusion,"simplybecause
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 23/66
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 24/66
TheyhaveasortofnervousdreadofAttributesbeginningwithanegativeparticle.Forexample,suchPropositionsas"Allnot-xarey,""Noxarenot-y,"arequiteoutsidetheirsystem.Andthus,having(fromsheernervousness)excludedaquantityofveryusefulforms,theyhavemaderuleswhich,thoughquiteapplicabletothefewformswhichtheyallowof,arenouseatallwhenyouconsiderallpossibleforms.
Letusnotquarrelwiththem,dearReader!Thereisroomenoughintheworldforbothofus.Letusquietlytakeourbroadersystem:and,iftheychoosetoshuttheireyestoalltheseusefulforms,andtosay"TheyarenotSyllogismsatall!"wecanbutstandaside,andletthemRushupontheirFate!Thereisscarcelyanythingofyours,uponwhichitissodangeroustoRush,asyourFate.YoumayRushuponyourPotato-beds,oryourStrawberry-beds,withoutdoingmuchharm:youmayevenRushuponyourBalcony(unlessitisanewhouse,builtbycontract,andwithnoclerkoftheworks)andmaysurvivethefoolhardyenterprise:butifyouonceRushuponyourFATE--why,youmusttaketheconsequences!
CHAPTERII.
CROSSQUESTIONS.
"TheManintheWildernessaskedofme'Howmanystrawberriesgrowinthesea?'"__________
1.Elementary.
1.Whatisan'Attribute'?Giveexamples.
2.Whenisitgoodsensetoput"is"or"are"betweentwonames?Giveexamples.
3.WhenisitNOTgoodsense?Giveexamples.
4.WhenitisNOTgoodsense,whatisthesimplestagreementtomake,inordertomakegoodsense?
5.Explain'Proposition','Term','Subject',and'Predicate'.
Giveexamples.
6.Whatare'Particular'and'Universal'Propositions?Giveexamples.
7.Givearuleforknowing,whenwelookatthesmallerDiagram,whatAttributesbelongtothethingsineachcompartment.
8.Whatdoes"some"meaninLogic?[Seepp.55,6]
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 25/66
9.Inwhatsensedoweusetheword'Universe'inthisGame?
10.Whatisa'Double'Proposition?Giveexamples.
11.WhenisaclassofThingssaidtobe'exhaustively'divided?Giveexamples.
12.Explainthephrase"sittingonthefence."
13.WhattwopartialPropositionsmakeup,whentakentogether,"allxarey"?
14.Whatare'Individual'Propositions?Giveexamples.
15.WhatkindsofPropositionsimply,inthisGame,theEXISTENCEoftheirSubjects?
16.WhenaPropositioncontainsmorethantwoAttributes,theseAttributesmayinsomecasesbere-arranged,andshiftedfromoneTermtotheother.Inwhatcasesmaythisbedone?Giveexamples.
__________
BreakupeachofthefollowingintotwopartialPropositions:
17.Alltigersarefierce.
18.Allhard-boiledeggsareunwholesome.
19.Iamhappy.
20.Johnisnotathome.
__________
[Seepp.56,7]
21.Givearuleforknowing,whenwelookatthelargerDiagram,whatAttributesbelongtotheThingscontainedineachcompartment.
22.Explain'Premisses','Conclusion',and'Syllogism'.Giveexamples.
23.Explainthephrases'MiddleTerm'and'MiddleTerms'.
24.InmarkingapairofPremissesonthelargerDiagram,whyisitbesttomarkNEGATIVEPropositionsbeforeAFFIRMATIVEones?
25.Whyisitofnoconsequencetous,asLogicians,whetherthePremissesaretrueorfalse?
26.HowcanweworkSyllogismsinwhichwearetoldthat"somexarey"istobeunderstoodtomean"theAttributex,yareCOMPATIBLE",and"noxarey"tomean"theAttributesx,yareINCOMPATIBLE"?
27.Whatarethetwokindsof'Fallacies'?
28.Howmaywedetect'FallaciousPremisses'?
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 26/66
29.Howmaywedetecta'FallaciousConclusion'?
30.SometimestheConclusion,offeredtous,isnotidenticalwiththecorrectConclusion,andyetcannotbefairlycalled'Fallacious'.Whendoesthishappen?AndwhatnamemaywegivetosuchaConclusion?
[Seepp.57-59]
2.HalfofSmallerDiagram.
Propositionstoberepresented.
-----------||||x||||--y-----y'-
__________
1.Somexarenot-y.
2.Allxarenot-y.
3.Somexarey,andsomearenot-y.
4.Noxexist.
5.Somexexist.
6.Noxarenot-y.
7.Somexarenot-y,andsomexexist.
__________
Takingx="judges";y="just";
8.Nojudgesarejust.
9.Somejudgesareunjust.
10.Alljudgesarejust.
__________
Takingx="plums";y="wholesome";
11.Someplumsarewholesome.
12.Therearenowholesomeplums.
13.Plumsaresomeofthemwholesome,andsomenot.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 27/66
14.Allplumsareunwholesome.
[Seepp.59,60]
-----|||x|||--y--||||x'||-----
__________
Takingy="diligentstudents";x="successful";
15.Nodiligentstudentsareunsuccessful.
16.Alldiligentstudentsaresuccessful.
17.Nostudentsarediligent.
18.Therearesomediligent,butunsuccessful,students.
19.Somestudentsarediligent.
[Seepp.60,1]
3.HalfofSmallerDiagram.
Symbolstobeinterpreted.
__________
-----------||||x||||--y-----y'-
__________
--------------||||||1.||0|2.|0|0|||||||--------------
--------------
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 28/66
||||||3.|-|4.|0|1|||||||--------------
__________
Takingx="goodriddles";y="hard";
--------------||||||5.|1||6.|1|0|||||||--------------
--------------||||||7.|0|0|8.|0||||||||--------------
__________
[Seepp.61,2]
Takingx="lobster";y="selfish";
--------------||||||9.||1|10.|0||||||||--------------
--------------||||||11.|0|1|12.|1|1|
||||||--------------
__________
-----||x||||--y'-|||x'|
||-----
Takingy="healthypeople";x="happy";
------------|0||||1||0|13.|---|14.|-1-|15.|---|16.|---||1||||1|||------------
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 29/66
[Seep.62]
4.SmallerDiagram.
Propositionstoberepresented.
-----------||||x||--y--|--y'-||x'||||-----------
__________
1.Allyarex.
2.Someyarenot-x.
3.Nonot-xarenot-y.
4.Somexarenot-y.
5.Somenot-yarex.
6.Nonot-xarey.
7.Somenot-xarenot-y.
8.Allnot-xarenot-y.
9.Somenot-yexist.
10.Nonot-xexist.
11.Someyarex,andsomearenot-x.
12.Allxarey,andallnot-yarenot-x.
[Seepp.62,3]
Taking"nations"asUniverse;x="civilised";y="warlike";
13.Nouncivilisednationiswarlike.
14.Allunwarlikenationsareuncivilised.
15.Somenationsareunwarlike.
16.Allwarlikenationsarecivilised,andallcivilisednations
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 30/66
arewarlike.
17.Nonationisuncivilised.
__________
Taking"crocodiles"asUniverse;x="hungry";andy="amiable";
18.Allhungrycrocodilesareunamiable.
19.Nocrocodilesareamiablewhenhungry.
20.Somecrocodiles,whennothungry,areamiable;butsomearenot.
21.Nocrocodilesareamiable,andsomearehungry.
22.Allcrocodiles,whennothungry,areamiable;andallunamiablecrocodilesarehungry.
23.Somehungrycrocodilesareamiable,andsomethatarenothungryareunamiable.
[Seepp.63,4]
5.SmallerDiagram.
Symbolstobeinterpreted.
__________
-----------||||x||--y--|--y'-||x'||||-----------
__________
--------------
||||||1.|---|---|2.|---|---||1||||0|--------------
--------------||1||||3.|---|---|4.|---|---|||0||0|0|--------------
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 31/66
__________
Taking"houses"asUniverse;x="builtofbrick";andy="two-storied";interpret
--------------|0|||||5.|---|---|6.|---|---||0|||-|----------|---
--------------||0||||7.|---|---|8.|---|---|||||0|1|--------------
[Seep.65]
Taking"boys"asUniverse;x="fat";andy="active";interpret
--------------
|1|1|||0|9.|---|---|10.|---|---||||||1|--------------
--------------|0|1||1||11.|---|---|12.|---|---|||0||0|1|--------------
__________
Taking"cats"asUniverse;x="green-eyed";andy="good-tempered";interpret
--------------|0|0|||1|13.|---|---|14.|---|---|||0||1||--------------
--------------|1|||0|1|15.|---|---|16.|---|---|||0||1|0|
--------------
[Seepp.65,6]
6.LargerDiagram.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 32/66
Propositionstoberepresented.
__________
-----------||||--x--|||||||--y--m--y'-|||||||--x'-||||-----------
__________
1.Noxarem.
2.Someyarem'.
3.Allmarex'.
4.Nom'arey'.
5.Nomarex;Allyarem.
6.Somexarem;Noyarem.
7.Allmarex';Nomarey.
8.Nox'arem;Noy'arem'.
[Seepp.67,8]
Taking"rabbits"asUniverse;m="greedy";x="old";andy="black";represent
9.Nooldrabbitsaregreedy.
10.Somenot-greedyrabbitsareblack.
11.Allwhiterabbitsarefreefromgreediness.
12.Allgreedyrabbitsareyoung.
13.Nooldrabbitsaregreedy;Allblackrabbitsaregreedy.
14.Allrabbits,thatarenotgreedy,areblack;Nooldrabbitsarefreefromgreediness.
__________
Taking"birds"asUniverse;m="thatsingloud";x="well-fed";andy="happy";represent
15.Allwell-fedbirdssingloud;Nobirds,thatsingloud,areunhappy.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 33/66
16.Allbirds,thatdonotsingloud,areunhappy;Nowell-fedbirdsfailtosingloud.
__________
Taking"persons"asUniverse;m="inthehouse";x="John";andy="havingatooth-ache";represent
17.Johnisinthehouse;Everybodyinthehouseissufferingfromtooth-ache.
18.ThereisnooneinthehousebutJohn;Nobody,outofthehouse,hasatooth-ache.
__________
[Seepp.68-70]
Taking"persons"asUniverse;m="I";x="thathastakenawalk";y="thatfeelsbetter";represent
19.Ihavebeenoutforawalk;Ifeelmuchbetter.
__________
Choosingyourown'Universe'&c.,represent
20.Isenthimtobringmeakitten;Hebroughtmeakettlebymistake.
[Seepp.70,1]
7.BothDiagramstobeemployed.
__________
-----------|||-----------|--x--||||||||||x||--y--m--y'-||--y--|--y'-|||||||x'||--x'-|||||||-----------
-----------
__________
N.B.IneachQuestion,asmallDiagramshouldbedrawn,forxandyonly,andmarkedinaccordancewiththegivenlargeDiagram:andthenasmanyPropositionsaspossible,forxandy,shouldbereadofffromthissmallDiagram.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 34/66
----------------------|0||||||--|--||--|--|||0|0||||0|1||1.|--|--|--|--|2.|--|--|--|--|||1|||||0||||--|--||--|--||0|||||----------------------
[Seep.72]
----------------------|||||0||--|--||--|--|||0|0|||||||3.|--|--|--|--|4.|--|--|--|--|||1|0||||0||||--|--||--|--||||||0|----------------------
__________
Mark,inalargeDiagram,thefollowingpairsofPropositionsfromtheprecedingSection:thenmarkasmallDiagraminaccordancewithit,&c.
5.No.13.[seep.49]9.No.17.6.No.14.10.No.18.7.No.15.11.No.19.[seep.50]8.No.16.12.No.20.
__________
Mark,onalargeDiagram,thefollowingPairsofPropositions:thenmarkasmallDiagram,&c.Theseare,infact,PairsofPREMISSESforSyllogisms:andtheresults,readofffromthesmallDiagram,aretheCONCLUSIONS.
13.Noexcitingbookssuitfeverishpatients;Unexcitingbooksmakeonedrowsy.
14.Some,whodeservethefair,gettheirdeserts;Nonebutthebravedeservethefair.
15.Nochildrenarepatient;Noimpatientpersoncansitstill.
[Seepp.72-5]
16.Allpigsarefat;Noskeletonsarefat.
17.Nomonkeysaresoldiers;Allmonkeysaremischievous.
18.Noneofmycousinsarejust;Nojudgesareunjust.
19.Somedaysarerainy;Rainydaysaretiresome.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 35/66
20.Allmedicineisnasty;Sennaisamedicine.
21.SomeJewsarerich;AllPatagoniansareGentiles.
22.Allteetotalerslikesugar;Nonightingaledrinkswine.
23.Nomuffinsarewholesome;Allbunsareunwholesome.
24.Nofatcreaturesrunwell;Somegreyhoundsrunwell.
25.Allsoldiersmarch;Someyouthsarenotsoldiers.
26.Sugarissweet;Saltisnotsweet.
27.Someeggsarehard-boiled;Noeggsareuncrackable.
28.TherearenoJewsinthehouse;TherearenoGentilesinthegarden.
[Seepp.75-82]
29.Allbattlesarenoisy;Whatmakesnonoisemayescapenotice.
30.NoJewsaremad;AllRabbisareJews.
31.Therearenofishthatcannotswim;Someskatesarefish.
32.Allpassionatepeopleareunreasonable;Someoratorsarepassionate.
[Seepp.82-84]
CHAPTERIII.
CROOKEDANSWERS.
"Iansweredhim,asIthoughtgood,'Asmanyasred-herringsgrowinthewood'."
__________
1.Elementary.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 36/66
1.Whatevercanbe"attributedto",thatis"saidtobelongto",aThing,iscalledan'Attribute'.Forexample,"baked",whichcan(frequently)beattributedto"Buns",and"beautiful",whichcan(seldom)beattributedto"Babies".
2.WhentheyaretheNamesoftwoThings(forexample,"thesePigsarefatAnimals"),oroftwoAttributes(forexample,"pinkislightred").
3.WhenoneistheNameofaThing,andtheothertheNameofanAttribute(forexample,"thesePigsarepink"),sinceaThingcannotactuallyBEanAttribute.
4.ThattheSubstantiveshallbesupposedtoberepeatedattheendofthesentence(forexample,"thesePigsarepink(Pigs)").
5.A'Proposition'isasentencestatingthatsome,ornone,orall,oftheThingsbelongingtoacertainclass,calledthe'Subject',arealsoThingsbelongingtoacertainotherclass,calledthe'Predicate'.Forexample,"somenewCakesarenotnice",thatis(writteninfull)"somenewCakesarenotniceCakes";wheretheclass"newCakes"istheSubject,andtheclass"not-niceCakes"isthePredicate.
6.AProposition,statingthatSOMEoftheThingsbelongingtoitsSubjectareso-and-so,iscalled'Particular'.Forexample,"somenewCakesarenice","somenewCakesarenotnice."
AProposition,statingthatNONEoftheThingsbelongingtoitsSubject,orthatALLofthem,areso-and-so,iscalled'Universal'.Forexample,"nonewCakesarenice","allnewCakesarenotnice".
7.TheThingsineachcompartmentpossessTWOAttributes,whosesymbolswillbefoundwrittenontwooftheEDGESofthatcompartment.
8."Oneormore."
9.AsanameoftheclassofThingstowhichthewholeDiagramisassigned.
10.APropositioncontainingtwostatements.Forexample,"somenewCakesareniceandsomearenot-nice."
11.Whenthewholeclass,thusdivided,is"exhausted"amongthesetsintowhichitisdivided,therebeingnomemberofitwhichdoesnotbelongtosomeoneofthem.Forexample,theclass"newCakes"is"exhaustively"dividedinto"nice"and"not-nice"sinceEVERYnewCakemustbeoneortheother.
12.Whenamancannotmakeuphismindwhichoftwopartieshe
willjoin,heissaidtobe"sittingonthefence"--notbeingabletodecideonwhichsidehewilljumpdown.
13."Somexarey"and"noxarey'".
14.AProposition,whoseSubjectisasingleThing,iscalled'Individual'.Forexample,"Iamhappy","Johnisnotathome".TheseareUniversalPropositions,beingthesameas"alltheI'sthatexistarehappy","ALLtheJohns,thatIamnowconsidering,arenotathome".
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 37/66
15.Propositionsbeginningwith"some"or"all".
16.Whentheybeginwith"some"or"no".Forexample,"someabcaredef"maybere-arrangedas"somebfareacde",eachbeingequivalentto"someabcdefexist".
17.Sometigersarefierce,Notigersarenot-fierce.
18.Somehard-boiledeggsareunwholesome,Nohard-boiledeggsarewholesome.
19.SomeI'sarehappy,NoI'sareunhappy.
20.SomeJohnsarenotathome,NoJohnsareathome.
21.TheThings,ineachcompartmentofthelargerDiagram,possessTHREEAttributes,whosesymbolswillbefoundwrittenatthreeoftheCORNERSofthecompartment(exceptinthecaseofm',whichisnotactuallyinsertedintheDiagram,butisSUPPOSEDtostandateachofitsfouroutercorners).
22.IftheUniverseofThingsbedividedwithregardtothreedifferentAttributes;andiftwoPropositionsbegiven,containing
twodifferentcouplesoftheseAttributes;andiffromthesewecanproveathirdProposition,containingthetwoAttributesthathavenotyetoccurredtogether;thegivenPropositionsarecalled'thePremisses',thethirdone'theConclusion',andthewholeset'aSyllogism'.Forexample,thePremissesmightbe"nomarex'"and"allm'arey";anditmightbepossibletoprovefromthemaConclusioncontainingxandy.
23.IfanAttributeoccursinbothPremisses,theTermcontainingitiscalled'theMiddleTerm'.Forexample,ifthePremissesare"somemarex"and"nomarey'",theclassof"m-Things"is'theMiddleTerm.'
IfanAttributeoccursinonePremiss,anditscontradictoryintheother,theTermscontainingthemmaybecalled'theMiddleTerms'.Forexample,ifthePremissesare"nomarex'"and"allm'arey",thetwoclassesof"m-Things"and"m'-Things"maybecalled'theMiddleTerms'.
24.BecausetheycanbemarkedwithCERTAINTY:whereasAFFIRMATIVEPropositions(thatis,thosethatbeginwith"some"or"all")sometimesrequireustoplacearedcounter'sittingonafence'.
25.BecausetheonlyquestionweareconcernedwithiswhethertheConclusionFOLLOWSLOGICALLYfromthePremisses,sothat,ifTHEYweretrue,ITalsowouldbetrue.
26.Byunderstandingaredcountertomean"thiscompartmentCANbeoccupied",andagreyonetomean"thiscompartmentCANNOTbeoccupied"or"thiscompartmentMUSTbeempty".
27.'FallaciousPremisses'and'FallaciousConclusion'.
28.Byfinding,whenwetrytotransfermarksfromthelargerDiagramtothesmaller,thatthereis'noinformation'foranyofitsfourcompartments.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 38/66
29.ByfindingthecorrectConclusion,andthenobservingthattheConclusion,offeredtous,isneitheridenticalwithitnorapartofit.
30.WhentheofferedConclusionisPARTofthecorrectConclusion.Inthiscase,wemaycallita'DefectiveConclusion'.
2.HalfofSmallerDiagram.
Propositionsrepresented.
__________
--------------||||||1.||1|2.|0|1|||||||
--------------
--------------||||||3.|1|1|4.|0|0|||||||--------------
--------------||||||5.|1|6.||0|||||||
--------------
-------|||7.|1|1|Itmightbethoughtthattheproper|||--------------|||Diagramwouldbe|11|,inordertoexpress"some|||-------xexist":butthisisreallycontainedin"somexarey'."Toputaredcounteronthedivision-linewouldonlytell
us"ONEOFTHEcompartmentsisoccupied",whichweknowalready,inknowingthatONEisoccupied.-------|||8.Noxarey.i.e.|0|||||-------
-------|||
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 39/66
9.Somexarey'.i.e.||1||||-------
-------|||10.Allxarey.i.e.|1|0||||-------
-------|||11.Somexarey.i.e.|1|||||-------
-------|||12.Noxarey.i.e.|0|||||-------
-------|||
13.Somexarey,andsomearey'.i.e.|1|1||||-------
-------|||14.Allxarey'.i.e.|0|1||||----------||15.Noyarex'.i.e.|---||0|
---
---|1|16.Allyarex.i.e.|---||0|---
---|0|17.Noyexist.i.e.|---||0|---
---||18.Someyarex'.i.e.|---||1|---
---||15.Someyexist.i.e.|-1-|
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 40/66
||---
3.HalfofSmallerDiagram.
Symbolsinterpreted.
__________
1.Noxarey'.
2.Noxexist.
3.Somexexist.
4.Allxarey'.
5.Somexarey.i.e.Somegoodriddlesarehard.
6.Allxarey.i.e.Allgoodriddlesarehard.
7.Noxexist.i.e.Noriddlesaregood.
8.Noxarey.i.e.Nogoodriddlesarehard.
9.Somexarey'.i.e.Somelobstersareunselfish.
10.Noxarey.i.e.Nolobstersareselfish.
11.Allxarey'.i.e.Alllobstersareunselfish.
12.Somexarey,andsomearey'.i.e.Somelobstersare
selfish,andsomeareunselfish.
13.Ally'arex'.i.e.Allinvalidsareunhappy.
14.Somey'exist.i.e.Somepeopleareunhealthy.
15.Somey'arex,andsomearex'.i.e.Someinvalidsarehappy,andsomeareunhappy.
16.Noy'exist.i.e.Nobodyisunhealthy.
4.SmallerDiagram.
Propositionsrepresented.
__________
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 41/66
--------------|1|||||1.|---|---|2.|---|---||0|||1||--------------
--------------|||||1|3.|---|---|4.|---|---|||0||||--------------
--------------||1||||5.|---|---|6.|---|---|||||0||--------------
--------------||||||7.|---|---|8.|---|---|||1||0|1|--------------
--------------||||||9.|---|-1-|10.|---|---|||||0|0|--------------
--------------|1|||1|0|11.|---|---|12.|---|---||1||||1|--------------
-------|||13.Nox'arey.i.e.|---|---||0||-------
-------||0|14.Ally'arex'.i.e.|---|---|||1|-------
-------|||15.Somey'exist.i.e.|---|-1-||||-------
-------|1|0|16.Allyarex,andallxarey.i.e.|---|---||0||
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 42/66
--------------|||17.Nox'exist.i.e.|---|---||0|0|-------
-------|0|1|18.Allxarey'.i.e.|---|---||||-------
-------|0||19.Noxarey.i.e.|---|---||||-------
-------|||20.Somex'arey,andsomearey'.i.e.|---|---||1|1|
-------
-------|0|1|21.Noyexist,andsomexexist.i.e.|---|---||0||-------
-------||1|22.Allx'arey,andally'arex.i.e.|---|---||1|0|-------
-------|1||17.Somexarey,andsomex'arey'.i.e.|---|---|||1|-------
5.SmallerDiagram.
Symbolsinterpreted.
__________
1.Someyarenot-x,or,Somenot-xarey.
2.Nonot-xarenot-y,or,Nonot-yarenot-x.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 43/66
3.Nonot-yarex.
4.Nonot-xexist.i.e.NoThingsarenot-x.
5.Noyexist.i.e.Nohousesaretwo-storied.
6.Somex'exist.i.e.Somehousesarenotbuiltofbrick.
7.Noxarey'.Or,noy'arex.i.e.Nohouses,builtofbrick,areotherthantwo-storied.Or,nohouses,thatarenottwo-storied,arebuiltofbrick.
8.Allx'arey'.i.e.Allhouses,thatarenotbuiltofbrick,arenottwo-storied.
9.Somexarey,andsomearey'.i.e.Somefatboysareactive,andsomearenot.
10.Ally'arex'.i.e.Alllazyboysarethin.
11.Allxarey',andally'arex.i.e.Allfatboysarelazy,andalllazyonesarefat.
12.Allyarex,andallx'arey.i.e.Allactiveboysarefat,andallthinonesarelazy.
13.Noxexist,andnoy'exist.i.e.Nocatshavegreeneyes,andnonehavebadtempers.
14.Somexarey',andsomex'arey.Orsomeyarex',andsomey'arex.i.e.Somegreen-eyedcatsarebad-tempered,andsome,thathavenotgreeneyes,aregood-tempered.Or,somegood-temperedcatshavenotgreeneyes,andsomebad-temperedoneshavegreeneyes.
15.Somexarey,andnox'arey'.Or,someyarex,and
noy'arex'.i.e.Somegreen-eyedcatsaregood-tempered,andnone,thatarenotgreen-eyed,arebad-tempered.Or,somegood-temperedcatshavegreeneyes,andnone,thatarebad-tempered,havenotgreeneyes.
16.Allxarey',andallx'arey.Or,allyarex',andally'arex.i.e.Allgreen-eyedcatsarebad-temperedandall,thathavenotgreeneyes,aregood-tempered.Or,allgood-temperedoneshaveeyesthatarenotgreen,andallbad-temperedoneshavegreeneyes.
6.LargerDiagram.
Propositionsrepresented.
__________
------------------------------
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 44/66
|||||||---|---||---|---|||0|0|||||||1.|---|---|---|---|2.|-1-|---|---|---||||||||||||---|---||---|---|||||||------------------------------
------------------------------|||||0||---|---||---|---|||0|0|||||||3.|---|---|---|---|4.|---|---|---|---|||-||||||||---|---||---|---||||||0|------------------------------
------------------------------|0||||||---|---||---|---|
||0|0||||0|1||5.|---|---|---|---|6.|---|---|---|---|||1|||||0||||---|---||---|---||0|||||------------------------------
------------------------------|||||0||---|---||---|---|||0|0|||||||7.|---|---|---|---|8.|---|---|---|---|
||0|1||||0|0|||---|---||---|---||||||0|------------------------------
---------------||||---|---|||0|0||9.Noxarem.i.e.|---|---|---|---|||0||||---|---|
|||---------------
---------------||||---|---||||||10.Somem'arey.i.e.|-1-|---|---|---||||||
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 45/66
|---|---||||---------------
---------------||||---|---||||0||11.Ally'arem'.i.e.|---|---|---|-1-||||0|||---|---||||---------------
---------------||||---|---|||0|0||12.Allmarex'.i.e.|---|---|---|---|||1|||---|---||||---------------
---------------|0|||---|---|||0|0||13.Noxarem;i.e.|---|---|---|---|Allyarem.||1||||---|---||0||---------------
---------------|0|0|
|---|---||||||14.Allm'arey;i.e.|---|---|---|---|Noxarem'.||||||---|---||1|0|---------------
---------------|0|0||---|---|||1|0||
15.Allxarem;i.e.|---|---|---|---|Nomarey'.|||0|||---|---||||---------------
---------------|0|0||---|---||||||
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 46/66
16.Allm'arey';i.e.|---|---|---|---|Noxarem'.||||||---|---||0|1|---------------
---------------|0|0||---|---|||1|0||17.Allxarem;i.e.|---|---|---|---|Allmarey.|||0|||---|---|[SeeremarksonNo.7,p.60.]|||---------------
---------------|0|||---|---||||||18.Nox'arem;i.e.|---|---|---|---|Nom'arey.||0|0|||---|---||0||
---------------
---------------||||---|---|||1|0||19.Allmarex;i.e.|---|---|---|---|Allmarey.||0|0|||---|---||||---------------
20.Wehadbettertake"persons"asUniverse.We
maychoose"myself"as'MiddleTerm',inwhichcasethePremisseswilltaketheform
Iama-person-who-sent-him-to-bring-a-kitten;Iama-person-to-whom-he-brought-a-kettle-by-mistake.
Orwemaychoose"he"as'MiddleTerm',inwhichcasethePremisseswilltaketheform
Heisa-person-whom-I-sent-to-bring-me-a-kitten;Heisa-person-who-brought-me-a-kettle-by-mistake.
Thelatterformseemsbest,astheinterestoftheanecdoteclearly
dependsonHISstupidity--notonwhathappenedtoME.Letusthenmakem="he";x="personswhomIsent,&c.";andy="personswhobrought,&c."
Hence,Allmarex;Allmarey.andtherequiredDiagramis
---------------|||
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 47/66
|---|---|||1|0|||---|---|---|---|||0|0|||---|---||||---------------
7.BothDiagramsemployed.
-------|0||1.|---|---|i.e.Allyarex'.|1||-------
-------||1|2.|---|---|i.e.Somexarey';or,Somey'arex.|||-------
-------|||3.|---|---|i.e.Someyarex';or,Somex'arey.|1||-------
-------|||4.|---|---|i.e.Nox'arey';or,Noy'arex'.||0|-------
-------|0||5.|---|---|i.e.Allyarex'.i.e.Allblackrabbits|1||areyoung.-------
-------|||6.|---|---|i.e.Someyarex'.i.e.Someblack|1||rabbitsareyoung.-------
-------
|1|0|7.|---|---|i.e.Allxarey.i.e.Allwell-fedbirds|||arehappy.-------
-------|||i.e.Somex'arey'.i.e.Somebirds,8.|---|---|thatarenotwell-fed,areunhappy;||1|or,Someunhappybirdsarenot
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 48/66
-------well-fed.
-------|1|0|9.|---|---|i.e.Allxarey.i.e.Johnhasgota|||tooth-ache.-------
-------|||10.|---|---|i.e.Nox'arey.i.e.Noone,butJohn,|0||hasgotatooth-ache.-------
-------|1||11.|---|---|i.e.Somexarey.i.e.Someone,who|||hastakenawalk,feelsbetter.-------
-------|1||i.e.Somexarey.i.e.Someone,12.|---|---|whomIsenttobringmeakitten,|||broughtmeakettlebymistake.-------
---------------||0||---|---|||0|0||13.|-1-|---|---|---|-------|||||||0||---|---||---|---|
||0||||----------------------
Let"books"beUniverse;m="exciting",x="thatsuitfeverishpatients";y="thatmakeonedrowsy".
Nomarex;&there4Noy'arex.Allm'arey.
i.e.Nobookssuitfeverishpatients,exceptsuchasmakeonedrowsy.
---------------||||---|---|||1|0||14.|---|---|---|---|-------|||0|||1|||---|---||---|---|||||||----------------------
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 49/66
Let"persons"beUniverse;m="thatdeservethefair";x="thatgettheirdeserts";y="brave".
Somemarex;&there4Someyarex.Noy'arem.
i.e.Somebravepersonsgettheirdeserts.
---------------|0|||---|---|||0|0||15.|---|---|---|---|-------||||||0|||---|---||---|---||0|||||----------------------
Let"persons"beUniverse;m="patient";x="children";y="thatcansitstill".
Noxarem;&there4Noxarey.
Nom'arey.
i.e.Nochildrencansitstill.
---------------|0|0||---|---|||0|1||16.|---|---|---|---|-------||0||||0|1||---|---||---|---|||||||
----------------------
Let"things"beUniverse;m="fat";x="pigs";y="skeletons".
Allxarem;&there4Allxarey'.Noyarem.
i.e.Allpigsarenot-skeletons.
---------------|||
|---|---|||0|0||17.|---|---|---|---|-------||1|0||||||---|---||---|---|||||1||----------------------
Let"creatures"beUniverse;m="monkeys";x="soldiers";y="mischievous".
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 50/66
Nomarex;&there4Someyarex'.Allmarey.
i.e.Somemischievouscreaturesarenotsoldiers.
---------------|0|||---|---|||0|0||18.|---|---|---|---|-------||||||0|||---|---||---|---||0|||||----------------------
Let"persons"beUniverse;m="just";x="mycousins";y="judges".
Noxarem;&there4Noxarey.Noyarem'.
i.e.Noneofmycousinsarejudges.
---------------||||---|---|||1|0||19.|---|---|---|---|-------||||||1|||---|---||---|---|||||||----------------------
Let"periods"beUniverse;m="days";x="rainy";y="tiresome".
Somemarex;&there4Somexarey.Allxmarey.
i.e.Somerainyperiodsaretiresome.
N.B.ThesearenotlegitimatePremisses,sincetheConclusionisreallypartofthesecondPremiss,sothatthefirstPremississuperfluous.Thismaybeshown,inletters,thus:--
"Allxmarey"contains"Somexmarey",whichcontains"Somexarey".Or,inwords,"Allrainydays
aretiresome"contains"Somerainydaysaretiresome",whichcontains"Somerainyperiodsaretiresome".
Moreover,thefirstPremiss,besidesbeingsuperfluous,isactuallycontainedinthesecond;sinceitisequivalentto"Somerainydaysexist",which,asweknow,isimpliedintheProposition"Allrainydaysaretiresome".
Altogether,amostunsatisfactoryPairofPremisses!
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 51/66
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 52/66
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 53/66
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 54/66
----------------------
Let"Things"beUniverse;m="noisy";x="battles";y="thatmayescapenotice".
Allxarem;&there4Somex'arey.Allm'arey.
i.e.Somethings,thatarenotbattles,mayescapenotice.
---------------|0|||---|---|||0|0||30.|---|---|---|---|-------||1||||0|||---|---||---|---||0|||1||----------------------
Let"persons"beUniverse;m="Jews";x="mad";y="Rabbis".
Nomarex;&there4Allyarex'.Allyarem.
i.e.AllRabbisaresane.
---------------||||---|---|||1|||31.|---|---|---|---|-------||0|0|||1|||---|---||---|---|||||||
----------------------
Let"Things"beUniverse;m="fish";x="thatcanswim";y="skates".
Nomarex';&there4Someyarex.Someyarem.
i.e.Someskatescanswim.
---------------||||---|---|
||0|0||32.|---|---|---|---|-------||1|||||||---|---||---|---|||||1||----------------------
Let"people"beUniverse;m="passionate";x="reasonable";y="orators".
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 55/66
Allmarex';&there4Someyarex'.Someyarem.
i.e.Someoratorsareunreasonable.
[SeeremarksonNo.7,p.60.]
CHAPTERIV.
HITORMISS.
"Thoucanstnothitit,hitit,hitit,Thoucanstnothitit,mygoodman."
__________
1.Painiswearisome;Nopainiseagerlywishedfor.
2.Nobaldpersonneedsahair-brush;Nolizardshavehair.
3.Allthoughtlesspeopledomischief;Nothoughtfulpersonforgetsapromise.
4.IdonotlikeJohn;SomeofmyfriendslikeJohn.
5.Nopotatoesarepine-apples;Allpine-applesarenice.
6.Nopinsareambitious;Noneedlesarepins.
7.Allmyfriendshavecolds;Noonecansingwhohasacold.
8.Allthesedishesarewell-cooked;Somedishesareunwholesomeifnotwell-cooked.
9.Nomedicineisnice;Sennaisamedicine.
10.Someoystersaresilent;Nosilentcreaturesareamusing.
11.Allwisemenwalkontheirfeet;Allunwisemenwalkontheirhands.
12."Mindyourownbusiness;Thisquarrelisnobusinessof
yours."
13.Nobridgesaremadeofsugar;Somebridgesarepicturesque.
14.Noriddlesinterestmethatcanbesolved;Alltheseriddlesareinsoluble.
15.Johnisindustrious;Allindustriouspeoplearehappy.
16.Nofrogswritebooks;Somepeopleuseinkinwriting
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 56/66
books.
17.Nopokersaresoft;Allpillowsaresoft.
18.Noantelopeisungraceful;Gracefulanimalsdelighttheeye.
19.Someunclesareungenerous;Allmerchantsaregenerous.
20.Nounhappypeoplechuckle;Nohappypeoplegroan.
21.Audiblemusiccausesvibrationintheair;Inaudiblemusicisnotworthpayingfor.
22.Hegavemefivepounds;Iwasdelighted.
23.NooldJewsarefatmillers;Allmyfriendsareoldmillers.
24.Flourisgoodforfood;Oatmealisakindofflour.
25.Somedreamsareterrible;Nolambsareterrible.
26.Norichmanbegsinthestreet;Allwhoarenotrich
shouldkeepaccounts.
27.Nothievesarehonest;Somedishonestpeoplearefoundout.
28.Allwaspsareunfriendly;Allpuppiesarefriendly.
29.Allimprobablestoriesaredoubted;Noneofthesestoriesareprobable.
30."Hetoldmeyouhadgoneaway.""Heneversaysonewordoftruth."
31.Hissongsneverlastanhour;Asong,thatlastsanhour,istedious.
32.Nobride-cakesarewholesome;Unwholesomefoodshouldbeavoided.
33.Nooldmisersarecheerful;Someoldmisersarethin.
34.Allduckswaddle;Nothingthatwaddlesisgraceful.
35.NoProfessorsareignorant;Someignorantpeopleareconceited.
36.Toothacheisneverpleasant;Warmthisneverunpleasant.
37.Boresareterrible;Youareabore.
38.Somemountainsareinsurmountable;Allstilescanbesurmounted.
39.NoFrenchmenlikeplumpudding;AllEnglishmenlikeplumpudding.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 57/66
40.Noidlerswinfame;Somepaintersarenotidle.
41.Nolobstersareunreasonable;Noreasonablecreaturesexpectimpossibilities.
42.Nokinddeedisunlawful;Whatislawfulmaybedonewithoutfear.
43.Nofossilscanbecrossedinlove;Anyoystermaybecrossedinlove.
44."Thisisbeyondendurance!""Well,nothingbeyondendurancehaseverhappenedtome."
45.Alluneducatedmenareshallow;Allthesestudentsareeducated.
46.Allmycousinsareunjust;Nojudgesareunjust.
47.Nocountry,thathasbeenexplored,isinfestedbydragons;Unexploredcountriesarefascinating.
48.Nomisersaregenerous;Someoldmenarenotgenerous.
49.Aprudentmanshunshyaenas;Nobankerisimprudent.
50.Somepoetryisoriginal;Nooriginalworkisproducibleatwill.
51.Nomisersareunselfish;Nonebutmiserssaveegg-shells.
52.Allpalepeoplearephlegmatic;Noone,whoisnotpale,lookspoetical.
53.Allspidersspinwebs;Somecreatures,thatdonotspinwebs,aresavage.
54.Noneofmycousinsarejust;Alljudgesarejust.
55.Johnisindustrious;Noindustriouspeopleareunhappy.
56.Umbrellasareusefulonajourney;Whatisuselessonajourneyshouldbeleftbehind.
57.Somepillowsaresoft;Nopokersaresoft.
58.Iamoldandlame;Nooldmerchantisalamegambler.
59.Noeventfuljourneyiseverforgotten;Uneventfuljourneysarenotworthwritingabookabout.
60.Sugarissweet;Somesweetthingsarelikedbychildren.
61.Richardisoutoftemper;NoonebutRichardcanridethathorse.
62.Alljokesaremeanttoamuse;NoActofParliamentisajoke.
63."Isawitinanewspaper.""Allnewspaperstelllies."
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 58/66
64.Nonightmareispleasant;Unpleasantexperiencesarenotanxiouslydesired.
65.Prudenttravellerscarryplentyofsmallchange;Imprudenttravellerslosetheirluggage.
66.Allwaspsareunfriendly;Nopuppiesareunfriendly.
67.Hecalledhereyesterday;Heisnofriendofmine.
68.Noquadrupedscanwhistle;Somecatsarequadrupeds.
69.Nocookedmeatissoldbybutchers;Nouncookedmeatisservedatdinner.
70.Goldisheavy;Nothingbutgoldwillsilencehim.
71.Somepigsarewild;Therearenopigsthatarenotfat.
72.Noemperorsaredentists;Alldentistsaredreadedbychildren.
73.All,whoarenotold,likewalking;NeitheryounorI
areold.
74.Allbladesaresharp;Somegrassesareblades.
75.Nodictatorialpersonispopular;Sheisdictatorial.
76.Somesweetthingsareunwholesome;Nomuffinsaresweet.
77.Nomilitarymenwritepoetry;Nogeneralsarecivilians.
78.Boresaredreaded;Aboreisneverbeggedtoprolonghisvisit.
79.Allowlsaresatisfactory;Someexcusesareunsatisfactory.
80.Allmycousinsareunjust;Alljudgesarejust.
81.Somebunsarerich;Allbunsarenice.
82.Nomedicineisnice;Nopillsareunmedicinal.
83.Somelessonsaredifficult;Whatisdifficultneedsattention.
84.Nounexpectedpleasureannoysme;Yourvisitisanunexpectedpleasure.
85.Caterpillarsarenoteloquent;Jonesiseloquent.
86.Somebaldpeoplewearwigs;Allyourchildrenhavehair.
87.Allwaspsareunfriendly;Unfriendlycreaturesarealwaysunwelcome.
88.Nobankruptsarerich;Somemerchantsarenotbankrupts.
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 59/66
89.Weaselssometimessleep;Allanimalssometimessleep.
90.Ill-managedconcernsareunprofitable;Railwaysareneverill-managed.
91.Everybodyhasseenapig;Nobodyadmiresapig.
______________
ExtractaPairofPremissesoutofeachofthefollowing:anddeducetheConclusion,ifthereisone:--
92."TheLion,asanyonecantellyouwhohasbeenchasedbythemasoftenasIhave,isaverysavageanimal:andtherearecertainindividualsamongthem,thoughIwillnotguaranteeitasagenerallaw,whodonotdrinkcoffee."
93."Itwasmostabsurdofyoutoofferit!Youmighthaveknown,ifyouhadhadanysense,thatnooldsailorseverlikegruel!"
"ButIthought,ashewasanuncleofyours--"
"Anuncleofmine,indeed!Stuff!"
"Youmaycallitstuff,ifyoulike.AllIknowis,MYunclesarealloldmen:andtheylikegruellikeanything!"
"Well,thenYOURunclesare--"
94."Docomeaway!Ican'tstandthissqueezinganymore.Nocrowdedshopsarecomfortable,youknowverywell."
"Well,whoexpectstobecomfortable,outshopping?"
"Why,Ido,ofcourse!AndI'msuretherearesomeshops,further
downthestreet,thatarenotcrowded.So--"
95."Theysaynodoctorsaremetaphysicalorganists:andthatletsmeintoalittlefactaboutYOU,youknow."
"Why,howdoyoumakeTHATout?Youneverheardmeplaytheorgan."
"No,doctor,butI'veheardyoutalkaboutBrowning'spoetry:andthatshowedmethatyou'reMETAPHYSICAL,atanyrate.So--"
___________________
ExtractaSyllogismoutofeachofthefollowing:and
testitscorrectness:--
96."Don'ttalktome!I'veknownmorerichmerchantsthanyouhave:andIcantellyounotONEofthemwaseveranoldmisersincetheworldbegan!"
"AndwhathasthatgottodowitholdMr.Brown?"
"Why,isn'theveryrich?"
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 60/66
"Yes,ofcourseheis.Andwhatthen?"
"Why,don'tyouseethatit'sabsurdtocallhimamiserlymerchant?Eitherhe'snotamerchant,orhe'snotamiser!"
97."ItISsokindofyoutoenquire!I'mreallyfeelingagreatdealbetterto-day."
"AndisitNature,orArt,thatistohavethecreditofthishappychange?"
"Art,Ithink.TheDoctorhasgivenmesomeofthatpatentmedicineofhis."
"Well,I'llnevercallhimahumbugagain.There'sSOMEBODY,atanyrate,thatfeelsbetteraftertakinghismedicine!"
98."No,Idon'tlikeyouonebit.AndI'llgoandplaywithmydoll.DOLLSareneverunkind."
"Soyoulikeadollbetterthanacousin?Ohyoulittlesilly!"
"OfcourseIdo!COUSINSareneverkind--atleastnocousinsI'veeverseen."
"Well,andwhatdoesTHATprove,I'dliketoknow!Ifyoumeanthatcousinsaren'tdolls,whoeversaidtheywere?"
99."Whatareyoutalkingaboutgeraniumsfor?Youcan'ttelloneflowerfromanother,atthisdistance!Igrantyouthey'reallREDflowers:itdoesn'tneedatelescopetoknowTHAT."
"Well,somegeraniumsarered,aren'tthey?"
"Idon'tdenyit.Andwhatthen?Isupposeyou'llbetellingmesomeofthoseflowersaregeraniums!"
"Ofcoursethat'swhatIshouldtellyou,ifyou'dthesensetofollowanargument!Butwhat'sthegoodofprovinganythingtoYOU,Ishouldliketoknow?"
100."Boys,you'vepassedafairlygoodexamination,allthingsconsidered.NowletmegiveyouawordofadvicebeforeIgo.Rememberthatall,whoarereallyanxioustolearn,workHARD."
"Ithankyou,Sir,inthenameofmyscholars!AndproudamItothinkthereareSOMEofthem,atleast,thatarereallyANXIOUStolearn."
"Verygladtohearit:andhowdoyoumakeitouttobeso?"
"Why,Sir,Iknowhowhardtheywork--someofthem,thatis.Whoshouldknowbetter?"
___________________
ExtractfromthefollowingspeechaseriesofSyllogisms,orargumentshavingtheformofSyllogisms:andtesttheircorrectness.
Itissupposedtobespokenbyafondmother,inanswertoafriend's
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 61/66
cautioussuggestionthatsheisperhapsaLITTLEoverdoingit,inthewayoflessons,withherchildren.
101."Well,they'vegottheirownwaytomakeintheworld.WEcan'tleavethemafortuneapiece.Andmoney'snottobehad,asYOUknow,withoutmoney'sworth:theymustWORKiftheywanttolive.Andhowaretheytowork,iftheydon'tknowanything?Takemywordforit,there'snoplaceforignoranceinTHESEtimes!Andallauthoritiesagreethatthetimetolearniswhenyou'reyoung.One'sgotnomemoryafterwards,worthspeakingof.Achildwilllearnmoreinanhourthanagrownmaninfive.Sothose,thathavetolearn,mustlearnwhenthey'reyoung,ifeverthey'retolearnatall.Ofcoursethatdoesn'tdounlesschildrenareHEALTHY:IquiteallowTHAT.Well,thedoctortellsmenochildrenarehealthyunlessthey'vegotagoodcolourintheircheeks.Andonlyjustlookatmydarlings!Why,theircheeksbloomlikepeonies!Well,now,theytellmethat,tokeepchildreninhealth,youshouldnevergivethemmorethansixhoursaltogetheratlessonsintheday,andatleasttwohalf-holidaysintheweek.Andthat'sEXACTLYourplanIcanassureyou!Wenevergobeyondsixhours,andeveryWednesdayandSaturday,aseveris,notonesyllableoflessonsdotheydoaftertheironeo'clockdinner!SohowyoucanimagineI'mrunninganyriskintheeducationofmypreciouspetsismorethanIcanunderstand,Ipromiseyou!"
THEEND.
***ENDOFTHEPROJECTGUTENBERGEBOOK,THEGAMEOFLOGIC***
Thisfileshouldbenamedthgmf10.txtorthgmf10.zipCorrectedEDITIONSofoureBooksgetanewNUMBER,thgmf11.txtVERSIONSbasedonseparatesourcesgetnewLETTER,thgmf10a.txt
ProjectGutenbergeBooksareoftencreatedfromseveralprinted
editions,allofwhichareconfirmedasPublicDomainintheUSunlessacopyrightnoticeisincluded.Thus,weusuallydonotkeepeBooksincompliancewithanyparticularpaperedition.
WearenowtryingtoreleasealloureBooksoneyearinadvanceoftheofficialreleasedates,leavingtimeforbetterediting.Pleasebeencouragedtotellusaboutanyerrororcorrections,evenyearsaftertheofficialpublicationdate.
Pleasenoteneitherthislistingnoritscontentsarefinaltilmidnightofthelastdayofthemonthofanysuchannouncement.TheofficialreleasedateofallProjectGutenbergeBooksisatMidnight,CentralTime,ofthelastdayofthestatedmonth.A
preliminaryversionmayoftenbepostedforsuggestion,commentandeditingbythosewhowishtodoso.
MostpeoplestartatourWebsitesat:http://gutenberg.netorhttp://promo.net/pg
TheseWebsitesincludeaward-winninginformationaboutProjectGutenberg,includinghowtodonate,howtohelpproduceourneweBooks,andhowtosubscribetoouremailnewsletter(free!).
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 62/66
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 63/66
Delaware,DistrictofColumbia,Florida,Georgia,Hawaii,Illinois,Indiana,Iowa,Kansas,Kentucky,Louisiana,Maine,Massachusetts,Michigan,Mississippi,Missouri,Montana,Nebraska,Nevada,NewHampshire,NewJersey,NewMexico,NewYork,NorthCarolina,Ohio,Oklahoma,Oregon,Pennsylvania,RhodeIsland,SouthCarolina,SouthDakota,Tennessee,Texas,Utah,Vermont,Virginia,Washington,WestVirginia,Wisconsin,andWyoming.
Wehavefiledinall50statesnow,butthesearetheonlyonesthathaveresponded.
Astherequirementsforotherstatesaremet,additionstothislistwillbemadeandfundraisingwillbeginintheadditionalstates.Pleasefeelfreetoasktocheckthestatusofyourstate.
Inanswertovariousquestionswehavereceivedonthis:
Weareconstantlyworkingonfinishingthepaperworktolegallyrequestdonationsinall50states.Ifyourstateisnotlistedandyouwouldliketoknowifwehaveaddeditsincethelistyouhave,justask.
Whilewecannotsolicitdonationsfrompeopleinstateswherewearenotyetregistered,weknowofnoprohibitionagainstaccepting
donationsfromdonorsinthesestateswhoapproachuswithanoffertodonate.
Internationaldonationsareaccepted,butwedon'tknowANYTHINGabouthowtomakethemtax-deductible,oreveniftheyCANbemadedeductible,anddon'thavethestafftohandleitevenifthereareways.
Donationsbycheckormoneyordermaybesentto:
ProjectGutenbergLiteraryArchiveFoundationPMB1131739UniversityAve.
Oxford,MS38655-4109
Contactusifyouwanttoarrangeforawiretransferorpaymentmethodotherthanbycheckormoneyorder.
TheProjectGutenbergLiteraryArchiveFoundationhasbeenapprovedbytheUSInternalRevenueServiceasa501(c)(3)organizationwithEIN[EmployeeIdentificationNumber]64-622154.Donationsaretax-deductibletothemaximumextentpermittedbylaw.Asfund-raisingrequirementsforotherstatesaremet,additionstothislistwillbemadeandfund-raisingwillbeginintheadditionalstates.
Weneedyourdonationsmorethanever!
Youcangetuptodatedonationinformationonlineat:
http://www.gutenberg.net/donation.html
***
Ifyoucan'treachProjectGutenberg,youcanalwaysemaildirectlyto:
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 64/66
MichaelS.Hart<[email protected]>
Prof.Hartwillanswerorforwardyourmessage.
Wewouldprefertosendyouinformationbyemail.
**TheLegalSmallPrint**
(ThreePages)
***START**THESMALLPRINT!**FORPUBLICDOMAINEBOOKS**START***Whyisthis"SmallPrint!"statementhere?Youknow:lawyers.TheytellusyoumightsueusifthereissomethingwrongwithyourcopyofthiseBook,evenifyougotitforfreefromsomeoneotherthanus,andevenifwhat'swrongisnotourfault.So,amongotherthings,this"SmallPrint!"statementdisclaimsmostofourliabilitytoyou.ItalsotellsyouhowyoumaydistributecopiesofthiseBookifyouwantto.
*BEFORE!*YOUUSEORREADTHISEBOOKByusingorreadinganypartofthisPROJECTGUTENBERG-tm
eBook,youindicatethatyouunderstand,agreetoandacceptthis"SmallPrint!"statement.Ifyoudonot,youcanreceivearefundofthemoney(ifany)youpaidforthiseBookbysendingarequestwithin30daysofreceivingittothepersonyougotitfrom.IfyoureceivedthiseBookonaphysicalmedium(suchasadisk),youmustreturnitwithyourrequest.
ABOUTPROJECTGUTENBERG-TMEBOOKSThisPROJECTGUTENBERG-tmeBook,likemostPROJECTGUTENBERG-tmeBooks,isa"publicdomain"workdistributedbyProfessorMichaelS.HartthroughtheProjectGutenbergAssociation(the"Project").Amongotherthings,thismeansthatnooneownsaUnitedStatescopyrightonorforthiswork,sotheProject(andyou!)cancopyand
distributeitintheUnitedStateswithoutpermissionandwithoutpayingcopyrightroyalties.Specialrules,setforthbelow,applyifyouwishtocopyanddistributethiseBookunderthe"PROJECTGUTENBERG"trademark.
Pleasedonotusethe"PROJECTGUTENBERG"trademarktomarketanycommercialproductswithoutpermission.
TocreatetheseeBooks,theProjectexpendsconsiderableeffortstoidentify,transcribeandproofreadpublicdomainworks.Despitetheseefforts,theProject'seBooksandanymediumtheymaybeonmaycontain"Defects".Amongotherthings,Defectsmaytaketheformofincomplete,inaccurateor
corruptdata,transcriptionerrors,acopyrightorotherintellectualpropertyinfringement,adefectiveordamageddiskorothereBookmedium,acomputervirus,orcomputercodesthatdamageorcannotbereadbyyourequipment.
LIMITEDWARRANTY;DISCLAIMEROFDAMAGESButforthe"RightofReplacementorRefund"describedbelow,[1]MichaelHartandtheFoundation(andanyotherpartyyoumayreceivethiseBookfromasaPROJECTGUTENBERG-tmeBook)disclaimsallliabilitytoyoufordamages,costsandexpenses,including
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 65/66
legalfees,and[2]YOUHAVENOREMEDIESFORNEGLIGENCEORUNDERSTRICTLIABILITY,ORFORBREACHOFWARRANTYORCONTRACT,INCLUDINGBUTNOTLIMITEDTOINDIRECT,CONSEQUENTIAL,PUNITIVEORINCIDENTALDAMAGES,EVENIFYOUGIVENOTICEOFTHEPOSSIBILITYOFSUCHDAMAGES.
IfyoudiscoveraDefectinthiseBookwithin90daysofreceivingit,youcanreceivearefundofthemoney(ifany)youpaidforitbysendinganexplanatorynotewithinthattimetothepersonyoureceiveditfrom.Ifyoureceiveditonaphysicalmedium,youmustreturnitwithyournote,andsuchpersonmaychoosetoalternativelygiveyouareplacementcopy.Ifyoureceiveditelectronically,suchpersonmaychoosetoalternativelygiveyouasecondopportunitytoreceiveitelectronically.
THISEBOOKISOTHERWISEPROVIDEDTOYOU"AS-IS".NOOTHERWARRANTIESOFANYKIND,EXPRESSORIMPLIED,AREMADETOYOUASTOTHEEBOOKORANYMEDIUMITMAYBEON,INCLUDINGBUTNOTLIMITEDTOWARRANTIESOFMERCHANTABILITYORFITNESSFORAPARTICULARPURPOSE.
Somestatesdonotallowdisclaimersofimpliedwarrantiesortheexclusionorlimitationofconsequentialdamages,sothe
abovedisclaimersandexclusionsmaynotapplytoyou,andyoumayhaveotherlegalrights.
INDEMNITYYouwillindemnifyandholdMichaelHart,theFoundation,anditstrusteesandagents,andanyvolunteersassociatedwiththeproductionanddistributionofProjectGutenberg-tmtextsharmless,fromallliability,costandexpense,includinglegalfees,thatarisedirectlyorindirectlyfromanyofthefollowingthatyoudoorcause:[1]distributionofthiseBook,[2]alteration,modification,oradditiontotheeBook,or[3]anyDefect.
DISTRIBUTIONUNDER"PROJECTGUTENBERG-tm"YoumaydistributecopiesofthiseBookelectronically,orbydisk,bookoranyothermediumifyoueitherdeletethis"SmallPrint!"andallotherreferencestoProjectGutenberg,or:
[1]Onlygiveexactcopiesofit.Amongotherthings,thisrequiresthatyoudonotremove,alterormodifytheeBookorthis"smallprint!"statement.Youmayhowever,ifyouwish,distributethiseBookinmachinereadablebinary,compressed,mark-up,orproprietaryform,includinganyformresultingfromconversionbywordprocessingorhypertextsoftware,butonlysolongas
*EITHER*:
[*]TheeBook,whendisplayed,isclearlyreadable,anddoes*not*containcharactersotherthanthoseintendedbytheauthorofthework,althoughtilde(~),asterisk(*)andunderline(_)charactersmaybeusedtoconveypunctuationintendedbytheauthor,andadditionalcharactersmaybeusedtoindicatehypertextlinks;OR
8/2/2019 Carroll - The Game of Logic
http://slidepdf.com/reader/full/carroll-the-game-of-logic 66/66