3
$\begingroup$

Has anyone experimented with using Fitch-style proofs as a teaching aid in courses outside of logic specifically and if so, how was the technique received by students?

$\endgroup$
2
  • 1
    $\begingroup$ I assume you're looking for cases that explicitly make use of levels of indentation? $\endgroup$
    – TomKern
    Commented Aug 22, 2022 at 22:22
  • $\begingroup$ It is a good idea, but you must really teach it well. Ideally, you should also make sure you can actually do real mathematics with it, otherwise many students will simply throw it away later because they cannot do more than toy proofs. You can take a look at this post for a full-fledged Fitch-style foundational system that is actually practical in this sense. $\endgroup$
    – user21820
    Commented Aug 23, 2022 at 8:05

1 Answer 1

3
$\begingroup$

Yes, I am writing a discrete math textbook which uses Fitch style proofs.

It has been well received so far. I want to do a study to see if the students are better at comprehending and constructing proofs in followup courses if they have learned this style of natural deduction in their Discrete math class.

https://drive.google.com/drive/u/0/folders/19pXwLTowCwz1frNnVFNk0_v7KknxqXyJ

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.