Willard Van Orman Quine - Willard Van Orman Quine
Willard Van Orman Quine ( / k w aɪ n / ; ismerősei "Van" néven ismerik; 1908. június 25. - 2000. december 25.) amerikai filozófus és logikus az analitikus hagyományokban , elismert "az egyik legbefolyásosabb század filozófusai ". 1930 -tól haláláig, 70 évvel később, Quine folyamatosan így vagy úgy folyamatosan kapcsolatban állt a Harvard Egyetemmel , először diákként, majd professzorként. 1956 és 1978 között a Harvardon töltötte be Edgar Pierce filozófiai tanszékét.
Quine a logika és a halmazelmélet tanára volt . Quine híres volt azon álláspontjáról, miszerint az elsőrendű logika az egyetlen fajta, amely méltó a névre, és kifejlesztette saját matematikai és halmazelméleti rendszerét, amelyet Új alapok néven ismernek . A matematika filozófiájában ő és harvardi kollégája, Hilary Putnam kifejlesztették a Quine – Putnam nélkülözhetetlen érvet , amely érv a matematikai entitások valósága mellett . Ő volt azonban a fő támogatója annak a nézetnek, hogy a filozófia nem fogalmi elemzés , hanem folyamatos a tudományban; az empirikus tudományok elvont ága. Ez vezetett híres mondásához, miszerint " a tudományfilozófia elég filozófia". "Szisztematikus kísérletet végzett a tudomány megértésére a tudomány erőforrásaiból", és kifejlesztett egy befolyásos naturalizált ismeretelméletet, amely megpróbált "jobb tudományos magyarázatot adni arra, hogyan dolgoztunk ki bonyolult tudományos elméleteket a csekély érzékszervi adatok alapján". Szintén támogatta a tudomány ontológiai relativitását , amelyet Duhem – Quine téziseként ismernek .
Főbb írásai közé tartozik a papírok „On ami van” (1948), amely tisztázott Bertrand Russell „s elmélete leírások és tartalmaz Quine híres mondása az ontológiai elkötelezettséget,»Hogy van, hogy az érték a változó «, és a" Two Az empirizmus dogmái "(1951), amely megtámadta a hagyományos analitikus-szintetikus megkülönböztetést és redukcionizmust, aláásva az akkor népszerű logikai pozitivizmust , helyette a szemantikai holizmus egy formáját támogatva . Ide tartoznak a The Web of Belief című könyvek is , amelyek egyfajta koherenciát hirdetnek , valamint a Word and Object (1960), amely továbbfejlesztette ezeket az álláspontokat, és bevezette Quine híres határozatlanságát a fordítástézisben , amely egy behaviorista jelentéselméletet támogat .
Egy 2009 -es elemző filozófusok körében végzett közvélemény -kutatás Quine -t az elmúlt két évszázad ötödik legfontosabb filozófusának nevezte. 1993 -ban elnyerte az első Schock -díjat a logikában és a filozófiában , "rendszeres és átható megbeszéléseiről, amelyek arról szólnak, hogy a nyelvtanulás és a kommunikáció társadalmilag elérhető bizonyítékokon alapulnak, és hogy ennek milyen következményei vannak a tudásra és a nyelvi jelentésre vonatkozó elméletekre". 1996 -ban megkapta a Kiotói Művészeti és Filozófiai Díjat, amiért "kiemelkedően hozzájárult a 20. századi filozófia fejlődéséhez azáltal, hogy számos elméletet javasolt a logika, az ismeretelmélet , a tudományfilozófia és a nyelvfilozófia mély meglátásai alapján ".
Életrajz
Quine az Ohio állambeli Akronban nőtt fel , ahol szüleivel és bátyjával, Robert Cloyddal élt. Apja, Cloyd Robert, gyártó vállalkozó volt (az abroncsformákat gyártó Akron Equipment Company alapítója), édesanyja, Harriett E. pedig tanár, később háziasszony. Quine tizenéves korában ateista volt.
Oktatás
Quine 1930 -ban az Oberlin College -ban megszerezte a matematika BA summa cum laude diplomáját , és Ph.D. a filozófiát a Harvard Egyetemen 1932 -ben. Témavezetője Alfred North Whitehead volt . Ezt követően kinevezték a Harvard ifjú ösztöndíjasává , ami felmentette őt attól, hogy négy évig tanítania kell. Az 1932–33 -as tanévben egy Sheldon -ösztöndíjnak köszönhetően Európában utazott, találkozott lengyel logikusokkal (köztük Stanislaw Lesniewski és Alfred Tarski ) és a Bécsi Kör tagjaival (köztük Rudolf Carnap ), valamint A. J. Ayer logikai pozitivistával .
második világháború
Quine megszervezte, hogy Tarskit meghívják az 1939. szeptemberi Cambridge -i Tudományegység Kongresszusra, amelyre a zsidó Tarski az utolsó hajón vitorlázott, amely elhagyta Danzigot, mielőtt a Harmadik Birodalom megszállta Lengyelországot és kiváltotta a második világháborút . Tarski túlélte a háborút, és további 44 évet dolgozott az Egyesült Államokban. A háború alatt, Quine előadásokat logikai Brazíliában, portugál, és szolgált a Egyesült Államok Haditengerészete a katonai hírszerzés szerepe, üzenetek dekódolására német tengeralattjárók, és elérte a hadnagy parancsnok. Quine francia, spanyol, portugál és német nyelven, valamint anyanyelvén tudott előadni.
Személyes
Két házasságából négy gyermeke született. Robert Quine gitáros unokaöccse volt.
Quine politikailag konzervatív volt, de írásainak nagy része a filozófia technikai területein volt, a közvetlen politikai kérdésekből eltávolítva. Ő azonban több konzervatív álláspont védelmében írt: például az erkölcsi cenzúra védelmében írt ; míg önéletrajzában némi kritikát fogalmazott meg a háború utáni amerikai akadémikusokkal szemben.
Harvard
A Harvardon Quine segített felügyeli a Harvard végzős tézisek a többek között David Lewis , Gilbert Harman , Dagfinn Føllesdal , Hao Wang , Hugues LeBlanc , Henry Hiz és George Myro . Az 1964–1965 -ös tanévben Quine a Wesleyan Egyetem Haladó Tanulmányok Központjának kar tagja volt . Quine 1980 -ban tiszteletbeli doktori címet szerzett a svédországi Uppsala Egyetem Bölcsészettudományi Karán .
Quine tanítványa, Dagfinn Føllesdal megjegyezte, hogy Quine élete vége felé kezdte elveszíteni az emlékezetét. Rövid távú memóriájának romlása olyan súlyos volt, hogy nehezen folytatta az érvek követését. Quine -nak is nagy nehézségei támadtak a Word és az Object kívánt módosításain . Mielőtt elhunyt, Quine megjegyezte Morton White -nak: "Nem emlékszem, hogy mi a betegségem neve, Althusser vagy Alzheimer, de mivel nem emlékszem rá, biztosan Alzheimer -kór." 2000 -ben, karácsony napján halt meg a betegségben.
Munka
Quine Ph.D. Az értekezés és a korai publikációk formális logikáról és halmazelméletről szóltak . Csak a második világháború után jelent meg az ontológiáról , az ismeretelméletről és a nyelvről szóló alapvető tanulmányok alapján , mint jelentős filozófus. Az 1960 -as évekre kidolgozta „ honosított ismeretelméletét ”, amelynek célja az volt, hogy a természettudomány módszerei és eszközei segítségével válaszoljon a tudás és jelentés minden lényegi kérdésére. Quine kereken elutasította azt az elképzelést, hogy léteznie kell egy „első filozófiának”, egy elméleti álláspontnak, amely valahogy megelőzi a természettudományt, és meg tudja indokolni azt. Ezek a nézetek velejárói naturalizmusának .
A logikai pozitivistákhoz hasonlóan Quine kevés érdeklődést tanúsított a filozófiai kánon iránt: csak egyszer tanított tanfolyamot a filozófia történetéből, David Hume -ról .
Logika
Pályafutása során Quine számos technikai és leleplező dokumentumot tett közzé a formális logikáról, amelyek közül néhányat a Selected Logic Papers és a The Ways of Paradox c . Legismertebb papírgyűjteménye az Egy logikai szempontból . Quine a logikát a klasszikus kétértékű elsőrendű logikára korlátozta , tehát az igazságra és a hamisságra a diskurzus bármely (nem üres) univerzumában . Ennélfogva a következők nem voltak logikusak Quine számára:
- Magasabb rendű logika és halmazelmélet. A magasabb rendű logikát "álcázott halmazelméletnek" nevezte;
- A Principia Mathematica nagy része a logikában nem volt Quine logikája.
- Formális rendszerek, amelyek intenzív fogalmakat, különösen modalitást foglalnak magukban . Quine volt különösen ellenséges modális logika a mennyiségi , a csatában, nagyrészt elveszett, amikor Saul Kripke „s relációs szemantika lett gyűjtőváltozata modális logika .
Quine három egyetemi szöveget írt a formális logikáról:
- Elemi logika . Quine 1940-ben bevezető kurzus oktatása során felfedezte, hogy a filozófiahallgatók számára meglévő szövegek nem tesznek igazságot a kvantitatív elmélet vagy az elsőrendű predikátumlogika ellen . Quine 6 hét alatt írta meg ezt a könyvet, ad hoc megoldásként tanítási igényeinek kielégítésére.
- A logika módszerei . A könyv négy kiadása egy fejlettebb logikai alapképzésből származott, amelyet Quine tanított a második világháború végétől egészen 1978 -as nyugdíjazásáig.
- A logika filozófiája . Számos kvini téma tömör és szellemes egyetemi kezelése, mint például a használat-említés zavarok elterjedtsége, a számszerűsített modális logika kétes jellege és a magasabb rendű logika nem logikus jellege.
A matematikai logika Quine 1930 -as és 1940 -es évekbeli diplomás oktatásán alapul. Ez azt mutatja, hogy a Principia Mathematica mondanivalójának több mint 1000 oldala több mint 250 oldalban elmondható. A bizonyítékok tömörek, sőt rejtélyesek. Az utolsó fejezet, Gödel hiányos tételéről és Tarski meghatározhatatlansági tételéről , a Quine (1946) cikkel együtt, kiindulópontjává vált Raymond Smullyan későbbi, ezekről és a kapcsolódó eredményekről szóló világos bemutatásának.
Quine logikai munkája bizonyos szempontból fokozatosan elavult. Az általa nem tanított és tárgyalt technikák közé tartozik az analitikus táblázat , a rekurzív függvények és a modellelmélet . A metalogikus kezelése hagyott némi kívánnivalót maga után. Például a matematikai logika nem tartalmaz bizonyítékot a helyességre és a teljességre . Pályafutása elején a logikával kapcsolatos írásai gyakran különösek voltak. Későbbi írásai szinte mindig a Principia Mathematica mai dátumát használták . Mindezzel szembe kell néznie a számszerűsített képletek kielégíthetőségének meghatározására előnyben részesített módszerének (ahogy azt a Methods of Logic bemutatja) egyszerűsége, filozófiai és nyelvi meglátásainak gazdagsága, valamint a finom próza, amelyben kifejezte azokat.
Quine eredeti formális logikai munkássága 1960 -tól kezdve a legtöbbet a predikátus functor logikájának változatain végezte , egyike azoknak a módszereknek, amelyeket a kvantorok nélküli logika megvalósítására javasoltak . A predikátumfüggvény logikájának és történetének átfogó kezeléséhez lásd Quine (1976). Bevezetésként lásd: ch. 45. módszerét a logikából .
Quine nagyon melegen fogadta a lehetőséget, hogy a formális logikát végül a filozófián és a matematikán kívül is alkalmazni fogják. Számos dolgozatot írt az elektrotechnikában alkalmazott Boole -algebráról , és Edward J. McCluskey -vel együtt kidolgozta a Quine -McCluskey algoritmust a Boole -egyenletek minimális fedőösszegre redukálására .
Halmazelmélet
Bár a logikához való hozzájárulása elegáns kiállításokat és számos technikai eredményt tartalmaz, a halmazelmélet szerint Quine volt a leginnovatívabb. Mindig fenntartotta, hogy a matematika megköveteli a halmazelméletet, és hogy a halmazelmélet meglehetősen különbözik a logikától. Ő flörtölt Nelson Goodman „s nominalizmusa egy darabig, de hátrálni, amikor nem kapta meg a nominalista alapozó matematika.
Pályafutása során Quine három axiomatikus halmazelméletet javasolt.
- A New Foundations , NF, halmazokat hoz létre és manipulál a halmazok elfogadhatóságának egyetlen axiómasémája, nevezetesen a rétegzett megértés axiómasémája alapján, amely szerint minden rétegzett képletnek megfelelő egyén halmazt alkot. A rétegzett képlet az, amelyet a típuselmélet megengedne, ha az ontológia típusokat tartalmazna. Quine halmazelmélete azonban nem tartalmaz típusokat. Az NF metamatematikája kíváncsi. Az NF sok "nagy" halmazt engedélyez, a ma már kanonikus ZFC halmazelmélet nem teszi lehetővé, még azokat sem, amelyekre nem érvényes a választott axióma . Mivel a választott axióma minden véges halmazra érvényes, ennek az axiómának a hibája az NF -ben bizonyítja, hogy az NF végtelen halmazokat is tartalmaz. Az NF következetessége más, matematikához megfelelő formális rendszerekkel szemben nyitott kérdés, bár számos jelölt bizonyíték van jelen az NF közösségben, ami arra utal, hogy az NF egyenértékű a Zermelo halmazelmélettel a választás nélkül. Az NF, NFU módosítása, RB Jensen és az urelemek befogadása miatt (entitások, amelyek halmazok tagjai lehetnek, de elemek nélküliek ), a Peano -aritmetikához képest következetesnek bizonyul , így igazolva az NF mögötti intuíciót. Az NF és az NFU az egyetlen Quinean halmazelmélet, amely a következő. Az NF alap matematikájának levezetéséhez lásd Rosser (1952);
- A szett elmélet matematikai logika NF fokozta a megfelelő osztályok a Neumann-Bernays-Gödel halmazelmélet , kivéve axiomatized egy sokkal egyszerűbb módja;
- A halmazelmélet és logikája halmazelmélete megszünteti a rétegződést, és szinte teljes egészében egyetlen axiómasémából származik. Quine ismét levezette a matematika alapjait. Ez a könyv tartalmazza Quine virtuális halmazok és kapcsolatok elméletének végleges kifejtését, valamint az axiomatikus halmazelméletet, amely 1960 körül állt.
Mindhárom halmazelmélet egyetemes osztályt ismer el, de mivel mentesek minden típusú hierarchiától , nincs szükségük egyedi univerzális osztályra minden típusszinten.
Quine halmazelméletét és háttér logikáját a pozíciók minimalizálásának vágya vezérelte; minden újítást olyan messzire tolnak, amennyire csak lehet, mielőtt új innovációkat vezetnek be. Quine esetében csak egy kötőelem van, a Sheffer -ütés , és egy kvantor, az univerzális kvantor . Minden polád predikátum redukálható egy diadikus predikátumra, amely halmaztagságként értelmezhető. Bizonyítási szabályai a modus ponensre és a helyettesítésre korlátozódtak . Inkább a konjunkciót választotta , mint a diszjunkciót vagy a feltételeset , mert a konjunkciónak van a legkevesebb szemantikai kétértelműsége. Örömmel fedezte fel pályafutása elején, hogy az elsőrendű logika és halmazelmélet teljes egészében két primitív elképzelésen alapulhat: az absztrakción és a befogadáson . Quine logikai megközelítésének elzárkózásának elegáns bevezetését lásd "Új alapjai a matematikai logikának" című fejezetében. 5 a logikai szempontból című írásában .
Metafizika
Quine számos hatással volt a kortárs metafizikára. Ő alkotta meg az " absztrakt tárgy " kifejezést. Az üres nevek problémájára hivatkozva megalkotta a " Platón szakálla " kifejezést is .
Az analitikus -szintetikus megkülönböztetés elutasítása
Az 1930 -as és 40 -es években többek között Rudolf Carnap , Nelson Goodman és Alfred Tarski megbeszélései arra késztették Quine -t, hogy kétségbe vonja az "analitikus" kijelentések megkülönböztetésének megbízhatóságát - ezek egyszerűen igazak a szavaik jelentésével, például "Nincs agglegény" házas " - és" szintetikus "kijelentések, amelyek igazak vagy hamisak a világra vonatkozó tények alapján, mint például:" Van egy macska a szőnyegen ". Ez a megkülönböztetés központi szerepet játszott a logikai pozitivizmusban . Bár Quine -t általában nem társítják a verifikációhoz , egyes filozófusok úgy vélik, hogy a tétel nem összeegyeztethetetlen általános nyelvfilozófiájával, hivatkozva harvardi kollégájára, BF Skinnerre és a verbális viselkedés nyelv elemzésére .
Más előtte álló analitikus filozófusokhoz hasonlóan Quine elfogadta az "analitikus" definícióját , mint "igaz pusztán a jelentés alapján". Velük ellentétben azonban arra a következtetésre jutott, hogy a meghatározás végül körkörös . Más szavakkal, Quine elfogadta, hogy az analitikus állítások azok, amelyek definíció szerint igazak, majd azzal érvelt, hogy a definíció szerinti igazság fogalma nem kielégítő.
Quine legfőbb kifogása az elemzéssel szemben a szinonímia (a jelentés egyezősége) fogalma . Azt állítja, hogy az elemző mondatok jellemzően két típusra oszlanak; mondatok, amelyek egyértelműen logikailag igazak (pl. "nincs nőtlen férfi házas") és a kétesebbek; olyan mondatokat, mint "nincs agglegény házas". Korábban úgy gondolták, hogy ha be tudja bizonyítani, hogy a "nem házas férfi" és a "legény" szinonimája van, akkor bebizonyította, hogy mindkét mondat logikailag igaz, és ezért magától értetődő. Quine azonban több érvet is felhoz arra, hogy ez miért nem lehetséges, például, hogy a „legény” bizonyos összefüggésekben művészeti főiskolát jelent, nem pedig nőtlen férfit.
Megerősítő holizmus és ontológiai relativitás
Kolléga Putnam nevű Quine határozatlansága fordítási tézis „a legérdekesebb és legtöbbet vitatott filozófiai vita, mivel Kant „s transzcendentális levonása a kategóriák ”. A központi tézisek alapjául szolgáló olyan ontológiai relativitáselmélet és a hozzá kapcsolódó tana a megerősítés holizmus . A megerősítő holizmus előfeltevése az , hogy minden elméletet (és az ezekből származó állításokat) alul határozzák meg az empirikus adatok (adatok, érzékszervi adatok, bizonyítékok); bár egyes elméletek nem indokolhatóak, nem illeszkednek az adatokhoz vagy működhetetlenül bonyolultak, sok egyformán igazolható alternatíva létezik. Bár a görögök feltételezése, hogy (nem megfigyelhető) homéroszi istenek léteznek, hamis, és az (észrevehetetlen) elektromágneses hullámokra vonatkozó feltételezésünk igaz, mindkettőt kizárólag azzal kell igazolni, hogy képesek megmagyarázni megfigyeléseinket.
A gavagai gondolatkísérlet egy nyelvészről mesél, aki megpróbálja megtudni, mit jelent a gavagai kifejezés, amikor egy ismeretlen, anyanyelvű beszélő kimondja egy nyulat. Első pillantásra úgy tűnik, hogy a gavagai egyszerűen nyúl . Most Quine rámutat arra, hogy a háttérnyelv és az arra hivatkozó eszközök becsaphatják a nyelvészt, mert félrevezetik, mert mindig közvetlen összehasonlításokat végez az idegen nyelv és a sajátja között. Azonban, amikor kiabálva gavagai , és mutatott egy nyúl, a bennszülöttek is, valamint utal valami hasonló undetached nyúl-alkatrészek , vagy amelyeket nyulak trópusok és nem is lenne olyan megfigyelhető különbség. A nyelvész által az anyanyelvi beszélőtől begyűjthető viselkedési adatok minden esetben ugyanazok lennének, vagy hogy újrafogalmazzuk, több fordítási hipotézis is felépíthető ugyanazon szenzoros ingerekre.
Quine így fejezte be " Az empirizmus két dogmáját ".
Empirikusként továbbra is a tudomány fogalmi sémájára gondolok, mint eszközre, amely végső soron a jövőbeli tapasztalatok előrejelzésére szolgál a múlt tapasztalatai alapján. A fizikai tárgyakat fogalmilag kényelmes közvetítőkként importálják a helyzetbe, nem a tapasztalatok alapján, hanem egyszerűen redukálhatatlan pozíciókként, amelyek ismeretelméletileg Homérosz isteneihez hasonlíthatók . Én a magam részéről igen, qua laikus fizikus, hiszek a fizikai tárgyakban, és nem Homérosz isteneiben; és tudományos tévedésnek tartom az ellenkezőjét. De ismeretelméleti alapon a fizikai tárgyak és az istenek csak mértékben különböznek, nem pedig természetben. Mindkét fajta entitás csak kulturális pozícióként lép be elképzeléseinkbe.
Quine ontológiai relativizmusa (amely a fenti szakaszból is kitűnik) arra késztette őt, hogy egyetértsen Pierre Duhemmel, hogy az empirikus bizonyítékok bármely gyűjtése esetén mindig sok elmélet létezik, amelyek el tudják számolni, Duhem – Quine tézis néven . Duhem holizmusa azonban sokkal korlátozottabb és korlátozottabb, mint Quine -é. Duhem esetében az alulmeghatározás csak a fizikára vagy esetleg a természettudományra vonatkozik , míg Quine esetében az összes emberi tudásra. Így bár lehetséges teljes elméletek ellenőrzése vagy meghamisítása , nem lehetséges az egyes állítások ellenőrzése vagy meghamisítása. Szinte minden konkrét állítás menthető, tekintettel a tartalom elméletének kellően radikális módosítására. Quine számára a tudományos gondolkodás koherens hálót alkot , amelyben bármely része megváltoztatható az empirikus bizonyítékok fényében, és amelyben semmilyen empirikus bizonyíték nem kényszerítheti az adott rész felülvizsgálatát.
A létezés és ennek ellenkezője
A nem hivatkozó nevek problémája egy régi rejtély a filozófiában, amelyet Quine rögzített, amikor ezt írta:
Érdekes dolog az ontológiai problémában az egyszerűsége. Három angolszász egytagúra osztható: "Mi van ott?" Sőt, egy szóval is válaszolhat - „Minden” -, és ezt a választ mindenki igaznak fogja elfogadni.
Közvetlenebbül a vita a következő:
Hogyan beszélhetünk Pegazusról ? Mire utal a „Pegazus” szó? Ha a válaszunk: „Valami”, akkor úgy tűnik, hiszünk a misztikus entitásokban; ha a válaszunk: „semmi”, akkor úgy tűnik, hogy a semmiről nem beszélünk, és mi értelme lehet ennek? Természetesen, amikor azt mondtuk, hogy Pegazus mitológiai szárnyas ló, értelmesek vagyunk, ráadásul igazat mondunk! Ha igazat mondunk, akkor ennek valaminek az igazságának kell lennie . Tehát nem beszélhetünk semmiről.
Quine ellenáll a kísértésnek azt mondani, hogy a nem hivatkozó kifejezések értelmetlenek a fent leírt okok miatt. Ehelyett azt mondja nekünk, hogy először meg kell határoznunk, hogy kifejezéseink vonatkoznak -e rájuk vagy sem, mielőtt megtudnánk a helyes megértési módot. Czesław Lejewski azonban kritizálja ezt a hitet, amiért az ügyet empirikus felfedezésre redukálta, amikor úgy tűnik, formálisan meg kell különböztetnünk a hivatkozó és nem hivatkozó kifejezéseket vagy tartományunk elemeit. Lejewski ezt írja:
Ez az állapot nem tűnik túl kielégítőnek. Az a gondolat, hogy bizonyos következtetési szabályainknak az empirikus információktól kell függniük, amelyek esetleg nem lesznek elérhetők, annyira idegenek a logikai vizsgálat jellegétől, hogy a két következtetés [egzisztenciális általánosítás és egyetemes példányosítás] alapos újbóli vizsgálata érdemesnek bizonyulhat a mi időnk.
Lejewski ezután a szabad logika leírását kínálja , amely állítása szerint választ ad a problémára.
Lejewski rámutat arra is, hogy a szabad logika emellett képes kezelni az üres halmaz problémáját olyan kijelentések esetén, mint . Quine irreálisnak tartotta az üres sorozat problémáját, ami Lejewskit elégedetlenné tette.
Ontológiai elkötelezettség
Az ontológiai elkötelezettség fogalma központi szerepet játszik Quine ontológiához való hozzájárulásában. Egy elmélet ontológiailag elkötelezett egy entitás mellett, ha az entitásnak léteznie kell ahhoz, hogy az elmélet igaz legyen. Quine azt javasolta, hogy ennek meghatározására a legjobb módszer a kérdéses elmélet elsőrendű predikátumlogikába való lefordítása . Ebben a fordításban különösen érdekesek az egzisztenciális kvantorok (' ∃ ') néven ismert logikai állandók , amelyek jelentése megfelel az olyan kifejezéseknek, mint a "létezik ..." vagy "néhánynak ...". Ezeket arra használják, hogy megkötjék a változókat a kifejezést követő mennyiségben. Az elmélet ontológiai elkötelezettségei tehát megfelelnek az egzisztenciális kvantorok által kötött változóknak. Például a "Vannak elektronok" mondatot le lehet fordítani " ∃ x elektron ( x ) " -ként, amelyben az x kötött változó az elektronok felett mozog, ami ontológiai elkötelezettséget eredményez az elektronok iránt. Ezt a megközelítést Quine híres mondata foglalja össze, miszerint "[t] o legyen egy változó értéke". Quine ezt a módszert alkalmazta az ontológia különböző hagyományos vitáiban. Például az "1000 és 1010 közötti prímszámok vannak" mondatból a számok létezésének ontológiai elkötelezettségére, vagyis a számokkal kapcsolatos realizmusára indokolt . Ez a módszer önmagában nem elegendő az ontológiához, mivel elméleten alapul, hogy ontológiai kötelezettségvállalásokat eredményezzen. Quine azt javasolta, hogy ontológiánkat a legjobb tudományos elméletünkre alapozzuk. Quine módszerének különböző követői úgy döntöttek, hogy különböző területeken alkalmazzák, például "természetes nyelven kifejeződő mindennapi felfogásokra".
A matematikai realizmus nélkülözhetetlen érve
A matematika filozófiájában ő és harvardi kollégája, Hilary Putnam kidolgozták a Quine – Putnam nélkülözhetetlen tételt , amely érv a matematikai entitások valósága mellett .
Az érv formája a következő.
- Ontológiai elkötelezettséget kell vállalni minden olyan entitás iránt, amely elengedhetetlen a legjobb tudományos elméletekhez, és csak ezekhez az entitásokhoz (általában "minden és csak").
- A matematikai entitások nélkülözhetetlenek a legjobb tudományos elméletekhez. Ezért,
- Ontológiai elkötelezettséget kell vállalni a matematikai entitások iránt.
Az első feltevés indoklása a legvitatottabb. Mind Putnam, mind Quine a naturalizmusra hivatkozik, hogy igazolja minden nem tudományos entitás kizárását, és ezzel megvédje a "minden és csak" "egyetlen" részét. Azt az állítást, hogy a tudományos elméletekben feltett "minden" entitást, beleértve a számokat is, valósnak kell elfogadni, a megerősítő holizmus indokolja . Mivel az elméleteket nem részben, hanem összességében erősítik meg, nincs ok a jól megerősített elméletekben említett entitások kizárására. Ez nehéz helyzetbe hozza azt a nominalistát, aki ki akarja zárni a halmazok és a nem euklideszi geometriák létezését, de például a kvarkok és a fizika más, nem észlelhető entitásainak létezését .
Ismeretelmélet
Ahogy Quine megkérdőjelezte az uralkodó analitikus -szintetikus megkülönböztetést, Quine a hagyományos normatív ismeretelméletre is törekedett . Quine szerint a hagyományos ismeretelmélet megpróbálta igazolni a tudományokat, de ez az erőfeszítés (mint például Rudolf Carnap ) kudarcot vallott, és ezért a hagyományos ismeretelméletet egy empirikus vizsgálattal kell helyettesítenünk arról, hogy milyen érzékszervi bemenetek milyen elméleti eredményeket produkálnak: "Az ismeretelmélet vagy valami hasonló egyszerűen a helyére kerül, mint a pszichológia és ebből adódóan a természettudományok fejezete. Egy természeti jelenséget, azaz egy fizikai emberi alanyt tanulmányoz. Ennek az emberi alanynak van egy bizonyos kísérletileg ellenőrzött bemenete - bizonyos besugárzási minták különböző frekvenciákon, például-és az idő teljességében az alany kiadja a háromdimenziós külső világ és annak történetének leírását. A csekély bemenet és az áradó kimenet közötti kapcsolat olyan kapcsolat, amelyet tanulmányozásra késztetünk. okok, amelyek mindig késztették az ismeretelméletet: nevezetesen azért, hogy lássuk, hogyan viszonyulnak a bizonyítékok az elmélethez, és milyen módon haladják meg az ember természetelmélete Bármilyen rendelkezésre álló bizonyíték ... De az új pszichológiai környezetben feltűnő különbség a régi ismeretelmélet és az ismeretelméleti vállalkozás között az, hogy most szabadon használhatjuk az empirikus pszichológiát. " (Quine, 1969: 82–83)
Quine javaslata ellentmondásos a kortárs filozófusok körében, és számos kritikusa van, közülük Jaegwon Kim a legkiemelkedőbb.
A népi kultúrában
- Az a számítógépes program, amelynek kimenete a saját forráskódja, Quine után " quine " -nek nevezik . Ezt a használatát Douglas Hofstadter vezette be 1979 -ben megjelent könyvében, Gödel, Escher, Bach: Egy örök aranyfonat .
- Quine visszatérő karakter az " Existential Comics " webkomikumban .
- Quine -t bevonták a Skeptical Inquiry Committee „Skeptics Pantheon” című szkeptikus bizottságába, amely a tudományos szkepticizmus okának közreműködőit ünnepli .
- Quine -t említették a páva AP Bio című sorozatában .
Bibliográfia
Válogatott könyvek
- 1934 A logisztikai rendszer . Harvard Egyetem Nyomja meg.
- 1951 (1940). Matematikai logika . Harvard Egyetem Nyomja meg. ISBN 0-674-55451-5 .
- 1980 (1941). Elemi logika . Harvard Egyetem Nyomja meg. ISBN 0-674-24451-6 .
- 1982 (1950). A logika módszerei . Harvard Egyetem Nyomja meg. 1980 (1953)]. Logikai szempontból . Harvard Egyetem Nyomja meg. ISBN 0-674-32351-3 . Tartalmaz " Az empirizmus két dogmáját ".
- 1960 Szó és tárgy . MIT Press; ISBN 0-262-67001-1 . A legközelebbi dolog, amit Quine írt egy filozófiai értekezéshez. Ch. A 2. fordítási tézis határozatlanságát mutatja be .
- 1969 (1963). Az elmélet és logikája . Harvard Egyetem Nyomja meg.
- 1966. Válogatott logikai papírok . New York: Random House.
- 1976 (1966). A paradoxon útjai . Harvard Egyetem Nyomja meg.
- 1969 Ontológiai relativitás és egyéb esszék . Columbia Univ. Nyomja meg. ISBN 0-231-08357-2 . Fejezeteket tartalmaz az ontológiai relativitásról , a naturalizált ismeretelméletről és a természetes fajtákról .
- 1970 (2. kiadás, 1978). JS Ulliannal. A hit hálója . New York: Random House.
- 1986 (1970). A logika filozófiája . Harvard Egyetem Nyomja meg.
- 1974 (1971)]. A referencia gyökerei . Open Court Publishing Company ISBN 0-8126-9101-6 (Quine's Carus Lectures- ből fejlesztve ).
- 1981. Elméletek és dolgok . Harvard Egyetem Nyomja meg.
- 1985. Életem ideje: önéletrajz . Cambridge, The MIT Press. ISBN 0-262-17003-5 .
- 1987. Quiddities: Időszakosan filozófiai szótár . Harvard Egyetem Nyomja meg. ISBN 0-14-012522-1 . Esszékészlet, sok finoman humoros, laikus olvasóknak, nagyon leleplezi érdeklődési körét.
- 1992 (1990). Az Igazság nyomában . Harvard Egyetem Nyomja meg. Gondolatának rövid, élénk szintézise haladó diákok és általános olvasók számára, akiket nem csal meg egyszerűsége. ISBN 0-674-73951-5 .
- 1995. Az ösztönzéstől a tudományig . Harvard Egyetem Nyomja meg. ISBN 0-674-32635-0 .
Fontos cikkek
- 1946, "Összefűzés, mint az aritmetika alapja". Újranyomtatva válogatott logikai dokumentumaiban . Harvard Egyetem Nyomja meg.
- 1948, " On On There ", Review of Metaphysics 2 (5) ( JSTOR ). Újranyomtatva 1953 -ban logikai szempontból . Harvard University Press.
- 1951, " Az empirizmus két dogmája ", The Philosophical Review 60 : 20–43. Újranyomtatva 1953 -ban logikai szempontból . Harvard University Press.
- 1956, "Quantifiers and Propositional Attitudes", Journal of Philosophy 53 . Újranyomtatva 1976 -os Ways of Paradox című könyvében . Harvard Egyetem Sajtó: 185–196.
- 1969, "Az ismeretelmélet naturalizált" az ontológiai relativitás és egyéb esszék témakörben . New York: Columbia University Press: 69–90.
- "Truth by Convention", először 1936-ban jelent meg. Újranyomva a Readings in Philosophical Analysis című könyvben, Herbert Feigl és Wilfrid Sellars szerkesztésében, 250–273. Oldal, Appleton-Century-Crofts , 1949.
Filmográfia
- Bryan Magee (házigazda), Men of Ideas : "The Ideas of Quine", BBC, 1978.
- Rudolf Fara (házigazda), Beszélgetésben: WV Quine (7 videokazetta), Philosophy International, Center for Philosophy of the Natural and Social Sciences, London School of Economics, 1994.
Lásd még
Megjegyzések
További irodalom
- Gibson, Roger F., szerk. (2004). Quine cambridge -i társa . Cambridge University Press . ISBN 0521639492.
- Gibson, Roger F. (1988). A WV Quine filozófiája: Expository Essay . Tampa: Dél -Floridai Egyetem .
- Gibson, Roger F. (1988). Felvilágosult empirizmus: WV Quine tudáselméletének vizsgálata . Tampa: Dél -Floridai Egyetem .
- Gibson, Roger F. (2004). Quintessence: Alapvető olvasmányok a WV Quine filozófiájából . Harvard University Press .
- Gibson, Roger F .; Barrett, R., szerk. (1990). Kilátások Quine -ről . Oxford: Blackwell Publishing .
- Gochet, Paul , 1978. Quine en perspektíva , Párizs, Flammarion.
- Godfrey-Smith, Peter , 2003. Elmélet és valóság: Bevezetés a tudomány filozófiájába .
- Grattan-Guinness, Ivor , 2000. A matematikai gyökerek keresése 1870–1940 . Princeton University Press.
- Grice, Paul és Peter Strawson . "A dogma védelmében". The Philosophical Review 65 (1965).
- Hahn, LE és Schilpp, PA, szerk., 1986. The Philosophy of WVO Quine (The Library of Living Philosophers). Nyílt bíróság.
- Köhler, Dieter, 1999/2003. Sinnesreize, Sprache und Erfahrung: eine Studie zur Quineschen Erkenntnistheorie . Ph.D. tézis, Univ. Heidelberg.
- MacFarlane, Alistair (2013. március – április). "WVO Quine (1908-2000)". Filozófia most . 95 : 35–36.
- Murray Murphey , The Quine's Philosophy fejlődése (Heidelberg, Springer, 2012) (Boston Studies in the Philosophy of Science, 291).
- Orenstein, Alex (2002). WV Quine . Princeton University Press.
- Putnam, Hilary . "A legnagyobb logikai pozitivista". Újranyomva a realizmusban emberi arccal , szerk. James Conant. Cambridge, MA: Harvard University Press, 1990.
- Rosser, John Barkley , "A végtelen axiómája Quine új alapjaiban", Journal of Symbolic Logic 17 (4): 238–242, 1952.
- Valore, Paolo, 2001. ontologia quineana , Milano: Cusi.
Külső linkek
- WVQuine.org
- Willard Van Orman Quine , a Stanford Encyclopedia of Philosophy -ból
- "Quine elutasítja az analitikus/szintetikus megkülönböztetést" . Internetes filozófiai enciklopédia .
- " Quine tudományfilozófiája " az internetes filozófiai enciklopédiában
- Quine új alapjai a Stanford Encyclopedia of Philosophy -ban
- Willard Van Orman Quine , a Matematika Genealógiai Projektben
- Nekrológ a The Guardian -től
- Összefoglaló és magyarázat a "Mi van" -ról
- "Az empirizmus két dogmája"
- "Egy komplex világ egyszerű elméleteiről"