Willard Van Orman Quine - Willard Van Orman Quine

Willard Van Orman Quine
Wvq-pass-1975-400dpi-crop.jpg
Født ( 1908-06-25 )25. juni 1908
Døde 25. desember 2000 (2000-12-25)(92 år)
utdanning Oberlin College (BA, 1930)
Harvard University (doktorgrad, 1932)
Ektefelle (r)
Naomi Clayton
( m.  1932; div.  1947)

Marjorie Boynton
( m.  1948; død 1998)
Utmerkelser Rolf Schock -prisen i logikk og filosofi (1993)
Kyoto -prisen (1996)
Era Filosofi fra 1900-tallet
Region Vestlig filosofi
Skole Analytisk
Mathematical nominalisme (1947)
Matematisk kvasi-empirisme (1960)
Immanent realisme
Neopragmatism
empiri
Anti-foundationalism
logisk behaviorisme
Institusjoner Harvard University
Avhandling The Logic of Sequences: A Generalization of Principia Mathematica  (1932)
Doktorgradsrådgiver Alfred North Whitehead
Andre akademiske rådgivere CI Lewis
Doktorgradsstudenter David Lewis , Gilbert Harman , Dagfinn Føllesdal , Hao Wang , Burton Dreben , Charles Parsons , John Myhill
Andre bemerkelsesverdige studenter Donald Davidson , Daniel Dennett
Hovedinteresser
Logikk , ontologi , epistemologi , språkfilosofi , sinnsfilosofi , matematikkfilosofi , vitenskapsfilosofi , settteori
Bemerkelsesverdige ideer

Willard Van Orman Quine ( / k w n / ; kjent for vennene hans som "Van"; 25. juni 1908 - 25. desember 2000) var en amerikansk filosof og logiker i den analytiske tradisjonen , anerkjent som "en av de mest innflytelsesrike filosofer fra det tjuende århundre ". Fra 1930 til hans død 70 år senere var Quine kontinuerlig tilknyttet Harvard University på en eller annen måte, først som student, deretter som professor. Han fylte Edgar Pierce Chair of Philosophy ved Harvard fra 1956 til 1978.

Quine var lærer i logikk og settteori . Quine var kjent for sin posisjon om at første ordens logikk er den eneste typen som er verdt navnet, og utviklet sitt eget system for matematikk og settteori, kjent som New Foundations . I matematikkfilosofien utviklet han og hans Harvard -kollega Hilary Putnam Quine - Putnam uunnværlig argument , et argument for matematiske enheters virkelighet . Imidlertid var han den viktigste talsmannen for synet om at filosofi ikke er konseptuell analyse , men kontinuerlig med vitenskap; den abstrakte grenen av de empiriske vitenskapene. Dette førte til hans berømte quip om at " vitenskapsfilosofi er filosofi nok". Han ledet et "systematisk forsøk på å forstå vitenskap fra ressursene i vitenskapen selv" og utviklet en innflytelsesrik naturalisert epistemologi som prøvde å gi "en forbedret vitenskapelig forklaring på hvordan vi har utviklet forseggjorte vitenskapelige teorier på grunnlag av magre sanseinnspill". Han tok også til orde for ontologisk relativitet innen vitenskap, kjent som Duhem - Quine -avhandlingen .

Hans store skrifter inkluderer avisene "På hva" (1948), som belyses Bertrand Russell 's teori om beskrivelser og inneholder Quine berømte dictum av ontologiske engasjement, 'Å være er å være verdien av en variabel ' og " Two Dogmas of Empiricism "(1951), som angrep det tradisjonelle analytisk-syntetiske skillet og reduksjonismen, og undergravde den da populære logiske positivismen og i stedet tok til orde for en form for semantisk holisme . De inkluderer også bøkene The Web of Belief , som går inn for en slags koherentisme , og Word and Object (1960), som videreutviklet disse posisjonene og introduserte Quines berømte ubestemmelighet i oversettelsesoppgaven , som tok til orde for en behavioristisk teori om mening .

