Faculty

Institution

Unit

Venue

Paolo Mancosu

Willis S and Marion Slusser Professor of Philosophy

University of California, Berkeley

Affiliations

College of Letters & Science

Arts & Humanities

Philosophy

Paolo Mancosu is currently serving as an Arts & Humanities Willis S and Marion Slusser Professor of Philosophy at University of California, Berkeley.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Paolo Mancosu

University of California, Berkeley

Willis S and Marion Slusser Professor of Philosophy

You can click a keyword to filter the displayed items

mathematics philosophy mathematical logic philosophy of mathematics applied mathematics history of philosophy philosophical logic applied philosophy history pure mathematics logic in computer science foundation of mathematics number theory mathematics education philosophy of logic history of logic set theory mathematical sciences mathematical explanation discrete mathematics eurasian geography general systems history of mathematics theoretical mathematics philosophical inquiry practical philosophy speculative philosophy sequent calculus logical consequence mathematical practice solid geometry theoretical economics ethical theory theoretical biology turkish studies death studies performance art automated deduction programming languages discrete algorithms approximate reasoning model theory proof theory metatheory moral philosophy philosophical psychology neologisms ring theory probability logic formal theory philosophy of biology classical logic symbolic computation analytic number theory early universe natural numbers infinite collections infinite number decision problem heinrich behmann cylindrical helix historical context editorial adventures zhivago storm inconsistent abstraction principles neologicist foundations best practice

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

The Wilderness of the Infinite. (2026)

existentialismphilosophyhistorical geographyhumanitiescontemporary fictionphenomenology (philosophy)metaphysics

The Wilderness of the Infinite. Robert Grosseteste, William of Auvergne and Mathematical Infinity in the Thirteenth Century. OUP (2026)

philosophy of mathematicshistory of scienceclassicsmodern literatureliterary historyintellectual historyhistory of philosophyinterdisciplinary historyhistoryenglish studiesglobal historyhistorical reviewcomparative literaturehistory and philosophy of sciencetextual practicehistoriographyearly modern philosophy

Euclidean Practice and Infinite Numbers: The Case of Robert Grosseteste. Historia Mathematica (2025)

philosophy of mathematicshistory of scienceclassicsintellectual historyhistory of philosophyinterdisciplinary historyphilosophyhistorical reviewphilosophy of sciencehistory of economic thoughtapplied philosophyhistory and philosophy of sciencemathematics educationintellectual discoursehumanitiestextual practicemetaphysics

In the Kgb’s Crosshairs. New Soviet Documents on the Pasternak and Ivinskaya Cases. WriteUP, Rome (2024)

eurasian geographyintellectual historyhistoryslavic languagesinternational historyhistorical reviewarchival researchforensic medicineinternational relationslegal medicinecomparative literatureinformation forensicsforensic scienceanatomical pathologysecurity studiesmedical historyhistoriography

Robust Machine Learning Challenge: An Aifm Multicentric Competition to Spread Knowledge, Identify Common Pitfalls and Recommend Best Practice. Physica Medica (2024)

Michele MaddaloAnnarita FanizziNicola LambriEmiliano LoiMarco BranchiniLeda LorenzonAlessia GiulianoLeonardo UbaldiSara SaponaroMichele SignorielloFederico FaddaGina BelmonteMarco GiannelliCinzia TalamontiMauro IoriSabina TangaroRaffaella MassafraPietro MancosuMichele Avanzo

best practicemachine learningmedicineaifm multicentric competitioncommon pitfalls

Syllogistic Logic and Mathematical Proof. Oxford University Press eBooks (2023)

Paolo MancosuMassimo Mugnai

syllogistic logicmathematical logicmathematics

Totality, Regularity, and Cardinality in Probability Theory. Philosophy of Science (2023)

Paolo MancosuGuillaume Massas

philosophyphilosophy of scienceprobability logicprobability theorystatistics

An Introduction to Proof Theory. Oxford University Press eBooks (2021)

Paolo MancosuSergio GalvanRichard Zach

proof theoryfoundation of mathematicsmathematical logicmathematics

An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs. Oxford University Press, Oxford (2021)

