Salvatore Florio

Professor - Philosophy
Norwegian version of this page
Room 619
Username
Visiting address Blindernveien 31 Georg Morgenstiernes hus 0313 Oslo
Postal address Postboks 1020 Blindern 0315 Oslo

Academic interests

I work at the intersection of philosophy of language, logic, and philosophy of mathematics. My research focuses on philosophical issues concerning the nature of logic and the foundations of semantics. In recent years, I have developed research interests in topics connecting philosophy and computer science, especially knowledge representation and the use of foundational ontologies in information systems, which has led to collaboration with an industry partner.  

Background

Before joining the University of Oslo, I taught at the University of Birmingham and at Kansas State University. I received a PhD in Philosophy and an MS in Mathematics from The Ohio State University in 2010. I also completed an MSc in Computer Science at the University of Birmingham in 2020. 

I am currently serving as Coordinating Editor of The Review of Symbolic Logic

Teaching

I have taught courses on a wide range of topics, including engineering ethics, military ethics, theories of knowledge, logic and legal reasoning, history of analytic philosophy, and philosophy of mathematics.  

I recently taught: 

I also taught courses at ESSLLI:

  • Formal Theories of Properties, co-taught with Carlo Nicolai in 2023;
  • Speaking of Things and Stuff: The Semantics of Plurals and Mass Terms, co-taught with David Nicolas in 2017;
  • Plurals in Semantics and Philosophical Logic, co-taught with Øystein Linnebo in 2012.

Grants and Fellowships

  • Research Fellowship, ERC Advanced Grant Construction in the Formal Sciences (Principal Investigator: Øystein Linnebo) 

  • AHRC Research Grant, 2022-2024, Co-Investigator (Principal Investigator: Carlo Nicolai) 
    Title: Type-Free Theories of Properties

  • Research Fellowship, BORO Academia-Industry Collaboration Programme, 2018-2019

  • Leverhulme Research Fellowship, 2017-2018
Tags: Philosophy of language, Philosophical Logic, Philosophy of Mathematics, Epistemology, Metaphysics

Publications

Book

The Many and the One: A Philosophical Study of Plural Logic (with Øystein Linnebo), Oxford University Press, 2021

Articles

"On Type Distinctions and Expressivity”, Proceedings of the Artistotelian Society, 123:2, 2023, 150-172

“Plurals and Mereology” (with David Nicolas), Journal of Philosophical Logic, 50:3, 2021, 415-445 

“Unrestricted Quantification and the Structure of Type Theory” (with Nicholas K. Jones), Philosophy and Phenomenological Research, 102:1, 2021, 44-64

“Metalogic and the Overgeneration Argument” (with Luca Incurvati), Mind, 128:511, 2019, 761-793

“What Russell Should Have Said to Burali-Forti” (with Graham Leach-Krouse), Review of Symbolic Logic, 10:4, 2017, 682-718

“On the Innocence and Determinacy of Plural Quantification” (with Øystein Linnebo), Noûs, 50:3, 2016, 565-583

“Plural Logic and Sensitivity to Order” (with David Nicolas), Australasian Journal of Philosophy, 93:3, 2015, 444-464

“Untyped Pluralism”, Mind, 123:490, 2014, 317-337

“Unrestricted Quantification”, Philosophy Compass, 9:7, 2014, 441-454

“Semantics and the Plural Conception of Reality”, Philosophers’ Imprint, 14:22, 2014, 1-20

“Set Theory, Type Theory, and Absolute Generality” (with Stewart Shapiro), Mind, 123:489, 2014

View all works in Cristin

View all works in Cristin

Published Aug. 3, 2021 11:46 AM - Last modified Dec. 8, 2023 12:31 PM