En meningsmåling fra 2009 utført blant analytiske filosofer som kalte Quine som den femte viktigste filosofen de siste to århundrene. Han vant den første Schock -prisen i logikk og filosofi i 1993 for "sine systematiske og gjennomtrengende diskusjoner om hvordan læring av språk og kommunikasjon er basert på sosialt tilgjengelig bevis og konsekvensene av dette for teorier om kunnskap og språklig mening". I 1996 ble han tildelt Kyoto -prisen i kunst og filosofi for sine "fremragende bidrag til filosofiens fremgang på 1900 -tallet ved å foreslå mange teorier basert på ivrig innsikt i logikk, epistemologi , vitenskapsfilosofi og språkfilosofi".

Biografi

Quine vokste opp i Akron, Ohio , hvor han bodde sammen med foreldrene og eldre broren Robert Cloyd. Faren hans, Cloyd Robert, var en produksjonsentreprenør (grunnlegger av Akron Equipment Company, som produserte dekkformer) og moren, Harriett E., var skolelærer og senere husmor. Quine var ateist da han var tenåring.

utdanning

Quine mottok sin BA summa cum laude i matematikk fra Oberlin College i 1930, og sin doktorgrad. i filosofi fra Harvard University i 1932. Avhandleren hans var Alfred North Whitehead . Han ble deretter utnevnt til Harvard Junior Fellow , noe som unnskyldte ham fra å måtte undervise i fire år. I løpet av studieåret 1932–33 reiste han i Europa takket være et Sheldon -stipendium, som møtte polske logikere (inkludert Stanislaw Lesniewski og Alfred Tarski ) og medlemmer av Wien -sirkelen (inkludert Rudolf Carnap ), samt den logiske positivisten A. J. Ayer .

Andre verdenskrig

Quine sørget for at Tarski ble invitert til Unity of Science Congress i september 1939 , hvor den jødiske Tarski seilte på det siste skipet for å forlate Danzig før det tredje riket invaderte Polen og utløste andre verdenskrig . Tarski overlevde krigen og jobbet ytterligere 44 år i USA. Under krigen foreleste Quine om logikk i Brasil, på portugisisk, og tjenestegjorde i den amerikanske marinen i en militær etterretningsrolle , tyde meldinger fra tyske ubåter og nådde rang som løytnantkommandør. Quine kunne forelese på fransk, spansk, portugisisk og tysk, samt engelsk.

Personlig

Han hadde fire barn ved to ekteskap. Gitarist Robert Quine var nevøen hans.

Quine var politisk konservativ, men hoveddelen av forfatterskapet hans var innen tekniske filosofiske områder fjernet fra direkte politiske spørsmål. Han skrev imidlertid til forsvar for flere konservative posisjoner: for eksempel skrev han til forsvar for moralsk sensur ; mens han i sin selvbiografi kom med en del kritikk av amerikanske etterkrigstidens akademikere.

Harvard

På Harvard hjalp Quine med å føre tilsyn med Harvard -avhandlingene til blant andre David Lewis , Gilbert Harman , Dagfinn Føllesdal , Hao Wang , Hugues LeBlanc , Henry Hiz og George Myro . For studieåret 1964–1965 var Quine stipendiat ved fakultetet i Center for Advanced Studies ved Wesleyan University . I 1980 mottok Quine en æresdoktor ved Det humanistiske fakultet ved Uppsala universitet , Sverige.

Quines student Dagfinn Føllesdal bemerket at Quine begynte å miste hukommelsen mot slutten av livet. Forverringen av hans kortsiktige hukommelse var så alvorlig at han slet med å fortsette å følge argumenter. Quine hadde også store problemer i prosjektet med å gjøre de ønskede revisjonene av Word og Object . Før han gikk bort, bemerket Quine til Morton White: "Jeg husker ikke hva sykdommen min heter, Althusser eller Alzheimer, men siden jeg ikke kan huske det, må det være Alzheimer." Han døde av sykdommen 1. juledag i 2000.

Arbeid

