Mostra i principali dati dell'item
Исследование логических систем [сборник статей]
dc.contributor.author | Таванец П.В. (ред.) | |
dc.date.accessioned | 2016-03-24T14:01:34Z | |
dc.date.available | 2016-03-24T14:01:34Z | |
dc.date.issued | 1970 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/78138 | |
dc.description.abstract | В книге исследуются взаимоотношения формально-логических систем и способы их классификации. Авторы сборника анализируют такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем многозначной логики и др. Книга открывается статьей известного советского логика и математика С. А. Яновской, памяти которой посвящен данный сборник. В статье рассматривается соотношение математической строгости и критерия практики в творческом развитии математики. Другие сборники сектора логики Института Философии АН СССР: Применение логики в науке и технике / Отв. ред. П.В. Таванец. М.: Наука, 1960. Философские вопросы современной формальной логики / Отв. ред. П.В. Таванец. М.: Изд. АН СССР, 1962. Логическая семантика и модальная логика / Отв. ред. П.В. Таванец. М.: Наука, 1967. Исследование логических систем / Отв. ред. П.В. Таванец. М.: Наука, 1970. Неклассическая логика / Отв. ред. П.В. Таванец. М.: Наука, 1970. Теория логического вывода / Отв. ред. П.В. Таванец. М.: Наука, 1973. Философия и логика / Отв. ред. П.В. Таванец, В.А. Смирнов. М.: Наука, 1974. Методы логического анализа / Отв. ред. П.В. Таванец. М.: Наука, 1977. Логический вывод / Отв. ред. В.А. Смирнов. М.: Наука, 1979. Семантика модальных и интенсиональных логик / Отв. ред. В.А. Смирнов. М.: Прогресс, 1981. (Перевод с англ.) Модальные и интенсиональные логики и их применение к проблемам методологии науки / Отв. ред. В.А. Смирнов. М.: Наука, 1984. Логика научного познания (Актуальные проблемы) / Отв. ред. Д.П. Горский. М.: Наука, 1987. Синтаксические и семантические исследования неэкстенсиональных логик / Отв. ред. В.А. Смирнов. М.: Наука, 1989. Исследования по неклассическим логикам / Отв. ред. В.А. Смирнов. М.: Наука, 1989. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Исследование логических систем [сборник статей] | |
dc.type | other | |
dc.identifier.aich | Z7ASIJILFOVIGYS4IBMECTKJZVADMXNI | |
dc.identifier.crc32 | 8AFD3101 | |
dc.identifier.doi | ||
dc.identifier.edonkey | F0F49C7FD8EC3B5CE69DA0F06F62C681 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 1406456 | |
dc.identifier.md5 | e825d26c329d56dae0a5e7e8992d2050 | |
dc.identifier.sha1 | P6J6OXKVO76X5253QBLG6NO3LBH5IHAC | |
dc.identifier.tth | DUFU4BBDZ7H2PPAMDTUFEQV5577ORYPJGQIPAGQ |
Files in questo item
Questo item appare nelle seguenti collezioni
-
Libgen [81666]