qartuli ena da logika

Download qarTuli ena da logika

Post on 31-Dec-2016

258 views

Category:

Documents

26 download

Embed Size (px)

TRANSCRIPT

  • ivane javaxiSvilis saxelobis Tbilisis saxelmwifo universiteti

    i. vekuas saxelobis gamoyenebiTi maTematikis instituti

    samecniero-saganmanaTleblo Jurnali

    qarTuli ena da

    logika

    2005 logikisa da enis gaerTianebuli qarTuli jgufi

  • i. vekuas sax. gamoyenebiTi maTematikis institutTan arsebuli logikisa da enis gaerTianebuli qarTuli jgufisa da Tsu maTematikis institutis maTematikis dafuZnebis da swavlebis meTodikis modulis samecniero-saganmanaTleblo Jurnali

    qarTuli ena da logika

    universitetis saxelmwifo miznobrivi programa ,,kompiuteris sruli programul-momsaxureobiTi moqceva bunebriv qarTul enobriv garemoSi

    2005

    ianvari-ivnisi

  • samecniero-saganmanaTleblo Jurnali

    ,,qarTuli ena da logika

    ggll_pkhakadze@caucasus.net universitetis q. # 2

    ISSN 1512 2840

    mTavari saredaqcio sabWo:

    merab babuxadia, kaxa gabunia (mTavari redaqtoris moadgile), marine ivaniSvili,

    vladimer lekiaSvili (mTavari redaqtoris moadgile), givi nadibaiZe, vaxtang fxakaZe,

    konstantine fxakaZe (mTavari redaqtori), badri cxadaZe, giorgi CiCua.

    saredaqcio sabWo:

    rezo abaSia, qeTevan goCitaSvili, ineza beriaSvili, Tamar esitaSvili, lali tibua,

    Wabuki qiria, gela WankvetaZe.

    sakonsultacio sabWo:

    vladimer borSCevi, daviT gordeziani, Tamaz TevzaZe, barbara parti, Tedo uTurgaiZe,

    Temur CiCua.

    gamoicema saqarTvelos ganaTlebisa da mecnierebis saministros

    mier gamoyofili dafinansebiTa da qarTul-amerikuli sawarmos

    ,,kanargo standart oil produqtis qvelmoqmedebiTi

    mxardaWeriT

    THE GEORGIAN LANGUAGE AND LOGIC SCIENTIFIC-EDUCATIONAL JOURNAL ggll_pkhakadze@caucasus.net 2 University St ISSN 1512 - 2840 Main Editorial Board: Merab Babukhadia, Kakha Gabunia (Co-chair), Marine Ivanishvili, Vladimir Lekiashvili (Co-chair), Givi Nadibaidze, Vachtang Pkhakadze, Konstantine Pkhakadze (Chair), Badri Tskhadadze, Giorgi Chichua. Editorial Board: Rezo Abashia, Ineza Beriashvili, Ketevan Gochitashvili, Tamar Esitashvili, Lali Tibua, Chabuki Kiria. Consultative Board: Vladimir Borshchev, David Gordeziani, Tamaz Tevzadze, Barbara Partee, Tedo Uturgaidze, Temur Chichua. Published with the sponsorship of Ministry of Education and Science and charity of Georgian-American Enterprise Canargo Standard Oil Products

    mailto:ggll_pkhakadze@caucasus.netmailto:ggll_pkhakadze@caucasus.net

  • sarCevi

    1. k. fxakaZe.

    winaTqma anu logikisa da enis gaerTianebuli qarTuli

    jgufis miznebisa da amocanebis Sesaxeb 1

    2. logikisa da enis gaerTianebuli qarTuli jgufi - proeqti

    `qarTuli enis Tanamedrove logikuri gramatikis safuZvlebi.

    lingvisturi mimarTebisa da logikuri brunebis

    sakiTxisaTvis qarTulSi 19

    3. o. WankvetaZe, g. WankvetaZe.

    gankiTxulebani (interrogaciebi)

    da maTi gamoyeneba 78

    4. barbara hol parti, alis ter miuleni, robert uoli

    maTematikuri meTodebi lingvistikaSi

    Targmanze muSaobdnen: k. fxakaZe,

    l. lekiaSvili, e. soselia,

    m. ivaniSvili.

    maTematikuri da bunebrivi enebis

    zogadi logikuri

    safuZvlebi 81

    4.1. Sesavali 82

    4.2. simravleTa Teoriis ZiriTadi cnebebi 85

    4.3 mimarTebebi da funqciebi 106

    4.3. mimarTebebis Tvisebebi 116

    4.4. usasruloba 130

    4.5. logikisa da formaluri sistemebis

    sasafuZvlo cnebebi 146

    5. T. TevzaZe, g. nadibaiZe, v. fxakaZe, k. fxakaZe,

    k. gabunia, l. lekiaSvili, b. cxadaZe.

    maTematikuri da bunebrivi enebis logika

    da Tanamedrove saswavlo miznebi 155

  • winaTqma anu logikisa da enis gaerTianebuli qarTuli jgufis

    miznebisa da amocanebis Sesaxeb

    winaTqmaSi mokled mimovixilavT Cveni jgufis winaSe mdgari problematuri sakiTxebis arss, Cveni moZraobis miznebsa da im etapobrivad gadasawyvet amocanebs,

    romelTagan erT-erTi swored iseTi gamocemis dafuZneba gaxldaT, rogoricaa

    samecniero-saganmanaTleblo Jurnali ,,qarTuli ena da logika.

    mkiTxvels vurCevT, rom pirveli wakiTxvisas naklebi yuradReba miaqcios

    CanarTebs. isini winamdebare winaTqmis mxolod damatebiTi qargia da ara ZiriTadi.

    amasTan, sakiTxTa siRrmiseuli gaazrebisTvis am CanarTebis gacnoba aucilebelia. zogi

    CanarTi nawilobriv meordeba, rac teqstis im adgilebis Sesabamisi aqcentirebis

    moTxovnebiT ixsneba, sadac es xdeba.

    Jurnali fuZndeba ivane javaxiSvilis saxelobis Tbilisis saxelmwifo

    universitetisa da i. vekuas sax. gamoyenebiTi maTematikis institutis saxelmwifo

    miznobrivi programis - ,,kompiuteris sruli programul-momsaxureobiTi moqceva

    bunebriv qarTul enobriv garemoSi (#1.01.73) - im umniSvnelovanesi miznis

    gaTvaliswinebiT, rac qarTuli weriTmetyvelebiTi da zepirmetyvelebiTi enebis

    kompiuterTan Tavisufali inteleqtualuri urTierTobis enad modificirebas

    gulisxmobs. amasTan, Jurnalis pirdapiri mizani saqarTveloSi im fundamenturi

    samecniero sferos ganviTarebaa, romelic enad da logikad1 iwodeba da romelic

    zemoaRniSnuli amocanis gaTvaliswinebiT sxvadasxva bunebriv-enobriv sistemebSi

    maTematikurad mkacri Teoriuli xasiaTis kognituri kvlevebiT aris dakavebuli.

    1 50-ani wlebis dasasruls Comskis mier gamoqveynebuli naSromiT - ,,sintaqsuri struqturebi

    (,,Syntactic Stuctures) da 70-ani wlebis dasawyisSi montegius mier gamoqveynebuli naSromebiT -

    `inglisuri, rogorc formaluri ena (`English as a Formal Languege) da ,,kvantifikatorebis sakuTrivi

    damuSaveba Cveulebriv inglisurSi (The Proper Treatment of Quantification in Ordinary Inglish) gamoikveTa

    da dafuZnda is samecniero sfero, romelic, sazogadod, enad da logikad iwodeba da romelic

    Tanamedrove logikur-lingvisturi samecniero mimarTulebis saxiT Camoyalibda. is ZiriTadi, rac

    Comskisa da montegius logikur-lingvistur xazebs ganasxvavebs, ganpirobebulia im gansxvavebuli

    maTematikuri, formalur-logikuri safuZvlebiT, rac maT Tav-TavianTi Teoriebis gansaviTareblad aiRes.

    es Teoriebi ZiriTadad semantikis fundamenturi problemisadmi gansxvavebuli damokidebulebiT ganirCeva.

    ComskisTan semantikuri sakiTxebi CorCiseul gamosaxulebaTa gadamweri sistemebis safuZvelze wydeba da

    semantika misTvis meoradi, formaluri analizis safuZvelze gamoyvanadi kategoriaa. montegiusTan

    semantika ZiriTad, sasafuZvlo kategoriad ganixileba da igi bunebriv enebSi semantikis sakiTxs

    maTematikisTvis tradiciuli, simravlur-Teoriuli midgomebiT wyvets. amgvarad, maTi mecnieruli

    Teoriebis da, sazogadod, Tanamedrove logikur-lingvisturi samecniero sferos formirebis procesi ar

    SeiZleba ganxilul iqnes iseTi filosofosebis, maTematikosebis da logikosebis gareSe, rogorebic

    iyvnen aristotele, laibnici, paskali, dekarti, buli, frege, hilberti, raseli, vitgenSteini,

    ejdukeviCi, tarski, CorCi, neimani, karnapi, bar-hileli, tiuringi, posti da sxv., romlebic, Tavis mxriv,

    enisa da azrovnebis filosofiis, Tanamedrove maTematikuri logikis, formaluri enebis da formaluri

    enebis Teoriis, formaluri mtkicebebis Teoriis, cifruli da enobriv-logikuri avtomatebisa da

    algoriTmebis Teoriis fuZemdeblebi arian. amgvarad, SeiZleba iTqvas, rom dasavluri samecniero

    sazogadoeba ganuwyvetliv fiqrobda enisa da azrovnebis urTierTmimarTebebze anu im sakiTxebze, rac

    dRes misi praqtikuli Tu Teoriuli xasiaTis yvela SesaZlo SemadgenliT enad da logikad wodebul

    samecniero sferoSia Tavmoyrili. nebismieri, vinc Tundac gakvriT gadafurclavs saxelmZRvaneloebs

    `ena da logika (Logic and Language, redaqtorebi: iohan van bentemi da alis ter miuleni, 1997),

    ,,Tanamedrove semantikuri Teoriebi (Contemporary Semantic Theory, redaqtori Salom lapini, 1997),

    `formaluri semantikebi (Formal Semantics, redaqtorebi: paul portneri, barbara parti, 2001)

    darwmundeba, Tu rogori swrafi tempebiT ganviTarda es samecniero sfero bolo ormoci wlis

    ganmavlobaSi. dRes, iSviaTad naxavT iseT qveyanas, sadac maTi enebis manqanebTan saurTierTobo enad

    modificirebisaTvis ar warmoebs specialuri prioritetuli programuli kvlevebi am enebis sruli da

    amomwuravi logikur-lingvisturi Seswavlis mizniT.

  • qarTuli enis kompiuterebTan anu, ufro zogadad, manqanebTan Tavisufali

    urTierTobis enad modificireba iTvaliswinebs am manqanebis iseT programul

    uzrunvelyofas, rom nebismier momxmarebels, yovelgvari specifikuri codnis gareSe,

    mxolod qarTuli weriTmetyvelebiTi da zepirmetyvelebiTi enebiT saSualeba mieces

    maTTan amomwuravi da Tavisufali urTierTobis damyarebisa yvela SesaZlo

    inteleqtualuri Tu momsaxureobiTi mizniT.

    amgvari, komunikaciuri barierebisagan Tavisufali, eleqtronuli manqanebi

    TandaTan ufro da ufro meti moculobiT iReben TavianT Tavze adamianebisTvis

    damaxasiaTebel inteleqtualur, enobriv-azrovnebiT datvirTvebs da amiT isini (e.i.

    manqanebi) TandaTan ufro meti moculobiT maTi (e.i. adamianebis) dauzareli

    inteleqtualuri partniorebi xdebian.

    aRniSnuli, erTi mxriv, epoqaluri1 datvirTvis mqone urTulesi logikur-

    lingvisturi specifikebiT gajerebuli teqnologiuri