Abstract: According to model-theoretic inferentialism (and despite proof-theoretic semantics and model-theoretic semantics) both proof-theoretic and model-theoretic notions play a role in the meaning of logical constants. However, proof-theoretic notions have a more fundamental role compared to model-theoretic notions, so that the semantics and its structure are determined by the proof-theoretic notions. In other words, in proof-theoretic inferentialism we follow a method by which we can read the semantics from the proof theory. This approach is related to the problem of categoricity and Carnap's non-normal models for proof systems. In this paper we investigate this issue for two paraconsistent logics, mbC and LP. We show that while multi-succedent sequent calculi are categorical for mbC, they are not for LP. That latter has non-normal models. We argue that for the latter we cannot easily read the semantics from the proof theory, except at the cost of distorting the notion of logical consequence.
Jafari, J., & Hosseini, D. (2024). Model-theoretic inferentialism; paraconsistency; categoricity. The Mirror of Knowledge, (), -. doi: 10.48308/jipt.2024.235963.1534
MLA
Javid Jafari; Davood Hosseini. "Model-theoretic inferentialism; paraconsistency; categoricity". The Mirror of Knowledge, , , 2024, -. doi: 10.48308/jipt.2024.235963.1534
HARVARD
Jafari, J., Hosseini, D. (2024). 'Model-theoretic inferentialism; paraconsistency; categoricity', The Mirror of Knowledge, (), pp. -. doi: 10.48308/jipt.2024.235963.1534
VANCOUVER
Jafari, J., Hosseini, D. Model-theoretic inferentialism; paraconsistency; categoricity. The Mirror of Knowledge, 2024; (): -. doi: 10.48308/jipt.2024.235963.1534