Famaritana ny lojika araka an'i Aristote
Pendahuan
Singa fototra amin'ny filozofia sy ny siansa ny lojika, ary mitana anjara toerana lehibe amin'ny sehatra maro samihafa, manomboka amin'ny matematika ka hatramin'ny siansa informatika. Amin'ny maha-fomba fisainana mirindra sy mitombina azy, ny lojika dia mitana anjara toerana lehibe amin'ny fananganana adihevitra marim-pototra, ny fanatsoahan-kevitra marina, ary ny fahatakarana lalindalina kokoa ny zava-misy.
Teo amin'ny tontolo tandrefana, i Aristote no iray amin'ireo filozofa voalohany namorona teoria feno momba ny lojika. Tamin'ny alalan'ny asany goavana, i Aristote no nametraka ny fototra ho an'ny fitaovana lojika maro izay mbola ampiasaina ankehitriny. Ity lahatsoratra ity dia hiresaka momba ny fahatakaran'i Aristote ny lojika, anisan'izany ny fivoaran'ny hevitra, ny foto-keviny fototra, ary ny fiantraikany teo amin'ny fivoaran'ny fisainana lojika taty aoriana.
Aristote sy ny Lojika
Teraka tao Stagira, Gresy, tamin'ny taona 384 talohan'i JK i Aristote ary maty tamin'ny taona 322 talohan'i JK. Mpianatr'i Plato izy ary taty aoriana dia mpampianatra an'i Alexander Lehibe. Tsy tahaka an'i Plato izay nifantoka kokoa tamin'ny tontolon'ny hevitra, i Aristote dia nirona ho empirika sy mivaingana kokoa. Ny iray amin'ireo fandraisana anjara lehibe indrindra nataon'i Aristote dia ny fampivoarana ny lojika, izay nantsoiny hoe "analitika" na "organon", izay midika hoe fitaovana fisainana.
Ny lojika novolavolain'i Aristote dia matetika antsoina hoe lojika nentim-paharazana na lojika ara-dalàna. Nandamina ny lojika ho toy ny andiana fitsipika i Aristote izay mamaritra ny fomba hanaovana fehin-kevitra azo antoka avy amin'ny fanambarana efa misy.
Sillogisma
Ny foto-kevitry ny silôgisma no fototry ny lojikan'i Aristote. Ny silôgisma dia endrika fandresen-dahatra misy fizarana telo: petra-kevitra roa sy famaranana iray. Ohatra:
1. Hevi-dehibe: Zavamananaina ny olombelona rehetra.
2. Fitsipika Madinika: Olombelona i Socrates.
3. Fehiny: Zavaboary velona i Socrates.
Eto, ireo petra-kevitra roa voalohany fantatra dia mitarika ho amin'ny famaranana lojika sy azo antoka. Ny fahaizan'i Aristote dia ny fahaizany manorina endrika isan-karazany amin'ny silogisma sy mamaritra hoe iza no azo antoka ary iza no tsia.
Sokajy sy Mpamaritra
Namorona rafitra sokajy ampiasaina hanasokajiana ireo fanambarana ho karazany samihafa ihany koa i Aristote. Araka ny voalazan'i Aristote, ny fanambarana rehetra dia azo zaraina ho lohahevitra sy mpilaza, ary ny mpilaza tsirairay dia azo sokajiana araka ny sokajy misy azy, toy ny:
1. Kalitao.
2. Habetsahana.
3. Fifandraisana.
4. Toerana.
5. Fotoana.
6. Toerana.
7. Fepetra.
Ohatra, ao amin'ny fanambarana hoe "Olombelona i Socrates," dia "Socrates" no lazaina, ary "olombelona" no enti-milaza misy sokajy na toetra iray.
Lalàna fototra momba ny lojika
Nampiditra lalàna fototra telo momba ny lojika ihany koa i Aristote izay lasa fototry ny lojika klasika sy maoderina:
1. Lalàn'ny maha-izy azy: Mitovy amin'ny tenany ny fanambarana iray.
– Ohatra: “A dia A.”
2. Lalàn'ny Tsy Fifanoherana: Tsy azo atao ny hoe marina sy diso miaraka ny fanambarana iray.
– Ohatra: “Tsy afaka ny ho A sady tsy-A i A.”
3. Lalàn'ny Afovoany Voahilika: Marina na diso ny fanambarana rehetra, tsy misy mety ho fahatelo.
– Ohatra: “A dia B, na A dia tsy B.”
Ireo lalàna ireo dia manampy amin'ny fametrahana fetra amin'ny adihevitra ary miantoka fa mifanaraka sy manan-kery ny fehin-kevitra azo.
Ny fiantraikan'ny lojikan'i Aristote
Nisy fiantraikany lalina sy lalina teo amin'ny sehatra maro sy ny fisainan'olombelona ny fisainan'i Aristote lojika. Ireto misy fiantraikany vitsivitsy amin'izany:
– Filozofia: Ny lojikan'i Aristote no fototry ny ankamaroan'ny fisainana filozofika tandrefana. Maro ireo filozofa taty aoriana, toa an'i Thomas Aquinas sy Immanuel Kant, no nampiasa ny foto-kevitry ny lojikan'i Aristote tamin'ny fisainany.
– Matematika: Na dia tsy mitovy amin'ny lojika Aristotelianina aza ny rafitra lojika maoderina ampiasaina amin'ny matematika, dia mbola manan-danja ihany ny hevitra fototra momba ny deduction sy ny sillogisma.
– Siansa informatika: Miaraka amin'ny fivoaran'ny lojika maoderina sy ny matematika misaraka, dia maro ny foto-kevitra ao amin'ny siansa informatika, indrindra fa amin'ny fivoaran'ny algorithm sy ny teoria momba ny kajy, no mifototra amin'ny fitsipiky ny lojika Aristotelianina.
– Siansa Voajanahary sy Sosialy: Ao amin'ny siansa voajanahary sy sosialy, ny lojika dia ampiasaina hamolavolana andrana, handinihana angon-drakitra, ary hanatsoahana fehin-kevitra azo antoka avy amin'ny fandinihana sy ny fikarohana.
Nanampy ny olombelona hahatakatra sy hilaza ny fikorianan'ny fisainana marina i Aristote sy ny lojikany, ary nanome fitaovana hiatrehana sy hamahana olana amin'ny fomba tsy miovaova sy mitombina.
Fanakianana sy Fampandrosoana Fanampiny
Na dia manome fototra mafy orina aza ny lojika Aristotelianina, dia tsy hoe tsy manana fahalemena izy. Ny iray amin'ireo tsikera lehibe momba ny lojika Aristotelianina dia ny tsy fahafahany miatrika tolo-kevitra sarotra kokoa na miverimberina. Io lojika io koa dia mirona ho ara-dalàna be ary tsy dia mora miovaova amin'ny fiatrehana ny tsy fahazoana antoka na ny fisalasalana matetika hita eo amin'ny fiainana andavanandro.
Tamin'ny taonjato faha-19 sy faha-20, dia niha-nivoatra bebe kokoa ny lojika ara-dalàna niaraka tamin'ny fipoiran'ny lojika simbolika, na lojika matematika, izay notarihin'ireo mpanao matematika toa an'i George Boole sy Gottlob Frege. Io lojika simbolika io dia nampiditra fampiasana marika sy asa lojika saro-takarina kokoa, ary afaka nikarakara tolo-kevitra sarotra kokoa.
Ny fipoiran'ny teoria napetraka sy ny lojika mpamaritra dia nanamarika dingana lehibe teo amin'ny lojika ara-dalàna, izay nanitatra ny fahafahantsika miasa amin'ny adihevitra sarotra sy tsy azo tsapain-tanana kokoa. Ny lojika maoderina koa dia mora ampifanarahana kokoa amin'ny fiatrehana ny tsy fahazoana antoka sy ny mety ho azo atao, araka ny hita amin'ny lojika manjavozavo sy ny teoria mety ho azo atao.
Na izany aza, mbola manan-danja ny lova navelan'i Aristote. Ireo fitsipika fototra napetrany dia mbola fototry ny fisainana lojika sy ara-drariny. Ny asan'i Aristote, toy ny Organon, dia mbola heverina ho loharano tena ilaina ho an'ireo mianatra lojika sy filozofia.
Famaranana
Amin'ny fanomezana fototra ara-teorika ho an'ny fisainana mirindra sy mitombina, ny lojikan'i Aristote dia nandray anjara betsaka tamin'ny fivoaran'ny sain'olombelona. Nanomboka tamin'ny fivoaran'ny silôzôisma ka hatramin'ny fananganana ny lalàna fototry ny lojika, dia nanokatra lalana ho amin'ny fivoaran'ny taranja maro i Aristote.
Na dia efa notsikerain'ireo mpandinika maro taty aoriana aza ny lojikan'i Aristote, dia mbola fototra mafy orina ho an'ny endrika fisainana lojika sy ara-drariny maro ireo fitsipika fototra napetrany. Manomboka amin'ny filozofia ka hatramin'ny siansa informatika, dia mbola mahery vaika ny fiantraikan'ny fisainana lojika nataon'i Aristote ankehitriny.
Amin'ny lafiny maro, ny fahatakarana ny lojika Aristotelianina dia fahatakarana ny iray amin'ireo ezaka voalohany nataon'ny olombelona hikatsahana ny fahamarinana amin'ny alàlan'ny fisainana mirindra sy mitombina. Ity lojika ity dia tsy vitan'ny hoe manampy antsika hanorina adihevitra marim-pototra, fa manampy antsika hahatakatra izao tontolo izao sy ny toerantsika ao aminy amin'ny fomba lalindalina kokoa sy misy dikany kokoa.
