Descrizione del progetto
Esplorazione delle dimensioni superiori della logica del primo ordine
La logica del primo ordine costituisce il fondamento della matematica moderna e fornisce il linguaggio necessario per esprimere i suoi principi fondamentali. Sebbene il suo studio sia ormai consolidato nella teoria delle categorie 1D, nella teoria delle categorie 2D rimangono ancora molti aspetti poco studiati. Con il sostegno del programma di azioni Marie Skłodowska-Curie, il progetto HiDimAFOL esplorerà questi aspetti della logica del primo ordine in dimensioni superiori, individuando nuovi modi per descriverne la sintassi e la semantica attraverso strutture algebriche avanzate denominate pseudo-monadi. Collegando la logica algebrica, la logica categoriale e la teoria dei modelli, il progetto si propone di migliorare la comprensione della logica matematica e di portare a nuove applicazioni matematiche. Il lavoro del progetto favorirà inoltre la collaborazione tra tradizioni matematiche diverse.
Obiettivo
First-order logic is the foundational formal language used to express almost all of modern mathematics, and improved understanding of this logic is linked to many recent advances in mathematics. Consequently, there is a well-developed framework to study first-order logic within the mathematical discipline of 1-dimensional category theory. However, there are still many important and yet unexplored aspects of first-order logic that only emerge in 2-dimensional category theory. My research has uncovered new descriptions of the syntax and semantics of first-order logic as algebraic structures for a pseudo-monad, a mathematical gadget found in 2-dimensional category theory.
Supported by the Marie Skłodowska-Curie Actions programme, the HiDimAFOL project will establish new results concerning the higher dimensional aspects of first-order logic by investigating the pseudo-monads related to the syntax and semantics of first-order logic. The project will deepen our understanding of first-order logic and lead to new mathematical applications on the interface of algebraic logic, categorical logic and model theory. By highlighting the applications of higher dimensional category theory to mathematical logic, we will promote unity among the various logical traditions that exist in mathematics.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Parole chiave
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
-
HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA)
PROGRAMMA PRINCIPALE
Vedi tutti i progetti finanziati nell’ambito di questo programma
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
HORIZON-TMA-MSCA-PF-EF - HORIZON TMA MSCA Postdoctoral Fellowships - European Fellowships
Vedi tutti i progetti finanziati nell’ambito di questo schema di finanziamento
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
(si apre in una nuova finestra) HORIZON-MSCA-2025-PF
Vedi tutti i progetti finanziati nell’ambito del bandoCoordinatore
Contributo finanziario netto dell’UE. La somma di denaro che il partecipante riceve, decurtata dal contributo dell’UE alla terza parte collegata. Tiene conto della distribuzione del contributo finanziario dell’UE tra i beneficiari diretti del progetto e altri tipi di partecipanti, come i partecipanti terzi.
601 77 Brno
Cechia
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.