Construction in the Formal Sciences

Informazioni relative al progetto

C-FORS

ID dell’accordo di sovvenzione: 101054836

DOI

10.3030/101054836

Data della firma CE 1 Giugno 2022

Data di avvio 1 Gennaio 2023

Data di completamento 31 Dicembre 2027

Finanziato da

• European Research Council (ERC)

Costo totale

€ 2 023 956,00

Contributo UE

€ 2 023 956,00

Coordinato da

UNIVERSITETET I OSLO
Norway

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (13)

Aristotle meets Frege: from Potentialism to Frege Arithmetic

Autori: Stewart Shapiro
Pubblicato in: Journal for the Philosophy of Mathematics, Numero 1, 2024, ISSN 3035-1863
Editore: Firenze University Press
DOI: 10.36253/JPM-2937

A Taxonomy for Set-Theoretic Potentialism

Autori: Davide Sutto
Pubblicato in: Philosophia Mathematica, 2024, ISSN 0031-8019
Editore: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae016

Truthmaker Semantics for Intuitionistic Modal Logic

Autori: Jon Erling Litland
Pubblicato in: Topoi, 2024, ISSN 0167-7411
Editore: Springer Science and Business Media LLC
DOI: 10.1007/S11245-024-10094-Z

FEFERMAN’S COMPLETENESS THEOREM

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

Grounding Legalism

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

Predicative Classes and Strict Potentialism

Autori: Øystein Linnebo, Stewart Shapiro
Pubblicato in: Philosophia Mathematica, 2024, ISSN 0031-8019
Editore: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae020

Constructing the constructible universe constructively

Autori: Richard Matthews, Michael Rathjen
Pubblicato in: Annals of Pure and Applied Logic, Numero 175, 2024, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2023.103392

Intuitionistic sets and numbers: small set theory and Heyting arithmetic

Autori: Stewart Shapiro, Charles McCarty, Michael Rathjen
Pubblicato in: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Editore: Springer Science and Business Media LLC
DOI: 10.1007/S00153-024-00935-4

Annals of Pure and Applied Logic

Autori: Gerhard Jäger, Michael Rathjen
Pubblicato in: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2024.103425

Grounding and Defining Identity

Autori: Jon Erling Litland
Pubblicato in: Noûs, 2023, ISSN 1468-0068
Editore: Wiley
DOI: 10.1111/nous.12430

Abstraction and grounding

Autori: deRosset, Louis; Linnebo, ystein
Pubblicato in: Philosophy and Phenomenological Research, 2023, ISSN 1933-1592
Editore: Wiley
DOI: 10.1111/phpr.13036

Truthmaker Semantics for Intuitionistic Modal Logic

Autori: Jon Erling Litland
Pubblicato in: Topoi, 2024, ISSN 1572-8749
Editore: Springer
DOI: 10.1007/S11245-024-10094-Z

Ground first: against the proof-theoretic definition of ground

Autori: Jon Erling Litland
Pubblicato in: Synthese, Numero 201, 2023, ISSN 1573-0964
Editore: Springer Science and Business Media LLC
DOI: 10.1007/s11229-022-04028-8

Conference proceedings (2)

Introduction to constructional ontology

Autori: Salvatore Florio and Øystein Linnebo
Pubblicato in: 2024
Editore: University of Twente

DOLCE in OWL: The Core Theory

Autori: Porello D.; Vieu L.; Terkaj W.; Borgo S.; Compagno F.; Sanfilippo E. M.
Pubblicato in: 2024
Editore: HAL open science

Book chapters (1)

Logic of Essence

Autori: Jon Erling Litland
Pubblicato in: 2024
Editore: Routledge