Source: About the Open Logic Project
This view preserves the immutable TeX source line for line.
1 \chapter*{About the Open Logic Project}
2 \addcontentsline{toc}{chapter}{About the Open Logic Project}
3 The \textit{Open Logic Text} is an open-source, collaborative textbook
6 of formal meta-logic and formal methods, starting at an intermediate level
7 (i.e., after an introductory formal logic course). Though aimed at a
8 non-mathematical audience (in particular, students of philosophy and
9 computer science), it is rigorous.
10 Coverage of some topics currently included may
12 not yet be complete, and many sections still require substantial
13 revision. We plan to expand the text to cover more topics in
14 the future. We also plan to add features to the text, such as a
15 glossary, a list of further reading, historical notes, pictures, better
16 explanations, sections explaining the relevance of results to
17 philosophy, computer science, and mathematics, and more problems and
18 examples. If you find an error, or have a suggestion,
19 \href{https://github.com/OpenLogicProject/OpenLogic/wiki/Contributing}{please let the project team know}.
20 The project operates in the spirit of open source. Not only is the
22 text freely available, we provide the LaTeX source under the
23 Creative Commons Attribution license, which gives anyone the right to
24 download, use, modify, re-arrange, convert, and re-distribute our
25 work, as long as they give appropriate credit.
26 Please see the Open Logic Project website at
27 \href{http://openlogicproject.org/}{openlogicproject.org} for
28 additional information.
Complete-book driver source
% open-logic.tex
% compiles to produce complete text using open-logic-dev style
\documentclass[../include/open-logic-part]{subfiles}
\begin{document}
\clearpage
\begin{editorial}
This file loads all content included in the Open Logic Project.
Editorial notes like this, if displayed, indicate that the file was
compiled without any thought to how this material will be presented.
If you can read this, it is probably \emph{not advisable} to teach or
study from this PDF.
The Open Logic Project provides many mechanisms by which a text can be
generate which is more appropriate for teaching or self-study. For
instance, by default, the text will make all logical operators
primitives and carry out all cases for all operators in proofs. But
it is much better to leave some of these cases as exercises. The Open
Logic Project is also a work in progress. In an effort to stimulate
collaboration and improvement, material is included even if it is
only in draft form, is missing exercises, etc. A PDF produced for a
course will exclude these sections.
To find PDFs more suitable for teaching and studying, have a look at
the \href{http://builds.openlogicproject.org/}{sample courses
available on the OLP website}. To make your own, you might start
from the
\href{https://github.com/OpenLogicProject/OpenLogic/tree/master/courses/sample}{sample
driver file} or look at the sources of the derived textbooks for
more fancy and advanced examples.
\end{editorial}
\olimport[sets-functions-relations]{sets-functions-relations-complete}
\olimport[propositional-logic]{propositional-logic}
\olimport[first-order-logic]{first-order-logic}
\olimport[model-theory]{model-theory}
\olimport[computability]{computability}
\olimport[turing-machines]{turing-machines}
\olimport[incompleteness]{incompleteness}
\olimport[second-order-logic]{second-order-logic}
\olimport[lambda-calculus]{lambda-calculus}
\olimport[many-valued-logic]{many-valued-logic}
\olimport[normal-modal-logic]{normal-modal-logic}
\olimport[applied-modal-logic]{applied-modal-logic}
\olimport[intuitionistic-logic]{intuitionistic-logic}
\olimport[counterfactuals]{counterfactuals}
\olimport[set-theory]{set-theory}
\olimport[methods]{methods}
\olimport[history]{history}
\olimport[reference]{reference}
\end{document}