Wynikanie semantyczno w rachunku kwantyfikatorów

• Authors: Kawecki, Wojciech

Title variants

PL

Семантическое последстние в исчислении квантификаторов

Abstracts

RU

Труд представляет собой некоторый метод формализации логи- ческого следствия на основе исчисления квантификаторов. Этот ме- тод, основанный Бетом, является очень удобным инструментом, по- зволяющим в большинстве случаев отрицать исчисление или же обо- сновывать его путвм нахоидвния контрмодвли, или we путём доказа- тельства, что контрмодели нет. Настоящая работа осуществляет некоторую систематизацию проб- лемы семантического следствия. Начальный фрагмент посвящён не- которым важным семантическим понятиям в исчислении квантифика- торов. Затем приведены правила графика семантических диаграмм. Рассмотрены танжа вопросы сопоставления формул с тан называемыми деревьями. В дальнейших рассуждениях были подданы дискуссии типы графиков закрытых формул исчисления нвантифинаторов. Занлючи- 1вльнан часть работы содержит импозантные примеры для отличи- ыльмых типов графиков, кроме того, каждый пример графически про- иллюстрирован соответствующим ему деревом.

• Publisher: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
• Journal: Acta Universitatis Lodziensis. Folia Philosophica. Ethica – Aesthetica – Practica
• Year: 1981
• Volume: 01

Dates

published

1981

Contributors

author

Kawecki, Wojciech

other

Instytut Filozofii, Uniwersytet Łódzki

Identifiers

URI

http://hdl.handle.net/11089/8163