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