tag:blogger.com,1999:blog-45668922220792704782017-10-25T02:10:16.140-07:00Logic for Language, Logic in LanguageThis is a place for information on my course at the Nordic Logic School this past August. It contains drafts of lecture slides, text material, and links to programs.Larry Mosshttp://www.blogger.com/profile/16824046945951380196noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-4566892222079270478.post-85012229573079120222017-05-05T11:44:00.000-07:002017-10-24T12:49:28.331-07:00The 2017 Nordic Logic Summer School course on Natural Logic<p>The course studied logical systems which are relevant to natural language semantics and also logical systems which try to use surface forms directly. That is, it presented logical systems for natural language inference which are closer to actual language than to standard logical languages like first-order logic. I have taught this material to audiences closer to linguistics, and also to beginning logic students, and I was excited to teach it at the NLS. </p><p>Even if you are not interested in the overall topic of the course, it introduced several topics that you might want to see: syllogistic logic, especially completeness theorems for various fragments; algebraic logic; decidable fragments of first-order logic; categorial grammar; the typed lambda calculus.<br /><br />More specifically, the course is divided into a number of units. Some of these are independent after the first day.<br /><br /><span style="font-weight:bold;">Introduction</span>: a list of test problems for natural logic, a summary of the results that we'll see in the course, and general history of the area. I also presented some background on decidable fragments of first-order logic.<br /><br /><span style="font-weight:bold;">Syllogistic proof systems</span>: I'll summarize what is known about complete logical systems which can be called 'syllogistic' in the sense that they do not use variables or other devices besides the surface forms. It might be surprising that one can do any sort of linguistic reasoning this way. I presented a small number of the completeness proofs themselves in this part of the course.<br /><br /><span style="font-weight:bold;">Logics with relations</span>: Moving on to logics with verbs and relative clauses brings a set of extra problems and opportunities. <br /><br /><span style="font-weight:bold;">Logic beyond the Aristotle boundary</span>: I did not teach much of this material. It presents natural deduction-style systems which can handle interesting linguistic phenomena and at the same time remain decidable.<br> <p>The third day was devoted to <span style="font-weight:bold;">reasoning about the sizes of sets</span>. This work concerns constructions like <i>there are more books than magazines on the table</i>. They are not expressible in first-order logic, yet their logic is decidable even when added to the other phenomena in this class. <br /><br /><span style="font-weight:bold;">Monotonicity and Polarity</span>: The best-known work in the area of <span style="font-style:italic;">natural logic</span> is based on the <span style="font-style:italic;">monotonicity calculus</span> first identified and studied by Johan van Benthem. This part of the course presented much of what has been done in the area I stared with the needed background on categorial grammars and polarity phenomena in language.Larry Mosshttp://www.blogger.com/profile/16824046945951380196noreply@blogger.comtag:blogger.com,1999:blog-4566892222079270478.post-69120698322024988002017-05-04T08:36:00.000-07:002017-08-11T02:03:33.718-07:00Lecture slides<a href="http://www.indiana.edu/~iulg/moss/NLS/NLSoverview.pdf">My first lecture</a> was an introduction to the topic as a whole. Also on Monday, I discussed <a href="http://www.indiana.edu/~iulg/moss/NLS/All.pdf">the simplest logic in the world</a>, the logic of sentences <i>All x are y</i>. <p>On Tuesday and Wednesday, I extended this to add <a href="http://www.indiana.edu/~iulg/moss/NLS/ARCplus.pdf">verbs, relative clauses, negation, and existential assertions</a>. </p> <p>And here's Thursday's lecture on <a href="http://www.indiana.edu/~iulg/moss/NLS/Some.pdf">something on <i>All p are q</i> and <i>Some p are q</i></a>. </p> <p>Here is the <a href="http://www.indiana.edu/~iulg/moss/NLS/monotonicity1.pdf">last day's lecture</a>, featuring a bit on relational syllogistic logic, a bit on reasoning about cardinality, and a brisk discussion of the monotonicity calculus. </p>Larry Mosshttp://www.blogger.com/profile/16824046945951380196noreply@blogger.comtag:blogger.com,1999:blog-4566892222079270478.post-19723008011116878622017-05-01T13:07:00.000-07:002017-08-11T02:04:28.273-07:00Homework<p>Here is the homework set for <a href="http://www.indiana.edu/~iulg/moss/NLS/hw1.pdf">Monday</a> after the first class. </p><p> Here are the <a href="http://www.indiana.edu/~iulg/moss/NLS/hw1ans.pdf">answers to that first homework set</a>.</p> <p>Here is the homework set for <a href="http://www.indiana.edu/~iulg/moss/NLS/hw2.pdf">Tuesday</a>. </p> <p>Here is the homework set for <a href="http://www.indiana.edu/~iulg/moss/NLS/hw3.pdf">Wednesday</a>. </p> <p>The homework set for <a href="http://www.indiana.edu/~iulg/moss/NLS/hw4.pdf">Thursday</a> is a good preliminary set on preorders, containing facts used in Friday's lecture. </p> If anyone wants to ask me about our homework at any point, please feel free: lsm@cs.indiana.edu. <p>More homework is coming.Larry Mosshttp://www.blogger.com/profile/16824046945951380196noreply@blogger.comtag:blogger.com,1999:blog-4566892222079270478.post-70219533474079124472016-07-01T04:31:00.000-07:002017-08-06T04:30:07.180-07:00Resources<p>Johan van Benthem, <a href="https://www.illc.uva.nl/Research/Publications/Reports/PP-2008-05.text.pdf">A Brief History of Natural Logic.</a></p><p>For the first lecture, here is some <A HREF="http://www.indiana.edu/~iulg/moss/NLS/ch2.pdf">text</a>.</p> <p>LM,<A HREF="http://www.indiana.edu/~iulg/moss/uwe.pdf">Completeness Theorems for Syllogistic Fragments.</a></p><p>Many of the results in the second lecture may be found in <a href="https://arxiv.org/abs/0808.0521">Logics for the Relational Syllogistic</a> by Ian Pratt-Hartmann and LM. I also have some text material that I can send out if you are interested.</p><p>For our last unit (monotonicity), here is Thomas Icard and LM, <a href="http://csli-lilt.stanford.edu/ojs/index.php/LiLT/article/view/8/6">Recent Progress on Monotonicity.</a></p>Larry Mosshttp://www.blogger.com/profile/16824046945951380196noreply@blogger.com