If you made any changes in Pure these will be visible here soon.

Research Output 2012 2019

Filter
Article
Type Theory
Classical Logic
Set Theory
Quantification
Philosophy
Philosophy of Mathematics
Foundations of Mathematics
Constructivist
Axiom
Isomorphism
2017

ОСНОВАНИЯ МАТЕМАТИКИ: ТЕОРИЯ МНОЖЕСТВ VS. ТЕОРИИ ТИПОВ

Ламберов, Л. Д., 2017, In : Философия науки. 1 (72), p. 41-60 20 p.

Research output: Contribution to journalArticleResearchpeer-review

Type Theory
Set Theory
Homotopy Theory
Homotopy Type
Ontological
Observer
Methodological Problems
Formal Semantics
Programming Languages
Conception
Linguistic Meaning
Metaphysics
Theory of Truth
Anti-realism
Deflationary Theories
Deflationism
Contextuality
Theory of Reference
Disposition

ДЕФЛЯЦИОНИЗМ И НЕКОНСЕРВАТИВНОСТЬ: ПРОБЛЕМА РЕЛЕВАНТНОСТИ?

Ламберов, Л. Д., 2012, In : Философия науки. 3 (54), p. 45-52 8 p.

Research output: Contribution to journalArticleResearchpeer-review

Deflationism
Theory of Truth
Deflationary Theories