Quines ph.d. avhandlingen og tidlige publikasjoner handlet om formell logikk og settteori . Først etter andre verdenskrig fremstod han i kraft av sentrale artikler om ontologi , epistemologi og språk som en stor filosof. På 1960 -tallet hadde han utarbeidet sin " naturaliserte epistemologi ", som hadde som mål å svare på alle materielle spørsmål om kunnskap og mening ved å bruke naturvitenskapens metoder og verktøy. Quine avviste på det rene ideen om at det skulle være en "første filosofi", et teoretisk standpunkt på en eller annen måte før naturvitenskap og i stand til å rettferdiggjøre det. Disse synspunktene er iboende for hans naturalisme .

I likhet med de logiske positivistene viste Quine liten interesse for den filosofiske kanonen: bare en gang underviste han i et kurs i filosofiens historie om David Hume .

Logikk

I løpet av sin karriere publiserte Quine en rekke tekniske og eksponerende artikler om formell logikk, hvorav noen er trykt på nytt i hans utvalgte logiske artikler og i The Ways of Paradox . Hans mest kjente samling papirer er From A Logical Point of View . Quine begrenset logikken til klassisk bivalent førsteordens logikk , derav til sannhet og falskhet under ethvert (ikke-fristet) diskursunivers . Følgende var derfor ikke logisk for Quine:

Quine skrev tre lavere tekster om formell logikk:

  • Elementær logikk . Mens han underviste i et introduksjonskurs i 1940, oppdaget Quine at eksisterende tekster for filosofistudenter ikke gjorde rettferdighet til kvantifiseringsteori eller predikatlogikk av første orden . Quine skrev denne boken på 6 uker som en ad hoc -løsning på hans undervisningsbehov.
  • Metoder for logikk . De fire utgavene av denne boken er et resultat av et mer avansert bachelorstudium i logikk Quine som ble undervist fra slutten av andre verdenskrig til han ble pensjonist i 1978.
  • Logikkfilosofi . En kortfattet og vittig bachelorbehandling av en rekke Quinanske temaer, for eksempel forekomsten av forvirringer om bruk-omtale, tvilsomheten i kvantifisert modal logikk og den ikke-logiske karakteren til logikk av høyere orden.

Matematisk logikk er basert på Quines forskerundervisning i løpet av 1930- og 1940 -årene. Det viser at mye av det Principia Mathematica tok mer enn 1000 sider å si kan sies på 250 sider. Bevisene er konsise, til og med kryptiske. Det siste kapitlet, om Godels ufullstendighetsteorem og Tarskis ubestemmelighetsteorem , sammen med artikkelen Quine (1946), ble et utgangspunkt for Raymond Smullyans senere klare beskrivelse av disse og relaterte resultater.

Quines arbeid med logikk ble gradvis datert på noen måter. Teknikker han ikke underviste og diskuterte inkluderer analytiske tablåer , rekursive funksjoner og modellteori . Hans behandling av metalogic etterlot noe å være ønsket. For eksempel inkluderer Mathematical Logic ingen bevis på at det er forsvarlig og fullstendig . Tidlig i karrieren var notasjonen av hans forfatterskap om logikk ofte sære. Hans senere skrifter brukte nesten alltid den nå daterte notasjonen Principia Mathematica . Mot alt dette er enkelheten i hans foretrukne metode (som beskrevet i hans metoder for logikk ) for å bestemme tilfredsheten til kvantifiserte formler, rikheten til hans filosofiske og språklige innsikt og den fine prosaen der han uttrykte dem.

Det meste av Quines opprinnelige arbeid i formell logikk fra 1960 og utover var på varianter av hans predikatfunktorlogikk , en av flere måter som har blitt foreslått for å gjøre logikk uten kvantifiseringer . For en omfattende behandling av predikatfunktorlogikk og dens historie, se Quine (1976). For en introduksjon, se kap. 45 av hans metoder for logikk .

Quine var veldig varm på muligheten for at formell logikk til slutt ville bli brukt utenfor filosofi og matematikk. Han skrev flere artikler om den typen boolsk algebra som ble brukt innen elektroteknikk , og sammen med Edward J. McCluskey , utviklet Quine - McCluskey -algoritmen for å redusere boolske ligninger til en minimumssum av primære implikanter .

Settteori

