Brokeback Mountain Webcam

Ok, two logic-related posts already today, so I guess I can afford to post something else as well. Ang Lee’s Brokeback Mountain, as is pointed out in every other review, wasn’t filmed in Wyoming but right around where I am. Brokeback Mountain itself is played in the move by the Three Sisters Range which can be seen from the Trans-Canada Highway at Canmore, about an hour’s drive west of Calgary. (In the movie, Jack and Ennis “go fishing” on the other side of the range.) Anyway: here’s a Brokeback Mountain webcam.

Student Funding to Attend CiE

Received from Arnold Beckmann:

FUNDING OPPORTUNITIES TO ATTEND COMPUTABILITY IN EUROPE 2006

This is just to clarify the various opportunities offered throught the organisers of CiE 2006 for PhD students and researchers from the Former Soviet Union to obtain funding to attend the conference.

The deadline for all the funding schemes has been fixed for
MARCH 31, 2006

Full details of how to apply are available via the webpage:

http://www.cs.swan.ac.uk/cie06/give-page.php?14

ASL FUNDING:

CiE 2006 is an ASL sponsored meeting, so PhD students who have taken advantage of the ASL very favourable membership terms (or intend to do so soon), will be able to apply direct to them for a grant to attend. See:

http://www.aslonline.org/studenttravelawards.html

EPSRC FUNDING FOR UK-BASED PhD STUDENTS:

CiE 2006 has obtained generous support from the UK Engineering and Physical Sciences Research Council for UK-based PhD students. For these grants, application is direct to the conference
organisers at cie06@swansea.ac.uk - see the website for details.

LMS FUNDING FOR UK-BASED PhD STUDENTS, AND fSU RESEARCHERS:

The London Mathematical Society funding for students is similar to that from EPSRC. In addition, there is funding for researchers from the Former Soviet Union, including some support for travel,
as well as for accommodation, registration, etc. Again - application is direct to the organisers.

PRESENTERS OF PAPERS AT CiE 2006:

It is important to note that in allocating funding, the organisers will prioritise presenters of papers at CiE 2006. The deadline for submission for the LNCS Proceedings volume is:

THURSDAY FEBRUARY 9th, 2006

For details of the submission procedure, see:

http://www.cs.swan.ac.uk/cie06/give-page.php?12

Similarly, giving a talk at CiE 2006 will improve the chances of getting funding through the ASL scheme.

Foundational Issues in Logic: Logical Consequence and Logical Constants Revisited

Foundational Issues in Logic: logical consequence and logical constants revisited

18-19 May 2006
Santiago de Compostela (Spain /España)

Organized by Área de Lógica y Filosofía de la Ciencia de la U.S.C.
Supported by European Society for Analytic Philosophy Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España Sociedad Española de Filosofía Analítica

Scientific committee/ Comité científico:

Manuel García-Carpintero (Universidad de Barcelona), Mario Gómez Torrente (UNAM/ICREA), Ignacio Jané (Universidad de Barcelona), Stewart Shapiro (Ohio State University), Stephen Read (University of St. Andrews).

Organising committee/ Comité organizador:

Concepción Martínez (Universidad de Santiago de Compostela) [President / Presidente]
José M. Sagüillo (Universidad de Santiago de Compostela) [Secretary / Secretaria]
Mª Uxía Rivas Monroy (Universidad de Santiago de Compostela)
Javier Vilanova Árias (Universidad Complutense de Madrid)

Invited Speakers

Manuel García-Carpintero (Universidad de Barcelona)
Mario Gómez Torrente (UNAM, ICREA)
Ignacio Jané (University of Barcelona)
Grzegorz Malinowski (University of Lodz)
Stephen Read (University of St. Andrews)
Ricardo Santos (Universidade Nova de Lisboa)
Stewart Shapiro (Ohio St. University/University of St. Andrews)
Gila Sher (University of California, San Diego)

Discussants (To be determined)

