thatnonitesetofobservationsentencescanentailthattheuniversalgeneralizationAllswansarenonredistrue43ConclusiveveriabilityorfalsiabilityThisresultsuggestsanobviouswayofextendingourrsttwoattempt ID: 212193
Download Pdf The PPT/PDF document "ofasclaimsaboutsensedata,orasclaimsabout..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
ofasclaimsaboutsensedata,orasclaimsaboutmaterialobjects.Intuitively,itishardtoseehowmaterialobjectstatementscouldcountasobservationsentencesifonebuysasensedatumtheoryofperception(asAyerandmanyoftheotherlogicalpositivistsdid);butifonetakessensedatumstatementsastheobservationstatements,thenonerunsthedangerofmakingthematerialobjectstatementsof,e.g.,sciencecomeoutmeaningless.ThisisnotaresultthatAyerandtheotherlogicalpositivistswerepreparedtoaccept;intheirview,scienticandcommonsenseclaimsmadeonthebasisofsensoryexperienceweretheparadigmcasesofmeaningfulutterances,andthequestionwaswhetherotherclaimsofphilosophyshouldalsobecategorizedasmeaningful.Inwhatfollowswe'llabstractawayfromthenatureofobservationsentences;wecantakethemlooselytoincludebothsensedatumstatementsandthematerialobjectstatementscorrespondingtothem,andfocusinsteadontherelationshipbetweenasentenceswhicharenotobservationstatementsineithersenseandobservationrequiredfortheformertobemeaningful.3`Inprinciple'veriabilityBeforegoingintothedetailsofattemptstodothis,itisworthdistinguishingbetweenclaimswhichhavebeenveried{i.e.,whichhavebeeninvestigatedviatheircorrelatedobservationsentences{andclaimswhichcan,inprinciple,beveried.AsAyersays,plausibly,\Plainlyweallunderstand,inmanycasesbelieve,propositionswhichwehavenotinfacttakenstepstoverify.Manyofthesearepropositionswhichwecouldverifyifwetookenoughtrouble....Asimpleandfamiliarexampleofsuchapropositionisthepropositionthattherearemountainsonthefarthersideofthemoon.Norockethasyetbeeninventedwhichwouldenablemetogoandlookatthefarthersideofthemoon,sothatIamunabletodecidethematterbyactualobservation.ButIdoknowwhatobservationswoulddecideitforme,if,asistheoreticallyconceivable,Iwereonceinapositiontomakethem.AndthereforeIsaythatthepropositionisveriableinprinciple,ifnotinpractice,andisaccordinglysignicant.Ontheotherhand,suchametaphysicalpseudo-propositionas\theAbsoluteentersinto,butisitselfincapableof,evolutionandprogress",isnoteveninprincipleveriable.ForonecannotconceiveofanobservationwhichwouldenableonetodeterminewhethertheAbsolutedid,ordidnot,enterintoevolutionandprogress."(36)Themoralofthisisthatifwearetryingtoestablishthemeaningfulnessofsomesentencebyrelatingittosomesetofobservationsentences,weneednotrequirethatwehaveactuallymadetheobservationscorrespondingtothoseobservationsentences;allthatisrequiredisthatwecould,inprinciple,makethoseobservations.3 thatnonitesetofobservationsentencescanentailthattheuniversalgeneralization\Allswansarenon-red"istrue.4.3ConclusiveveriabilityorfalsiabilityThisresultsuggestsanobviouswayofextendingourrsttwoattemptstodenemean-ingfulnessintermsofstrongverication:wecanclaimthatasentenceismeaningfulifandonlyifitiseitherconclusivelyveriableorconclusivelyfalsiable.Thisseemstodealwithsimpleuniversalgeneralizations,sincetheyareconclusivelyfalsiable,andwithsimpleexistentialgeneralizations,sincetheyareconclusivelyveriable.Ayerdoesnotexplicitlyconsiderthispossibility.Butitseemstorunintothefollowingthreeproblems(fromSoames,PhilosophicalAnalysisintheTwentiethCentury,pp.280-282).4.3.1MixedquanticationThereisstillaproblemindealingwithsentenceswhichcontainbothuniversalandexis-tentialquantication,likeForeveryquestion,thereisananswer.whichmaybeformalizedas8x(xisaquestion!9y(yisananswertox))Weknowthatthisclaimisnotconclusivelyveriable,forthesamereasonas`Allswansarewhite'isnotconclusivelyveriable:nonitesetofobservationstatementsentailsthetruthofaclaimaboutallthequestions.Soifitistobemeaningful,ithadbetterbeconclusivelyfalsiable.Butitisn't.Tocon-clusivelyfalsifyaclaimistobeabletoderiveitsnegationfromanitesetofobservationstatements.Inthiscase,we'dhavetobeabletoderive:8x(xisaquestion!9y(yisananswertox))whichisequivalentto9x:(xisaquestion!9y(yisananswertox))i.e.,9x(xisaquestion&:9y(yisananswertox))5 whichisequivalentto9x(xisaquestion&8y:(yisananswertox))Soforouroriginalsentencetobeconclusivelyfalsiable,wehavetobeabletoderivetheabovefromsomesetofobservationsentences.Butwecan't:toderivethisfromasetofobservationsentences,we'dhavetobeabletoderivefromsuchasettheuniversalclaimthatthereissomequestionsuchthateveryanswerfailstobeananswertothatquestion.Butwecannomorederivethisfromasetofobservationsentencesthanwecanderive\Allswansarewhite."fromsuchaclaim.(Theproblemherestemsfromthefactthatconclusivefalsiabilityofasentenceisjustconclusiveveriabilityofitsnegation,andifasentencecontainsbothexistentialanduniversalquanticationintheaboveway,thenbothitanditsnegationwillbeuniversalclaims.)Sotheclaimthatasentenceismeaningfuliitiseitherconclusivelyfalsiableorcon-clusivelyveriableentailsthatallsentencesofmixedquanticationliketheabovearemeaningless.Butagain,thepositivistswerenotwillingtoacceptthisresult.(Andtheywererightinthinkingthatthisresultwasabsurd.)4.3.2`Most'andotherquantiersAnotherproblemstemsfromcertainquantiersotherthantheuniversalandexistentialquantiers,like`most.'Consider,e.g.,`Mostravensareblack.'Howwouldyougoabouttryingtoeitherconclusivelyverifyorfalsifythissentenceonthebasisofobservationsentences?Oneplausibleidea:wecouldconclusivelyverifythissentence,itseems,ifwecouldaddtothelistofobservationsentencesageneralclaimlike`Thesearealltheravens.'Thisgeneralclaimisconclusivelyfalsiable,andhencemeaningful.Soonewantstoformulateamoregeneralcriterion,whichgivesastep-by-stepanalysisofmeaningfulness,alongthefollowinglines:Sismeaningfulieitheritoritsnegationareentailedbyasetofsentencescontainingonlyobservationsentences,sentenceswhichareconclusivelyveriableorfal-siable,andothersentencesalreadyqualiedasmeaningfulbythistest.ThisresemblesthetestthatAyereventuallysuggests;we'llreturntoitlater.Butthiskindofstepwisedenitionintermsofstrongvericationisalsochallengedbyathirdproblemfacingourproposedanalysis.4.3.3StatementsaboutunobservablesConsider,forexample,claimsaboutelectrons.Electronsarenotdirectlyobservable;rather,theyarepostulatedtoexplainphenomenawhichareobservable.Butjustbecause6 thepostulationofelectronsexplainsobservablephenomena,itdoesnotfollowthatclaimsaboutelectronsmaybederivedfromobservationsentences.Butthepositivistswere,forgoodreason,reluctanttoconsignclaimsaboutelectronstothesamecategoryasmetaphysicalclaimslike\TheAbsoluteislazy."5WeakvericationThisproblemsuggeststhatanentirelynewapproachisinorder,andthisisinfactwhatAyersuggests.Hesays:\Accordingly,wefallbackontheweakersenseofverication.Wesaythatthequestionthatmustbeaskedaboutanyputativestatementoffactisnot,Wouldanyobservationsmakeitstruthorfalsehoodlogicallycertain?butsimply,Wouldanyobservationsberelevanttothedeterminationofitstruthorfalsehood?Anditisonlyifanegativeanswerisgiventothissecondquestionthatweconcludethatthestatementunderconsiderationisnonsensical."(38)Thismovefromfocusingonwhatcanbederivedfromobservationclaimstofocusingonwhatobservationclaimsmightberelevanttomarksanimportantshiftbetweentwodierentwaysofthinkingaboutthecriterionofveriability.But,asAyernotes,weneedtobeabitmorespecicthanthisinformulatingaweakcriterionofveriability.Hegivestwoprecisewaysofformulatingthebasicintuitionhere,oneinChapter1,andthesecondinthePrefacetothe2ndeditionofLanguage,Truth,&Logic.5.1Ayer'srstdenitionInthersteditiontothebook(1935),Ayergavethefollowingaccountofveriability:\Letuscallapropositionwhichrecordsanactualorpossibleobservationanexperientialproposition.Thenwemaysaythatitisthemarkofagenuinefactualproposition,notthatitshouldbeequivalenttoanexperientialpropo-sition,oranynitenumberofexperientialpropositions,butsimplythatsomeexperientialpropositionscanbededucedfromitinconjunctionwithcertainotherpremiseswithoutbeingdeduciblefromthoseotherpremisesalone."(38-39)Wecanformulatethisasfollows:SismeaningfulifthereissomesetofsentencesP1...PnandsomeobservationsentenceOsuchthat(i)OfollowsfromStogetherwithP1...Pnbut(ii)OdoesnotfollowfromP1...Pnalone.7 Whilethisformulaisfairlyabstract,thereisasimpleandplausiblethoughtbehindit.Ayer'sideawasthat,giventhefailureofstrongvericationanalysesofmeaningfulness,veriabilitycannotamounttoequivalenceorentailmentrelationsbetweenasentenceandsomesetofobservationsentences;rather,whatwewantisaclearwayofstatingthethoughtthatasentence,evenifnotequivalenttoasetofobservationsentences,makessomedierencetowhatisobservable.ThisiswhatAyer'sdenitiontriestocapture.Itsays,plausibly,thatasentencehasempiricalconsequences,andhenceismeaningful,ifaddingittosomestockofpropositionschangeswhichobservationsentencesfollowfromthatstockofpropositions.Thisdenitionseemstodowellwiththecaseswhichprovedproblematicabove.Let'sexaminethem:Sentencesofmixedquantication,like`Everyliquidhasaboilingpoint.'Considerthesentence`xisaliquid.'Byitself,itdoesnotfollowfromthissentencethat`xhasaboilingpoint'istrue.Butitdoesfollowthissentence,alongwithourexamplesentence,than`xhasaboilingpoint'istrue.Sowegetthegoodresultthatsentenceslikethisonecanbemeaningful.Otherquantiedsentences,like`Mostapplesarered.'Considerthesentence`Theseveitemsarealltheapples.'Fromthis,itdoesnotfollowthat`Threeoftheseitemsarered.';butitdoesfollowifweaddthepremise`Mostapplesarered.'Hencethelatterclaimqualiesasmeaningful.Statementsaboutunobservables.Toseehowthismightwork,notethatwecanhaveconditionalsconnectingclaimsaboutunobservableswithobservationstatements.Forexample,consider`Ifasubstanceiscom-posedprimarilyofH2Omolecules,itwillboilat100C.'Fromthis,itdoesnotfollowthat,forsomespeciedx,`xwillboilat100C.'Butitdoesfollowifweaddastatementaboutunobservables:`xiscomposedprimarilyofH2Omolecules';hencewecancountthisstatement,correctly,asmeaningfulbyAyer'snewcriterion.Thereis,however,aproblemimplicitinthewaythatwejusthandledthecaseofstate-mentsaboutunobservableswhichisdevastatingtoAyer'sdenition.ThiswaspointedoutbyIsaiahBerlin.Theproblemis,intuitively,thatwhenwegotodecidewhetheragivensentenceSismeaningful,wetrytondsomepropositionorsetofpropositionsSsuchthat,whenweaddStoS,wecanderivesomeobservationsentencenotderivablefromSalone;buttherearenorestrictionsatallputonwhatScanbe.TheresultisthatwecanderivefromAyer'srstdenitiontheunwantedresultthateverysentenceisveriable,andhencemeaningful.ConsiderthesentenceTheabsoluteislazy.8 Isthereanysentencewhich,combinedwiththissentence,entailsanobservationsentenceitdoesnotentailbyitself?Ofcourse;theconditionalsentenceIftheabsoluteislazy,thenthisisred.issuchasentence.Ingeneral,foranysentenceS,wecanprovethatSismeaningfulbyderivingfromittogetherwiththeconditionalS!OtheobservationsentenceO.5.2Ayer'sseconddenitionAccordingly,inthesecondeditionofthebook(1946)Ayergaveanewaccountoftheprincipleofveriability.Hisaimwastostickwiththespiritofhis1935denition,whileplacingrestrictionsontheclassof`supplementarypropositions'whichcouldbeusedtoderiveanobservationstatementfromagivensentence.Tothisend,hedistinguished(p.13)betweendirectandindirectveriability,wherethesenotionsaredenedasfollows:Sisdirectlyveriabledf(i)Sisanobservationstatementor(ii)Sentailsinconjunctionwithasetofobservationstatementssomeobservationstatementnotentailedbythatsetalone.Sisindirectlyveriabledf(i)SentailsinconjunctionwithasetSofstatementssomeobservationstatementnotentailedbythatsetaloneand(ii)thereisnostatementinSwhichisnoteither(a)directlyveriable,(b)analytic,or(c)capableofbeingindependentlyshowntobeindirectlyveriable.Thecentralclaimofthetheoryisthen:Asentenceismeaningfulifandonlyifitiseitherdirectlyorindirectlyveri-able.5.3Hempel'sobjectionHempel'sobjectionisstatedinhis\TheEmpiricistCriterionofMeaning."Hisargumentassumesthefollowingtwoplausibleclaims:(i)Asentenceismeaningfulifandonlyifitistrueorfalse.(ii)ForanysentenceS,Sistruei:Sisfalse.Nowtakeanytruemeaningfulsentence(itcanbeanobservationsentence,ornot)like`Thisisred.'Considertheconjunction9 ThisisredandtheAbsoluteislazy.Thissentencemustbemeaningful,sinceitentailstheobservationsentence`Thisisred.'So,byassumption(i),itmustbeeithertrueorfalse.Supposerstthatthesentenceistrue.Thenitfollowsthat`TheAbsoluteislazy.'mustbetrueaswell,sincethetruthofaconjunctionentailsthetruthofitsconjuncts.Butthen,byprinciple(i),itmustbemeaningful.Supposethenthatthesentenceisfalse.Thenbyprinciple(ii)itsnegationmustbetrue;and,ifboth`Not(ThisisredandtheAbsoluteislazy)'and`Thisisred'aretrue,weknowthat`Not(TheAbsoluteislazy)'mustbetrue.Butthenweknowby(ii)againthatitsnegation,`TheAbsoluteislazy'mustbefalse.Butthenitfollowsfromprinciple(i)that`TheAbsoluteislazy.'ismeaningful.Soagainaformulationoftheprincipleofveriabilityleadstotheresultthatallsentencesaremeaningful.WhataretheprospectsfordenyingoneorbothofthepremisesonwhichHempel'sargumentrests?5.4Church'sobjectionInhisreviewofthesecondeditionofLanguage,Truth,&Logic,AlonzoChurchprovidedanargumentforthesameconclusionwhichmadedowithlesssubstantialassumptionsthan(i)and(ii).(ThefollowingexpositionoftheargumentfollowsthatinSoames,pp.289-90).Assumethefollowing:Thereareatleastthreeobservationsentencesp,q,r,noneofwhichentaileitheroftheothers.Nowwecantakeanysentences{evenanonsensesentencelike`TheAbsoluteislazy'{andformthefollowingcomplexsentence:(1)(:p&q)_(r&:s)Nownotethatsentence(1)countsasdirectlyveriable.Proof:pisanobservationsentence;theconjunctionofsentence(1)withpentailsr;andrisanobservationsentencewhich(byhypothesis)isnotentailedbypalone.qiseitherentailedbysentence(1),oritisnot.Eitherway,swillendupcountingasmeaningful.Supposerstthatqisnotentailedby(1).Then,sinceqisentailedbythecombinationof(1)ands,and(1)isdirectlyveriable,scountsasindirectlyveriable.10