Formal logic · Ages 14–18 · about 9 hours
Formal logic
Propositional notation, truth tables, validity, countermodels and bounded natural deduction.
Take first: Reasoning about evidence
hacia el grado 5 → Philosophy of mind and metaphysics
Elige un curso diseñado en torno a temas que se suelen enseñar a una edad o un nivel de aprendizaje aproximados. No es una asignación de curso escolar ni una equivalencia; empieza donde te sientas cómodo y elige otro curso en cualquier momento.
Cada nivel se apoya en el anterior. Empieza donde te sientas cómodo.
Formal logic · Ages 14–18 · about 9 hours
Propositional notation, truth tables, validity, countermodels and bounded natural deduction.
Take first: Reasoning about evidence
Theory of knowledge · Ages 14–18 · about 9 hours
Belief, truth and justification; testimony, scepticism, induction, science and comparative epistemology.
Take first: Formal logic
Ethics · Ages 14–18 · about 9 hours
Consequences, duties, rights, virtue, care, metaethics and fair comparison of ethical arguments.
Take first: Theory of knowledge
Symbolic logic · Ages 18+ · about 10 hours
Bounded predicates, quantifiers, identity, relations, finite countermodels, proof rules and introductory modal logic.
Take first: Formal logic
Philosophy of mind and metaphysics · Ages 18+ · about 6 hours
Mind-body theories, knowledge and conceivability arguments, functional organization, understanding, personal identity and free will; reconstruct supplied arguments and evaluate their disputed premises without belief profiling.
Take first: Formal logic