1. Books
  2. Social and Human Sciences
  3. Philosophy
  4. Logic
  5. Kategorialnaja logika

Kategorialnaja logika

Категориальная логика
Kategorialnaja logika
Author(s)
Language
Measurements
210/140 mm
Publisher
Publication year
Format
Pages
194
ISBN
978-5-85593-145-7
 
Sold out (not kept in inventory any longer)
Notify when available Add to favourites
Монография посвящена исследованию категорных дедуктивных систем, представляющих собой логическое исчисление, в котором наряду с формулами присутствуют коды доказательств, преобразуемые по определенным правилам вывода, и операции над ними. Эти дедуктивные системы превращаются в категории в том случае, если мы задаем систему определенных тождеств для доказательств, т.е. категория - это дедуктивная система с записями о выводимости и правилами их отождествления. В монографии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей (в частности, теории доказательств). Значительное внимание уделяется систематическому построению исчислений категорной логики и теоретико-категорных семантик для систем неклассической логики, призванных заменить теоретико-множественные и алгебраические семантики этих систем. В настоящее время монография подобной направленности в мировой литературе отсутствует. Книга представляет интерес для логиков, философов и математиков и может...
Monografija posvjaschena issledovaniju kategornykh deduktivnykh sistem, predstavljajuschikh soboj logicheskoe ischislenie, v kotorom narjadu s formulami prisutstvujut kody dokazatelstv, preobrazuemye po opredelennym pravilam vyvoda, i operatsii nad nimi. Eti deduktivnye sistemy prevraschajutsja v kategorii v tom sluchae, esli my zadaem sistemu opredelennykh tozhdestv dlja dokazatelstv, t.e. kategorija - eto deduktivnaja sistema s zapisjami o vyvodimosti i pravilami ikh otozhdestvlenija. V monografii kategornaja logika rassmatrivaetsja s tochki zrenija neklassicheskoj logiki i ee potrebnostej (v chastnosti, teorii dokazatelstv). Znachitelnoe vnimanie udeljaetsja sistematicheskomu postroeniju ischislenij kategornoj logiki i teoretiko-kategornykh semantik dlja sistem neklassicheskoj logiki, prizvannykh zamenit teoretiko-mnozhestvennye i algebraicheskie semantiki etikh sistem. V nastojaschee vremja monografija podobnoj napravlennosti v mirovoj literature otsutstvuet. Kniga predstavljaet interes dlja logikov, filosofov i matematikov i mozhet...
Category
EAN
9785855931457
BIC category:
HPL
Alternative ISBN
5-85593-145-5
More like this
  • Ju. V. Ivlev
    Publication year: 2023
    Paperback
    19.00 €
    17.27 € w/o VAT
  • Vinogradov S. N.
    Publication year: 2022
    Hardcover
    38.00 €
    34.55 € w/o VAT
  • Lepekhin V.
    Publication year: 2021
    Hardcover
    40.00 €
    36.36 € w/o VAT
  • Smirnov Andrej Vadimovich
    Publication year: 2021
    Hardcover
    40.00 €
    36.36 € w/o VAT
  • Ljubimova N A
    Publication year: 2020
    Paperback
    23.00 €
    20.91 € w/o VAT
  • Ju. V. Ivlev
    Publication year: 2019
    Paperback
    27.00 €
    24.55 € w/o VAT
  • Markov Aleksandr Vladimirovich
    Publication year: 2019
    Paperback
    22.00 €
    20.00 € w/o VAT
  • Kostjukov Leonid Vladimirovich
    Publication year: 2023
    Hardcover
    34.00 €
    30.91 € w/o VAT
  • Kant Immanuel
    Publication year: 2022
    Hardcover
    40.00 €
    36.36 € w/o VAT
  • Rudenko Aleksandr Viktorovich
    Publication year: 2021
    Paperback
    20.00 €
    18.18 € w/o VAT