Kev Txhais Lus ntawm Logic Raws li Aristotle
Pendahuluuan
Kev xav yog ib qho tseem ceeb hauv kev xav thiab kev tshawb fawb, ua lub luag haujlwm tseem ceeb hauv ntau yam kev kawm, txij li lej mus rau kev tshawb fawb computer. Ua ib txoj kev xav uas muaj txheej txheem thiab muaj laj thawj, kev xav ua lub luag haujlwm tseem ceeb hauv kev tsim cov lus sib cav zoo, kos cov lus xaus kom raug, thiab nkag siab qhov tseeb tob dua.
Nyob rau sab hnub poob, Aristotle yog ib tug ntawm thawj cov kws tshawb fawb uas tau tsim ib txoj kev xav txog kev xav. Los ntawm nws txoj haujlwm loj heev, Aristotle tau tsim lub hauv paus rau ntau yam cuab yeej kev xav uas tseem siv niaj hnub no. Tsab xov xwm no yuav tham txog Aristotle txoj kev nkag siab txog kev xav, suav nrog kev txhim kho lub tswv yim, nws cov hauv paus ntsiab lus, thiab nws qhov cuam tshuam rau kev txhim kho kev xav tom qab.
Aristotle thiab Logic
Aristotle yug hauv Stagira, tebchaws Greece, xyoo 384 BC thiab tuag xyoo 322 BC. Nws yog ib tug tub kawm ntawm Plato thiab tom qab ntawd yog ib tug xib fwb ntawm Alexander the Great. Tsis zoo li Plato, uas tsom ntsoov rau lub ntiaj teb ntawm cov tswv yim, Aristotle feem ntau yog tus neeg uas xav txog tej yam uas muaj tseeb thiab muaj tseeb. Ib qho ntawm Aristotle cov txiaj ntsig zoo tshaj plaws yog kev tsim cov logic, uas nws hu ua "analytics" lossis "organon," txhais tau tias yog ib lub cuab yeej rau kev xav.
Cov kev xav uas Aristotle tsim feem ntau hu ua kev xav ib txwm muaj lossis kev xav raws li txoj cai. Aristotle teeb tsa kev xav ua ib pawg cai uas txiav txim siab yuav ua li cas kos cov lus xaus zoo los ntawm cov lus uas twb muaj lawm.
Kev siv lus sib txuas lus
Lub hauv paus ntawm Aristotle txoj kev xav yog nyob rau hauv lub tswv yim ntawm syllogism. Syllogism yog ib hom kev sib cav uas muaj peb ntu: ob lub hauv paus thiab ib qho xaus. Piv txwv li:
1. Lub Ntsiab Lus Tseem Ceeb: Txhua tus tib neeg yog cov tsiaj txhu uas muaj sia nyob.
2. Lub Ntsiab Lus Me: Socrates yog tib neeg.
3. Xaus Lus: Socrates yog ib tug tsiaj txhu uas muaj sia nyob.
Ntawm no, ob lub hauv paus thawj zaug uas paub ua rau muaj kev xaus lus zoo thiab muaj tseeb. Aristotle lub peev xwm los tsim ntau hom kev xav sib txawv thiab txiav txim siab seb qhov twg yog qhov tseeb thiab qhov twg tsis yog.
Pawg thiab Cov Lus Qhia Ua Ntej
Aristotle kuj tau tsim ib txoj kev faib pawg uas siv los faib cov lus hais ua ntau hom. Raws li Aristotle hais, txhua cov lus hais tuaj yeem muab faib ua ib lub ntsiab lus thiab ib lo lus qhia ua ntej, thiab txhua lo lus qhia ua ntej tuaj yeem faib ua pawg raws li nws pawg, xws li:
1. Zoo.
2. Qhov ntau.
3. Kev sib raug zoo.
4. Qhov chaw.
5. Lub Sijhawm.
6. Txoj hauj lwm.
7. Tej yam mob.
Piv txwv li, hauv cov lus hais tias "Socrates yog tib neeg," "Socrates" yog lub ntsiab lus, thiab "tib neeg" yog cov lus hais nrog ib pawg lossis khoom.
Cov Cai Tseem Ceeb ntawm Logic
Aristotle kuj tau qhia txog peb txoj cai tseem ceeb ntawm kev xav uas tau los ua lub hauv paus rau kev xav qub thiab niaj hnub:
1. Txoj Cai ntawm Tus Kheej: Ib lo lus hais sib npaug rau nws tus kheej.
– Piv txwv li: “A yog A.”
2. Txoj Cai ntawm Kev Tsis Sib Haum: Nws tsis yooj yim sua rau ib kab lus kom muaj tseeb thiab cuav tib lub sijhawm.
– Piv txwv li: "A tsis tuaj yeem yog A thiab tsis yog-A tib lub sijhawm."
3. Txoj Cai ntawm Kev Tshem Tawm Nruab Nrab: Txhua lo lus hais yog qhov tseeb lossis cuav, tsis muaj qhov ua tau thib peb.
– Piv txwv li: “A yog B, los yog A tsis yog B.”
Cov kev cai lij choj no pab teeb tsa cov ciam teb hauv kev sib cav thiab xyuas kom meej tias cov lus xaus tau kos yog sib xws thiab siv tau.
Qhov cuam tshuam ntawm Aristotle txoj kev xav
Aristotle txoj kev xav txog kev xav tau muaj kev cuam tshuam loj heev rau ntau yam kev kawm thiab tib neeg txoj kev xav. Nov yog qee qhov kev cuam tshuam ntawd:
– Kev Xav: Aristotle txoj kev xav yog lub hauv paus rau yuav luag txhua txoj kev xav ntawm sab hnub poob. Ntau tus kws tshawb fawb tom qab, xws li Thomas Aquinas thiab Immanuel Kant, tau siv cov ntsiab cai ntawm Aristotle txoj kev xav hauv lawv txoj kev xav.
– Kev suav lej: Txawm hais tias cov txheej txheem kev xav niaj hnub siv hauv kev suav lej txawv ntawm Aristotelian logic, cov tswv yim yooj yim ntawm kev txiav tawm thiab syllogism tseem muaj feem cuam tshuam.
– Kev Tshawb Fawb Txog Computer: Nrog rau kev txhim kho ntawm cov logic niaj hnub thiab kev lej sib cais, ntau lub tswv yim hauv kev tshawb fawb txog computer, tshwj xeeb tshaj yog hauv kev txhim kho cov algorithms thiab kev xav ntawm kev suav lej, yog raws li cov ntsiab cai ntawm Aristotelian logic.
– Kev Kawm Txog Ntuj thiab Kev Sib Raug Zoo: Hauv kev kawm txog ntuj thiab kev sib raug zoo, kev xav yog siv los tsim cov kev sim, tshuaj xyuas cov ntaub ntawv, thiab kos cov lus xaus zoo los ntawm kev soj ntsuam thiab kev tshawb fawb.
Aristotle thiab nws txoj kev xav tau pab tib neeg nkag siab thiab piav qhia txog kev xav kom raug, thiab muab cov cuab yeej rau kev daws teeb meem hauv txoj kev sib xws thiab muaj laj thawj.
Kev Tshuaj Xyuas Ntxiv thiab Kev Txhim Kho
Txawm hais tias muaj lub hauv paus ruaj khov heev los, Aristotelian logic tseem muaj qhov tsis zoo. Ib qho ntawm cov lus thuam tseem ceeb ntawm Aristotelian logic yog nws tsis muaj peev xwm daws cov lus nug nyuaj dua lossis rov ua dua. Cov logic no kuj zoo li raug cai heev thiab tsis yooj ywm hauv kev daws qhov tsis paub meej lossis tsis meej pem uas feem ntau ntsib hauv lub neej txhua hnub.
Nyob rau hauv xyoo pua 19th thiab 20th, kev xav txog kev cai lij choj tau tsim kho ntxiv nrog kev tshwm sim ntawm kev xav txog kev cai lij choj, lossis kev xav txog lej, uas tau tsim los ntawm cov kws lej xws li George Boole thiab Gottlob Frege. Kev xav txog kev cai lij choj no tau qhia txog kev siv cov cim thiab kev ua haujlwm ntawm kev xav, thiab muaj peev xwm ua haujlwm nrog cov lus teb nyuaj dua.
Qhov tshwm sim ntawm kev teeb tsa kev xav thiab kev xav txog qhov tseeb kuj tau cim ib kauj ruam loj rau pem hauv ntej hauv kev xav txog kev xav, nthuav peb lub peev xwm los ua haujlwm nrog cov lus sib cav nyuaj thiab tsis muaj tseeb. Kev xav niaj hnub no kuj hloov tau yooj yim dua hauv kev daws teeb meem tsis paub meej thiab qhov tshwm sim, raws li pom hauv kev xav txog kev xav thiab qhov tshwm sim.
Txawm li ntawd los, Aristotle txoj keeb kwm tseem ceeb heev. Cov ntsiab cai tseem ceeb uas nws tau tso tseg tseem yog lub hauv paus ntawm kev xav txog kev xav thiab kev xav. Aristotle cov haujlwm, xws li Organon, tseem suav tias yog cov peev txheej tseem ceeb rau cov neeg kawm txog kev xav thiab kev xav.
Xaus
Los ntawm kev muab lub hauv paus kev xav rau kev xav txog kev ua haujlwm thiab kev xav, Aristotle txoj kev xav tau ua rau muaj txiaj ntsig zoo rau kev loj hlob ntawm tib neeg lub hlwb. Txij li kev txhim kho ntawm syllogism mus rau kev tsim cov kev cai lij choj tseem ceeb ntawm kev xav, Aristotle tau tsim txoj hauv kev rau kev txhim kho ntawm ntau yam kev qhuab qhia.
Txawm hais tias Aristotle txoj kev xav tau raug thuam thiab txhim kho los ntawm ntau tus neeg xav tom qab, cov ntsiab cai tseem ceeb uas nws tau tso tseg tseem yog lub hauv paus ruaj khov rau ntau hom kev xav txog kev xav thiab kev xav. Txij li kev xav txog kev tshawb fawb txog computer, qhov cuam tshuam ntawm Aristotle txoj kev xav txog kev xav tseem muaj zog niaj hnub no.
Muaj ntau txoj kev uas kev nkag siab txog Aristotelian logic yog kev nkag siab txog ib qho ntawm tib neeg txoj kev sim nrhiav qhov tseeb los ntawm kev xav txog tej yam uas muaj laj thawj thiab muaj txiaj ntsig. Txoj kev xav no tsis yog pab peb tsim cov lus sib cav uas muaj tseeb xwb, tab sis kuj pab peb nkag siab txog lub ntiaj teb thiab peb qhov chaw hauv nws kom tob dua thiab muaj txiaj ntsig dua.
