Логічна прагматика — це розділ логічної семіотики, який вивчає відношення між мовними знаками та носіями мови в структурі логічної теорії.

Зверніть увагу на те, що треба розрізняти поняття: «семантичне значення знака» і «прагматичне значення знака».

Семантичне значення знака є сталим і незмінним у різних контекстах. На відміну від нього, прагматичне значення є відносним: воно залежить від знань, вірувань, бажань, намірів конкретної людини, а також від позамовного контексту (наприклад, від місця, часу, фізичних, культурних, історичних обставин промовляння якогось мовного вислову).

♦ У кримінології навіть були сформульовані прагматичні парадокси,які пов'язані саме з прагматичним значенням того чи іншого вислову. Одним із таких парадоксів є парадокс суспільної небезпечності діяння.

У соціологічному аспекті термін «суспільна небезпечність» означає таку властивість діяння, яка пов'язана з актуальним або потенційним руйнуванням життєво важливих соціальних структур. У цьому смислі термін «злочин» позначає будь-які дії, які чинять або можуть чинити суттєву шкоду інтересам суспільства та його членам.

У правовому аспекті термін «злочин» означає тільки те, що заборонено законом під страхом кримінального покарання. У такому контексті висловлювання «злочин є суспільно небезпечним діянням» перетворюється у висловлювання: «Діяння, яке заборонене кримінальним законодавством, є суспільно небезпечним* Таким чином, термін «суспільно небезпечне діяння» у правовому контексті змінює свій денотат та смисл і набуває явно вираженого юридичного характеру. Усе це свідчить про те, що терміни «злочин» і «суспільно небезпечне діяння» мають різні значення в соціологічному і правовому контекстах. Парадокс суспільної небезпечності діяння виникає саме у випадку, коли ці контексти змішуються.

Логічна семантика", логічний синтаксис", "логічна прагматика" є розділами металогіки, яка вивчає логічні числення і формалізовані логічні теорії. Металогіка (метатеорія) здійснює рефлексивний аналіз логічних теорій (формальних систем знання), створюючи для цього спеціальну систему понять — "метасимвол", "метатермін", "метависловлювання", "метаформула" та ін.

Окрім вимірів знакового процесу, розрізняють також його рівні.На першому рівні семіозису інтерпретатор безпосередньо включений у знаковий процес. На другому рівні він абстрагується від своєї участі у знаковому процесі та робить спробу дослідити його структуру на іншому, вищому теоретичному рівні. Таких рівнів семіозису може бути нескінченна кількість. Кожен з них представляє різні рівні абстракції при розгляді одного й того ж знакового процесу.

Для розрізнення рівнів аналізу знакового процесу в логіці запроваджуються два поняття:

♦ об'єктна мова;

♦ метамова.