Carlo Nicolai
Biographic Data
| ID | 3866190 |
|---|---|
| NAME | Carlo Nicolai |
| GIVEN NAMES | Carlo |
| FAMILY NAME | Nicolai |
| SIGNATURE | NICOLAI C |
| AFFILIATIONS | King's College London |
| ORCID | 0009-0003-1027-5294 |
| VERIFIED | Yes |
| TOTAL WORKS | 4 |
| TOTAL CITATIONS | 2 |
| WORKS AS AUTHOR | 4 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2015 |
| LATEST PUBLICATION YEAR | 2025 |
| H-INDEX | 1 |
On Logical and Scientific Strength
The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Timothy Williamson and Gillian Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present application…
A theory of implicit commitment
The notion of implicit commitment has played a prominent role in recent works in logic and philosophy of mathematics. Although implicit commitment is often associated with highly technical studies, it remains an elusive notion. In particular, it is often claimed that the acceptance of a mathematical theory implicitly commits one to the acceptance of a Uniform Reflection Principle for it. However, philosophers agree that a satisfactory analysis of…
Gaps, gluts, and theoretical equivalence
When are two formal theories of broadly logical concepts, such as truth, equivalent? The paper investigates a case study, involving two well-known variants of Kripke–Feferman truth. The first, $$\mathtt {KF}+\mathtt {CONS}$$ KF + CONS , features a consistent but partial truth predicate. The second, $$\mathtt {KF}+\mathtt {COMP}$$ KF + COMP , an inconsistent but complete truth predicate. It is known that the two truth predicates are dual to each o…
Deflationary truth and the ontology of expressions
Deflationary truth and the ontology of expressions
A theory of implicit commitment
The notion of implicit commitment has played a prominent role in recent works in logic and philosophy of mathematics. Although implicit commitment is often associated with highly technical studies, it remains an elusive notion. In particular, it is often claimed that the acceptance of a mathematical theory implicitly commits one to the acceptance of a Uniform Reflection Principle for it. However, philosophers agree that a satisfactory analysis of…
Gaps, gluts, and theoretical equivalence
When are two formal theories of broadly logical concepts, such as truth, equivalent? The paper investigates a case study, involving two well-known variants of Kripke–Feferman truth. The first, $$\mathtt {KF}+\mathtt {CONS}$$ KF + CONS , features a consistent but partial truth predicate. The second, $$\mathtt {KF}+\mathtt {COMP}$$ KF + COMP , an inconsistent but complete truth predicate. It is known that the two truth predicates are dual to each o…
On Logical and Scientific Strength
The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Timothy Williamson and Gillian Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present application…
Computer Science (4 works) · Mathematics (4 works) · Epistemology (3 works) · Philosophy (3 works) · Philosophy and Theoretical Science (3 works) · Axiom (2 works) · Epistemology, Ethics, and Metaphysics (2 works) · Logic, Reasoning, and Knowledge (2 works) · Metaphysics (2 works) · Philosophy of language (2 works)