Muodollinen semantiikka (logiikka)
Vuonna logiikan The semantiikka logiikka on tutkimuksen semantiikan tai tulkintaa , on muodollinen ja luonnon kieliä , jotka yleensä kouraistava ennalta teoreettinen käsite vähennyksen.
Yleiskatsaus
Logistiikan tehtävien joukossa on antaa merkitystä ehdotuksille.
Ennen kynnyksellä nykyaikaisen logiikan Organon ja Aristoteleen , erityisesti mistä Interpretatione oli perustana ymmärtämisen tärkeyttä logiikkaa. Useiden yleisluonteisuuden ongelman ratkaisemiseksi tarvittavan kvantifioinnin käyttöönotto teki mahdottomaksi Aristoteleen teoksen hallitseman kohteen ja predikaatin analyysin.
Tärkeimmät modernit lähestymistavat virallisten kielten semantiikkaan ovat seuraavat:
- Semantiikka mallien teoria on perikuva totuusteoriaa of Alfred Tarski , perustuu hänen malli-T , ja on yksi perustajajäsenistä käsitteitä mallien teoria . Tämä semantiikka tarjoaa pohjan lähestymistavalle vericonditional semanticsiksi kutsuttuun merkitysteoriaan , jonka ovat kehittäneet muun muassa Richard Montague , David Lewis , Max Cresswell , Donald Davidson . Semantiikka Kripke käyttöön innovaatioita, mutta osapuilleen kanssa tarskilainen teoriaa.
- Teoria todiste antaa merkityksen ehdotusten mukaan niiden merkitys päätelmiä. Gerhard Gentzenin , Dag Prawitzin ja Michael Dummettin katsotaan olevan tämän lähestymistavan perustajia; tämä liittyy vahvasti Ludwig Wittgensteinin filosofiaan , erityisesti hänen aforismiinsa " merkitys on käyttö ".
- Semantiikka totuusarvo kannattivat Ruth Barcan Marcus varten modaalilogiikka 1960-luvun alussa ja myöhemmin puolusti Dunn, Belnap ja Leblanc vakio ensimmäisen kertaluvun logiikkaa.
Kun viralliset kielet ovat ohjelmointikieliä tai laskelmia kuvaavia järjestelmiä, muodollisella semantiikalla on kolme haaraa:
Katso myös
Viitteet