Selv om hans bidrag til logikk inkluderer elegante utstillinger og en rekke tekniske resultater, er det i settteorien at Quine var mest nyskapende. Han fastholdt alltid at matematikk krevde settteori og at settteori var ganske forskjellig fra logikk. Han flørtet med Nelson Goodman 's nominalisme for en stund, men trakk seg da han ikke klarte å finne en nominalisme jording av matematikk.

I løpet av karrieren foreslo Quine tre aksiomatiske settteorier.

  • New Foundations , NF, oppretter og manipulerer sett ved hjelp av et enkelt aksiomskjema for angitt tillatelse, nemlig et aksiomskjema med lagdelt forståelse, der alle individer som tilfredsstiller en stratifisert formel komponerer et sett. En stratifisert formel er en som typeteori ville tillate, hvis ontologien skulle inkludere typer. Imidlertid inneholder Quines settteori ikke typer. Metamatematikken til NF er nysgjerrig. NF tillater mange "store" sett som den nå-kanoniske ZFC - setteteorien ikke tillater, selv sett som valgfri aksiom ikke holder. Siden valgfri aksiom gjelder for alle endelige sett, viser feilen i dette aksiomet i NF at NF inkluderer uendelige sett. NFs konsistens i forhold til andre formelle systemer som er tilstrekkelig for matematikk er et åpent spørsmål, om enn at en rekke kandidatbevis er aktuelle i NF -samfunnet, noe som tyder på at NF er likekonsistent med Zermelo -setteteori uten valg. En modifikasjon av NF, NFU , på grunn av RB Jensen og innrømmelse av urelements (enheter som kan være medlemmer av sett, men som mangler elementer), viser seg å være konsekvent i forhold til Peano -aritmetikk , og dermed bekrefter intuisjonen bak NF. NF og NFU er de eneste kineanske teoriene med følgende. For en avledning av grunnleggende matematikk i NF, se Rosser (1952);
  • Settet teori Matematisk Logic er NF utvidet med de riktige klassene av von Neumann-Bernays-Gödel mengdelære , bortsett axiomatized på en mye enklere måte;
  • Settteorien til Set Theory and Its Logic gjør opp med stratifisering og er nesten helt avledet fra et enkelt aksiomskjema. Quine avledet grunnlaget for matematikk nok en gang. Denne boken inkluderer den definitive utstillingen av Quines teori om virtuelle sett og relasjoner, og undersøkte aksiomatisk settteori slik den sto rundt 1960.

Alle de tre teoriene innrømmer en universell klasse, men siden de er fri for et hierarki av typer , har de ikke behov for en distinkt universell klasse på hvert type nivå.

Quines settteori og dens bakgrunnslogikk ble drevet av et ønske om å minimere posisjoner; hver innovasjon skyves så langt den kan presses før ytterligere innovasjoner introduseres. For Quine er det bare ett bindemiddel, Sheffer -slag , og én kvantifiserende, den universelle kvantifisereren . Alle polyadiske predikater kan reduseres til ett dyadisk predikat, tolkbart som angitt medlemskap. Bevisreglene hans var begrenset til modus ponens og substitusjon. Han foretrakk konjunksjon fremfor enten disjunksjon eller betinget , fordi konjunksjon har minst semantisk tvetydighet. Han var glad for å oppdage tidlig i karrieren at all første ordens logikk og settteori bare kan begrunnes i to primitive forestillinger: abstraksjon og inkludering . For en elegant introduksjon til kjennetegnet ved Quines tilnærming til logikk, se hans "New Foundations for Mathematical Logic", kap. 5 i hans From a Logical View of View .

Metafysikk

Quine har hatt mange innflytelser på samtidens metafysikk. Han fant ut begrepet " abstrakt objekt ". Han laget også begrepet " Platons skjegg " for å referere til problemet med tomme navn .

Avvisning av det analytisk -syntetiske skillet

