Non omnes formulae significant quantitatem, et infiniti modi calculandi excogitari possunt. (Leibniz)
Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic
Aristotle's Topics and Extended Second-Order Logic
On Analyticity and the A Priori
Natural Term Logic (in preparation)
https://web.stanford.edu/class/linguist289/encyclopaedia001.pdf Is Pânini's formal system (which appears to be in the form of a term-re...
No comments:
Post a Comment