Construction in the Formal Sciences

Projektinformationen

C-FORS

ID Finanzhilfevereinbarung: 101054836

DOI

10.3030/101054836

EK-Unterschriftsdatum 1 Juni 2022

Startdatum 1 Januar 2023

Enddatum 31 Dezember 2027

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 2 023 956,00

EU-Beitrag

€ 2 023 956,00

Koordiniert durch

UNIVERSITETET I OSLO
Norway

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (13)

Aristotle meets Frege: from Potentialism to Frege Arithmetic

Autoren: Stewart Shapiro
Veröffentlicht in: Journal for the Philosophy of Mathematics, Ausgabe 1, 2024, ISSN 3035-1863
Herausgeber: Firenze University Press
DOI: 10.36253/JPM-2937

A Taxonomy for Set-Theoretic Potentialism

Autoren: Davide Sutto
Veröffentlicht in: Philosophia Mathematica, 2024, ISSN 0031-8019
Herausgeber: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae016

Truthmaker Semantics for Intuitionistic Modal Logic

Autoren: Jon Erling Litland
Veröffentlicht in: Topoi, 2024, ISSN 0167-7411
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S11245-024-10094-Z

FEFERMAN’S COMPLETENESS THEOREM

Autoren: FEDOR PAKHOMOV, MICHAEL RATHJEN, DINO ROSSEGGER
Veröffentlicht in: The Bulletin of Symbolic Logic, 2025, ISSN 1079-8986
Herausgeber: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.2

Grounding Legalism

Autoren: Derek Christian Haderlie, Jon Erling Litland
Veröffentlicht in: The Philosophical Quarterly, 2024, ISSN 0031-8094
Herausgeber: Oxford University Press (OUP)
DOI: 10.1093/pq/pqae073

Predicative Classes and Strict Potentialism

Autoren: Øystein Linnebo, Stewart Shapiro
Veröffentlicht in: Philosophia Mathematica, 2024, ISSN 0031-8019
Herausgeber: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae020

Constructing the constructible universe constructively

Autoren: Richard Matthews, Michael Rathjen
Veröffentlicht in: Annals of Pure and Applied Logic, Ausgabe 175, 2024, ISSN 0168-0072
Herausgeber: Elsevier BV
DOI: 10.1016/j.apal.2023.103392

Intuitionistic sets and numbers: small set theory and Heyting arithmetic

Autoren: Stewart Shapiro, Charles McCarty, Michael Rathjen
Veröffentlicht in: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S00153-024-00935-4

Annals of Pure and Applied Logic

Autoren: Gerhard Jäger, Michael Rathjen
Veröffentlicht in: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Herausgeber: Elsevier BV
DOI: 10.1016/j.apal.2024.103425

Grounding and Defining Identity

Autoren: Jon Erling Litland
Veröffentlicht in: Noûs, 2023, ISSN 1468-0068
Herausgeber: Wiley
DOI: 10.1111/nous.12430

Abstraction and grounding

Autoren: deRosset, Louis; Linnebo, ystein
Veröffentlicht in: Philosophy and Phenomenological Research, 2023, ISSN 1933-1592
Herausgeber: Wiley
DOI: 10.1111/phpr.13036

Truthmaker Semantics for Intuitionistic Modal Logic

Autoren: Jon Erling Litland
Veröffentlicht in: Topoi, 2024, ISSN 1572-8749
Herausgeber: Springer
DOI: 10.1007/S11245-024-10094-Z

Ground first: against the proof-theoretic definition of ground

Autoren: Jon Erling Litland
Veröffentlicht in: Synthese, Ausgabe 201, 2023, ISSN 1573-0964
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/s11229-022-04028-8

Conference proceedings (2)

Introduction to constructional ontology

Autoren: Salvatore Florio and Øystein Linnebo
Veröffentlicht in: 2024
Herausgeber: University of Twente

DOLCE in OWL: The Core Theory

Autoren: Porello D.; Vieu L.; Terkaj W.; Borgo S.; Compagno F.; Sanfilippo E. M.
Veröffentlicht in: 2024
Herausgeber: HAL open science

Book chapters (1)

Logic of Essence

Autoren: Jon Erling Litland
Veröffentlicht in: 2024
Herausgeber: Routledge