This workshop is organized by the group Lekton of the Department of Logic and Moral Philosophy of University of Santiago de Compostela. It counts with the support of the European Society for Analytic Philosophy, the Spanish Society for Analytic Philosophy (SEFA) and of the Association of Logic, Methodology and Philosophy of Science in Spain (SLMFCE).

This conference aims at providing a forum for the presentation and discussion of current research on the much discussed issues of logical consequence and logical constanthood. For that purpose, some of the most relevant scholars on the issue have been invited.

CALL FOR PAPERS

We invite submissions for 35-40-minute presentations in English (with 20) additional minutes for discussion) on the topics of the workshop. Submitted abstracts will be blind refereed and selected on the basis of general quality and relevance to the special topic of the workshop. Submissions should take the form of a 4000-5000 word summary. Authors’ names, postal address, affiliation, phone and fax number and e-mail address should be given separately. Please send your submission by e-mail in an attached file in pdf, RTF or Word format to Concepción Martínez Vidal: lflpcmav@usc.es; José Miguel Sagüillo: lflgsagu@usc.es, Mª Uxía Rivas Monroy: lfuxia@usc.es, or Javier Vilanova: vilanova@filos.ucm.es by ordinary mail to the following address:

Dpto. de Lógica y Filosofía Moral
Facultad de Filosofía
Campus Universitario Sur
15782 Santiago de Compostela

Deadline for contributions: January 30st 2006
Communication of acceptance: March 1st, 2006
Final version: April, 15th.

OFFICIAL LANGUAGE : English

The organization will cover the accommodation expenses of the authors
of accepted papers. We regret that we can not cover travel and other
expenses.

The structure of the workshop

Lectures will be followed by a 20-minutes discussion in charge of an invited discussant, and by a debate. The Workshop will have no parallel sessions. The meeting is a small format conference; we aim to provide ample space for discussion and informal interaction among participants. Apart from the invited speakers, the two (three at most) authors of the contributed papers selected by the Scientific Committee will present their work (35-40 minutes) on some of the issues proposed by the Organizing Committee. These presentations will be followed by 20-minutes debates.

Down the Rabbit Hole!

When LanguageLog reported on the linguistic issues arising out of the French Nabaztag craze, I thought I should be in on it. So I got one. I called it, rather unimaginatively, “duckrabbit“.

I can also report, in response to a question by Mark Liberman in that post, that if random messages from people I don’t know count as nabspam, then yes, the first piece of nabspam has certainly been transmited. But it’s kinda nice to get random messages from random people once in a while.

SEP Entry on Epistemic Logic

The new Stanford Encyclopedia entry on epistemic logic, by Vincent Hendricks and John Symons, is now online.

See also Vincent’s new book, Mainstream and Formal Epistemology (CUP, 2005). Looks like an important contribution that ties together traditional epistemological concerns and more recent, formal approaches.

New Year, De-Lurking Week

Well, the Gödel Year has started, and I’m back at work in Calgary. Over break, Matthias, Norbert, and I finally finished our long-overdue paper on first-order Gödel logics. Now it’s on to teaching: intro logic (good for the soul) and a new course on “Evidence” that Dennis McKerlie and I are running as a pilot project. We got a grant from the “Inquiry Through Blended Learning” project at the UofC’s Learning Commons to develop some new content and a new format. It’s going to be all high-tech. Every student has a blog! Group projects done in our Wiki!

Also, it’s International De-Lurking Week, so say hello in the comments!

First-order Gödel Logics

First-order Gödel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0, 1] containing both 0 and 1. Different such sets V in general determine different Gödel logics GV (sets of those formulas which evaluate to 1 in every interpretation into V). In a new paper with Matthias Baaz and Norbert Preining, we shown that GV is axiomatizable iff V is finite, V is uncountable with 0 isolated in V, or every neighborhood of 0 in V is uncountable. We give complete axiomatizations for each of these cases. The r.e. prenex, negation-free, and existential fragments of all first-order Gödel logics are also characterized.

The paper’s in the arXiv.