MathGroup Archive 2006

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

Search the Archive

Re: First Order Logic

  • To: mathgroup at
  • Subject: [mg65384] Re: First Order Logic
  • From: Bill Rowe <readnewsciv at>
  • Date: Wed, 29 Mar 2006 06:34:27 -0500 (EST)
  • Sender: owner-wri-mathgroup at

On 3/28/06 at 4:05 AM, clintonleforte at (clinton lefort)

>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,

>My question:

>I have placed otter.m in this path:     SH (my HD) 

This directory is intended for packages you want to automatically load when you start a session. In general, this isn't were you want to put packages you want to evaluate or use occasionally. I suggest putting the package in the directory returned by evaluating $UserBaseDirectory.

>Would there be a better way to upload .nb into my system?

There is a significant difference between .nb files and .m files. In general, you will want to open .nb using the File->Open menu item in the front end. But you will want to load .m files using Get or Needs.

>How should I upload notebooks and then access them in Mathematica. In
>my present sitatuation it would seem to be


This is close to correct syntax. What you want would be


rather than what you wrote. An equivalent would be





>I placed otter.m in the autoloads directory then called it in
>notebook BeginPackage[`otter.m]


No, not fine. BeginPackage is not used to load a package. Instead it is used to set up a context where you can create a package. This is definitely not what you want to do when evaluating a package.
To reply via email subtract one hundred and four

  • Prev by Date: RootSearch options
  • Next by Date: Re: Writing prime factor decomposision in conventional form
  • Previous by thread: First Order Logic
  • Next by thread: 72 dpi vs actual dpi