Unità 3 / 11

Immappjar tal-Argument: Estrazzjoni tal-Premessa, Konklużjoni, u Struttura tal-Inferenza

Qligħ:

  • Kapaċità li tpoġġi argument f'forma standard ta' premessa-konklużjoni numerata u tiddistingwi premessi impliċiti
  • Li tkun kapaċi tuża b'mod konxju d-distinzjoni bejn il-validità (struttura) u s-saħħa (eżattezza tal-bini)
  • Kapaċità li tagħmel il-ġudizzju tal-validità u s-saħħa mingħajr ma tħalli f'idejn l-intelliġenza artifiċjali u li tibni l-kontro-argument kontra l-aktar verżjoni b'saħħitha

Il-qalba tal-filosofija hija l-argument. Li tifhem test filosofiku jfisser li tkun tista’ tara kif tirraġuna, lil hinn milli tkun taf x’jgħid. Il-kunċetti ta' argument (struttura ta' raġunament li tikkonsisti minn premessi mressqa biex isostnu konklużjoni - talba), premessa (pretensjoni intermedja aċċettata jew difiża biex tappoġġja l-konklużjoni) u konklużjoni (il-pretensjoni finali derivata mill-premessa) huma l-elementi fundamentali ta' din l-analiżi. L-immappjar tal-argument (li jagħmel l-iskeletru tar-raġunament viżibbli billi jiġi estratt viżwalment/strutturalment argument bħala premessi, konklużjonijiet intermedji, u konklużjoni finali) huwa l-aktar metodu b'saħħtu biex tiġi żvelata s-sinsla loġika ta 'test dens. L-AI tista 'tipproduċi malajr l-ewwel abbozz ta' dan l-iskeletru; imma huwa f’idejn il-bniedem li jiddeċiedi jekk l-argument hux validu jew sod—jiġifieri li jagħmel ġudizzju loġiku.

F'din l-unità, naraw kif timmappa argument pass pass, kif tuża l-AI fiha, u għaliex qatt m'għandek tiddelega ġudizzju ta' validità u solidità.

Anatomija tal-argument

Ejja l-ewwel nisseparaw żewġ kunċetti bażiċi, għax minnu tiddependi l-evalwazzjoni tal-argumenti kollha.

Validità: Argument huwa validu jekk il-konklużjoni tiegħu hija neċessarjament vera jekk il-premessi tiegħu huma veri. Il-validità hija biss dwar l-istruttura, mhux dwar jekk il-bini huwiex fil-fatt veru. L-argument "Il-qtates kollha jtiru; Tabby huwa qattus; għalhekk Tabby jtir" huwa validu, iżda l-premessa tiegħu hija falza.

Is-sod: Argument huwa sod jekk it-tnejn huwa validu u l-premessi kollha tiegħu huma fil-fatt veri. Is-saħħa teħtieġ kemm l-istruttura kif ukoll il-verità tal-bini.

L-AI hija tajba biex tiġbed l-istruttura ta 'argument (li telenka l-premessi u l-konklużjoni). Imma "dan l-argument huwa validu?" Anke l-mistoqsija "Huwa solidu?" kultant jiżbalja. mistoqsija, ma jistax jevalwa l-verità attwali tal-premessi - għaliex dan jeħtieġ għarfien tad-dinja, sensittività kunċettwali, u ġudizzju. Dan huwa eżattament għaliex se jkollok l-AI tfassal il-mappa u tevalwaha lilek innifsek.

Ħjiel: Staqsi lill-AI għall-argument f'“forma standard”: bini numerat (S1, S2, ...), konklużjonijiet intermedji jekk ikun hemm, u konklużjoni finali (S). Dan il-format jagħmilha aktar faċli kemm biex tivverifika l-argument kif ukoll biex issib ir-rabta dgħajfa.

Passi tal-immappjar

1. Sib ir-riżultat. X'qed jipprova l-aktar jipprova l-awtur? Espressjonijiet bħal "f'dak il-każ", "għalhekk", "għalhekk" normalment jindikaw ir-riżultat.

2. Iġbor il-bini. X'inhuma l-argumenti li jsostnu l-konklużjoni? L-espressjonijiet "minħabba", "minħabba", "minħabba" jirreferu għal bini.

3. Żid bini impliċitu. X'inhuma l-premessi mhux mitkellma (suppożizzjonijiet moħbija) li huma meħtieġa biex l-argument jaħdem? Li dawn ikunu viżibbli spiss jiftaħ l-aktar punt b'saħħtu ta 'kritika.

4. Ir-riżultati intermedji separati. F'argumenti twal, premessa nnifisha tista' tiġi dedotta minn premessi aktar baxxi. Issepara dawn is-saffi.

