Szintaxis (logikai)

A szintaxis (logikában) (logikai szintaxis) a formális logika egy része, amely a kifejezések helyes felépítését vizsgálja , függetlenül attól, hogy ezeknek a kifejezéseknek van-e logikai értéke, és ha igen, melyik.

Általában szembeállítják a szemantikával (a formális logika egy része, amely azt vizsgálja, hogy a jól formált kifejezések milyen feltételek mellett rendelkeznek valamilyen logikai értékkel).

A 20. század utolsó negyedében ( R. Montagu , D. Scott és mások munkáinak hatására ) a jelzett bináris oppozíció átadta helyét a hármas oppozíciónak . A szintaxis és a szemantika szemben áll a pragmatikával - a formális logika egy olyan részével, amely a helyes értelmes kifejezések logikai jelentésének függőségét vizsgálja az "index" elemekkel kifejezett pragmatikai változók logikai jelentésétől (vagyis az I , te elemek itt , most ).

Lásd még