computer scienceautomated deductionlogic in computer sciencemathematical logicprogramming languagespure mathematicsdiscrete algorithmsmathematicsgeneral systemstheoretical computer scienceformal verificationapproximate reasoningautomated reasoningtheory of computationverificationapplied mathematicsformal methods

Axiomatic Calculi. Oxford University Press eBooks (2021)

Paolo MancosuSergio GalvanRichard Zach

axiomatic calculiapplied mathematicsformal methods

1
2
3
4
5
6
7
10 / page

Paolo Mancosu

Willis S and Marion Slusser Professor of Philosophy

University of California, Berkeley

Affiliations

College of Letters & Science

Arts & Humanities

Philosophy

Paolo Mancosu is currently serving as an Arts & Humanities Willis S and Marion Slusser Professor of Philosophy at University of California, Berkeley.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Paolo Mancosu

University of California, Berkeley

Willis S and Marion Slusser Professor of Philosophy

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

The Wilderness of the Infinite. (2026)

existentialismphilosophyhistorical geographyhumanitiescontemporary fictionphenomenology (philosophy)metaphysics

The Wilderness of the Infinite. Robert Grosseteste, William of Auvergne and Mathematical Infinity in the Thirteenth Century. OUP (2026)

Euclidean Practice and Infinite Numbers: The Case of Robert Grosseteste. Historia Mathematica (2025)

In the Kgb’s Crosshairs. New Soviet Documents on the Pasternak and Ivinskaya Cases. WriteUP, Rome (2024)

Robust Machine Learning Challenge: An Aifm Multicentric Competition to Spread Knowledge, Identify Common Pitfalls and Recommend Best Practice. Physica Medica (2024)

best practicemachine learningmedicineaifm multicentric competitioncommon pitfalls

Syllogistic Logic and Mathematical Proof. Oxford University Press eBooks (2023)

Paolo MancosuMassimo Mugnai

syllogistic logicmathematical logicmathematics

Totality, Regularity, and Cardinality in Probability Theory. Philosophy of Science (2023)

Paolo MancosuGuillaume Massas

philosophyphilosophy of scienceprobability logicprobability theorystatistics

An Introduction to Proof Theory. Oxford University Press eBooks (2021)

Paolo MancosuSergio GalvanRichard Zach

proof theoryfoundation of mathematicsmathematical logicmathematics

An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs. Oxford University Press, Oxford (2021)

Axiomatic Calculi. Oxford University Press eBooks (2021)

Paolo MancosuSergio GalvanRichard Zach

axiomatic calculiapplied mathematicsformal methods

1
2
3
4
5
6
7
10 / page

Similar Faculty Members

Robert Rynasiewicz

Institution

Johns Hopkins University

philosophy

philosophy of science

Christopher Pincock

Institution

Ohio State University

philosophy

philosophy of physic

Douglas Jesseph

Institution

University of South Florida

history of philosophy

philosophy of mathematics

Colin McLarty

Institution

Case Western Reserve University

philosophical logic

logical formalism

Kai Frederick Wehmeier

Institution

University of California, Irvine

philosophy of language

philosophical logic

Lisa Shabel

Institution

Ohio State University

philosophy

history of mathematics

Neil Tennant

Institution

Ohio State University

evolutionary biology

computational philosophy

Hartry Field

Institution

New York University

humanities

epistemology

Daniel Sutherland

Institution

University of Illinois Chicago

humanities

philosophy of science

Michael Della Rocca

Institution

Yale University

sufficient reason

philosophy

Similar Faculty Members

Robert Rynasiewicz

Institution

Johns Hopkins University

philosophy

philosophy of science

Christopher Pincock

Institution

Ohio State University

philosophy

philosophy of physic

Douglas Jesseph

Institution

University of South Florida

history of philosophy

philosophy of mathematics

Colin McLarty

Institution

Case Western Reserve University

philosophical logic

logical formalism

Kai Frederick Wehmeier

Institution

University of California, Irvine

philosophy of language

philosophical logic

Lisa Shabel

Institution

Ohio State University

philosophy

history of mathematics

Neil Tennant

Institution

Ohio State University

evolutionary biology

computational philosophy

Hartry Field

Institution

New York University

humanities

epistemology

Daniel Sutherland

Institution

University of Illinois Chicago

humanities

philosophy of science

Michael Della Rocca

Institution

Yale University

sufficient reason

philosophy