Explore >> Select a destination
|
You are here 
|
openlogicproject.org | ||
| | | | |
richardzach.org
|
|
| | | | | Zach, Richard. 2021. "Cut Elimination and Normalization for Generalized Single and Multi-Conclusion Sequent and Natural Deduction Calculi." The Review of Symbolic Logic 14 (3): 645-86. doi:10.1017/... | |
| | | | |
www.logicmatters.net
|
|
| | | | | I have mixed feelings about Harrie de Swart's Philosophical and Mathematical Logic (Springer, 2018). For this long book really is a strange mish-mash, supposedly aimed at philosophers. There are chapters (not very good) on e.g. the philosophy of language and "fallacies and unfair discussion methods", and e.g. a section on social choice theory. Then there [...] | |
| | | | |
jdh.hamkins.org
|
|
| | | | | I gave a talk for the Food for Thought seminar for the Notre Dame philosophy department. The topic concerned definite descriptions, particularly the semantics that might be given when one extends f... | |
| | | | |
marianlthorpe.com
|
|
| | | "...they did not find the conquest of the northern lands easy, for the inhabitants knew the hills and valleys, forests and caves well, and used them to their advantage'. | ||