På 1930- og 40 -tallet førte diskusjoner med blant andre Rudolf Carnap , Nelson Goodman og Alfred Tarski til at Quine tvilte på holdbarheten til skillet mellom "analytiske" utsagn - de stemmer ganske enkelt ved betydningen av ordene deres, for eksempel "Ingen bachelor er gift " - og" syntetiske "utsagn, de sanne eller falske i kraft av fakta om verden, for eksempel" Det er en katt på matta. " Dette skillet var sentralt i logisk positivisme . Selv om Quine normalt ikke er forbundet med verifisering , mener noen filosofer at prinsippet ikke er uforenlig med hans generelle språkfilosofi, med henvisning til hans Harvard -kollega BF Skinner og hans analyse av språk i verbal atferd .

Som andre analytiske filosofer før ham, godtok Quine definisjonen av "analytisk" som "sann i kraft av meningen alene". I motsetning til dem konkluderte han imidlertid med at definisjonen til slutt var sirkulær . Med andre ord aksepterte Quine at analytiske utsagn er de som er sanne per definisjon, og argumenterte deretter med at begrepet sannhet per definisjon var utilfredsstillende.

Quines viktigste innvending mot analysen er med begrepet synonymi (likhet med mening). Han argumenterer for at analytiske setninger typisk er delt inn i to typer; setninger som er helt logisk sanne (f.eks. "ingen ugift mann er gift") og de mer tvilsomme; setninger som "ingen ungkar er gift". Tidligere ble det antatt at hvis du kan bevise at det er synonymitet mellom "ugift mann" og "ungkar", har du bevist at begge setningene er logisk sanne og derfor selvfølgelige. Quine gir imidlertid flere argumenter for hvorfor dette ikke er mulig, for eksempel at "bachelor" i noen sammenhenger betyr en bachelor i kunst, ikke en ugift mann.

Bekreftelsesholisme og ontologisk relativitet

Kollega Hilary Putnam kalt Quine er indeterminacy oversettelsesoppgaven "den mest fascinerende og mest diskuterte filosofisk argument siden Kants 's Transcendental Fradrag av kategoriene ". De sentrale tesene som ligger til grunn for det er ontologisk relativitet og den tilhørende læren om bekreftelsesholisme . Forutsetningen for bekreftelse holism er at alle teorier (og de forslag som stammer fra dem) er under-bestemmes ved empiriske data (data, sensoriske-data, bevis); Selv om noen teorier ikke er forsvarlige, ikke passer med dataene eller er uarbeidelig komplekse, er det mange like forsvarlige alternativer. Selv om grekernes antagelse om at (ikke -observerbare) homeriske guder eksisterer, er falsk, og vår antagelse om (ikke -observerbare) elektromagnetiske bølger er sann, skal begge begrunnes utelukkende med deres evne til å forklare våre observasjoner.

Den gavagai tankeeksperiment forteller om en lingvist, som forsøkte å finne ut hva uttrykket gavagai midler, når ytret av en høyttaler av en foreløpig ukjent, morsmålet når de får se en kanin. Ved første øyekast ser det ut til at gavagai ganske enkelt oversettes med kanin . Nå påpeker Quine at bakgrunnsspråket og dets henvisningsenheter kan lure språkforskeren her, fordi han blir villedet på en måte at han alltid gjør direkte sammenligninger mellom fremmedspråket og sitt eget. Men når rope gavagai , og peker på en kanin, de innfødte kan også referere til noe som undetached kanin-deler , eller hare troper og det ville ikke gjøre noen observerbar forskjell. Atferdsdataene som lingvisten kunne samle inn fra morsmålet ville være de samme i alle tilfeller, eller for å omformulere det, kunne flere oversettelseshypoteser bygge på de samme sensoriske stimuliene.

Quine avsluttet sin " Two Dogmas of Empiricism " slik:

Som empiriker fortsetter jeg å tenke på vitenskapens konseptuelle opplegg som et verktøy til slutt for å forutsi fremtidig erfaring i lys av tidligere erfaring. Fysiske objekter blir konseptuelt importert til situasjonen som praktiske mellomledd, ikke per definisjon når det gjelder erfaring, men ganske enkelt som ureduserbare posisjoner som er sammenlignbare, epistemologisk, med gudene til Homer .... For min del gjør jeg, qua lay fysiker, tror på fysiske objekter og ikke på Homers guder; og jeg anser det som en vitenskapelig feil å tro noe annet. Men når det gjelder epistemologisk fotfeste, er de fysiske gjenstandene og gudene bare forskjellige i grad og ikke i natur. Begge typer enheter går bare inn i våre forestillinger som kulturelle posisjoner.

