Francesca Poggiolesi

Discipline

Philosophie (29) Histoire, Philosophie et Sociologie des sciences (19) Sociologie (5) Education (3) Anthropologie sociale et ethnologie (1)

Discipline

Sciences de l'information et de la communication (3)

Type de document

Articles (33) Livres et chapitres d'ouvrages (16) Prépublication (5) Colloques et conférences (5) Autres (4) Mémoires, Thèses et HDR (2) Recensions (1) Périodiques (1)

Type de document

Livres et chapitres d'ouvrages (3)

Co-auteur

Auteur

Date

Date

Source

Source

Mot-clé

papier (32) Paper (32) Logic (31) logique (31) Science (29) Philosophy (26) philosophie (24) Philosophy (24) sociologie (21) Sociology (21) Calculus (20) Will (16) Will (16) Proof theory (15) Modality (Logic) (15) spectacle (11) Explanation (11) Evidence (10) Science (10) Mathematics (9) science (8) Rules (8) Rules (8) lumière (7) Light (7) analyse (6) Science--Philosophy (6) Mathematics (6) Analysis (6) son (5)

Mot-clé

Publics (3) Counting (1) Building (1) Curry-Howard isomorphism (1) Construction (1) Calcul (1) Logique (1) Isomorphisme de Curry-Howard (1) Calcul (1) Construction (1) Logique (1) démonstration (1) construction (1) calcul (1) preuve (1)

Documents écrit par Francesca Poggiolesi (64) | parle de Francesca Poggiolesi (3)

(Conceptual) Explanations in logic
Francesca Poggiolesi (6 mai 2024)
(Conceptual) Explanations in logic
Francesca Poggiolesi (3 mai 2024)
(Conceptual) Explanations in logic
Francesca Poggiolesi (16 avr. 2024)
Explanations in logic
Francesca Poggiolesi (12 janv. 2024)
Mathematical Explanation
Mancosu Paolo et al. (11 sept. 2023)
From Thin Objects to Thin Concepts?
Francesca Poggiolesi et al. (8 févr. 2023)
Mathematical explanations: an analysis via formal proofs and conceptual complexity
Francesca Poggiolesi (2023)
Expliquer à l'aide des preuves
Francesca Poggiolesi (9 déc. 2022)
Expliquer à l'aide des preuves
Francesca Poggiolesi (9 déc. 2022)
Grounding and propositional identity: a solution to Wilhelm's inconsistencies
Francesca Poggiolesi (2022)
Nested Sequents or Tree-hypersequents -A survey
Björn Lellmann et al. (2022)
Defining Formal Explanation in Classical Logic by Substructural Derivability
Francesco A Genco et al. (5 juil. 2021)
Defining Formal Explanation in Classical Logic by Substructural Derivability
Francesca Poggiolesi et al. (5 juil. 2021)
Les conditionnels
Francesca Poggiolesi
Bolzano, (the appropriate) relevant logic and ground-ing rules for implication
Francesca Poggiolesi (2021)
Towards a generalization of the logic of grounding
Francesca Poggiolesi et al. (2021)
Conceptual (and hence mathematical) explanation, conceptual grounding and proof
Francesca Poggiolesi et al. (2021)
Grounding, Quantifiers, and Paradoxes
Francesco A Genco et al. (2021)
Précis de philosophie de la logique et des mathématiques
Pierre Wagner et al. (2021)
La nozione di fondazione: uno dei modi in cui la logica aiuta la filosofia
Francesca Poggiolesi
Logics
Francesca Poggiolesi (2020)
Grounding rules and (hyper-)isomorphic formulas
Francesca Poggiolesi (2020)
A proof-based framework for several types of grounding
Francesca Poggiolesi (2020)
Grounding rules for (relevant) implication
Francesca Poggiolesi (2020)
No title
Francesca Poggiolesi (5 avr. 2019)

next
Qu'est-ce qu'une démonstration ?
Jean Fichot et al. (27 mai 2021)
Le phénomène d'incomplétude
Pierre Wagner (2021)
Logiques non-classiques et pluralisme logique
Paul Egré (2021)