Recommendations for software for symbolic logic

I've been googling quite a bit but have so far not found anything which seems quite right. I thought I would ask here on the off chance that somebody might have experience with this type of software.
I'm looking for software which might be useful in the teaching of symbolic logic e.g. propositional and predicate calculus, symbolisation, truth tables, proofs etc. I don't necessarily need a single piece of software to do all of these things. In fact, right now, something which might help students with any one of these things would be entirely satisfactory. I need something to demonstrate the potential of such software to interested parties rather anything comprehensive.
The software must be such that it can be translated into another language (insofar as it involves English and not just symbols, of course). This is one reason that a simpler piece of software which focused on a particular aspect of logic might be ideal - less to translate!
Ideally, it should be usable through a virtual learning environment but for my current purposes this is somewhat less important.
Right now, it needs to work on Linux and it doesn't much matter whether it works on anything else since I'm only demonstrating. But, of course, if I can say it would work on Windows, that would probably count in its favour.
Does anybody have any suggestions? Any pointers would be very much appreciated.

Thanks. That's probably a bit too mathematical for philosophy students - the proofs in the screenshots aren't set out the way they usually appear in the systems of natural deduction philosophy intro students use. Definitely the right sort of thing, though. Might be helpful for a more advanced course (or one aimed specifically at maths or computing students).
I should have specified the students the course is aimed at in my original post - sorry.
EDIT: actually maybe "Fitch" style is close to what I want. I've just never heard it called that before!
Last edited by cfr (2012-04-02 21:42:26)

Similar Messages

What book would you recommend for learning Logic EXPRESS 9?

Hello.
I'm going to be getting Logic Express 9 in the next few days. I was wondering if any of you can recommend a good, up-to-date, book for learning the ins and outs of Logic Express 9? I've seen a few on Amazon.com that are for Logic PRO and Express. My concern is that they'll spend a lot of time on talking about Pro functionality and I may be left up in the air with wanting to know what I need to know about Express.
Please let me know why you like the book(s) that you're recommending, too.
Thanks very much.
p.s. I used Opcode's "Vision" about 20 years ago. I'm hoping that I'll be able to pick-up Logic Express 9 fairly quickly.

Hi
You should not be concerned about 'Pro vs Express'.: they are essentially the same program, with the same functionality. The primary differences are listed here:
http://support.apple.com/kb/HT4229
The general word seems to be that The Apple Pro Training Series book by David Nahmani is a very good place to start.
http://www.amazon.com/Apple-Pro-Training-Logic-Express/dp/0321636805/ref=sr_1_1? ie=UTF8&qid=1304612428&sr=8-1
CCT

Any recommendations for a recovery software for my lost photos on my external drive?

Would like recommendations for a reputable recovery software for my lost photos from my external drive that I used with my MacBook Pro.

General File Recovery
If you stop using the drive it's possible to recover deleted files that have not been overwritten by using recovery software such as Data Rescue II, File Salvage or TechTool Pro. Each of the preceding come on bootable CDs to enable usage without risk of writing more data to the hard drive. Two free alternatives are Disk Drill and TestDisk. Look for them and demos at MacUpdate or CNET Downloads.
The longer the hard drive remains in use and data are written to it, the greater the risk your deleted files will be overwritten.
Also visit The XLab FAQs and read the FAQ on Data Recovery.

BlackBerry Desktop software recommendations for improvement

BlackBerry Desktop software recommendations for improvement
Recommendation:
1, increase SMS and MMS module
2, the SMS and MMS module to connect to the BlackBerry via Bluetooth

While I love my BlackBerry Curve phone (and will most likely never go back to a phone running Windows Mobile OS), something that drives me absolutely crazy is the inability of the Desktop Manager software to monitor my activity in the Outlook client and autosync changes while my phone is connected via USB.

What is the recommended virus software for my MacBook?

what is the recommended virus software for my MacBook?

None, actually, is needed as there are no known viruse affecting OS X.
Helpful Links Regarding Virus Protection
An excellent link to read is Tom Reed's Mac Malware Guide.
Also, visit The XLab FAQs and read Detecting and avoiding malware and spyware.
If you require anti-virus protection I recommend using ClamXav.

What is a recommended decompression software for a non-Lion compatible MacBook Pro 1,1 2 GHz Intel Core Duo running OS X Version 10.6.8?