Quines ontologiske relativisme (tydelig i avsnittet ovenfor) førte til at han var enig med Pierre Duhem om at for enhver samling av empiriske bevis vil det alltid være mange teorier som kan redegjøre for det, kjent som Duhem - Quine -tesen . Duhems holisme er imidlertid mye mer begrenset og begrenset enn Quines. For Duhem gjelder underbestemmelse bare for fysikk eller muligens for naturvitenskap , mens for Quine gjelder det all menneskelig kunnskap. Selv om det er mulig å verifisere eller forfalske hele teorier, er det imidlertid ikke mulig å verifisere eller forfalske individuelle utsagn. Nesten enhver bestemt uttalelse kan lagres, gitt tilstrekkelig radikale modifikasjoner av den inneholder teorien. For Quine danner vitenskapelig tanke et sammenhengende web der noen del kan endres i lys av empiriske bevis, og der ingen empiriske bevis kan tvinge til revisjon av en gitt del.

Eksistens og dens motsetning

Det problemet med ikke-refererende navnene er et gammelt puslespill i filosofi, som Quine fanget da han skrev:

En merkelig ting om det ontologiske problemet er enkelheten. Den kan settes inn i tre angelsaksiske monosyllabler: 'Hva er det?' Det kan dessuten besvares med et ord - "Alt" - og alle vil godta dette svaret som sant.

Mer direkte går kontroversen:

Hvordan kan vi snakke om Pegasus ? Hva refererer ordet 'Pegasus' til? Hvis svaret vårt er "Noe", så ser det ut til at vi tror på mystiske enheter; hvis svaret vårt er "ingenting", så ser det ut til at vi snakker om ingenting, og hvilken mening kan vi få av dette? Absolutt da vi sa at Pegasus var en mytologisk vinget hest, gir vi mening, og dessuten snakker vi sannheten! Hvis vi snakker sant, må dette være sannhet om noe . Så vi kan ikke snakke om ingenting.

Quine motstår fristelsen til å si at ikke-refererende termer er meningsløse av grunner som er tydeliggjort ovenfor. I stedet forteller han oss at vi først må avgjøre om vilkårene våre refererer eller ikke før vi vet den riktige måten å forstå dem på. Imidlertid kritiserer Czesław Lejewski denne troen for å ha redusert saken til empirisk oppdagelse når det ser ut til at vi bør ha et formelt skille mellom henvisende og ikke-refererende termer eller elementer i domenet vårt. Lejewski skriver videre:

Denne situasjonen ser ikke ut til å være særlig tilfredsstillende. Ideen om at noen av våre slutningsregler bør være avhengig av empirisk informasjon, som kanskje ikke kommer, er så fremmed for karakteren av logisk etterforskning at en grundig ny undersøkelse av de to slutningene [eksistensiell generalisering og universell instans] kan vise seg verdt vår stund.

Lejewski fortsetter deretter med å tilby en beskrivelse av gratis logikk , som han hevder rommer et svar på problemet.

Lejewski påpeker også at gratis logikk i tillegg kan håndtere problemet med det tomme settet for utsagn som . Quine hadde ansett problemet med det tomme settet som urealistisk, noe som gjorde Lejewski utilfreds.

Ontologisk engasjement

