Normal view
MARC view
Logics and Falsifications (Record no. 400052)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 04005nam a22004935i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000542934 |
005 - Дата корректировки | |
Контрольное поле | 20210922082334.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr nn 008mamaa |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 160915s2014 gw | s |||| 0|eng d |
020 ## - Индекс ISBN | |
ISBN | 9783319052069 |
-- | 978-3-319-05206-9 |
024 7# - Прочие стандартные номера | |
Стандартный номер | 10.1007/978-3-319-05206-9 |
Источник номера | doi |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000542934 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | Springer |
Служба, преобразующая запись | Springer |
Организация, изменившая запись | RU-ToGU |
050 #4 - Расстановочный код библ. Конгресса | |
Классификационный индекс | BC1-199 |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | HPL |
Источник кода | bicssc |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | PHI011000 |
Источник кода | bisacsh |
082 04 - Индекс Дьюи | |
Индекс Дьюи | 160 |
Номер издания | 23 |
100 1# - Автор | |
Автор | Kapsner, Andreas. |
Роль лиц | author. |
9 (RLIN) | 448245 |
245 10 - Заглавие | |
Заглавие | Logics and Falsifications |
Физический носитель | electronic resource |
Продолж. заглавия | A New Perspective on Constructivist Semantics / |
Ответственность | by Andreas Kapsner. |
260 ## - Выходные данные | |
Место издания | Cham : |
Издательство | Springer International Publishing : |
-- | Imprint: Springer, |
Дата издания | 2014. |
300 ## - Физическое описание | |
Объем | X, 217 p. 18 illus. |
Иллюстрации/тип воспроизводства | online resource. |
336 ## - Тип содержимого | |
Тип содержимого | text |
Content type code | txt |
Source | rdacontent |
337 ## - Средство доступа | |
Средство доступа | computer |
Media type code | c |
Source | rdamedia |
338 ## - Тип носителя | |
Тип носителя | online resource |
Carrier type code | cr |
Source | rdacarrier |
490 1# - Серия | |
Заглавие серии | Trends in Logic, Studia Logica Library, |
ISSN серии | 1572-6126 ; |
№ тома | 40 |
505 0# - Примечание о содержании | |
Содержание | Introduction -- Part 1. Background -- Introduction to Part One -- Constructivism -- Intuitionism -- Gaps, Gluts and Paraconsistency -- Part 2. Falsifications -- Introduction to Part Two -- From Proofs to Verifications, and on to Falsifications -- Falsificationism -- Part 3. Logics -- Introduction to Part Three -- Stage Five: Pure Falsificationism and Dual Intuitionistic Logic -- Stage Two: Expanded Verificationism and the Logic N3 -- Stage Four -- Stage Three: Hybrid Strategies -- Summary -- Appendix. |
520 ## - Аннотация | |
Аннотация | This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into the semantic account is Dummett's own, the many ways in which falsificationism departs quite radically from verificationism are here spelled out in detail for the first time. The volume is divided into three large parts. The first part provides important background information about Dummett’s program, intuitionism and logics with gaps and gluts. The second part is devoted to the introduction of falsifications into the constructive account, and shows that there is more than one way in which one can do this. The third part details the logical effects of these various moves. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics. The author argues that, on balance, the latter are the more promising routes to take. "Kapsner’s book is the first detailed investigation of how to incorporate the notion of falsificatio n into formal logic. This is a fascinating logico-philosophical investigation, which will interest non-classical logicians of all stripes." Graham Priest, Graduate Center, City University of New York and University of Melbourne. |
650 #0 - Тематические рубрики | |
Основная рубрика | Philosophy (General). |
9 (RLIN) | 566367 |
650 #0 - Тематические рубрики | |
Основная рубрика | logic. |
9 (RLIN) | 295753 |
650 #0 - Тематические рубрики | |
Основная рубрика | Linguistics |
Основная подрубрика | Philosophy. |
9 (RLIN) | 310700 |
650 #0 - Тематические рубрики | |
Основная рубрика | Translators (Computer programs). |
9 (RLIN) | 306125 |
650 14 - Тематические рубрики | |
Основная рубрика | Philosophy. |
9 (RLIN) | 138650 |
650 24 - Тематические рубрики | |
Основная рубрика | Logic. |
9 (RLIN) | 295753 |
650 24 - Тематические рубрики | |
Основная рубрика | Language Translation and Linguistics. |
9 (RLIN) | 304148 |
650 24 - Тематические рубрики | |
Основная рубрика | Philosophy of Language. |
9 (RLIN) | 309813 |
710 2# - Другие организации | |
Организация/юрисдикция | SpringerLink (Online service) |
9 (RLIN) | 143950 |
773 0# - Источник информации | |
Название источника | Springer eBooks |
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
Унифицированное заглавие | Trends in Logic, Studia Logica Library, |
9 (RLIN) | 312728 |
856 40 - Электронный адрес документа | |
URL | <a href="http://dx.doi.org/10.1007/978-3-319-05206-9">http://dx.doi.org/10.1007/978-3-319-05206-9</a> |
912 ## - Coursera for Campus: онлайн курсы для ТГУ | |
Coursera for Campus: онлайн курсы для ТГУ | ZDB-2-SMA |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 400052 |
No items available.