Логічна семантика на основі повідомлень та інтенціональна лінгвістична семантика Пауля Грайса. У статті розглянуто нову логічну семантику для класичної пропозиційної логіки, яка постулює, що пропозиційна формула покликається на особливу структуру, а саме: дерево повідомлень. Воно визначає істиннісні значення елементів пропозиційної формули. Для створення концепції такої семантики використано філософсько-лінгвістичну теорію Г.П. Грайса. Грайс висунув гіпотезу, згідно із якою значення акту мовлення більшою мірою визначає інтенцію мовця, ніж “словникове” значення виразів. Мовець може мати певні приховані цілі щодо свого акту мовлення. Наприклад, він може маніпулювати своєю аудиторією для досягнення політичної чи економічної мети. Таким чином, справжнє значення виразів, які він використовує, може суперечити буквальним, “словниковим” значенням. Отож, щоб зрозуміти семантику його виразів, необхідно брати до уваги його справжні інтенції. Повідомлення – це текстове вираження відповідних інтенції. Стверджується, що повідомлення можуть виражати різноманітні мета-правила, які стосуються пропозиційної формули на яке покликається їхнє “дерево”. Повідомлення можуть взаємодіяти як між собою, так і з повідомленнями інших дерев, утворюючи специфічні “алгебри”. Сп&ецифікуючи дані “алгебри”, можна на основі описаної семантики створювати інші види пропозиційних логік. Інтерпретуючи повідомлення та відповідним чином модифікуючи істиннісні значення пропозиційного виразу, можна емулювати ситуацію описану Грайсом. П&роте, варто визнати, що ідея такої логічної семантики значно ширша, ніж просто емуляція однієї окремої лінгвістичної теорії.
