jack@cs.hw.ac.uk (Jack Campin) (03/08/88)
This is a call for votes for an unmoderated newsgroup "sci.logic".
Logic is a subject that sprawls across a number of newsgroups: these include
comp.os.research - logics for specifying concurrent systems
comp.ai - fuzzy and nonmonotonic logics
comp.databases - dependency theory, deductive databases (I gave up on
this newsgroup long ago as it all seemed to be about
prices for UNIFY and bugs in INGRES, but it may have
got more interesting since then for all I know)
comp.lang.prolog - not that Prolog has much to do with logic, but some
of its adherents think it does, and some of its
descendants do
comp.theory - denotational semantics, combinatory logic, type theory ...
sci.math - which has had a number of discussions of set theory
sci.philosophy.tech - ditto
sci.lang - Montague grammar and its successors
sci.physics - quantum logic
and there are a number of topics that don't fit happily into any of these
(theorem provers for intensional logics? free logics? strict finitism?).
Enough! Time for an end to the diaspora! Towards a National Home for logicians!
I made a preliminary enquiry at the end of another posting to see if anyone was
interested in a logic newsgroup. I got enough replies (mostly from the UK and
California, as I expected) to suggest that we might have a quorum if I made the
request a bit louder.
Don't reply again if you've already mailed me successfully.
I shouldn't have to say this, but:
MAIL me your votes. Don't post them as news items!
Follow up to news.groups ONLY! NO CROSSPOSTING!
--
ARPA: jack%cs.glasgow.ac.uk@nss.cs.ucl.ac.uk
JANET:jack@uk.ac.glasgow.cs USENET: ...mcvax!ukc!cs.glasgow.ac.uk!jack
Mail: Jack Campin, Computing Science Department, University of Glasgow,
17 Lilybank Gardens, Glasgow G12 8QQ, Scotland (041 339 8855 x 6045)