5. Validità tat-test. Jekk il-premessa tiġi aċċettata bħala vera, il-konklużjoni tidher meħtieġa? Jekk le, x'inhi l-premessa nieqsa jew hemm qabża fl-inferenza?

6. Id-durabilità tat-test. Il-premessi huma tassew veri? Liema hija kontroversjali? Dan huwa eżattament fejn jidħol fis-seħħ il-ġudizzju espert tiegħek.

Attenzjoni: AI tista' tikkonferma argument bħala "validu"; Qatt ma tqis din l-approvazzjoni bħala l-aħħar kelma. L-AI tista' tipproduċi spjegazzjonijiet konvinċenti iżda mhux preċiżi ta' validità loġika. Iċċekkja l-validità billi tassumi li l-premessi huma veri u tikkunsidra għalik innifsek jekk il-konklużjoni hijiex inevitabbli.

tliet każijiet żgħar

Każ 1 — Premessa moħbija żvelata. Student tal-PhD fassal l-argument f'karta tal-filosofija morali. AI idderivat 3 premessi u konklużjoni waħda f'forma standard. L-istudent innota r-4 premessa (assunzjoni ta’ valur moħbi) li kienet meħtieġa biex l-argument jaħdem iżda qatt ma ssemmiet fit-test. Din il-premessa moħbija kienet l-aktar punt kontroversjali tal-karta u saret iċ-ċentru tal-kritika tal-istudent. AI taw l-iskeletru; L-invenzjoni reali kienet tal-istudent.

Każ 2 — AI kkonfermat ħażin il-validità. Għalliem kellu l-AI jevalwa argument f'karta tal-istudent. AI qalet li "l-argument huwa validu". Meta l-lettur iċċekkja, ra li kien hemm żball ta '"nofs terminu" fit-tranżizzjoni għall-konklużjoni (jgħoddu ż-żewġ kunċetti fil-bini bħala l-istess minkejja li huma fil-fatt differenti). L-argument ma kienx validu. Il-konferma tal-fluwidu tal-AI ħeba difett fil-loġika; il-kontroll uman laħaq.

Każ 3 — Dibattitu dwar ir-robustezza. Grupp tas-seminar fassal argument tal-filosofija politika. L-istruttura kienet valida. Iżda d-dibattitu jgħodd għall-verità ta 'premessa ċentrali: "Kull individwu razzjonali jimmassimizza l-interess tiegħu stess." Il-grupp wera f'diskussjoni ta' 20 minuta li din il-premessa hija empirikament u normattivament kontroversjali. AI ma setgħetx tagħmel dan l-argument; kien ipprovda biss il-mappa. Il-ġudizzju tas-sodezza kien tal-grupp.

Pront dgħajjef / Pront qawwi

Pront dgħajjef:

L-argument ta’ dan it-test huwa tajjeb?

Din it-talba hija kemm vaga kif ukoll perikoluża: l-AI tagħmel ġudizzju bħal "tajjeb/ħażin" għalik, tħawwad il-validità mas-sod, u ma turix kif waslet għaliha.

Pront qawwi:

Ir-rwol tiegħek: analista tal-argument orjentat lejn il-loġika. Oħroġ l-argument tat-test li ġej f'forma standard: - Fond numerat (S1, S2, ...), konklużjonijiet intermedji (jekk ikun hemm), konklużjoni finali (S). - Uri separatament il-premessi impliċiti li mhumiex fit-test iżda li huma meħtieġa, bit-tikketta [impliċita]. - Immarka s-sentenza li fuqha hija bbażata kull premessa. Tiġġudikax: tgħidx "validu/ħoss". Minflok, ippreżentali bħala MISTOQSIJA l-pass ta 'inferenza li jeħtieġ li jiġi ttestjat għall-validità u l-premessa li tista' tkun kontroversjali għas-solidità. Jien se niddeċiedi.Test: [pejst it-test hawn]

Dan il-pront iħalli barra l-istruttura imma jħalli l-ġudizzju f’idejk; Tiżppakkja bini impliċitu u tagħmilhom verifikabbli.

Erba' mudelli li jistgħu jiġu kkupjati

1) Immappjar tal-forma standard:

Poġġi l-argument li ġej f'forma standard: bini numerat, konklużjonijiet intermedji, konklużjoni finali. Link kull element mas-sentenza fit-test. Żid il-kummenti, iġbed biss l-istruttura. Test: [test]

2) Kaċċa għal bini impliċitu:

Elenka l-premessi impliċiti li huma meħtieġa biex dan l-argument jasal għall-konklużjoni tiegħu iżda li mhumiex iddikjarati fit-test. Għal kull wieħed: iddikjara fil-qosor għaliex huwa meħtieġ u kemm hi dubjuża l-eżattezza tagħha. Jiddependi biss fuq it-test. Test: [test]

