\relax 
\@writefile{toc}{\contentsline {part}{The History of Logic}{1}}
\@writefile{toc}{\contentsline {section}{{A}\ Logic -- patterns of reasoning}{2}}
\newlabel{sec:A}{{A}{2}}
\@writefile{toc}{\contentsline {subsection}{{A.1}\ Reductio ad absurdum}{2}}
\@writefile{toc}{\contentsline {subsection}{{A.2}\ Aristotle}{3}}
\newlabel{sub:cf}{{A.2.1}{3}}
\newlabel{sub:conv}{{A.2.2}{4}}
\newlabel{Worms}{{A.1}{6}}
\@writefile{toc}{\contentsline {subsection}{{A.3}\ Other patterns and later developments}{8}}
\newlabel{Stoics}{{A.2}{9}}
\@writefile{toc}{\contentsline {section}{{B}\ Logic -- a language about something}{9}}
\newlabel{sec:B}{{B}{9}}
\@writefile{toc}{\contentsline {subsection}{{B.1}\ Early semantic observations and problems}{10}}
\@writefile{toc}{\contentsline {subsection}{{B.2}\ The Scholastic theory of supposition}{11}}
\newlabel{pers}{{1}{11}}
\newlabel{simp}{{2}{11}}
\newlabel{mat}{{3}{11}}
\@writefile{toc}{\contentsline {subsection}{{B.3}\ Intension vs. extension}{11}}
\newlabel{intension}{{B.3}{11}}
\@writefile{toc}{\contentsline {subsection}{{B.4}\ Modalities}{12}}
\newlabel{sub:mod}{{B.4}{12}}
\@writefile{toc}{\contentsline {section}{{C}\ Logic -- a symbolic language}{14}}
\newlabel{sec:C}{{C}{14}}
\@writefile{toc}{\contentsline {subsection}{{C.1}\ The {``universally characteristic language''}}{15}}
\@writefile{toc}{\contentsline {subsection}{{C.2}\ Calculus of reason}{15}}
\newlabel{Leibniz}{{C.1}{17}}
\@writefile{toc}{\contentsline {section}{{D}\ 19th and 20th Century -- mathematization of logic}{17}}
\newlabel{se:math}{{D}{17}}
\@writefile{toc}{\contentsline {subsection}{{D.1}\ George Boole}{18}}
\newlabel{Bool}{{D.1}{19}}
\newlabel{horses}{{D.2}{22}}
\@writefile{toc}{\contentsline {subsection}{{D.2}\ Gottlob Frege}{22}}
\newlabel{Hugo}{{D.3}{24}}
\newlabel{logicism}{{D.4}{24}}
\@writefile{toc}{\contentsline {subsection}{{D.3}\ Set theory}{25}}
\@writefile{toc}{\contentsline {subsection}{{D.4}\ 20th century logic}{27}}
\@writefile{toc}{\contentsline {section}{{E}\ Modern Symbolic Logic}{30}}
\newlabel{se:modern}{{E}{30}}
\@writefile{toc}{\contentsline {subsection}{{E.1}\ Formal logical systems: syntax.}{31}}
\newlabel{sub:formal}{{E.1.2}{32}}
\newlabel{der}{{E.1}{33}}
\@writefile{toc}{\contentsline {subsection}{{E.2}\ Formal semantics}{34}}
\newlabel{sub:compl}{{E.2.2}{36}}
\@writefile{toc}{\contentsline {subsection}{{E.3}\ Computability and Decidability}{38}}
\newlabel{HornForm}{{E.2}{39}}
\newlabel{Prolog}{{1.2}{39}}
\@writefile{toc}{\contentsline {section}{{F}\ Summary}{42}}
\newlabel{se:Greek}{{F}{43}}
\@writefile{toc}{\contentsline {section}{The Greek alphabet}{43}}