Standard

Lawvere : Pursuit of Objectivity. / Rodin, Andrei.

Axiomatic Method and Category Theory. Springer Nature, 2014. стр. 99-143 (Synthese Library; Том 364).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

Harvard

Rodin, A 2014, Lawvere: Pursuit of Objectivity. в Axiomatic Method and Category Theory. Synthese Library, Том. 364, Springer Nature, стр. 99-143. https://doi.org/10.1007/978-3-319-00404-4_5

APA

Rodin, A. (2014). Lawvere: Pursuit of Objectivity. в Axiomatic Method and Category Theory (стр. 99-143). (Synthese Library; Том 364). Springer Nature. https://doi.org/10.1007/978-3-319-00404-4_5

Vancouver

Rodin A. Lawvere: Pursuit of Objectivity. в Axiomatic Method and Category Theory. Springer Nature. 2014. стр. 99-143. (Synthese Library). https://doi.org/10.1007/978-3-319-00404-4_5

Author

Rodin, Andrei. / Lawvere : Pursuit of Objectivity. Axiomatic Method and Category Theory. Springer Nature, 2014. стр. 99-143 (Synthese Library).

BibTeX

@inbook{500a55c5a0594d7e836208fe6b5699f2,
title = "Lawvere: Pursuit of Objectivity",
abstract = "The author{\textquoteright}s attitude to foundations of mathematics, which he describes as commonsensical, assumes a permanent interaction between the foundations and the current mathematical practice (“applications”). It is opposed in this sense to the “Bolzano-Frege-Peano-Russell tradition” (making part of today{\textquoteright}s Analytic philosophy), which attempts to provide Formal Axiomatic Method with a philosophical underpinning disregarding its problematic status in the context of the current mathematical research.",
keywords = "Category Theory, Internal Logic, Mathematical Object, Objective Logic, Subjective Logic",
author = "Andrei Rodin",
note = "Publisher Copyright: {\textcopyright} 2014, Springer International Publishing Switzerland.",
year = "2014",
doi = "10.1007/978-3-319-00404-4_5",
language = "English",
isbn = "978-3-319-37551-9",
series = "Synthese Library",
publisher = "Springer Nature",
pages = "99--143",
booktitle = "Axiomatic Method and Category Theory",
address = "Germany",

}

RIS

TY - CHAP

T1 - Lawvere

T2 - Pursuit of Objectivity

AU - Rodin, Andrei

N1 - Publisher Copyright: © 2014, Springer International Publishing Switzerland.

PY - 2014

Y1 - 2014

N2 - The author’s attitude to foundations of mathematics, which he describes as commonsensical, assumes a permanent interaction between the foundations and the current mathematical practice (“applications”). It is opposed in this sense to the “Bolzano-Frege-Peano-Russell tradition” (making part of today’s Analytic philosophy), which attempts to provide Formal Axiomatic Method with a philosophical underpinning disregarding its problematic status in the context of the current mathematical research.

AB - The author’s attitude to foundations of mathematics, which he describes as commonsensical, assumes a permanent interaction between the foundations and the current mathematical practice (“applications”). It is opposed in this sense to the “Bolzano-Frege-Peano-Russell tradition” (making part of today’s Analytic philosophy), which attempts to provide Formal Axiomatic Method with a philosophical underpinning disregarding its problematic status in the context of the current mathematical research.

KW - Category Theory

KW - Internal Logic

KW - Mathematical Object

KW - Objective Logic

KW - Subjective Logic

UR - http://www.scopus.com/inward/record.url?scp=85117099102&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-00404-4_5

DO - 10.1007/978-3-319-00404-4_5

M3 - Chapter

AN - SCOPUS:85117099102

SN - 978-3-319-37551-9

T3 - Synthese Library

SP - 99

EP - 143

BT - Axiomatic Method and Category Theory

PB - Springer Nature

ER -

ID: 92471558