Boolsk semantik
Logisk semantik ( “ræsonnement”, “tanke”, “fornuft” ) er en del af logikken , der studerer forholdet mellem sproglige symboler og de objekter, de udpeger, og det indhold, de udtrykker [1] .
Logisk semantik som videnskab
Formelt systemSemantik som en krævende videnskab kan kun anvendes på sprog, der har en etableret tekstur og formelt system [1] [2] . Logisk semantik løser spørgsmålet om at finde måder og metoder til at fortolke formelle systemer , så de fungerer som effekter af formalisering af meningsfulde doktriner. I logisk semantik genkender man referenceteorien , baseret på begrebet sandhed , og teorien om forstand. Præciseringen af begrebet "sensibilitet" løber ind i grundlæggende problemer , stimuleret af dette begrebs alsidighed.
Semantisk analyseDer er forskellige måder til semantisk analyse : metoden til udvidelse og intension , måden at navngive fungerer på, læren om ufuldstændige tegn, begrebet solide betegnelser osv. Metoderne til semantisk analyse af betydningen og værdien af udtryk skabt i logisk semantik har alle muligheder for at blive anvendt til analyse af naturlige sprog . Disse metoder anses dog ikke for nødvendige i det endelige tilfælde. Det er nødvendigt at tage højde for de specifikke sproglige egenskaber ved naturlige sprogudtryk, hvis betydninger også afhænger af forbrugskonteksten, af kommunikative egenskaber, af forudsætninger fra en indfødt taler og andre årsager [1] .
Udvikling af logisk semantik
Progressiv logisk semantik går tilbage til H. Freges værker . Ikke desto mindre burde studiet af logisk semantik som en særlig del af naturvidenskaben dateres til begyndelsen af 30'erne, hvor A. Tarskys værker begyndte at dukke op , nemlig hans grundværk "The Concept of Truth in Formalized Languages" (1935) ). I 1942?1947. trebindsudgaven "Research on Semantics" af R. Carnap [1] udgives .
Opnåelse af logikker og metoderI efterkrigsårene blev der opnået betydelige resultater i doktrinerne om modeller, især i doktrinen , som betragtede forholdet mellem formlers syntaktiske kvaliteter og deres modellers kvaliteter. Det var i denne periode, at semantik begyndte at dannes for forskellige typer af modal logik , intuitionistisk logik, relevant, ikke-monotonisk og mange andre klasser af regulære calculi. Forskellige metoder til at konstruere semantik med sandhedshuller og overdrevne skøn, spilteoretiske, situationelle og andre, er under udvikling. I de sidste årtier er der planlagt en konvergens mellem semantik og pragmatik . Ved konstruktion af semantik gives der specifikke pragmatiske nuancer: kontekster for forbrug af udtryk, eksplicitte egenskaber ved emnet kognitivt arbejde.
Se også
Noter
- ↑ 1 2 3 4 Logisk semantik . forfatter24.ru. Dato for adgang: 22. januar 2017.
- ↑ P. V. Tavanets . Logisk semantik og modal logik . - Videnskab, 1967-01-01. — 290 s. Arkiveret 15. februar 2018 på Wayback Machine
Litteratur
- Carnap R. Betydning og nødvendighed. M., 1959;
- Hintikka J. Logiske og epistemologiske studier. M., 1980;
- Montague R. Pragmatik og intentionel logik. — I: Semantik af modal og intensional logik. M., 1981;
- Smirnov V. A. Moderne semantiske studier af modal og intensional logik.
- Kripke S. Semantisk overvejelse af modal logik.
- Kripke S. Identitet og nødvendighed. - I bogen: Nyt i fremmedlingvistik , bd. XIII. M., 1982;
- Quine W. Reference og modalitet.
- Lewis K. Betydningstyper. — I bogen: Semiotik. M., 1983;
- Pyatnitsyn BN Logisk semantik og modal logik. - M., 1967;
- Smirnova ED Logisk semantik og filosofiske grundlag for logik. M., 1986;
- Smirnova E. D. Fundamentals of logisk semantik. M., 1990;
- Dammit M. Hvad er teorien om mening . - I bogen: Filosofi, logik, sprog. M., 1987;
- Finn VK Plausible konklusioner og plausible ræsonnementer. - "Resultater af videnskab og teknologi". Ser.: Sandsynlighedsteori, matematisk statistik , teoretisk kybernetik. M., 1988, s. 3-84;
- Carnap R. Introduktion til semantik. Studier i semantik. Cambr., 1942, bind. JEG;
- Elena Dmitrievna Smirnova. Formaliserede sprog og problemer med logisk semantik . - Forlag ved Moskva Universitet, 1982-01-01. — 190 s.
Links
- Encyklopædi . iphras.ru. Dato for adgang: 22. januar 2017.
 Ordbøger og encyklopædier |
|---|
| Logik | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntaks • Historie | |||||||||
| Logiske grupper |
| ||||||||
| Komponenter |
| ||||||||
| Liste over booleske symboler | |||||||||