Forestillingen om ontologisk engasjement spiller en sentral rolle i Quines bidrag til ontologi. En teori er ontologisk forpliktet til en enhet hvis denne enheten må eksistere for at teorien skal være sann. Quine foreslo at den beste måten å bestemme dette på er ved å oversette den aktuelle teorien til første ordens predikatlogikk . Av spesiell interesse for denne oversettelsen er de logiske konstantene kjent som eksistensielle kvantifiserere (' '), hvis betydning tilsvarer uttrykk som "det eksisterer ..." eller "for noen ...". De brukes til å binde variablene i uttrykket etter kvantifisereren. Teoriens ontologiske forpliktelser tilsvarer deretter variablene som er bundet av eksistensielle kvantifikatorer. For eksempel kan setningen "Det er elektroner" oversettes som " x elektron ( x ) ", der den begrensede variabelen x varierer over elektroner, noe som resulterer i en ontologisk forpliktelse til elektroner. Denne tilnærmingen oppsummeres av Quines berømte diktum om at "[t] o be is to be the value of a variable". Quine brukte denne metoden på forskjellige tradisjonelle tvister innen ontologi. For eksempel resonnerte han fra setningen "Det er primtall mellom 1000 og 1010" til en ontologisk forpliktelse til eksistensen av tall, dvs. realisme om tall. Denne metoden i seg selv er ikke tilstrekkelig for ontologi siden den er avhengig av en teori for å resultere i ontologiske forpliktelser. Quine foreslo at vi skulle basere vår ontologi på vår beste vitenskapelige teori. Ulike tilhengere av Quines metode valgte å bruke den på forskjellige felt, for eksempel på "dagligdagse forestillinger uttrykt i naturlig språk".

Uunnværlig argument for matematisk realisme

I matematikkfilosofien utviklet han og hans Harvard -kollega Hilary Putnam quesen - Putnam uunnværlig avhandling , et argument for virkeligheten til matematiske enheter .

Argumentets form er som følger.

  1. Man må ha ontologiske forpliktelser til alle enheter som er uunnværlig for beste vitenskapelige teorier, og til disse enhetene bare (ofte referert til som "alle og bare").
  2. Matematiske enheter er uunnværlige for de beste vitenskapelige teoriene. Derfor,
  3. Man må ha ontologiske forpliktelser overfor matematiske enheter.

Begrunnelsen for det første premisset er det mest kontroversielle. Både Putnam og Quine påkaller naturalisme for å rettferdiggjøre ekskludering av alle ikke-vitenskapelige enheter, og dermed forsvare den "eneste" delen av "alt og bare". Påstanden om at "alle" enheter postulert i vitenskapelige teorier, inkludert tall, bør aksepteres som reelle, er begrunnet med bekreftelsesholisme . Siden teorier ikke er bekreftet stykkevis, men som helhet, er det ingen begrunnelse for å ekskludere noen av enhetene det refereres til i godt bekreftede teorier. Dette setter nominalisten som ønsker å ekskludere eksistensen av sett og ikke-euklidisk geometri , men å inkludere eksistensen av kvarker og andre uoppdagbare fysiske enheter, for eksempel i en vanskelig posisjon.

Epistemologi

Akkurat som han utfordret det dominerende analytisk -syntetiske skillet, tok Quine også sikte på tradisjonell normativ epistemologi . I følge Quine prøvde tradisjonell epistemologi å rettferdiggjøre vitenskapene, men denne innsatsen (som eksemplifisert av Rudolf Carnap ) mislyktes, og derfor bør vi erstatte tradisjonell epistemologi med en empirisk studie av hvilke sensoriske innspill som gir hvilke teoretiske utganger: "Epistemologi, eller noe lignende den faller rett og slett på plass som et kapittel i psykologi og derav naturvitenskap. Den studerer et naturlig fenomen, nemlig et fysisk menneskelig subjekt. Dette menneskelige subjekt får en viss eksperimentelt kontrollert innspill - visse bestrålingsmønstre i forskjellige frekvenser, for eksempel-og i tidens fylde leverer subjektet som utgang en beskrivelse av den tredimensjonale ytre verden og dens historie.Forholdet mellom den magre innspillingen og den store utgangen er en relasjon som vi blir bedt om å studere for det samme årsaker som alltid førte til epistemologi: nemlig for å se hvordan bevis forholder seg til teori, og på hvilke måter ens teori om naturen overskrider Det er alle tilgjengelige bevis ... Men en iøynefallende forskjell mellom gammel epistemologi og det epistemologiske foretaket i denne nye psykologiske setting er at vi nå kan bruke empirisk psykologi gratis. " (Quine, 1969: 82–83)

