1. Libros
  2. Ciencias humanas y sociales
  3. Filosofía
  4. Lógicas
  5. Kategorialnaja logika

Kategorialnaja logika

Категориальная логика
Kategorialnaja logika
Autor(s)
Idioma
Mediciones
210/140 mm
Año de publicación
Páginas
194
ISBN
978-5-85593-145-7
 
Producto no disponible
Notificar cuando disponible Agregar a los favoritos
Монография посвящена исследованию категорных дедуктивных систем, представляющих собой логическое исчисление, в котором наряду с формулами присутствуют коды доказательств, преобразуемые по определенным правилам вывода, и операции над ними. Эти дедуктивные системы превращаются в категории в том случае, если мы задаем систему определенных тождеств для доказательств, т.е. категория - это дедуктивная система с записями о выводимости и правилами их отождествления. В монографии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей (в частности, теории доказательств). Значительное внимание уделяется систематическому построению исчислений категорной логики и теоретико-категорных семантик для систем неклассической логики, призванных заменить теоретико-множественные и алгебраические семантики этих систем. В настоящее время монография подобной направленности в мировой литературе отсутствует. Книга представляет интерес для логиков, философов и математиков и может...
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...
Categoría
EAN
9785855931457
Clasificación de la biblioteca BIC:
HPL
Alternative ISBN
5-85593-145-5
Productos similares
  • Ju. V. Ivlev
    Año de publicación: 2023
    Encuadernación en rústica
    19.00 €
    17.27 € sin IVA
  • Vinogradov S. N.
    Año de publicación: 2022
    Tapa dura
    38.00 €
    34.55 € sin IVA
  • Lepekhin V.
    Año de publicación: 2021
    Tapa dura
    40.00 €
    36.36 € sin IVA
  • Smirnov Andrej Vadimovich
    Año de publicación: 2021
    Tapa dura
    40.00 €
    36.36 € sin IVA
  • Ljubimova N A
    Año de publicación: 2020
    Encuadernación en rústica
    23.00 €
    20.91 € sin IVA
  • Ju. V. Ivlev
    Año de publicación: 2019
    Encuadernación en rústica
    27.00 €
    24.55 € sin IVA
  • Markov Aleksandr Vladimirovich
    Año de publicación: 2019
    Encuadernación en rústica
    22.00 €
    20.00 € sin IVA
  • Kostjukov Leonid Vladimirovich
    Año de publicación: 2023
    Tapa dura
    34.00 €
    30.91 € sin IVA
  • Kant Immanuel
    Año de publicación: 2022
    Tapa dura
    40.00 €
    36.36 € sin IVA
  • Rudenko Aleksandr Viktorovich
    Año de publicación: 2021
    Encuadernación en rústica
    20.00 €
    18.18 € sin IVA