3) Dijanjosi ta' rabta dgħajfa (mhux tiegħek biex tiġġudika):

F'dan l-argument, uri (a) il-pass fejn l-inferenza hija l-aktar dgħajfa, (b) l-aktar premessa kontroversjali f'forma ta' MISTOQSIJA. Tgħidx "validu/invalidu" jew "veru/falz"; Irrimarka biss fejn għandi nħares. Jien se niddeċiedi.Argument: [paste standard form]

4) Il-ħolqien ta' kontro-argumenti:

Iġġenera l-aktar 2 oġġezzjonijiet b'saħħithom għall-argument li ġej. Speċifika liema premessa jew inferenza timmira kull oġġezzjoni. Tagħmelx bniedem tat-tiben minn oġġezzjonijiet; immira l-aktar verżjoni b'saħħitha tal-argument.Argument: [paste standard form]

Tabella ta' validità/robustezza

Mistoqsija

X'jistaqsi?

Rwol tal-AI

li d-deċiżjoni tiegħu

X'inhi l-istruttura?

Preċedenti u konklużjoni

joħroġ l-iskeletru

komuni

Hemm premessa impliċita?

suppożizzjonijiet moħbija

listi ta’ kandidati

bnedmin korretta

Huwa validu?

Il-bini → il-konklużjoni huma meħtieġa?

Juri l-punt tat-test

ġudizzji umani

Huwa solidu?

Il-premessi huma tassew veri?

Marki kontroversjali

ġudizzji umani

Żbalji komuni

  • Tħawwad il-validità mar-robustezza. Il-premessi ta' argument validu jistgħu jkunu foloz; Sempliċement għax l-AI tgħid "validu" ma jfissirx "korretta".
  • Jaċċettaw il-ġudizzju tal-AI. Li tħalli l-evalwazzjoni tat-tip "dan l-argument huwa tajjeb/ħażin" għall-AI; Id-deċiżjoni loġika hija tiegħek.
  • Li tħalli barra l-premessa impliċita. L-aktar kritika qawwija ħafna drabi tkun fis-suppożizzjoni mhux mitkellma; Toqgħodx għall-iskeletru mogħti mill-AI, tfittex il-premessa moħbija.
  • Twaqqif ta 'raġel tat-tiben. Meta tipproduċi kontroargument, immira għall-verżjoni l-aktar b'saħħitha tal-argument, mhux karikatura dgħajfa tiegħu (prinċipju ta 'karità).
  • Mhux tgħaqqad il-mappa mat-test. Taċċetta l-mappa bħala vera mingħajr ma turi l-bażi ta 'kull premessa fit-test.

Fil-qosor

L-immappjar tal-argument jagħmel is-sinsla loġika ta' test filosofiku viżibbli. AI jista 'malajr estratt l-iskeletru tal-konsegwenza ta' l-anteċedent u l-kandidati ta 'anteċedent impliċiti; Dan huwa jiffranka ħafna ħin. Iżda ż-żewġ ġudizzji kritiċi—il-validità (l-istruttura) u s-solidità (il-verità tal-premessi)—jibqgħu umani. Qatt tħawwad il-validità mar-robustezza, taċċettax il-ġudizzju "tajjeb/ħażin" tal-AI, kun żgur li tfittex premessi impliċiti u tibni kontro-argumenti kontra l-aktar b'saħħithom. AI huwa kartografu; Int il-passiġġier li tevalwa t-triq.

Kompitu ta' applikazzjoni

  1. Agħżel argument wieħed u ċar minn artiklu jew test.
  2. Oħroġ l-iskeletru tal-premessa-konsegwenza bil-mudell "immappjar tal-forma standard".
  3. Sib suppożizzjonijiet moħbija u mmarka dawk l-aktar kontroversjali bil-mudell "kaċċa tal-premessa impliċita".
  4. Ittestja l-validità għalik innifsek: jekk wieħed jassumi li l-premessi huma veri, il-konklużjoni tidher meħtieġa?
  5. Ikteb l-oġġezzjoni tiegħek b'sentenza waħda għall-iktar premessa dgħajfa.

lista ta' kontroll

  • [ ] Poġġi l-argument f'forma numerata standard.
  • [ ] Immarkajt il-premessi impliċiti separatament.
  • [ ] Jiena użajt id-distinzjoni bejn il-validità u s-saħħa b'mod konxju.
  • [ ] Ħallejt id-deċiżjoni dwar il-validità u r-robustezza għalija nnifsi, mhux f'idejn l-AI.
  • [ ] Rabat kull premessa mal-appoġġ fit-test.
  • [ ] Bnejt il-kontro-argument kontra l-aktar stat b'saħħtu, mhux bniedem tat-tiben.