Where to find logic projects

The first time you save a new project, the Save dialog appears. In the Save dialog, you can type a name choose the location to save the project. To save the project as a file package containing project assets: select the Organize my project as: Package button.

To save the project as a folder containing subfolders for project assets: select the Organize my project as: Folder button. For more information about managing project assets, see Manage project assets in Logic Pro. When you choose Save a Copy as, copies of all your recordings are saved in the project copy.

You can use the Save a Copy As option for archiving and moving data. You can organize your templates in folders with the Create Folder button in the Save As Template dialog.

When all your user templates are placed in subfolders, the subfolder names are shown below the factory collections. Tip: You can add descriptive text to your templates by adding a comment to the project file in the Finder. The Templates dialog displays the icon assigned to a template file, making it easy to change if you wish.

For more information on how to add a comment to a file, or change the icon of a file, see Mac Help. Important: After a project is saved as a Logic Pro project, it can no longer be opened in earlier versions of Logic Pro. In the Save As dialog, enter a new name for the project.

Do one of the following: To save the project as a file package containing project assets: select the Organize my project as: Package button. Problems are collected at the end of chapters.

Appendices cover basics of first-order logic with natural deduction, and biographies of some logicians. This text also includes chapter summaries. A textbook for modal and other intensional logics based on the Open Logic Project; includes the material on normal modal logic, intutionistic logic, and counterfactuals, with appendices on basic set theory and classical propositional logic.

It includes the OLP material on propositional classical, many-valued, modal including epistemic, temporal, and conditional logics , and intuitionistic logics. Appendices cover sets and relations, as well as proofs and induction. This is currently an incomplete draft. Material on epistemic and temporal logic is yet to be merged into the main OLP repository.

The OLP main repository also includes two sample textbooks that serve just to illustrate how one might produce texts using different formatting conventions.