-
A Short Note on the Early History of the Spectrum Problem and Finite Model TheoryHistory and Philosophy of Logic 1-10. forthcoming.Finite model theory is currently not one of the hot topics in the philosophy and history of mathematics, not even in the philosophy and history of mathematical logic. The philosophy of mathematics and mathematical logic has concentrated on infinite structures, closely related to foundational issues. In that context, finite models deserved only marginal attention because it was taken for granted that the study of finite structures is trivial compared to the study of infinite structures. In retros…Read more
-
Probabilistic KnowledgeOxford University Press. 2018.Traditional philosophical discussions of knowledge have focused on the epistemic status of full beliefs. In this book, Moss argues that in addition to full beliefs, credences can constitute knowledge. For instance, your .4 credence that it is raining outside can constitute knowledge, in just the same way that your full beliefs can. In addition, you can know that it might be raining, and that if it is raining then it is probably cloudy, where this knowledge is not knowledge of propositions, but o…Read more
-
Logic and Natural Language: Commitments and ConstraintsDisputatio 12 (58): 377-408. 2020.In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. In this p…Read more
-
Foundations of applied mathematics ISynthese 199 (1-2): 4151-4193. 2021.This paper aims to study the foundations of applied mathematics, using a formalized base theory for applied mathematics: ZFCAσ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathsf {ZFCA}_{\sigma }$$\end{document} with atoms, where the subscript used refers to a signature specific to the application. Examples are g…Read more
-
The Real Question: Can Philosophy be Saved?1SATS 20 (2): 89-95. 2020.
APA Eastern Division
Wendelstein, BY, Germany
Areas of Interest
2 more
Epistemology |
Monism |
Process Philosophy |
Epistemology of Logic |
Apriority in Mathematics |
Space and Time |
Laws of Nature |