Індекс рубрикатора НБУВ: Л782.320.4 + Л785-3

Рубрики:

Хімічне очищення

Мила і мийні засоби

Шифр НБУВ: Ж24320 Пошук видання у каталогах НБУВ 

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