What is a recommended decompression software for a non-Lion compatible MacBook Pro 1,1 2 GHz Intel Core Duo running OS X Version 10.6.8?

My thanks to you and all other respondents. In backing up "theVault" App I thought that my ancient version of Stuffit was inadequate to unzip the backup file. I attempted to download the latest Zipit version which only works with Lion. After upgrading to Stuffit 9 I realized that theVault backup file was encrypted so as to not open on the backup Mac. One must restore to the iPhone where is does open.
My apologies for the imprecise post. I am finding limitations with not being able to install Lion on my early MacBook Pro. I can recommend theVault to those looking for a password App with secure backup.

I just purchased MBP and it is my first Apple computer. How concerned should I be about virus software and what do you recommend for security software?

I just purchased MBP and it is my first Apple computer. How concerned should I be about virus software and what do you recommend for security software?

1. This comment applies to malicious software ("malware") that's installed unwittingly by the victim of a network attack. It does not apply to software, such as keystroke loggers, that may be installed deliberately by an intruder who has hands-on access to the victim's computer. That threat is in a different category, and there's no easy way to defend against it. If you have reason to suspect that you're the target of such an attack, you need expert help.
2. All versions of OS X since 10.6.7 have been able to detect known Mac malware in downloaded files, and to block insecure web plugins. This feature is transparent to the user, but internally Apple calls it "XProtect." The malware recognition database is automatically checked for updates once a day; however, you shouldn't rely on it, because the attackers are always at least a day ahead of the defenders.
The following caveats apply to XProtect:
It can be bypassed by some third-party networking software, such as BitTorrent clients and Java applets (see below.)
It only applies to software downloaded from the network. Software installed from a CD or other media is not checked.
3. Starting with OS X 10.7.5, there has been another layer of built-in malware protection, designated "Gatekeeper" by Apple. By default, applications and Installer packages downloaded from the network will only run if they're digitally signed by a developer with a certificate issued by Apple. Software certified in this way hasn't actually been tested by Apple (unless it comes from the Mac App Store), but you can be reasonably sure that it hasn't been modified by anyone other than the developer. His identity is known to Apple, so he could be held legally responsible if he distributed malware. For most practical purposes, applications recognized by Gatekeeper as signed can be considered safe.
Gatekeeper has, however, the same limitations as XProtect, and in addition the following:
It can easily be disabled or overridden by the user.
A malware attacker could get control of a code-signing certificate under false pretenses, or could find some other way to evade Apple's controls.
For more information about Gatekeeper, see this Apple Support article.
4. Beyond XProtect and Gatekeeper, there’s no benefit, in most cases, from any other automated protection against malware. The first and best line of defense is always your own intelligence. All known malware circulating on the Internet that affects a fully-updated installation of OS X 10.6 or later takes the form of so-called "trojan horses," which can only have an effect if the victim is duped into running them. The threat therefore amounts to a battle of wits between you and the malware attacker. If you're smarter than he thinks you are, you'll win.
That means, in practice, that you never use software that comes from an untrustworthy source. How do you know whether a source is trustworthy?
Any website that prompts you to install a “codec,” “plug-in,” "player," "extractor," or “certificate” that comes from that same site, or an unknown one, is untrustworthy.
A web operator who tells you that you have a “virus,” or that anything else is wrong with your computer, or that you have won a prize in a contest you never entered, is trying to commit a crime with you as the victim. (Some reputable websites did legitimately warn visitors who were infected with the "DNSChanger" malware. That exception to this rule no longer applies.)
Pirated copies or "cracks" of commercial software, no matter where they come from, are unsafe.
Software of any kind downloaded from a BitTorrent or from a Usenet binary newsgroup is unsafe.
Software with a corporate brand, such as Adobe Flash Player, must be downloaded directly from the developer’s website. If it comes from any other source, it's unsafe.
5. Java on the Web (not to be confused with JavaScript, to which it's not related, despite the similarity of the names) is a weak point in the security of any system. Java is, among other things, a platform for running complex applications in a web page, on the client. That was never a good idea, and Java's developers have had a lot of trouble implementing it without also creating a portal for malware to enter. Past Java exploits are the closest thing there has ever been to a Windows-style "virus" affecting OS X. Merely loading a page with malicious Java content could be harmful. Fortunately, Java on the Web is mostly extinct. Only a few outmoded sites still use it. Try to hasten the process of extinction by avoiding those sites, if you have a choice.
Java is not included in OS X 10.7 and later. Discrete Java installers are distributed by Apple and by Oracle (the developer of Java.) Don't use either one unless you need it. Most people don't. If Java is installed, disable it — not JavaScript — in your browsers. In Safari, this is done by unchecking the box marked Enable Java in the Security tab of the preferences dialog.
Regardless of version, experience has shown that Java on the Web can't be trusted. If you must use a Java applet for a specific task, enable Java only when needed for the task and disable it immediately when done. Close all other browser windows and tabs, and don't visit any other sites while Java is active. Never enable Java on a public web page that carries third-party advertising. Use it only on well-known, password-protected, secure websites without ads. In Safari 6 or later, you'll see a lock icon in the address bar with the abbreviation "https" when visiting a secure site.
Follow these guidelines, and you’ll be practically as safe from malware as you can be.
6. Never install any commercial "anti-virus" or "Internet security" products for the Mac, as they all do more harm than good, if they do any good at all. If you need to be able to detect Windows malware in your files, use the free software ClamXav — nothing else.
Why shouldn't you use commercial "anti-virus" products?
Their design is predicated on the nonexistent threat that malware may be injected at any time, anywhere in the file system. Malware is downloaded from the network; it doesn't materialize from nowhere.
In order to meet that nonexistent threat, the software modifies or duplicates low-level functions of the operating system, which is a waste of resources and a common cause of instability, bugs, and poor performance.
By modifying the operating system, the software itself may create weaknesses that could be exploited by malware attackers.
7. ClamXav doesn't have these drawbacks. That doesn't mean it's entirely safe. It may report email messages that have "phishing" links in the body, or Windows malware in attachments, as infected files, and offer to delete or move them. Doing so will corrupt the Mail database. The messages should be deleted from within the Mail application.
ClamXav is not needed, and should not be relied upon, for protection against OS X malware. It's useful only for detecting Windows malware. Windows malware can't harm you directly (unless, of course, you use Windows.) Just don't pass it on to anyone else.
A Windows malware attachment in email is usually easy to recognize. The file name will often be targeted at people who aren't very bright; for example:
♥♥♥♥♥♥♥♥♥♥♥♥♥♥!!!!!!!H0TBABEZ4U!!!!!!!.AVI♥♥♥♥♥♥♥♥♥♥♥♥♥♥.exe
ClamXav may be able to tell you which particular virus or trojan it is, but do you care? In practice, there's seldom a reason to use ClamXav unless a network administrator requires you to run an anti-virus application.
8. The greatest harm done by anti-virus software, in my opinion, is in its effect on human behavior. It does little or nothing to protect people from emerging threats, but they get a false sense of security from it, and then they may behave in ways that expose them to higher risk. Nothing can lessen the need for safe computing practices.
9. It seems to be a common belief that the built-in Application Firewall acts as a barrier to infection, or prevents malware from functioning. It does neither. It blocks inbound connections to certain network services you're running, such as file sharing. It's disabled by default and you should leave it that way if you're behind a router on a private home or office network. Activate it only when you're on an untrusted network, for instance a public Wi-Fi hotspot, where you don't want to provide services. Disable any services you don't use in the Sharing preference pane. All are disabled by default.

Recommendations for Website Building app/software?

Hi
I have a MACBook Pro and would like to build my own website (not as a professional). I am a newbie at web development and I am looking for an EASY to use (meaning WYSIWYG) software app that will let me build and update my site.
Does anyone have a recommendation for me?

you could try this one
http://blocsapp.com
i really like it, pretty simple
it is like half pro half amateur in my opinion.

What anti virus software is recommended for iphone 3gs

what anti-virus software is recommended for iphone 3GS?

You don't need it for an iPhone, assuming that you have not made any unauthorised changes to the OS, such as jailbreaking.

Recent Software Update - Recommended for FCP X, Motion 5 and Compressor 4 Users

There is a recent Software Update ("ProApps Quicktime Codecs") that is recommended for the FCP X, Motion 5 and Compressor 4. Should FCP 7/FCS 3 Users download this update as well, or avoid to prevent any conflicts?

I have one boot drive with 10.6.8 and FCS 3, and a 2nd boot drive with 10.9 and the FCP X Trial - best to avoid any problems. Everything is smooth as glass at the moment.

Is there a software program you recommend for saving a DVD on your computer? I guess a nonApple software program is required to do that.

Is there a software program you recommend for saving a DVD on your computer? I guess a nonApple software program is required to do that.

I need to submit my personal video on YouTube as part as a college admissions process. Since the DVD has other videos on it, I need to edit (delete) other parts of video so only the video I want is saved. In the selected video, I also want to delete a few second off the beginning and end.

I do not see the user interface for the Logic software instruments. I can hear them play through my midi keyboard but I cannot see them to adjust parameters. Please advise.

I do not see the user interface for the Logic Pro software instruments. I can hear them play through my midi keyboard but cannot see them to adjust the parameters. Please advise.

Couple of things - you can open the interface for any instrument or plug-in by double-clicking its insert slot on the channel strip. You can configure Logic to automatically open the interface for a plug-in when you first instantiate it in the preferences. Go to Logic Pro > Preferences > Display > Mixer, and check the box for "Open plug-in window on insertion".

I want to save my iphone movies to a DVD to play on standard DVD players. Recommendations for software?

I have an old macbook that doesn't have a video conversion program. I would like to burn my iphone movies onto DVDs that play on standard DVD players. I would appreciate recommendations for software that I should get to convert the files and burn the movies. Free is best but I will pay if I have to.

If you have a MacBook, it should have come with iLife. iLife includes iMovie and iDVD. These should do the job nicely, even older versions of them.

What is the recommended security software for a Mac?

what is the recommended security software for a Mac

My standard spiel on malware:
At this time there have been no confirmed Mac OS X viruses (subject to the semantic debate about whether the old iChat exploit, now long since blocked, was properly classified as a virus or a trojan horse, and not counting the Word macro virus that can affect Office v.X or non-updated copies of Office 2004), very few trojans and no adware or spyware. I therefore do not feel that antivirus or antispyware software is necessary at this time as long as users are careful about what they download from the Internet or accept as attachments via email.
The most common exploit is a recent outbreak of "scareware" that people are encountering while web surfing. This "scareware" pops up and claims that your system is infected with viruses, prompts you to download their "scanner", then tells you that you need to purchase their paid software to remove them. These fake applications, appearing by many names including Mac Defender, Apple Security Center, Apple Web Security, and many others, do nothing at all other than turn off the fake warnings once they have your money. DO NOT fall for these.
Security precautions for Mac OS X mostly are common sense: don't download and run files from sites you don't know, don't fall for any "you have viruses" messages, don't double-click on attachments in emails you aren't expecting and/or from people you don't know, and make sure you password your system with a non-trivial password and keep that password secure. In addition, don't leave your system available in a public place and unattended where someone unauthorized could use it and potentially install malware (such a policy is also a precaution against theft).
It is possible for a Mac user to inadvertently forward a Windows virus to a PC user though you'd have to do it manually so the above precautions would probably prevent such virus-spreading, and said Windows virus cannot infect the Mac.
If you do decide you wish to run antivirus software, I think that the donationware clamXav should be more than enough. iAntivirus has also been recommended by others, though I have no personal experience with it.
If you are running Windows on your system, either via BootCamp, Parallels Workstation or another solution, then that copy of Windows is subject to all the myriad exploits common to the Windows world, so you need to take full precautions, including running both antivirus and antispyware software.
Regards.

What is the recommended security software for MacPro? I am getting popups, including offer to sell Mac Sheild. Is this legit?

What is the recommended security software for MacPro? I am getting popups, including offer to sell Mac Sheild. Is this legit?

No, it is not legit, it's a scam. Avoid such popups and DO NOT under any circumstances fall for any claims that your system has been infected by viruses and download any of this "scareware". See:
http://support.apple.com/kb/HT4650
For additional information, see also:
http://www.reedcorner.net/news.php/?p=138
http://www.reedcorner.net/guides/macvirus/
If you do a forum search on Mac Defender, Mac Protector or Apple Security Center (this fake has a lot of different names) you will also find a lot of threads about this.
The most recommended "security software" is "none", beyond common sense and normal caution. If you do, however, decide you wish to run antivirus software, I think that the donationware clamXav should be more than enough provided you remember to scan your system from time to time. iAntivirus has also been recommended by others, though I have no personal experience with it.
If you are running Windows on your system, either via BootCamp, Parallels Workstation or another solution, then that copy of Windows is subject to all the myriad exploits common to the Windows world, so you need to take full precautions, including running both antivirus and antispyware software.
Regards.

Recommendations for software for symbolic logic

Similar Messages

Maybe you are looking for