The Truth of Proof: A Hegelian Perspective on Constructivism

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F19%3A00511708" target="_blank" >RIV/67985955:_____/19:00511708 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1007/978-3-030-21313-8_7" target="_blank" >http://dx.doi.org/10.1007/978-3-030-21313-8_7</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-21313-8_7" target="_blank" >10.1007/978-3-030-21313-8_7</a>

Result language

angličtina

Original language name

The Truth of Proof: A Hegelian Perspective on Constructivism

Original language description

In the constructivist movement, which started with Brouwer’s attack on the principles of classical logic and mathematics, the history of mathematics seems to repeat itself in a specific, self-conscious way. The main objective of this paper is to describe this approach by adopting the phenomenological method of Hegel. Its starting point consists in looking at knowledge as a continuous, yet painful, process—the Calvary of the Spirit—with its stations corresponding to the naive, direct concepts of experience as based on sense certainty or belief in the independent realms of objects and their transformation into more sophisticated, socially charged theories. The signs of this advance are the patterns of self-consciousness, such as Cantor’s diagonal results, adopted by constructivism in a different but still powerful way. The key concept against which the progress of this development will be measured within the constructivist movement is the concept of proof, particularly with respect to Gödel theorems and the resulting split of knowledge into proof and truth. I will read this split, with the help of Lorenzen and Brandom, as a relative differentiation between two co-dependent aspects of self-consciousness that are to be prospectively conceived as two idealized dialogue partners.

Czech name

—

Czech description

—

Type

C - Chapter in a specialist book

CEP classification

—

OECD FORD branch

60301 - Philosophy, History and Philosophy of science and technology

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2019

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Book/collection name

Constructive Semantics: Meaning in Between Phenomenology and Constructivism

ISBN

978-3-030-21312-1

Number of pages of the result

24

Pages from-to

149-172

Number of pages of the book

193

Publisher name

Springer

Place of publication

Cham

UT code for WoS chapter

—