consequently.org/news

About

I'm Greg Restall, and this is my website. I work in Philosophy at the University of Melbourne. [Email: greg at consequently.org; Skype: greg_restall; Post: Department of Philosophy, University of Melbourne, Parkville 3010, Australia.]

Writing

These are the three last modified entries on my writing page.

“Truthmakers, Entailment and Necessity 2008,” an addendum to “Truthmakers, Entailment and Necessity,” to appear in Truth and Truth-making, edited by E. J. Lowe and A. Rami, Acumen, 2008. →
[with Rebecca Kukla and Mark Lance] Appendix to Rebecca Kukla and Mark Lance ‘Yo!’ and ‘Lo!’: the pragmatic topography of the space of reasons, Harvard University Press, to appear. →
“Curry’s Revenge: the costs of non-classical solutions to the paradoxes of self-reference,” in The Revenge of the Liar, ed. JC Beall, Oxford University Press, pages 262–271, 2008. →
“Anti-Realist Classical Logic and Realist Mathematics,” under revision. →
“Proof Theory and Meaning: on second order logic,” to appear in the Logica 2007 Yearbook, Filosofia. →

Classes

In Semester 2, which starts on July 31, I’ll be teaching an honours seminar 161-438 Logic and Philosophy, in which we cover proof theory and its applications to semantics.

Events

AAL2007: the annual conference of the Australasian Association for Logic, University of Melbourne November 9 to 11, 2007.

Recent Past

University of Melbourne Philosophy Undergraduate Workshop, University of Melbourne September 21 to 23, 2007.

Logic Colloquium 2007, Wrocław, Poland, July 14-19, 2007.

1st GPMR Workshop on Logic & Semantics on Medieval Logic and Modern Applied Logic, Rheinische Friedrich-Wilhelms-Universität Bonn, Germany, on June 28-30, 2007.

Logica 2007, Hejnice Monastery, Czech Republic, 18-22 June 2007.

Heart of Philosophy Café talk and discussion on “What Marx, Freud and Nietzsche have taught me about belief in God”. Tuesday May 8, 7--9pm in the Merrick's General Store.

University Library Proxy Bookmarklet

If you’re like me, you do research on the web, and you browse around different sites for journals, seeing what’s been published, and what you should read. Our library has online subscriptions for lots of these journals, so I can download the papers, file them, read them, etc. It’s all very nice.

But it’s not always easy to get from the site to actually download the paper. Recently, our university introduced a proxy server as the means to keep track of whether someone attempting to download material under the banner of a University of Melbourne subscription is actually authorised to do so (i. e., is a member of staff or a student). So, if I’m at a page for a journal like this

http://mind.oupjournals.org/current.dtl

and I want to download a paper like this

http://mind.oupjournals.org/cgi/content/abstract/114/453/1

I need to manually edit the address, by sticking “.mate.lib.unimelb.edu.au” at the end of the hostname, before the path. (Between “.org” and “/cgi” here). I am lazy and I don’t like having to type “.mate.lib.unimelb.edu.au” time and again when browsing the journals.

So, I use a little link I made — ‘+mate.lib’ — in the bookmarks bar of my browser, and whenever I’m on a site, it takes me directly to the relevant page viewed through proxy site, and I can download at will. The bookmark is a simple bit of javascript:

javascript:void(location.href = 
      'http://' + location.host 
      + '.mate.lib.unimelb.edu.au'
      + location.pathname
      + location.search)

and it works like a charm. One click, and you’re there. Feel free to utilise a version of this yorself if your library uses an ezproxy server like ours.

Update: Don’t use the text I’ve displayed here for your own bookmarklet (it contains linebreaks and won’t be quite the right form for your browser). Just drag this link — +mate.lib — to your bookmarks bar.

Update 2: Thanks to a pointer from Richard Zach, I’ve updated the link to preserve the search component of the URL.

Posted 09:02 PM on March 12, 2005

Comments

Brilliant. Worked a charm once I uncurled the quote marks. Thanks for this neat tool-let.

Simon Evans , March 13, 2005 04:15 PM

Hi Simon!

Thanks for pointing out the problem with using the version in the body of the entry. I’ve rewritten the entry to make that a bit clearer.

Now, let’s see the research productivity of the University of Melbourne rise! (Or not…)

Greg Restall , March 13, 2005 06:17 PM

Greg: Neat idea! Thanks.

Two things:

If you’re at a JSTOR “stable url”, the search string gets lost after you proxify it. So add location.search to the end.

If you have a proxy like mine, you’ll need to add the port (almost always that’s 80) to the front of the URL. Here’s my version:

javascript:void(location.href=’http://’+’80-‘+location.host+’.ezproxy.lib.ucalgary.ca:2048’+location.pathname+location.search)

Richard Zach , March 21, 2005 08:20 AM

Great! Thanks for the fix with location.search.

Greg Restall , March 21, 2005 10:38 AM

Fantastic! A big thanks.

You might want to also add a bookmark to auto-login to buddy:

javascript:void(location.href=’http://buddy.infodiv.unimelb.edu.au/cgi-bin/login.cgi?username=yoursurname;password=21290123456789;redirect_url=http://mate.lib.unimelb.edu.au/login?url=’+location.href)

where you must of course edit the “surname” to be your buddy login username, and 21290123456789 to be your library number.

Thanks all, a wonderful tool.

robert , January 18, 2006 01:12 PM

Excellent! What a great addition. Now it’s gone from a two-step process to a one-step click.

Thanks, Robert!

Greg Restall , January 18, 2006 03:03 PM