Akademik Dersler - İçerik

analyze arguments in natural language using formal propositional logic.
express propositions in formal language by using a symbolization key.
express formal propositions in natural language by using a translation key.
explain validity of quantified natural language arguments from the symbolic logical point of view.
test for validity informal arguments by symbolization and verifying/falsifying model construction.
analyze propositions and arguments by natural derivation method of quantificational logic.
express derivation rules.
test propositions for theoremhood by a natural derivation method.
test arguments for validity by natural derivation method.
analyze fallacies.
define fallacies in natural derivations.
explain fallaciousness of some commonly referred types of inference.
test derivations for fallacies.