|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
67330 |
| 005 |
20231031073442.0 |
| 010 |
|
|
|a 5855931455
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\71695
|
| 090 |
|
|
|a 67330
|
| 100 |
|
|
|a 20040915d2005 k y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y z 001zy
|
| 200 |
1 |
|
|a Категорная логика
|f В. Л. Васюков
|g Институт философии РАН
|
| 210 |
|
|
|a Москва
|c АНО Институт логики
|d 2005
|
| 215 |
|
|
|a 194 с.
|
| 320 |
|
|
|a Библиогр.: с. 185-190.
|
| 320 |
|
|
|a Предметный указатель: с. 191-194.
|
| 330 |
|
|
|a Монография посвящена исследованию категорных дедуктивных систем, представляющих собой логическое исчисление, в котором наряду с формулами присутствуют коды доказательств, преобразуемые по определенным правилам вывода, и операции над ними. Эти дедуктивные системы превращаются в категории в том случае, если мы задаем систему определенных тождеств для доказательств, т.е. категория - это дедуктивная система с записями о выводимости и правилами их отождествления. В монографии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей (в частности, теории доказательств). Значительное внимание уделяется систематическому построению исчислений категорной логики и теоретико-категорных семантик для систем неклассической логики, призванных заменить теоретико-множественные и алгебраические семантики этих систем. В настоящее время монография подобной направленности в мировой литературе отсутствует. Книга представляет интерес для логиков, философов и математиков и может быть использована в исследовании теоретических и метатеоретических вопросов современной логики.
|
| 610 |
1 |
|
|a логика
|
| 610 |
1 |
|
|a категории
|
| 610 |
1 |
|
|a категорная логика
|
| 610 |
1 |
|
|a дедуктивные системы
|
| 610 |
1 |
|
|a дедуктивные категории
|
| 610 |
1 |
|
|a сопряжение
|
| 610 |
1 |
|
|a когерентность
|
| 610 |
1 |
|
|a логические исчисления
|
| 610 |
1 |
|
|a секвенции
|
| 610 |
1 |
|
|a ситуции
|
| 610 |
1 |
|
|a топосы
|
| 686 |
|
|
|a Ю4
|v LBC/SL-A
|2 rubbk
|
| 700 |
|
1 |
|a Васюков
|b В. Л.
|g Владимир Леонидович
|
| 712 |
0 |
2 |
|a Российская академия наук
|b Институт философии (ИФ РАН)
|2 stltpush
|3 (RuTPU)RU\TPU\col\147
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20040915
|g PSBO
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20071016
|g PSBO
|
| 900 |
|
|
|a Логика и теория аргументации
|
| 942 |
|
|
|c BK
|
