Semantică booleană

Semantica logică  ( „raționament”, „gând”, „rațiune” ) este o secțiune a logicii care studiază relația simbolurilor lingvistice cu obiectele pe care le desemnează și conținutul pe care le exprimă [1] .

Semantica logică ca știință

Sistem formal

Semantica ca știință exigentă poate fi aplicată numai limbilor care au o textură și un sistem formal stabilit [1] [2] . Semantica logică rezolvă problema găsirii unor modalități și metode de interpretare a sistemelor formale , astfel încât acestea acționează ca efecte ale formalizării doctrinelor semnificative. În semantica logică, se recunoaște teoria referinței , bazată pe conceptul de adevăr , și teoria sensului. Clarificarea conceptului de „sensibilitate” se confruntă cu probleme fundamentale , stimulate de versatilitatea acestui concept.

Analiza semantică

Există diferite moduri de analiză semantică : metoda de extensie și intensitate , modul de funcționare a denumirii, doctrina semnelor incomplete, conceptul de designatori solidi etc. Metodele de analiză semantică a sensului și valorii expresiilor create în semantica logică au toate şansele de a fi aplicate la analiza limbilor naturale . Cu toate acestea, aceste metode nu sunt considerate necesare în cazul final. Este necesar să se țină seama de proprietățile lingvistice specifice ale expresiilor limbajului natural, ale căror semnificații depind și de contextul de consum, de calitățile comunicative, de presupozițiile unui vorbitor nativ și de alte motive [1] .

Dezvoltarea semanticii logice

Semantica logică progresivă se întoarce la lucrările lui H. Frege . Cu toate acestea, studiul semanticii logice ca secțiune specială a științelor naturii ar trebui datat la începutul anilor 30, când au început să apară lucrările lui A. Tarsky , și anume lucrarea sa de bază „Conceptul adevărului în limbaje formalizate” (1935). ). În 1942?1947. este publicată ediția în trei volume „Cercetări în semantică” de R. Carnap [1] .

Realizarea logicii și metodelor

În anii postbelici, s-au obținut rezultate semnificative în doctrinele modelelor, în special în doctrina , care a luat în considerare relația dintre calitățile sintactice ale formulelor și calitățile modelelor acestora. În această perioadă a început să se formeze semantica pentru diferite tipuri de logici modale , logica intuiționistă , relevantă, nemonotonă și multe alte clase de calcule regulate. Sunt în curs de dezvoltare diverse metode de construire a semanticii cu lacune de adevăr și estimări superioare, teoretice de joc, situaționale și altele. În ultimele decenii, este planificată o convergență a semanticii și pragmaticii . La construirea semanticii sunt oferite nuanțe pragmatice specifice: contexte pentru consumul de expresii, proprietăți explicite ale subiectului muncii cognitive.

Vezi și

Note

  1. ↑ 1 2 3 4 Semantică logică . autor24.ru. Data accesului: 22 ianuarie 2017.
  2. ↑ P. V. Tavanets . Semantică logică și logică modală . - Știință, 1967-01-01. — 290 p. Arhivat pe 15 februarie 2018 la Wayback Machine

Literatură

  1. Carnap R.  Semnificaţie şi necesitate. M., 1959;
  2. Hintikka J.  Studii logice și epistemologice. M., 1980;
  3. Montague R.  Pragmatics and Intensional Logic. — În: Semantica logicii modale și intensionale. M., 1981;
  4. Smirnov V. A. Studii semantice moderne ale logicii modale și intensionale.
  5. Kripke S.  Considerarea semantică a logicii modale.
  6. Kripke S.  Identitate și necesitate. - În cartea: Noutăți în lingvistica străină , vol. XIII. M., 1982;
  7. Quine W.  Referință și modalitate.
  8. Lewis K.  Tipuri de sens. — În cartea: Semiotica. M., 1983;
  9. Pyatnitsyn BN  Semantică logică și logică modală. - M., 1967;
  10. Smirnova ED  Semantică logică și fundamente filozofice ale logicii. M., 1986;
  11. Smirnova E. D.  Fundamentele semanticii logice. M., 1990;
  12. La naiba M.  Care este teoria sensului . - În cartea: Filosofie, logică, limbaj. M., 1987;
  13. Finn VK  Concluzii plauzibile și raționament plauzibil. - „Rezultatele științei și tehnologiei”. Ser.: Teoria probabilității, statistică matematică , cibernetică teoretică. M., 1988, p. 3-84;
  14. Carnap R.  Introducere în semantică. Studii de semantică. Cambr., 1942, voi. eu;
  15. Elena Dmitrievna Smirnova. Limbaje formalizate și probleme de semantică logică . - Editura Universității din Moscova, 1982-01-01. — 190 p.

Link -uri

  • Enciclopedie . iphras.ru. Data accesului: 22 ianuarie 2017.
  Accesați articolul Wikidata  Dicționare și enciclopedii
 Logici
Filosofie • Semantică • Sintaxă • Istorie
Grupuri logice
logica clasica
logica matematica
Logica non-clasică
Logica filozofică
Componente
Lista simbolurilor booleene