Construction in the Formal Sciences

Información del proyecto

C-FORS

Identificador del acuerdo de subvención: 101054836

DOI

10.3030/101054836

Fecha de la firma de la CE 1 Junio 2022

Fecha de inicio 1 Enero 2023

Fecha de finalización 31 Diciembre 2027

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 2 023 956,00

Aportación de la UE

€ 2 023 956,00

Coordinado por

UNIVERSITETET I OSLO
Norway

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (13)

Aristotle meets Frege: from Potentialism to Frege Arithmetic

Autores: Stewart Shapiro
Publicado en: Journal for the Philosophy of Mathematics, Edición 1, 2024, ISSN 3035-1863
Editor: Firenze University Press
DOI: 10.36253/JPM-2937

A Taxonomy for Set-Theoretic Potentialism

Autores: Davide Sutto
Publicado en: Philosophia Mathematica, 2024, ISSN 0031-8019
Editor: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae016

Truthmaker Semantics for Intuitionistic Modal Logic

Autores: Jon Erling Litland
Publicado en: Topoi, 2024, ISSN 0167-7411
Editor: Springer Science and Business Media LLC
DOI: 10.1007/S11245-024-10094-Z

FEFERMAN’S COMPLETENESS THEOREM

Autores: FEDOR PAKHOMOV, MICHAEL RATHJEN, DINO ROSSEGGER
Publicado en: The Bulletin of Symbolic Logic, 2025, ISSN 1079-8986
Editor: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.2

Grounding Legalism

Autores: Derek Christian Haderlie, Jon Erling Litland
Publicado en: The Philosophical Quarterly, 2024, ISSN 0031-8094
Editor: Oxford University Press (OUP)
DOI: 10.1093/pq/pqae073

Predicative Classes and Strict Potentialism

Autores: Øystein Linnebo, Stewart Shapiro
Publicado en: Philosophia Mathematica, 2024, ISSN 0031-8019
Editor: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae020

Constructing the constructible universe constructively

Autores: Richard Matthews, Michael Rathjen
Publicado en: Annals of Pure and Applied Logic, Edición 175, 2024, ISSN 0168-0072
Editor: Elsevier BV
DOI: 10.1016/j.apal.2023.103392

Intuitionistic sets and numbers: small set theory and Heyting arithmetic

Autores: Stewart Shapiro, Charles McCarty, Michael Rathjen
Publicado en: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Editor: Springer Science and Business Media LLC
DOI: 10.1007/S00153-024-00935-4

Annals of Pure and Applied Logic

Autores: Gerhard Jäger, Michael Rathjen
Publicado en: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Editor: Elsevier BV
DOI: 10.1016/j.apal.2024.103425

Grounding and Defining Identity

Autores: Jon Erling Litland
Publicado en: Noûs, 2023, ISSN 1468-0068
Editor: Wiley
DOI: 10.1111/nous.12430

Abstraction and grounding

Autores: deRosset, Louis; Linnebo, ystein
Publicado en: Philosophy and Phenomenological Research, 2023, ISSN 1933-1592
Editor: Wiley
DOI: 10.1111/phpr.13036

Truthmaker Semantics for Intuitionistic Modal Logic

Autores: Jon Erling Litland
Publicado en: Topoi, 2024, ISSN 1572-8749
Editor: Springer
DOI: 10.1007/S11245-024-10094-Z

Ground first: against the proof-theoretic definition of ground

Autores: Jon Erling Litland
Publicado en: Synthese, Edición 201, 2023, ISSN 1573-0964
Editor: Springer Science and Business Media LLC
DOI: 10.1007/s11229-022-04028-8

Conference proceedings (2)

Introduction to constructional ontology

Autores: Salvatore Florio and Øystein Linnebo
Publicado en: 2024
Editor: University of Twente

DOLCE in OWL: The Core Theory

Autores: Porello D.; Vieu L.; Terkaj W.; Borgo S.; Compagno F.; Sanfilippo E. M.
Publicado en: 2024
Editor: HAL open science

Book chapters (1)

Logic of Essence

Autores: Jon Erling Litland
Publicado en: 2024
Editor: Routledge