Boolen semantiikka

Looginen semantiikka  ( "päättely", "ajatus", "syy" ) on logiikan osa, joka tutkii kielellisten symbolien suhdetta niiden osoittamiin objekteihin ja niiden ilmaisemaan sisältöön [1] .

Looginen semantiikka tieteenä

Muodollinen järjestelmä

Semantiikkaa vaativana tieteenä voidaan soveltaa vain kieliin, joilla on vakiintunut tekstuuri ja muotojärjestelmä [1] [2] . Looginen semantiikka ratkaisee ongelman löytää tapoja ja menetelmiä tulkita muodollisia järjestelmiä , joten ne toimivat merkityksellisten oppien formalisoinnin vaikutuksina. Loogisessa semantiikassa tunnistetaan viiteteoria , joka perustuu totuuden käsitteeseen , ja järjen teoria. Käsitteen "herkkyys" selventäminen törmää perustavanlaatuisiin ongelmiin , joita tämän käsitteen monipuolisuus kannustaa.

Semanttinen analyysi

Semanttiseen analyysiin on olemassa erilaisia ​​tapoja : laajennus- ja intentiomenetelmä , nimeämisen toimintatapa, epätäydellisten merkkien oppi, kiinteiden osoittimien käsite jne. Loogisessa semantiikkassa luotujen ilmaisujen merkityksen ja arvon semanttisen analyysin menetelmät heillä on kaikki mahdollisuudet tulla sovelletuksi luonnollisten kielten analysointiin . Näitä menetelmiä ei kuitenkaan pidetä tarpeellisina viimeisessä tapauksessa. On tarpeen ottaa huomioon luonnollisen kielen ilmaisujen erityiset kielelliset ominaisuudet , joiden merkitykset riippuvat myös kulutuksen kontekstista, kommunikatiivisista ominaisuuksista, äidinkielenään puhujan oletuksista ja muista syistä [1] .

Loogisen semantiikan kehittäminen

Progressiivinen looginen semantiikka juontaa juurensa H. Fregen teoksiin . Loogisen semantiikan opiskelu luonnontieteen erityisosana tulisi kuitenkin ajoittaa 30-luvun alkuun, jolloin A. Tarskyn teokset alkoivat ilmestyä , nimittäin hänen perusteoksensa "Totuuden käsite formalisoiduissa kielissä" (1935). ). Vuosina 1942-1947. R. Carnapin [1] kolmiosainen painos "Research on Semantics" on julkaistu .

Logiikojen ja menetelmien saavuttaminen

Sodan jälkeisinä vuosina saavutettiin merkittäviä tuloksia mallidoktriineissa, erityisesti opissa , joka pohti kaavojen syntaktisten ominaisuuksien ja niiden mallien ominaisuuksien välistä suhdetta. Tänä aikana semantiikka alkoi muodostua erityyppisille modaalilogiikoille , intuitionistiselle logiikalle, relevantille, ei-monotoniselle ja monille muille säännöllisten laskelmien luokille. Erilaisia ​​menetelmiä semantiikan rakentamiseksi totuusaukkojen ja surfeitoitujen arvioiden, peliteoreettisten, tilannekohtaisten ja muiden kanssa kehitetään. Viime vuosikymmeninä on suunniteltu semantiikan ja pragmatiikan lähentymistä . Semantiikkaa rakennettaessa tarjotaan erityisiä pragmaattisia vivahteita: ilmaisujen kulutuksen kontekstit, kognitiivisen työn kohteen eksplisiittiset ominaisuudet.

Katso myös

Muistiinpanot

  1. ↑ 1 2 3 4 Looginen semantiikka . author24.ru. Käyttöönottopäivä: 22.1.2017.
  2. ↑ P. V. Tavanets . Looginen semantiikka ja modaalinen logiikka . - Tiede, 1.1.1967. - 290 s. Arkistoitu 15. helmikuuta 2018 Wayback Machineen

Kirjallisuus

  1. Carnap R.  Merkitys ja välttämättömyys. M., 1959;
  2. Hintikka J.  Loogiset ja epistemologiset tutkimukset. M., 1980;
  3. Montague R.  Pragmatiikka ja intensiaalinen logiikka. — Teoksessa: Modaalisen ja intensionaalisen logiikan semantiikka. M., 1981;
  4. Smirnov V. A. Modaalisen ja intensiaalisen logiikan nykyaikaiset semanttiset tutkimukset.
  5. Kripke S.  Modaalilogiikan semanttinen tarkastelu.
  6. Kripke S.  Identiteetti ja välttämättömyys. - Kirjassa: Uutta vieraassa lingvistiikassa , vol. XIII. M., 1982;
  7. Quine W.  Viite ja modaliteetti.
  8. Lewis K.  Merkitystyypit. — Kirjassa: Semiotiikka. M., 1983;
  9. Pyatnitsyn BN  Looginen semantiikka ja modaalilogiikka. - M., 1967;
  10. Smirnova ED  Looginen semantiikka ja logiikan filosofiset perusteet. M., 1986;
  11. Smirnova E.D.  Loogisen semantiikan perusteet. M., 1990;
  12. Hitto M.  Mikä on merkitysteoria ? - Kirjassa: Filosofia, logiikka, kieli. M., 1987;
  13. Finn VK  Uskottavia johtopäätöksiä ja uskottavia perusteluja. - "Tieteen ja tekniikan tulokset". Ser.: Todennäköisyysteoria, matemaattinen tilasto , teoreettinen kybernetiikka. M., 1988, s. 3-84;
  14. Carnap R.  Johdatus semantiikkaan. Semantiikan opintoja. Cambr., 1942, voi. I;
  15. Elena Dmitrievna Smirnova. Formalisoidut kielet ja loogisen semantiikan ongelmat . - Moskovan yliopiston kustantamo, 1.1.1982. - 190 s.

Linkit

  • Tietosanakirja . iphras.ru. Käyttöönottopäivä: 22.1.2017.
  Siirry Wikidata-kohteeseen  Sanakirjat ja tietosanakirjat
 Logiikka
Filosofia • Semantiikka • Syntaksi • Historia
Logiikkaryhmät
klassista logiikkaa
matemaattinen logiikka
Ei-klassinen logiikka
Filosofinen logiikka
Komponentit
Luettelo loogisista symboleista