MathGroup Archive 2006

[Date Index] [Thread Index] [Author Index]

Search the Archive

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


  • Prev by Date: Re: Changing Default Printing Settings?
  • Next by Date: Re: Beginner--problem with typesetting
  • Previous by thread: Re: Changing Default Printing Settings?
  • Next by thread: Re: First Order Logic