Modular semantics for theories: an approach to paraconsistent reasoning
type: Item
instance of: scholarly article
title: Modular semantics for theories: an approach to paraconsistent reasoning
zbMATH Open document ID: 1459.03029
author: Holger Andreas
published in: Journal of Philosophical Logic
publication date: 2018-12-19T00:00:00Z
review text: Paraconsistent logics which avoid triviality (in which it is not the case that an arbitrary sentence can be inferred from a contradiction) have for the most part concentrated on the propositional connectives and avoided quantifiers. The present semantics focuses on dealing with inconsistencies between universally quantified or other sentences and their instances. The crucial move is that an admissible interpretation satisfies the axioms \underline{to a maximal extent}, as defined. It might be seen as an inverse to those adaptive logics which interpret existential quantifiers as being as universal as possible, by interpreting universal quantifiers as being as universal as possible while allowing exceptions. It is compared to approaches in the same field -- Priest's \textit{Chunk and Permeate}, and his \(LP^m\) -- and then applied to the inconsistent theory consisting of Bohr's postulates, classical electrodynamics, and the conservation of energy (a theory of considerable importance, both historically and pedagogically).
Mathematics Subject Classification ID: 03B53
zbMATH DE Number: 6995844
zbMATH Keywords: paraconsistent reasoning
zbMATH Keywords: preferred models semantics
zbMATH Keywords: structuralist approach to scientific theories
zbMATH Keywords: theoretical terms
reviewed by: Jim Mackenzie
MaRDI profile type: Publication
full work available at URL: s10992-017-9453-y
OpenAlex ID: W2771015328
cites work: A modal view of the semantics of theoretical sentences
cites work: Adaptive Proofs for Networks of Partial Structures
cites work: Q4501807
cites work: An architectonic for science. The structuralist program
cites work: Minimally abnormal models in some adaptive logics
cites work: Logics for qualitative inductive generalization
cites work: Chunk and permeate. III: The Dirac delta function
cites work: Q4260401
cites work: Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
cites work: Chunk and permeate. II: Bohr's hydrogen atom
cites work: BEOBACHTUNGSSPRACHE UND THEORETISCHE SPRACHE
cites work: Q4330501
cites work: Q4925911
cites work: The logic of pragmatic truth
cites work: A mathematical introduction to logic.
cites work: Q3107917
cites work: A textbook of belief dynamics. Theory change and database updating
cites work: Nonmonotonic reasoning, preferential models and cumulative logics
cites work: Which style of reasoning to choose in the face of conflicting information?
cites work: The logic of paradox
cites work: Minimally inconsistent LP
cites work: Handbook of philosophical logic. Vol. 6
cites work: Change, choice and inference. A study of belief revision and nonmonotonic reasoning
cites work: The logical structure of mathematical physics. 2nd ed., rev
cites work: Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
cites work: Q4925872
cites work: Frisch, Muller, and Belot on an Inconsistency in Classical Electrodynamics
DOI: 10.1007/S10992-017-9453-Y
Recommended article: Q3086692
Recommended article: Modular Sequent Systems for Modal Logic
Recommended article: Paraconsistent logic and model theory
Recommended article: A semantics for modular general logic programs
Recommended article: CONCUR 2004 - Concurrency Theory
Recommended article: Paraconsistent modal logics
Recommended article: On the Modularization Theorem for logical specifications
Recommended article: Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
Recommended article: Q4511321
Recommended article: Q5752543
description: scientific article; zbMATH DE number 6995844