undefined | Better HN

0 pointscubefox2y ago0 comments

The lecture notes for some introductory logic class of an analytic philosophy department may be quite good, but unfortunately I can't recommend something specific for English.

0 comments

yep312y ago

>some introductory logic class

like forall x from openlogicproject?

cubefoxOP2y ago

Yes! It looks like a great introduction. Perhaps even better than the Lean course mentioned above. Here is the link:

https://forallx.openlogicproject.org/

j / k navigate · click thread line to collapse