First Order Logic

*To*: mathgroup at smc.vnet.net*Subject*: [mg65360] First Order Logic*From*: clinton lefort <clintonleforte at charter.net>*Date*: Tue, 28 Mar 2006 04:05:29 -0500 (EST)*Sender*: owner-wri-mathgroup at wolfram.com

I have just downloaded a Mathematica Package named otter.m having to do with First Order Logic, designed by a Professor of Philosophy at Stanford. I am very interested in this aspect of Mathematica, its logic rules and Mathematical Logic. I am a little embarrased of my lack of knowledge of Mathematica. For this reason I do not want to approach the group as a whole, yet. My question: I have placed otter.m in this path: SH (my HD) /applications/Library/Mathematica/Autoload/ Would there be a better way to upload .nb into my system? How should I upload notebooks and then access them in Mathematica. In my present sitatuation it would seem to be <<`otter.m Solution: I placed otter.m in the autoloads directory then called it in notebook BeginPackage[`otter.m] Fine. Then, when I tried to evaluate the notebook that came with Otter it gave this signal at the bottom of the notebook-the only one: Syntax::sntxf: "*" cannot be followed by "***********". More? THESE ARE THE FIRST WORDS OF INTRODUCTION TO THE NOTEBOOK: ____________ __________ ___________ Start here (************** Content-type: application/mathematica ************** CreatedBy='Mathematica 4.2' Mathematica-Compatible Notebook This notebook can be used with any Mathematica-compatible application, such as Mathematica, MathReader or Publicon. The data for the notebook starts with the line containing stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info at wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. *******************************************************************) (*CacheID: 232*) Could you tell me what I can do to properly evalute this package? Thank you, CRL