Construction in the Formal Sciences

Informacje na temat projektu

C-FORS

Identyfikator umowy o grant: 101054836

DOI

10.3030/101054836

Data podpisania przez KE 1 Czerwca 2022

Data rozpoczęcia 1 Stycznia 2023

Data zakończenia 31 Grudnia 2027

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 2 023 956,00

Wkład UE

€ 2 023 956,00

Koordynowany przez

UNIVERSITETET I OSLO
Norway

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (13)

Aristotle meets Frege: from Potentialism to Frege Arithmetic

Autorzy: Stewart Shapiro
Opublikowane w: Journal for the Philosophy of Mathematics, Numer 1, 2024, ISSN 3035-1863
Wydawca: Firenze University Press
DOI: 10.36253/JPM-2937

A Taxonomy for Set-Theoretic Potentialism

Autorzy: Davide Sutto
Opublikowane w: Philosophia Mathematica, 2024, ISSN 0031-8019
Wydawca: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae016

Truthmaker Semantics for Intuitionistic Modal Logic

Autorzy: Jon Erling Litland
Opublikowane w: Topoi, 2024, ISSN 0167-7411
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/S11245-024-10094-Z

FEFERMAN’S COMPLETENESS THEOREM

Autorzy: FEDOR PAKHOMOV, MICHAEL RATHJEN, DINO ROSSEGGER
Opublikowane w: The Bulletin of Symbolic Logic, 2025, ISSN 1079-8986
Wydawca: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.2

Grounding Legalism

Autorzy: Derek Christian Haderlie, Jon Erling Litland
Opublikowane w: The Philosophical Quarterly, 2024, ISSN 0031-8094
Wydawca: Oxford University Press (OUP)
DOI: 10.1093/pq/pqae073

Predicative Classes and Strict Potentialism

Autorzy: Øystein Linnebo, Stewart Shapiro
Opublikowane w: Philosophia Mathematica, 2024, ISSN 0031-8019
Wydawca: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae020

Constructing the constructible universe constructively

Autorzy: Richard Matthews, Michael Rathjen
Opublikowane w: Annals of Pure and Applied Logic, Numer 175, 2024, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2023.103392

Intuitionistic sets and numbers: small set theory and Heyting arithmetic

Autorzy: Stewart Shapiro, Charles McCarty, Michael Rathjen
Opublikowane w: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/S00153-024-00935-4

Annals of Pure and Applied Logic

Autorzy: Gerhard Jäger, Michael Rathjen
Opublikowane w: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2024.103425

Grounding and Defining Identity

Autorzy: Jon Erling Litland
Opublikowane w: Noûs, 2023, ISSN 1468-0068
Wydawca: Wiley
DOI: 10.1111/nous.12430

Abstraction and grounding

Autorzy: deRosset, Louis; Linnebo, ystein
Opublikowane w: Philosophy and Phenomenological Research, 2023, ISSN 1933-1592
Wydawca: Wiley
DOI: 10.1111/phpr.13036

Truthmaker Semantics for Intuitionistic Modal Logic

Autorzy: Jon Erling Litland
Opublikowane w: Topoi, 2024, ISSN 1572-8749
Wydawca: Springer
DOI: 10.1007/S11245-024-10094-Z

Ground first: against the proof-theoretic definition of ground

Autorzy: Jon Erling Litland
Opublikowane w: Synthese, Numer 201, 2023, ISSN 1573-0964
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/s11229-022-04028-8

Conference proceedings (2)

Introduction to constructional ontology

Autorzy: Salvatore Florio and Øystein Linnebo
Opublikowane w: 2024
Wydawca: University of Twente

DOLCE in OWL: The Core Theory

Autorzy: Porello D.; Vieu L.; Terkaj W.; Borgo S.; Compagno F.; Sanfilippo E. M.
Opublikowane w: 2024
Wydawca: HAL open science

Book chapters (1)

Logic of Essence

Autorzy: Jon Erling Litland
Opublikowane w: 2024
Wydawca: Routledge