This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.
Finally available in English, it is a major contribution to the philosophy of science, epistemology and twentieth century philosophy generally.
The two fundamental problems of knowledge that lie at the centre of the book are the problem of induction, that although we are able to observe only a limited number of particular events, science nevertheless advances unrestricted universal statements; and the problem of demarcation, which asks for a separating line between empirical science and non-science.
Popper seeks to solve these two basic problems with his celebrated theory of falsifiability, arguing that the inferences made in science are not inductive but deductive; science does not start with observations and proceed to generalise them but with problems, which it attacks with bold conjectures.
The Two Fundamental Problems of the Theory of Knowledge is essential reading for anyone interested in Karl Popper, in the history and philosophy of science, and in the methods and theories of science itself.