Construction in the Formal Sciences

Informations projet

C-FORS

N° de convention de subvention: 101054836

DOI

10.3030/101054836

Date de signature de la CE 1 Juin 2022

Date de début 1 Janvier 2023

Date de fin 31 Decembre 2027

Financé au titre de

• European Research Council (ERC)

Coût total

€ 2 023 956,00

Contribution de l’UE

€ 2 023 956,00

Coordonné par

UNIVERSITETET I OSLO
Norway

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (13)

Aristotle meets Frege: from Potentialism to Frege Arithmetic

Auteurs: Stewart Shapiro
Publié dans: Journal for the Philosophy of Mathematics, Numéro 1, 2024, ISSN 3035-1863
Éditeur: Firenze University Press
DOI: 10.36253/JPM-2937

A Taxonomy for Set-Theoretic Potentialism

Auteurs: Davide Sutto
Publié dans: Philosophia Mathematica, 2024, ISSN 0031-8019
Éditeur: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae016

Truthmaker Semantics for Intuitionistic Modal Logic

Auteurs: Jon Erling Litland
Publié dans: Topoi, 2024, ISSN 0167-7411
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S11245-024-10094-Z

FEFERMAN’S COMPLETENESS THEOREM

Auteurs: FEDOR PAKHOMOV, MICHAEL RATHJEN, DINO ROSSEGGER
Publié dans: The Bulletin of Symbolic Logic, 2025, ISSN 1079-8986
Éditeur: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.2

Grounding Legalism

Auteurs: Derek Christian Haderlie, Jon Erling Litland
Publié dans: The Philosophical Quarterly, 2024, ISSN 0031-8094
Éditeur: Oxford University Press (OUP)
DOI: 10.1093/pq/pqae073

Predicative Classes and Strict Potentialism

Auteurs: Øystein Linnebo, Stewart Shapiro
Publié dans: Philosophia Mathematica, 2024, ISSN 0031-8019
Éditeur: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae020

Constructing the constructible universe constructively

Auteurs: Richard Matthews, Michael Rathjen
Publié dans: Annals of Pure and Applied Logic, Numéro 175, 2024, ISSN 0168-0072
Éditeur: Elsevier BV
DOI: 10.1016/j.apal.2023.103392

Intuitionistic sets and numbers: small set theory and Heyting arithmetic

Auteurs: Stewart Shapiro, Charles McCarty, Michael Rathjen
Publié dans: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S00153-024-00935-4

Annals of Pure and Applied Logic

Auteurs: Gerhard Jäger, Michael Rathjen
Publié dans: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Éditeur: Elsevier BV
DOI: 10.1016/j.apal.2024.103425

Grounding and Defining Identity

Auteurs: Jon Erling Litland
Publié dans: Noûs, 2023, ISSN 1468-0068
Éditeur: Wiley
DOI: 10.1111/nous.12430

Abstraction and grounding

Auteurs: deRosset, Louis; Linnebo, ystein
Publié dans: Philosophy and Phenomenological Research, 2023, ISSN 1933-1592
Éditeur: Wiley
DOI: 10.1111/phpr.13036

Truthmaker Semantics for Intuitionistic Modal Logic

Auteurs: Jon Erling Litland
Publié dans: Topoi, 2024, ISSN 1572-8749
Éditeur: Springer
DOI: 10.1007/S11245-024-10094-Z

Ground first: against the proof-theoretic definition of ground

Auteurs: Jon Erling Litland
Publié dans: Synthese, Numéro 201, 2023, ISSN 1573-0964
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/s11229-022-04028-8

Conference proceedings (2)

Introduction to constructional ontology

Auteurs: Salvatore Florio and Øystein Linnebo
Publié dans: 2024
Éditeur: University of Twente

DOLCE in OWL: The Core Theory

Auteurs: Porello D.; Vieu L.; Terkaj W.; Borgo S.; Compagno F.; Sanfilippo E. M.
Publié dans: 2024
Éditeur: HAL open science

Book chapters (1)

Logic of Essence

Auteurs: Jon Erling Litland
Publié dans: 2024
Éditeur: Routledge