虽然第十八宪法修正案是1920年生效的，但美国第一次禁酒令实际上在1851年的缅因州州议会就通过了，这一法案的推行者尼尔·道当选为波特兰市的市长，而且他还打算道其他州去游说，将禁酒向全国各地推广开来。

符号逻辑是一门对绝大多数人来说很陌生的逻辑系统，它和绝大多数人理解逻辑不一样，它是19世纪从数学中发展出来的，而不是从传统哲学中。

比如“一切人都会死”，“苏格拉底是人”，由此推导出“苏格拉底有死”的结论。初看这个形式的推论不足为道，但世界上存在着推论形式，它与推论的内容是有区别的。比如斯卡曼德引用自威廉·奥康的论文，波莫纳不熟悉柏拉图，但胖修士知道，柏拉图曾提出过实在论，后来成为经院主义辩论的派别，到了20世纪则是成为科学哲学的核心争论。

简单的得说“人是动物”这个命题中，这个问题讨论的核心是“实质”，而非心灵的指向。当我们说起声词“人”时也会出现一个附属的符号（signa），即便是原始人也会在墙上绘画时用简单的图画，让其他人知道那代表“人”，但“人”这个词是一个写下来的表达式。

然而人也会有四肢着地的时候，一如动物也会有两条腿站着的时候，双腿站立描述了一种共同性，或可成为共相，亚里士多德将其定义为第一实体，个别事物只是共相的偶然现象，所以共相优先于事物。

“Vidensomnemhominemestanimal”，那看见所有人的是动物，这也是一个符号，这个动物没有特别指代，假设人群里有一条狗和一个人，“人”可以看到人，狗也能看到人，但略去人与狗的外形，不论是两条腿走路还是四条腿走路，这里指的是一个规则，也就是明确的指代和模糊的指代。

由此亚里士多德得知，推论的“形式”和推论的“内容”是有区别的。

柏拉图的实质论看重理念，亚里士多德看重实体，威廉·奥康则从“如无必要，勿增实体”的思维原则，看重“经验和证据”的知识观撼动了整个经院哲学的根基，接着他就被教皇开除教籍了。

逻辑是存在于大脑思维里的，也就是思考问题的方式方法，它没有实体，但亚里士多德将实体论成为substance，意为“站在下面的支撑者”，实在可以没有实体。

如果想搞清楚个中详细，可以去找胖修士，反正霍格沃茨已经有一个教历史的宾斯教授了。

符号逻辑的意义在于解答