Modular semantics for theories: an approach to paraconsistent reasoning
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).
- scientific article; zbMATH DE number 5872190
- Modular sequent systems for modal logic
- Paraconsistent logic and model theory
- A semantics for modular general logic programs
- CONCUR 2004 - Concurrency Theory
- Paraconsistent modal logics
- On the Modularization Theorem for logical specifications
- Modular construction of cut-free sequent calculi for paraconsistent logics
- scientific article; zbMATH DE number 1523046
- scientific article; zbMATH DE number 4187771
- A mathematical introduction to logic.
- A modal view of the semantics of theoretical sentences
- A textbook of belief dynamics. Theory change and database updating
- Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
- Adaptive proofs for networks of partial structures
- An architectonic for science. The structuralist program
- BEOBACHTUNGSSPRACHE UND THEORETISCHE SPRACHE
- Change, choice and inference. A study of belief revision and nonmonotonic reasoning
- Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
- Chunk and permeate. II: Bohr's hydrogen atom
- Chunk and permeate. III: The Dirac delta function
- Frisch, Muller, and Belot on an Inconsistency in Classical Electrodynamics
- Handbook of philosophical logic. Vol. 6
- scientific article; zbMATH DE number 1333626 (Why is no real title available?)
- scientific article; zbMATH DE number 1739753 (Why is no real title available?)
- scientific article; zbMATH DE number 1503641 (Why is no real title available?)
- scientific article; zbMATH DE number 6174932 (Why is no real title available?)
- Knowledge in flux. Modeling the dynamics of epistemic states
- Logics for qualitative inductive generalization
- Minimally abnormal models in some adaptive logics
- Minimally inconsistent LP
- Nonmonotonic reasoning, preferential models and cumulative logics
- Reassurance via translation
- The logic of paradox
- The logic of pragmatic truth
- The logical structure of mathematical physics. 2nd ed., rev
- Which style of reasoning to choose in the face of conflicting information?
- Combination of convex theories: modularity, deduction completeness, and explanation
- Semantic closure, descriptions and non-triviality
- A methodological shift in favor of (some) paraconsistency in the sciences
- Physics, inconsistency, and quasi-truth
- scientific article; zbMATH DE number 5872190 (Why is no real title available?)
- Keeping globally inconsistent scientific theories locally consistent
- Relevance Domains and the Philosophy of Science
- Adaptive proofs for networks of partial structures
- Patches, patchworks, and epsilon terms: a neo-Carnapian account of theoretical terms in science
- Quasi-truth, paraconsistency, and the foundations of science
This page was built for publication: Modular semantics for theories: an approach to paraconsistent reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1633217)