Quines forslag er kontroversielt blant samtidige filosofer og har flere kritikere, med Jaegwon Kim den mest fremtredende blant dem.

I populærkulturen

Bibliografi

Utvalgte bøker

  • 1934 Et system for logistikk . Harvard Univ. Trykk.
  • 1951 (1940). Matematisk logikk . Harvard Univ. Trykk. ISBN  0-674-55451-5 .
  • 1980 (1941). Elementær logikk . Harvard Univ. Trykk. ISBN  0-674-24451-6 .
  • 1982 (1950). Metoder for logikk . Harvard Univ. Trykk. 1980 (1953). Fra et logisk synspunkt . Harvard Univ. Trykk. ISBN  0-674-32351-3 . Inneholder " To dogmer om empiri. "
  • 1960 Ord og objekt . MIT Press; ISBN  0-262-67001-1 . Det nærmeste Quine skrev til en filosofisk avhandling. Ch. 2 angir ubestemmeligheten av oversettelsesoppgaven .
  • 1969 (1963). Settteori og dens logikk . Harvard Univ. Trykk.
  • 1966. Utvalgte logiske artikler . New York: Random House.
  • 1976 (1966). Paradoksens måter . Harvard Univ. Trykk.
  • 1969 Ontologisk relativitet og andre essays . Columbia Univ. Trykk. ISBN  0-231-08357-2 . Inneholder kapitler om ontologisk relativitet , naturalisert epistemologi og naturlige typer .
  • 1970 (2. utg., 1978). Med JS Ullian. Troens web . New York: Random House.
  • 1986 (1970). Logikkens filosofi . Harvard Univ. Trykk.
  • 1974 (1971). Referanseroten . Open Court Publishing Company ISBN  0-8126-9101-6 (utviklet fra Quines Carus-forelesninger ).
  • 1981. Teorier og ting . Harvard Univ. Trykk.
  • 1985. Mitt livs tid: En selvbiografi . Cambridge, MIT Press. ISBN  0-262-17003-5 .
  • 1987. Quiddities: An Intermittently Philosophical Dictionary . Harvard Univ. Trykk. ISBN  0-14-012522-1 . Et stykke essays, mange subtilt humoristiske, for lekmenn, som veldig avslører bredden i hans interesser.
  • 1992 (1990). Jakten på sannhet . Harvard Univ. Trykk. En kort, livlig syntese av tanken hans for avanserte studenter og generelle lesere som ikke blir lurt av enkelheten. ISBN  0-674-73951-5 .
  • 1995. Fra stimulans til vitenskap . Harvard Univ. Trykk. ISBN  0-674-32635-0 .

Viktige artikler

  • 1946, "Sammenkobling som grunnlag for regning". Gjengitt på nytt i sine utvalgte logiske artikler . Harvard Univ. Trykk.
  • 1948, " On What There Is ", Review of Metaphysics 2 (5) ( JSTOR ). Gjentrykt i 1953 fra et logisk synspunkt . Harvard University Press.
  • 1951, " Two Dogmas of Empiricism ", The Philosophical Review 60 : 20–43. Gjentrykt i 1953 fra et logisk synspunkt . Harvard University Press.
  • 1956, "Quantifiers and Propositional Attitudes", Journal of Philosophy 53 . Gjentrykt i 1976 Ways of Paradox . Harvard Univ. Trykk: 185–196.
  • 1969, "Epistemology naturalisert" i ontologisk relativitet og andre essays . New York: Columbia University Press: 69–90.
  • "Truth by Convention", første gang utgitt i 1936. Gjengitt i boken, Readings in Philosophical Analysis , redigert av Herbert Feigl og Wilfrid Sellars, s. 250–273, Appleton-Century-Crofts , 1949.

Filmografi

  • Bryan Magee (vert), Men of Ideas : "The Ideas of Quine", BBC, 1978.
  • Rudolf Fara (vert), I samtale: WV Quine (7 videokassetter), Philosophy International, Center for Philosophy of the Natural and Social Sciences, London School of Economics, 1994.

Se også

Merknader

Videre lesning

Eksterne linker