Contemporary symbolic logic. Foundations of propositrional and predicate calculus. Argument structures of philosophical texts. Epistemology of concepts and of the scientific discovery. Paradigms and revolutions. Verification and falsification. Valid arguments.