Modal Homotopy Type Theory

David Corfield

0

Balsavo 0

Pilna kaina: 77.94 €   10% nuolaida perkant internetu   Sutaupote: 7.79 €

70.15 €

Ypatybės ir aprašymas
ISBN9780198853404
AutoriusDavid Corfield
Leidimo metai2020
LeidėjasOUP Oxford
Puslapių192

"The old logic put thought in fetters, while the new logic gives it wings."

For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic - modal homotopy type theory.

Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy offers an introduction to this new language and its modal extension, illustrated through innovative applications of the calculus to language, metaphysics, and mathematics.

The chapters build up to the full language in stages, right up to the application of modal homotopy type theory to current geometry. From a discussion of the distinction between objects and events, the intrinsic treatment of structure, the conception of modality as a form of general variation to the representation of constructions in modern geometry, we see how varied the applications of this powerful new language can be.

Komentarai (0)

Rašykite komentarą apie šią knygą

Vardas*

El. Paštas

Atsiliepimas*

* - pažymėtus laukus užpilyti būtuna

loading
Panašios knygos
Filosofija Vilniuje XIX amžiaus pirmoje pusėje, Dalius Viliūnas

Dalius Viliūnas

Filosofija Vilniuje XIX amžiaus...

Pilna kaina: 13.25 €

5 % nuolaida perkant internetu

12.59 €

Šiuolaikinė politinė filosofija, Sudarė Janos Kis

Sudarė Janos Kis

Šiuolaikinė politinė filosofija

Pilna kaina: 5.80 €

5 % nuolaida perkant internetu

5.51 €

Smurtas, Slavoj Žižek

Slavoj Žižek

Smurtas

Pilna kaina: 3.00 €

5 % nuolaida perkant internetu

2.85 €

Politikos filosofijos įvadas, Jonathan Wolff

Jonathan Wolff

Politikos filosofijos įvadas

Pilna kaina: 8.00 €

5 % nuolaida perkant internetu

7.60 €

Antropologija pragmatiniu požiriu, Immanuel Kant

Immanuel Kant

Antropologija pragmatiniu požiriu

Pilna kaina: 13.30 €

5 % nuolaida perkant internetu

12.63 €

Filosofija ir teologija Martino Heideggerio mąstyme, Philippe Capelle-Dumont

Philippe Capelle-Dumont

Filosofija ir teologija Martino...

Pilna kaina: 10.60 €

5 % nuolaida perkant internetu

10.07 €

Transendencijos tyla. Pamatiniai filosofijos klausimai, Arvydas Šliogeris

Arvydas Šliogeris

Transendencijos tyla. Pamatiniai...

Pilna kaina: 13.20 €

5 % nuolaida perkant internetu

12.54 €

Šiaudiniai šunys. Apmąstymai apie žmones ir kitus gyvūnus, John Gray

John Gray

Šiaudiniai šunys. Apmąstymai...

Pilna kaina: 8.80 €

5 % nuolaida perkant internetu

8.36 €

Repetition and Philosophical Crumbs, Kierkegaard, Soren

Kierkegaard, Soren

Repetition and Philosophical...

Pilna kaina: 10.80 €

10 % nuolaida perkant internetu

9.72 €

Two Fundamental Problems of Ethics, Schopenhauer, Arthur

Schopenhauer, Arthur

Two Fundamental Problems of...

Pilna kaina: 12.00 €

10 % nuolaida perkant internetu

10.80 €

Prisijungti

Krepšelis

Krepšelis kol kas tuščias

Pagalba perkančiam

pagalba@humanitas.lt

10-18 val. darbo dienomis

Facebook draugai

close
SIŲSTI
email

close

Filosofija Vilniuje XIX amžiaus pirmoje pusėje

ISBN9789955868651
AutoriusDalius Viliūnas
Leidimo metai2014
Puslapių328
Leidinio kalbalietuvių kalba
Pristatymo terminas Lietuvoje 1-3 darbo dienos

Šiuolaikinė politinė filosofija

ISBN998677683X
AutoriusSudarė Janos Kis
Leidimo metai1998
Puslapių557
Leidinio kalbalietuvių kalba
Pristatymo terminas Lietuvoje 1-3 darbo dienos

Smurtas

ISBN9786099523507
AutoriusSlavoj Žižek
Leidimo metai2010
Puslapių232
Leidinio kalbalietuvių kalba
Pristatymo terminas Lietuvoje 1-3 darbo dienos

Politikos filosofijos įvadas

ISBN9785417010118
AutoriusJonathan Wolff
Leidimo metai2010
Puslapių254
Leidinio kalbalietuvių kalba
Pristatymo terminas Lietuvoje 1-3 darbo dienos

Antropologija pragmatiniu požiriu

ISBN9789986094043
AutoriusImmanuel Kant
Leidimo metai2010
Puslapių300
Leidinio kalbalietuvių kalba
Pristatymo terminas Lietuvoje 1-3 darbo dienos

Filosofija ir teologija Martino Heideggerio mąstyme

ISBN9789955656951
AutoriusPhilippe Capelle-Dumont
Leidimo metai2010
Puslapių305
Leidinio kalbalietuvių kalba
Pristatymo terminas Lietuvoje 1-3 darbo dienos

Transendencijos tyla. Pamatiniai filosofijos klausimai

ISBN9789986094036
AutoriusArvydas Šliogeris
Leidimo metai2011
Puslapių639
Leidinio kalbalietuvių kalba
Pristatymo terminas Lietuvoje 1-3 darbo dienos

Šiaudiniai šunys. Apmąstymai apie žmones ir kitus gyvūnus

ISBN9789986342427
AutoriusJohn Gray
Leidimo metai2010
Puslapių232
Leidinio kalbalietuvių kalba
Pristatymo terminas Lietuvoje 1-3 darbo dienos

Repetition and Philosophical Crumbs

ISBN9780199214198
AutoriusKierkegaard, Soren
Leidimo metai2009
Puslapių224
Leidinio kalbaanglų kalba
Pristatymo terminas Lietuvoje 1-3 darbo dienos

Two Fundamental Problems of Ethics

ISBN9780199297221
AutoriusSchopenhauer, Arthur
Leidimo metai2010
Puslapių352
Leidinio kalbaanglų kalba
Pristatymo terminas Lietuvoje 1-3 darbo dienos