Utah p implies necessarily possible p

Utah Logic Group (UtahLogic)

Quick links

Table of contents:


The Utah Logic group supports symbolic logic related projects at the University of Utah. Symbolic Logic is a topic that is taught through the Department of Philosophy, which hosts the group. The membership, however, reflects a wide diversity of backgrounds in not only Philosophy, but also in Mathematics, Computer Science, Cave Rescue, law, and other disciplines.

While it has only recently won the "Official" departmental recognition it richly deserved, Utah Logic actually has a long and distinguished history stretching back in the direction of half a century.

Historically the Department of Philosophy has had a number of faculty members with a strong emphasis in logic, and the Utah Logic Group has benefited greatly from their input. David Bennett and Bangs Tapscott in particular have historically been driving forces behind logic discussions here. The latest professor with a logic emphasis hired by the department was Dr. Clifton McIntosh. (Welcome to the U of U, and to Utah Logic, Clif!)

Utah logic is a volunteer effort and would not have gotten where it is today without the work that the members have put into it. It has a very modest (some would say shoestring) annual budget within which it manages to remain, thanks in no small part to its contributors. No contributor has given more to Utah Logic group than has the Philosophy Department, and they should be commended for a funding level this year equal to three times last year's.


Utah Logic doesn't yet have a newsletter, but supposedly someone is maintaining a Meeting Highlights summary.

Previous Successful Projects

The wealth of ideas that have come out of the group have led to a number of projects over the years. In more recent years, some of these projects have been computer and web related; and, in the spirit of cooperation in the logic community, the sources of some of these projects are available for other groups to use as starting points.

The current on-line list of programs includes:

Current Projects

Anybody doing anything serious in logic has their "projects in progress". In addition there are sometimes group efforts. Ignoring the "Understand the world" projects, current projects include:

Software releases for these projects may (or may not) be availiable at the Software downloads page.

Recommended Reading

Any investigation of logic, as a practical matter, must reference prior work. It is the official view of Utah Logic that actually reading referenced work is to be encouraged. The Utah Logic education committee has put together the following "Recommended Reading" list to further this end.

Since many discussions of logic go far afield into mathematics, physics, politics, and other subjects it has been suggested that a more general reading list be kept. Here is a first stab, suggestions welcome.

Meeting Schedule

Meetings are currently held weekly in conjunction with, and after the business session of, the regular philosophy lunch Union discussion group. You may obtain a current meeting schedule from them.

Mailing List

The Utah Logic Group maintains a mailing list UtahLogic@lists.utah.edu, for announcements and news of note. Subscriptions can be sent to Utah Logic Subscriptions.

Some current Members

The membership list has now been moved to a separate members page.


These pages fall under the University of Utah's Non-institutional Web Page Disclaimer: "The views, opinions and conclusions expressed in these pages are strictly those of the page author(s). The contents of the site have NOT been reviewed or approved by the University of Utah."

Links on these pages are a courtesy to the viewer interested in specific topics, such a link does not imply endorsement by the University.

The Utah Logic Group does not speak for the University of Utah (or anyone else for that matter). The opinions expressed by its members are just opinions, not official University positions.

Go to ...

This page is http://web.utah.edu/utahlogic/index.html
This page was last modified on Saturday, February 26th, 2011.
To report problems with these web pages, contact us: