Construction in the Formal Sciences

Project Information

C-FORS

Grant agreement ID: 101054836

DOI

10.3030/101054836

EC signature date 1 June 2022

Start date 1 January 2023

End date 31 December 2027

Funded under

• European Research Council (ERC)

Total cost

€ 2 023 956,00

EU contribution

€ 2 023 956,00

Coordinated by

UNIVERSITETET I OSLO
Norway

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (13)

Aristotle meets Frege: from Potentialism to Frege Arithmetic

Author(s): Stewart Shapiro
Published in: Journal for the Philosophy of Mathematics, Issue 1, 2024, ISSN 3035-1863
Publisher: Firenze University Press
DOI: 10.36253/JPM-2937

A Taxonomy for Set-Theoretic Potentialism

Author(s): Davide Sutto
Published in: Philosophia Mathematica, 2024, ISSN 0031-8019
Publisher: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae016

Truthmaker Semantics for Intuitionistic Modal Logic

Author(s): Jon Erling Litland
Published in: Topoi, 2024, ISSN 0167-7411
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/S11245-024-10094-Z

FEFERMAN’S COMPLETENESS THEOREM

Author(s): FEDOR PAKHOMOV, MICHAEL RATHJEN, DINO ROSSEGGER
Published in: The Bulletin of Symbolic Logic, 2025, ISSN 1079-8986
Publisher: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.2

Grounding Legalism

Author(s): Derek Christian Haderlie, Jon Erling Litland
Published in: The Philosophical Quarterly, 2024, ISSN 0031-8094
Publisher: Oxford University Press (OUP)
DOI: 10.1093/pq/pqae073

Predicative Classes and Strict Potentialism

Author(s): Øystein Linnebo, Stewart Shapiro
Published in: Philosophia Mathematica, 2024, ISSN 0031-8019
Publisher: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae020

Constructing the constructible universe constructively

Author(s): Richard Matthews, Michael Rathjen
Published in: Annals of Pure and Applied Logic, Issue 175, 2024, ISSN 0168-0072
Publisher: Elsevier BV
DOI: 10.1016/j.apal.2023.103392

Intuitionistic sets and numbers: small set theory and Heyting arithmetic

Author(s): Stewart Shapiro, Charles McCarty, Michael Rathjen
Published in: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/S00153-024-00935-4

Annals of Pure and Applied Logic

Author(s): Gerhard Jäger, Michael Rathjen
Published in: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Publisher: Elsevier BV
DOI: 10.1016/j.apal.2024.103425

Grounding and Defining Identity

Author(s): Jon Erling Litland
Published in: Noûs, 2023, ISSN 1468-0068
Publisher: Wiley
DOI: 10.1111/nous.12430

Abstraction and grounding

Author(s): deRosset, Louis; Linnebo, ystein
Published in: Philosophy and Phenomenological Research, 2023, ISSN 1933-1592
Publisher: Wiley
DOI: 10.1111/phpr.13036

Truthmaker Semantics for Intuitionistic Modal Logic

Author(s): Jon Erling Litland
Published in: Topoi, 2024, ISSN 1572-8749
Publisher: Springer
DOI: 10.1007/S11245-024-10094-Z

Ground first: against the proof-theoretic definition of ground

Author(s): Jon Erling Litland
Published in: Synthese, Issue 201, 2023, ISSN 1573-0964
Publisher: Springer Science and Business Media LLC
DOI: 10.1007/s11229-022-04028-8

Conference proceedings (2)

Introduction to constructional ontology

Author(s): Salvatore Florio and Øystein Linnebo
Published in: 2024
Publisher: University of Twente

DOLCE in OWL: The Core Theory

Author(s): Porello D.; Vieu L.; Terkaj W.; Borgo S.; Compagno F.; Sanfilippo E. M.
Published in: 2024
Publisher: HAL open science

Book chapters (1)

Logic of Essence

Author(s): Jon Erling Litland
Published in: 2024
Publisher: Routledge