Boole-szemantika
A logikai szemantika ( "okoskodás", "gondolat", "okoskodás" ) a logika egy része , amely a nyelvi szimbólumok viszonyát vizsgálja az általuk kijelölt objektumokhoz és az általuk kifejezett tartalomhoz [1] .
A logikai szemantika mint tudomány
Formális rendszerA szemantika mint igényes tudomány csak olyan nyelvekre alkalmazható, amelyeknek kialakult textúrája és formális rendszere [1] [2] . A logikai szemantika megoldja a formális rendszerek értelmezési módjainak és módszereinek megtalálásának kérdését , tehát az értelmes tanok formalizálásának hatásaként működnek. A logikai szemantikában felismerjük az igazság fogalmán alapuló referenciaelméletet és az értelem elméletét. Az „érzékenység” fogalmának tisztázása alapvető problémákba ütközik, amit ennek a fogalomnak a sokoldalúsága ösztönöz.
Szemantikai elemzésA szemantikai elemzésnek különböző módjai vannak : a kiterjesztési és intenciós módszer , az elnevezés működési módja, a hiányos jelek doktrínája, a tömör jelölők fogalma stb. A logikai szemantikában létrehozott kifejezések jelentésének és értékének szemantikai elemzésének módszerei minden esélye megvan arra, hogy a természetes nyelvek elemzésére alkalmazzák . Ezeket a módszereket azonban végső esetben nem tartják szükségesnek. Figyelembe kell venni a természetes nyelvi kifejezések sajátos nyelvi tulajdonságait , amelyek jelentése a fogyasztás kontextusától, a kommunikatív tulajdonságoktól, az anyanyelvi beszélő előfeltevéseitől és egyéb okoktól is függ [1] .
Logikai szemantika fejlesztése
A progresszív logikai szemantika H. Frege munkáihoz nyúlik vissza . Mindazonáltal a logikai szemantika, mint a természettudomány speciális szekciójának tanulmányozását a 30-as évek elejére kell datálni, amikor is megjelentek A. Tarsky munkái , nevezetesen "Az igazság fogalma a formalizált nyelvekben" (1935) című alapműve. ). 1942-ben?1947-ben. megjelenik R. Carnap [1] "Research on Semantics" című háromkötetes kiadása .
Logikák és módszerek eléréseA háború utáni években jelentős eredményeket értek el a modellek doktrínáiban, különösen a doktrínában , amely a formulák szintaktikai tulajdonságai és modelljeik minősége közötti kapcsolatot vizsgálta. Ebben az időszakban kezdett kialakulni a szemantika a modális logikák , az intuicionista logika, a releváns, nem monoton és sok más szabályos számítási osztály számára. Különféle módszereket fejlesztenek ki az igazsághézagokkal és túlzott becslésekkel, játékelméleti, szituációs és egyéb szemantika megalkotására. Az elmúlt évtizedekben a szemantika és a pragmatika konvergenciáját tervezik . A szemantika megalkotásakor konkrét pragmatikai árnyalatokat biztosítanak: a kifejezések fogyasztásának kontextusait, a kognitív munka alanyának kifejezett tulajdonságait.
Lásd még
- Módszertan
- Metanyelv
- doktrína
- Pragmatika
- Nyelvészet
- Referencia
- nyelvi szimbólum
- Szemantika
Jegyzetek
- ↑ 1 2 3 4 Logikai szemantika . author24.ru. Hozzáférés időpontja: 2017. január 22.
- ↑ P. V. Tavanets . Logikai szemantika és modális logika . - Tudomány, 1967. 01. 01. — 290 p. Archiválva : 2018. február 15. a Wayback Machine -nél
Irodalom
- Carnap R. Jelentősége és szükségessége. M., 1959;
- Hintikka J. Logikai és episztemológiai tanulmányok. M., 1980;
- Montague R. Pragmatika és intenzionális logika. — In: A modális és intenzionális logikák szemantikája. M., 1981;
- Smirnov V. A. A modális és intenzionális logika modern szemantikai tanulmányai.
- Kripke S. A modális logika szemantikai mérlegelése.
- Kripke S. Identitás és szükségszerűség. - A könyvben: Új a külföldi nyelvészetben , köt. XIII. M., 1982;
- Quine W. Referencia és modalitás.
- Lewis K. Jelentéstípusok. — A könyvben: Szemiotika. M., 1983;
- Pyatnitsyn BN Logikai szemantika és modális logika. - M., 1967;
- Smirnova ED Logikai szemantika és a logika filozófiai alapjai. M., 1986;
- Smirnova E. D. A logikai szemantika alapjai. M., 1990;
- A fenébe M. Mi a jelentéselmélet . - A könyvben: Filozófia, logika, nyelv. M., 1987;
- Finn VK Valós következtetések és elfogadható érvelés. - „A tudomány és a technológia eredményei”. Szer.: Valószínűségszámítás, matematikai statisztika , elméleti kibernetika. M., 1988, p. 3-84;
- Carnap R. Bevezetés a szemantikába. Szemantikai tanulmányok. Cambr., 1942, 1. kötet. ÉN;
- Jelena Dmitrijevna Szmirnova. Formalizált nyelvek és a logikai szemantika problémái . - Moszkvai Egyetem Kiadója, 1982-01-01. — 190 p.
Linkek
- Enciklopédia . iphras.ru. Hozzáférés időpontja: 2017. január 22.
 Szótárak és enciklopédiák |
|---|
| Logikák | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filozófia • Szemantika • Szintaxis • Történelem | |||||||||
| Logikai csoportok |
| ||||||||
| Alkatrészek |
| ||||||||
| Logikai szimbólumok listája | |||||||||