Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism.
Yoshihiro MaruyamaPublished in: Synth. (2016)
Keyphrases
- classical logic
- inconsistent knowledge
- computational properties
- model theoretic
- probabilistic logic
- logical operations
- logical framework
- modal logic
- dynamic logic
- truth values
- predicate calculus
- prior knowledge
- logical rules
- logical representation
- levels of abstraction
- knowledge base
- predicate logic
- reasoning problems
- multi valued
- automated reasoning
- proof theory
- probabilistic knowledge
- artificial intelligence
- deductive databases
- set theory
- operational semantics
- data mining
- abductive reasoning
- default logic
- integrity checking
- inference rules
- prior information
- maximum a posteriori
- description logics
- propositional theories
- sound and complete with respect
- computer science