Explore >> Select a destination
|
You are here 
|
consequently.org | ||
| | | | |
openlogicproject.org
|
|
| | | | | Peter Selinger's fitch.sty package is a popular way to produce nicely formatted Fitch-style natural deduction proofs (e.g., in the free/open logic textbooks of the forall x family). It is now... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a talk for the First-order Modal Logic (FoMoLo) Seminar, 12 February 2024. The talk will take place online via Zoom-contact the organizers for access. Abstract. What is or should be th... | |
| | | | |
www.logicmatters.net
|
|
| | | | | Logical notes and papers Some logical blog pieces Philosophy of maths: a reading list Does mathematics need a philosophy? Philosophical logic: five books from the back catalogue On Frege seeing what is in front of his nose. Begriffsschrift and absolutely unrestricted quantification What Frege didnt tell you Tarski on Truth, a thumbnail sketch Partial functions [] | |
| | | | |
www.hongliangjie.com
|
|
| | | |||
