Objects: A study in Kantian formal epistemology

Giovanni Boniolo, Silvio Valentini

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

We propose a formal representation of objects, those being mathematical or empirical objects. The powerful framework inside which we represent them in a unique and coherent way is grounded, on the formal side, in a logical approach with a direct mathematical semantics in the well-established field of constructive topology, and, on the philosophical side, in a neo-Kantian perspective emphasizing the knowing subject's role, which is constructive for the mathematical objects and constitutive for the empirical ones.

Original languageEnglish
Pages (from-to)457-478
Number of pages22
JournalNotre Dame Journal of Formal Logic
Volume53
Issue number4
DOIs
Publication statusPublished - 2012

Fingerprint

Epistemology
Topology
Object

Keywords

  • Constitutivism
  • Constructivism
  • Formal topology
  • Kantian epistemology
  • Objects

ASJC Scopus subject areas

  • Logic

Cite this

Objects : A study in Kantian formal epistemology. / Boniolo, Giovanni; Valentini, Silvio.

In: Notre Dame Journal of Formal Logic, Vol. 53, No. 4, 2012, p. 457-478.

Research output: Contribution to journalArticle

Boniolo, Giovanni ; Valentini, Silvio. / Objects : A study in Kantian formal epistemology. In: Notre Dame Journal of Formal Logic. 2012 ; Vol. 53, No. 4. pp. 457-478.
@article{8628c818441542c585e60d7ee344389b,
title = "Objects: A study in Kantian formal epistemology",
abstract = "We propose a formal representation of objects, those being mathematical or empirical objects. The powerful framework inside which we represent them in a unique and coherent way is grounded, on the formal side, in a logical approach with a direct mathematical semantics in the well-established field of constructive topology, and, on the philosophical side, in a neo-Kantian perspective emphasizing the knowing subject's role, which is constructive for the mathematical objects and constitutive for the empirical ones.",
keywords = "Constitutivism, Constructivism, Formal topology, Kantian epistemology, Objects",
author = "Giovanni Boniolo and Silvio Valentini",
year = "2012",
doi = "10.1215/00294527-1722701",
language = "English",
volume = "53",
pages = "457--478",
journal = "Notre Dame Journal of Formal Logic",
issn = "0029-4527",
publisher = "Duke University Press",
number = "4",

}

TY - JOUR

T1 - Objects

T2 - A study in Kantian formal epistemology

AU - Boniolo, Giovanni

AU - Valentini, Silvio

PY - 2012

Y1 - 2012

N2 - We propose a formal representation of objects, those being mathematical or empirical objects. The powerful framework inside which we represent them in a unique and coherent way is grounded, on the formal side, in a logical approach with a direct mathematical semantics in the well-established field of constructive topology, and, on the philosophical side, in a neo-Kantian perspective emphasizing the knowing subject's role, which is constructive for the mathematical objects and constitutive for the empirical ones.

AB - We propose a formal representation of objects, those being mathematical or empirical objects. The powerful framework inside which we represent them in a unique and coherent way is grounded, on the formal side, in a logical approach with a direct mathematical semantics in the well-established field of constructive topology, and, on the philosophical side, in a neo-Kantian perspective emphasizing the knowing subject's role, which is constructive for the mathematical objects and constitutive for the empirical ones.

KW - Constitutivism

KW - Constructivism

KW - Formal topology

KW - Kantian epistemology

KW - Objects

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

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

U2 - 10.1215/00294527-1722701

DO - 10.1215/00294527-1722701

M3 - Article

AN - SCOPUS:84880224557

VL - 53

SP - 457

EP - 478

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

SN - 0029-4527

IS - 4

ER -